Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'New Foundations for Mathematical Logic' and 'Quine on Quantifying In'

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

5 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9879 NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
12220 Is it the sentence-token or the sentence-type that has a logical form? [Fine,K]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
12222 Substitutional quantification is referential quantification over expressions [Fine,K]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
7861 Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau]
6660 Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe]