Combining Texts

All the ideas for 'Leibniz', 'Events' and 'Model Theory for Modal Logic I'

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

---

9 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

9560	S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]

7. Existence / B. Change in Existence / 4. Events / a. Nature of events

15567

Some events involve no change; they must, because causal histories involve unchanges [Lewis]

15561

The events that suit semantics may not be the events that suit causation [Lewis]

15565

Events have inbuilt essences, as necessary conditions for their occurrence [Lewis]

15566

Events are classes, and so there is a mereology of their parts [Lewis]

7. Existence / B. Change in Existence / 4. Events / c. Reduction of events

15564

An event is a property of a unique space-time region [Lewis]

8. Modes of Existence / B. Properties / 10. Properties as Predicates

15563

Properties are very abundant (unlike universals), and are used for semantics and higher-order variables [Lewis]

9. Objects / F. Identity among Objects / 7. Indiscernible Objects

7566	The Identity of Indiscernibles is really the same as the verification principle [Jolley]

26. Natural Theory / C. Causation / 1. Causation

15562

Causation is a general relation derived from instances of causal dependence [Lewis]