Combining Texts

All the ideas for 'Two Kinds of Possibility', 'works' and 'works'

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


7 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Anti-realism needs an intuitionist logic with no law of excluded middle [Dummett, by Miller,A]
7. Existence / D. Theories of Reality / 4. Anti-realism
For anti-realists there are no natural distinctions between objects [Dummett, by Benardete,JA]
10. Modality / A. Necessity / 1. Types of Modality
There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington]
10. Modality / A. Necessity / 5. Metaphysical Necessity
Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington]
10. Modality / A. Necessity / 6. Logical Necessity
Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington]
An argument is only valid if it is epistemically (a priori) necessary [Edgington]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines
Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]