Combining Texts

All the ideas for 'Mathematics and Indispensibility', 'An essentialist approach to Truth-making' and 'Intro to 'Philosophy of Logic''

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

10 ideas

3. Truth / B. Truthmakers / 2. Truthmaker Relation
18351 Propositions are made true, in virtue of something which explains its truth [Lowe]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
9456 Modal logic is multiple systems, shown in the variety of accessibility relations between worlds [Jacquette]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
9457 The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette]
5. Theory of Logic / I. Semantics of Logic / 5. Extensionalism
9458 Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette]
5. Theory of Logic / I. Semantics of Logic / 6. Intensionalism
9461 Intensionalists say meaning is determined by the possession of properties [Jacquette]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
9558 All scientific tests will verify mathematics, so it is a background, not something being tested [Sober]
8. Modes of Existence / B. Properties / 8. Properties as Modes
18353 Modes are beings that are related both to substances and to universals [Lowe]
8. Modes of Existence / B. Properties / 13. Tropes / b. Critique of tropes
18352 Tropes have existence independently of any entities [Lowe]
19. Language / C. Assigning Meanings / 7. Extensional Semantics
9460 Extensionalist semantics forbids reference to nonexistent objects [Jacquette]
9459 Extensionalist semantics is circular, as we must know the extension before assessing 'Fa' [Jacquette]