6 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
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] |