- Abstract:
-
Paper establishes that the theorems of quantified S5 can be precisely captured within a system wherein modality is treated as a predicate applying to names of expressions, rather than as an object language operator. In this setting, the free logic as opposed to classical assumptions built into Kripke's original formulation of quantified modal logic are highlighted. Alternative models in first-order free logic are pressed into service as 'possible worlds', and hence under this metalinguistic interpretation of necessity, the semantics of the modal device can be obtained by quantifying over the structures presupposed by the pre-modal base logic: possible worlds are not required as additional model-theoretic primitives. The intensional aspects of modality are incorporated in the method of defining the extension of the modal predicate, rather than in the specification of the basic truth conditions for modal formulas.
- Links To Paper
- No links available
- Bibtex format
- @Article{EDI-INF-RR-0415,
- author = {
Paul Schweizer
},
- title = {Free Logic and Quantification in Syntactic Modal Contexts},
- journal = {New Essays in Free Logic},
- publisher = {Springer},
- year = 2001,
- volume = {23},
- pages = {69-85},
- }
|
