Combining Texts

All the ideas for 'poems', 'Formal and Transcendental Logic' and 'works'

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

---

6 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

7791	The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle]

5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic

21222

Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol]

21223

Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol]

6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics

21224

Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol]

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

11002

Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read]

22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention

6017	Nomos is king [Pindar]