Combining Texts

All the ideas for 'Modal Logic within Counterfactual Logic', 'Preface to 'Principles of Philosophy'' and 'Freedom to Act'

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


11 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Metaphysics is the roots of the tree of science [Descartes]
2. Reason / F. Fallacies / 4. Circularity
I know the truth that God exists and is the author of truth [Descartes]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
In S5 matters of possibility and necessity are non-contingent [Williamson]
10. Modality / A. Necessity / 1. Types of Modality
Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson]
10. Modality / B. Possibility / 9. Counterfactuals
Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
Understanding, not the senses, gives certainty [Descartes]
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson]
20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes
Deviant causal chain: a reason causes an action, but isn't the reason for which it was performed [Davidson, by Neta]
28. God / C. Attitudes to God / 5. Atheism
Atheism arises from empiricism, because God is intangible [Descartes]