Combining Texts

All the ideas for 'works', 'A Note on the entscheidungsproblem' and 'Consciousness,Represn, and Knowledge'

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

---

5 ideas

5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction

10121

Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]

5. Theory of Logic / K. Features of Logics / 7. Decidability

18758

Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee]

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]