8 ideas
| 17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
| 8132 | We now have a much more sophisticated understanding of logical form in language [Burge] |
| 8126 | Anti-individualism says the environment is involved in the individuation of some mental states [Burge] |
| 8127 | Broad concepts suggest an extension of the mind into the environment (less computer-like) [Burge] |
| 8129 | Anti-individualism may be incompatible with some sorts of self-knowledge [Burge] |
| 8131 | Some qualities of experience, like blurred vision, have no function at all [Burge] |
| 541 | Virtue comes more from habit than character [Critias] |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |