Combining Texts

All the ideas for 'fragments/reports', 'The Nature of Necessity' and 'On the General Idea of Proof Theory'

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

---

6 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13827

Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

13826

Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]

10. Modality / E. Possible worlds / 1. Possible Worlds / d. Possible worlds actualism

18383

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

11891

Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P]

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

468	Musical performance can reveal a range of virtues [Damon of Ath.]

28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof

20704

A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B]