Combining Texts

All the ideas for 'Later Letters to Dedekind', 'The Logical Syntax of Language' and 'Reply to Sixth Objections'

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

---

6 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

17831

Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake]

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13342

Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap]

5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention

13251

Each person is free to build their own logic, just by specifying a syntax [Carnap]

7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience

3644	Two things being joined together doesn't prove they are the same [Descartes]

13. Knowledge Criteria / D. Scepticism / 3. Illusion Scepticism

3621	Only judgement decides which of our senses are reliable [Descartes]

28. God / A. Divine Nature / 6. Divine Morality / d. God decrees morality

3637	Ideas in God's mind only have value if he makes it so [Descartes]