Combining Texts

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

expand 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]
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]
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]