Combining Texts

All the ideas for 'Sweet Dreams', 'Making It Explicit' and 'New Foundations for Mathematical Logic'

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

7 ideas

3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
10355 Facts can't make claims true, because they are true claims [Brandom, by Kusch]
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]
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
7658 Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett]
16. Persons / E. Rejecting the Self / 4. Denial of the Self
7655 The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
7657 Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
7656 I don't deny consciousness; it just isn't what people think it is [Dennett]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
7654 What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett]