Combining Texts

All the ideas for 'works', 'De arcanus motus' and 'The Logical Syntax of Language'

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

---

5 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]

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

17743

De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]

8. Modes of Existence / C. Powers and Dispositions / 1. Powers

12733

Because of the definitions of cause, effect and power, cause and effect have the same power [Leibniz]

10. Modality / A. Necessity / 2. Nature of Necessity

12734

Every necessary proposition is demonstrable to someone who understands [Leibniz]