Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Mechanisms' and 'Could There Be Unicorns?'

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


17 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
It was realised that possible worlds covered all modal logics, if they had a structure [Dummett]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
If something is only possible relative to another possibility, the possibility relation is not transitive [Dummett]
Relative possibility one way may be impossible coming back, so it isn't symmetrical [Dummett]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / d. System T
If possibilitiy is relative, that might make accessibility non-transitive, and T the correct system [Dummett]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4
In S4 the actual world has a special place [Dummett]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Possible worlds aren't how the world might be, but how a world might be, given some possibility [Dummett]
10. Modality / E. Possible worlds / 1. Possible Worlds / c. Possible worlds realism
If possible worlds have no structure (S5) they are equal, and it is hard to deny them reality [Dummett]
14. Science / B. Scientific Theories / 2. Aim of Science
Empiricist theories are sets of laws, which give explanations and reductions [Glennan]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan]
Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan]
Mechanisms are either systems of parts or sequences of activities [Glennan]
17th century mechanists explained everything by the kinetic physical fundamentals [Glennan]
Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / d. Virtue theory critique
To explain generosity in a person, you must understand a generous action [Dummett]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Generalised talk of 'natural kinds' is unfortunate, as they vary too much [Dummett]
26. Natural Theory / C. Causation / 4. Naturalised causation
Since causal events are related by mechanisms, causation can be analysed in that way [Glennan]