Combining Texts

All the ideas for 'works', 'Testability and Meaning' and 'The Nature of Necessity'

expand these ideas     |    start again     |     specify just one area for these texts


5 ideas

5. Theory of Logic / G. Quantification / 2. Domain of Quantification
De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
In the truth-functional account a burnt-up match was soluble because it never entered water [Carnap]
10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism
Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B]