Combining Texts

All the ideas for 'The Eumenides', 'Introduction to 'Hippias Minor'' and 'The Logical Syntax of Language'

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

---

4 ideas

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]

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism

9548	A mathematical object exists if there is no contradiction in its definition [Waterfield]

25. Social Practice / D. Justice / 2. The Law / b. Rule of law

7810	The 'Eumenides' of Aeschylus shows blood feuds replaced by law [Aeschylus, by Grayling]