Ideas from 'A Plea for Substitutional Quantification' by Charles Parsons [1971], by Theme Structure

[found in 'Philosophy of Logic: an anthology' (ed/tr Jacquette,Dale) [Blackwell 2002,0-631-21868-8]].

Click on the Idea Number for the full details    |     back to texts     |     expand these ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
Modal logic is not an extensional language
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true
Substitutional existential quantifier may explain the existence of linguistic entities