Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'New Foundations for Mathematical Logic' and 'Towards a Universal Characteristic'

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

6 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 / A. Overview of Logic / 4. Pure Logic
19370 'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
19391 We can assign a characteristic number to every single object [Leibniz]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
19390 Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz]
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]