Combining Texts

All the ideas for 'Second Philosophy', 'Formal and Transcendental Logic' and 'Reference and Contingency'

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

---

6 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic

10594

Henkin semantics is more plausible for plural logic than for second-order logic [Maddy]

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 / B. Possibility / 5. Contingency

14895

'Superficial' contingency: false in some world; 'Deep' contingency: no obvious verification [Evans, by Macià/Garcia-Carpentiro]

10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation

11881

Rigid designators can be meaningful even if empty [Evans, by Mackie,P]