Combining Texts

All the ideas for 'The Nature of Things', 'Presupposition' and 'A Completeness Theorem in Modal Logic'

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

---

12 ideas

4. Formal Logic / A. Syllogistic Logic / 3. Term Logic

19053

Logic would be more natural if negation only referred to predicates [Dummett]

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]

4. Formal Logic / F. Set Theory ST / 7. Natural Sets

9406	A class is natural when everybody can spot further members of it [Quinton]

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not

19052

Natural language 'not' doesn't apply to sentences [Dummett]

7. Existence / E. Categories / 5. Category Anti-Realism

15730

Extreme nominalists say all classification is arbitrary convention [Quinton]

8. Modes of Existence / B. Properties / 5. Natural Properties

15728

The naturalness of a class depends as much on the observers as on the objects [Quinton]

9407	Properties imply natural classes which can be picked out by everybody [Quinton]

8. Modes of Existence / D. Universals / 4. Uninstantiated Universals

15729

Uninstantiated properties must be defined using the instantiated ones [Quinton]

9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties

8520	An individual is a union of a group of qualities and a position [Quinton, by Campbell,K]