Combining Texts

All the ideas for 'Second Philosophy', '25: Third Epistle of John' and 'A Plea for Substitutional Quantification'

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

---

5 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic

9470	Modal logic is not an extensional language [Parsons,C]

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 / G. Quantification / 4. Substitutional Quantification

9469	Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C]

9468	On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C]

28. God / A. Divine Nature / 6. Divine Morality / c. God is the good

8141	He that does evil has not seen God [John]