Combining Texts

All the ideas for 'fragments/reports', 'Event Causation: counterfactual analysis' and 'Constructibility and Mathematical Existence'

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


12 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
We could talk of open sentences, instead of sets [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
Maybe each event has only one possible causal history [Bennett]
Maybe an event's time of occurrence is essential to it [Bennett]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA]
26. Natural Theory / C. Causation / 1. Causation
Delaying a fire doesn't cause it, but hastening it might [Bennett]
Either cause and effect are subsumed under a conditional because of properties, or it is counterfactual [Bennett]
26. Natural Theory / C. Causation / 2. Types of cause
Causes are between events ('the explosion') or between facts/states of affairs ('a bomb dropped') [Bennett]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
The full counterfactual story asserts a series of events, because counterfactuals are not transitive [Bennett]
A counterfactual about an event implies something about the event's essence [Bennett]