Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'New Foundations for Mathematical Logic' and 'Two Kinds of Possibility'

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


7 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
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]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau]
Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe]