| And this, kids, is why formalization of ethics is never going to work |
23. Aug 2011|20:50 |
In practice formal logic is not much use, because despite some progress in the last 150 years we're still only able to formalize a small percentage of statements. We may never do that much better, for the same reason 1980s-style "knowledge representation" could never have worked; many statements may have no representation more concise than a huge, analog brain state.
(Paul Graham, How to Do Philosophy) |
|