Combining Texts

All the ideas for 'works', 'works' and 'Intro to 'Philosophy of Logic''

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

---

9 ideas

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 / G. Quantification / 4. Substitutional Quantification

10800

The values of variables can't determine existence, because they are just expressions [Ryle, by Quine]

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]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals

18086

Weierstrass eliminated talk of infinitesimals [Weierstrass, by Kitcher]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits

18092

Weierstrass made limits central, but the existence of limits still needed to be proved [Weierstrass, by Bostock]

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]