Combining Texts

All the ideas for 'Completeness of Axioms of Logic', 'Aenesidemus' and 'Introduction to 'Self-Knowledge''

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]
7. Existence / D. Theories of Reality / 2. Realism
22014 Consciousness is not entirely representational, because there are pains, and the self [Schulze, by Pinkard]
16. Persons / B. Nature of the Self / 7. Self and Body / a. Self needs body
5673 If we have a pain, we are strongly aware of the bodily self [Cassam]
16. Persons / C. Self-Awareness / 1. Introspection
5670 Knowledge of thoughts covers both their existence and their contents [Cassam]
16. Persons / C. Self-Awareness / 2. Knowing the Self
5671 Outer senses are as important as introspection in the acquisition of self-knowledge [Cassam]
5672 Is there a mode of self-awareness that isn't perception, and could it give self-knowledge? [Cassam]
5675 Neither self-consciousness nor self-reference require self-knowledge [Cassam]
16. Persons / C. Self-Awareness / 3. Limits of Introspection
5674 We can't introspect ourselves as objects, because that would involve possible error [Cassam]