Combining Texts

All the ideas for 'Sweet Dreams', 'The Emperor's New 'Knows'' and 'On the General Idea of Proof Theory'

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


10 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
13. Knowledge Criteria / C. External Justification / 6. Contextual Justification / b. Invariantism
How could 'S knows he has hands' not have a fixed content? [Bach]
If contextualism is right, knowledge sentences are baffling out of their context [Bach]
Sceptics aren't changing the meaning of 'know', but claiming knowing is tougher than we think [Bach]
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
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
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
Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett]
17. Mind and Body / E. Mind as Physical / 3. Eliminativism
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
What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett]