5 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
13190 | I don't admit infinite numbers, and consider infinitesimals to be useful fictions [Leibniz] |
17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |