5 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
15456 | Extrinsic properties, unlike intrinsics, imply the existence of a separate object [Kim, by Lewis] |
18383 | Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong] |
11891 | Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P] |
20704 | A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B] |