Combining Texts

All the ideas for 'reports', 'Gentzen's Analysis of First-Order Proofs' and 'Intro to 'Self-Representational Consciousness''

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

9 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13831 Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13825 Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13823 In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
10. Modality / A. Necessity / 8. Transcendental Necessity
3016 Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / e. Cause of consciousness
9312 Consciousness is reductively explained either by how it represents, or how it is represented [Kriegel/Williford]
9315 Red tomato experiences are conscious if the state represents the tomato and itself [Kriegel/Williford]
9313 Experiences can be represented consciously or unconsciously, so representation won't explain consciousness [Kriegel/Williford]
9316 How is self-representation possible, does it produce a regress, and is experience like that? [Kriegel/Williford]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / f. Higher-order thought
9314 Unfortunately, higher-order representations could involve error [Kriegel/Williford]