Combining Texts

All the ideas for 'Completeness of Axioms of Logic', 'fragments/reports' and 'Sweet Dreams'

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

8 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
9. Objects / E. Objects over Time / 8. Continuity of Rivers
579 Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
578 Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle]
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]