Combining Texts

All the ideas for 'A Puzzle about Belief', 'Consciousness,Represn, and Knowledge' and 'works'

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

9 ideas

5. Theory of Logic / A. Overview of Logic / 2. History of Logic
11022 Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
11065 The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna]
11023 The logical connectives are 'defined' by their introduction rules [Gentzen]
11213 Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
10067 Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
9329 Justification is coherence with a background system; if irrefutable, it is knowledge [Lehrer]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
9330 Generalization seems to be more fundamental to minds than spotting similarities [Lehrer]
16. Persons / C. Self-Awareness / 1. Introspection
9328 All conscious states can be immediately known when attention is directed to them [Lehrer]
18. Thought / B. Mechanics of Thought / 5. Mental Files
16383 Puzzled Pierre has two mental files about the same object [Recanati on Kripke]