Combining Texts

All the ideas for 'Metaphysics: an introduction', 'A Completeness Theorem in Modal Logic' and 'In Defence of Three-Dimensionalism'

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

17 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
18859 Metaphysics is a quest for truthmakers [Tallant]
2. Reason / D. Definition / 12. Paraphrase
18861 Maybe number statements can be paraphrased into quantifications plus identities [Tallant]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
18866 Maybe only 'positive' truths need truth-makers [Tallant]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
18860 A truthmaker is the minimal portion of reality that will do the job [Tallant]
3. Truth / B. Truthmakers / 12. Rejecting Truthmakers
18863 What is the truthmaker for a possible new power? [Tallant]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10163 Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
10760 With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16189 The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen]
15132 The Barcan formulas fail in models with varying domains [Kripke, by Williamson]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
18864 The wisdom of Plato and of Socrates are not the same property [Tallant]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
18865 Substance must have two properties: individuation, and property-bearing [Tallant]
9. Objects / E. Objects over Time / 3. Three-Dimensionalism
12295 3-D says things are stretched in space but not in time, and entire at a time but not at a location [Fine,K]
12298 Genuine motion, rather than variation of position, requires the 'entire presence' of the object [Fine,K]
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
12296 4-D says things are stretched in space and in time, and not entire at a time or at a location [Fine,K]
18882 You can ask when the wedding was, but not (usually) when the bride was [Fine,K, by Simons]
9. Objects / E. Objects over Time / 5. Temporal Parts
12297 Three-dimensionalist can accept temporal parts, as things enduring only for an instant [Fine,K]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
18862 Are propositions all the thoughts and sentences that are possible? [Tallant]