5 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
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] |