Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'New Foundations for Mathematical Logic' and 'The Nature of Universals and Propositions'

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

---

4 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]
	Full Idea: Quine's New Foundations system of set theory, devised with no model in mind, but on the basis of a hunch that a purely formal restriction on the comprehension axiom would block all contradictions.
	From: report of Willard Quine (New Foundations for Mathematical Logic [1937]) by Michael Dummett - Frege philosophy of mathematics Ch.18
	A reaction: The point is that Quine (who had an ontological preference for 'desert landscapes') attempted to do without an ontological commitment to objects (and their subsequent models), with a purely formal system. Quine's NF is not now highly regarded.

8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes

8511	Stout first explicitly proposed that properties and relations are particulars [Stout,GF, by Campbell,K]
	Full Idea: In modern times, it was G.F. Stout who first explicitly made the proposal that properties and relations are as particular as the substances that they qualify.
	From: report of G.F. Stout (The Nature of Universals and Propositions [1923]) by Keith Campbell - The Metaphysic of Abstract Particulars §1
	A reaction: Note that relations will have to be tropes, as well as properties. Williams wants tropes to be parts of objects, but that will be tricky with relations. If you place two objects on a table, how does the 'to the left of' trope come into existence?

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]
	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).

6660	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.