Combining Texts

All the ideas for 'Isagoge ('Introduction')', 'Anselm and Actuality' and 'Absolute Necessities'

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


10 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
For modality Lewis rejected boxes and diamonds, preferring worlds, and an index for the actual one [Lewis, by Stalnaker]
8. Modes of Existence / D. Universals / 1. Universals
Are genera and species real or conceptual? bodies or incorporeal? in sensibles or separate from them? [Porphyry]
10. Modality / A. Necessity / 2. Nature of Necessity
Absolute necessity might be achievable either logically or metaphysically [Hale]
10. Modality / A. Necessity / 3. Types of Necessity
Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale]
'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale]
A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale]
10. Modality / A. Necessity / 5. Metaphysical Necessity
Metaphysical necessity says there is no possibility of falsehood [Hale]
10. Modality / A. Necessity / 6. Logical Necessity
'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale]
Logical necessities are true in virtue of the nature of all logical concepts [Hale]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
Conceptual necessities are made true by all concepts [Hale]