5 ideas
| 9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
| 21558 | 'Predicative' norms are those which define a class [Russell] |
| 21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
| 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] |