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]].
green numbers give full details |
back to texts
|
expand these ideas
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
9470
|
Modal logic is not an extensional language
|
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
9469
|
Substitutional existential quantifier may explain the existence of linguistic entities
|
9468
|
On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true
|