Combining Texts

All the ideas for 'reports', 'Essence, Necessity and Explanation' and 'Modal Logic'

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

17 ideas

2. Reason / D. Definition / 4. Real Definition
15118 A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki]
2. Reason / D. Definition / 6. Definition by Essence
15116 Essences cause necessary features, and definitions describe those necessary features [Koslicki]
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]
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 / D. Essence of Objects / 1. Essences of Objects
15110 An essence and what merely follow from it are distinct [Koslicki]
9. Objects / D. Essence of Objects / 3. Individual Essences
15113 Individuals are perceived, but demonstration and definition require universals [Koslicki]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
15112 If an object exists, then its essential properties are necessary [Koslicki]
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 / 8. Transcendental Necessity
3016 Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius]
14. Science / A. Basis of Science / 2. Demonstration
15111 In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki]
15115 In a demonstration the middle term explains, by being part of the definition [Koslicki]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
15117 Greek uses the same word for 'cause' and 'explanation' [Koslicki]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
15114 Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki]