Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'The Architecture of Mathematics' and 'Model Theory for Modal Logic I'

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


4 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
     Full Idea: S5 provides the correct logic for necessity in the broadly logical sense.
     From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics
     A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki]
     Full Idea: From the axiomatic point of view, mathematics appears as a storehouse of abstract forms - the mathematical structures.
     From: Nicholas Bourbaki (The Architecture of Mathematics [1950], 221-32), quoted by Fraser MacBride - Review of Chihara's 'Structural Acc of Maths' p.79
     A reaction: This seems to be the culmination of the structuralist view that developed from Dedekind and Hilbert, and was further developed by philosophers in the 1990s.
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.