Combining Texts

All the ideas for 'Science and Method', 'A Powers Theory of Modality' and 'Modal Logic'

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

21 ideas

3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
12463 Unlike correspondence, truthmaking can be one truth to many truthmakers, or vice versa [Jacobs]
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]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
10245 One geometry cannot be more true than another [Poincaré]
8. Modes of Existence / A. Relations / 3. Structural Relations
14375 If structures result from intrinsic natures of properties, the 'relations' between them can drop out [Jacobs]
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]
8. Modes of Existence / C. Powers and Dispositions / 1. Powers
14378 Science aims at identifying the structure and nature of the powers that exist [Jacobs]
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
12467 Powers come from concrete particulars, not from the laws of nature [Jacobs]
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 / A. Necessity / 10. Impossibility
14377 Possibilities are manifestations of some power, and impossibilies rest on no powers [Jacobs]
10. Modality / B. Possibility / 1. Possibility
14376 States of affairs are only possible if some substance could initiate a causal chain to get there [Jacobs]
10. Modality / B. Possibility / 9. Counterfactuals
14379 Counterfactuals invite us to consider the powers picked out by the antecedent [Jacobs]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
14372 Possible worlds are just not suitable truthmakers for modality [Jacobs]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
12466 All modality is in the properties and relations of the actual world [Jacobs]
10. Modality / C. Sources of Modality / 6. Necessity from Essence
14371 We can base counterfactuals on powers, not possible worlds, and hence define necessity [Jacobs]
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
12465 Concrete worlds, unlike fictions, at least offer evidence of how the actual world could be [Jacobs]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
12464 If some book described a possibe life for you, that isn't what makes such a life possible [Jacobs]
12469 Possible worlds semantics gives little insight into modality [Jacobs]