Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'New Foundations for Mathematical Logic' and 'Reference and Generality (3rd ed)'

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


8 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]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / d. Counting via concepts
Are 'word token' and 'word type' different sorts of countable objects, or two ways of counting? [Geach, by Perry]
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
We should abandon absolute identity, confining it to within some category [Geach, by Hawthorne]
9. Objects / F. Identity among Objects / 3. Relative Identity
Denial of absolute identity has drastic implications for logic, semantics and set theory [Wasserman on Geach]
Identity is relative. One must not say things are 'the same', but 'the same A as' [Geach]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
Leibniz's Law is incomplete, since it includes a non-relativized identity predicate [Geach, by Wasserman]
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]