Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'New Foundations for Mathematical Logic' and 'Letters to Leibniz'

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


4 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]
     Full Idea: Quine's New Foundations system of set theory, devised with no model in mind, but on the basis of a hunch that a purely formal restriction on the comprehension axiom would block all contradictions.
     From: report of Willard Quine (New Foundations for Mathematical Logic [1937]) by Michael Dummett - Frege philosophy of mathematics Ch.18
     A reaction: The point is that Quine (who had an ontological preference for 'desert landscapes') attempted to do without an ontological commitment to objects (and their subsequent models), with a purely formal system. Quine's NF is not now highly regarded.
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
The question is whether force is self-sufficient in bodies, and essential, or dependent on something [Lenfant]
     Full Idea: The whole question is to know if the force to act in bodies is in matter something distinct and independent of everything else that one conceives there. Without that, this force cannot be its essence, and will remain the result of some primitive quality.
     From: Jacques Lenfant (Letters to Leibniz [1693], 1693.11.07), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 8
     A reaction: This challenge to Leibniz highlights the drama of trying to simultaneously arrive at explanations of things, and to decide the nature of essence. Leibniz replied that force is primitive, because it is the 'principle' of behaviour and dispositions.
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]
     Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded.
     From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4
     A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817).
Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe]
     Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action.
     From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9
     A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness.