more on this theme | more from this text
Full Idea
Modal logic is not an extensional language.
Gist of Idea
Modal logic is not an extensional language
Source
Charles Parsons (A Plea for Substitutional Quantification [1971], p.159 n8)
Book Ref
'Philosophy of Logic: an anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.159
A Reaction
[I record this for investigation. Possible worlds seem to contain objects]
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
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] |
9470 | Modal logic is not an extensional language [Parsons,C] |
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |