Combining Texts

All the ideas for 'In Praed.', 'Events' and 'A Plea for Substitutional Quantification'

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


11 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
Modal logic is not an extensional language [Parsons,C]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C]
On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
Some events involve no change; they must, because causal histories involve unchanges [Lewis]
The events that suit semantics may not be the events that suit causation [Lewis]
Events have inbuilt essences, as necessary conditions for their occurrence [Lewis]
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
An event is a property of a unique space-time region [Lewis]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Properties are very abundant (unlike universals), and are used for semantics and higher-order variables [Lewis]
9. Objects / B. Unity of Objects / 2. Substance / a. Substance
Substance is an intrinsic thing, so parts of substances can't also be intrinsic things [Duns Scotus]
26. Natural Theory / C. Causation / 1. Causation
Causation is a general relation derived from instances of causal dependence [Lewis]