Combining Texts

All the ideas for 'works', 'Reference and Necessity' and 'Modal Logic'

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

19 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / b. System K
14970 Normal system K has five axioms and rules [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / c. System D
14971 D is valid on every serial frame, but not where there are dead ends [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
14972 S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
14973 In S5 all the long complex modalities reduce to just three, and their negations [Cresswell]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
14976 Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell]
4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic
8720 A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
16405 To understand a name (unlike a description) picking the thing out is sufficient? [Stalnaker]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
14974 A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell]
9. Objects / C. Structure of Objects / 7. Substratum
16407 Possible worlds allow separating all the properties, without hitting a bare particular [Stalnaker]
10. Modality / A. Necessity / 4. De re / De dicto modality
14975 A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
16397 If it might be true, it might be true in particular ways, and possible worlds describe such ways [Stalnaker]
16398 Possible worlds allow discussion of modality without controversial modal auxiliaries [Stalnaker]
16399 Possible worlds are ontologically neutral, but a commitment to possibilities remains [Stalnaker]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
16396 Kripke's possible worlds are methodological, not metaphysical [Stalnaker]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
16408 Rigid designation seems to presuppose that differing worlds contain the same individuals [Stalnaker]
19. Language / A. Nature of Meaning / 1. Meaning
16406 If you don't know what you say you can't mean it; what people say usually fits what they mean [Stalnaker]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
16404 In the use of a name, many individuals are causally involved, but they aren't all the referent [Stalnaker]
19. Language / C. Assigning Meanings / 2. Semantics
16403 'Descriptive' semantics gives a system for a language; 'foundational' semantics give underlying facts [Stalnaker]
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
16401 To understand an utterance, you must understand what the world would be like if it is true [Stalnaker]