Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'New Foundations for Mathematical Logic' and 'Proper Names'

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
9879 NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
7746 We don't normally think of names as having senses (e.g. we don't give definitions of them) [Searle]
7747 How can a proper name be correlated with its object if it hasn't got a sense? [Searle]
7748 'Aristotle' means more than just 'an object that was christened "Aristotle"' [Searle]
7749 Reference for proper names presupposes a set of uniquely referring descriptions [Searle]
7750 Proper names are logically connected with their characteristics, in a loose way [Searle]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
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]