Combining Texts

All the ideas for 'Subjectivist's Guide to Objective Chance', 'Investigations into Logical Deduction' and 'Events'

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

---

9 ideas

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction

13832

Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]

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]

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

15562

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

26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory

9425	Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis]