6 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
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] |
16285 | A possible world can be seen as a complete and consistent novel [Jeffrey] |
17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |
19155 | Instead of gambling, Jeffrey made the objects of Bayesian preference to be propositions [Jeffrey, by Davidson] |