3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
21547 | On Meinong's principles 'the existent round square' has to exist [Russell] |
15793 | We can take 'ways things might have been' as irreducible elements in our ontology [Stalnaker, by Lycan] |