Grice presents tableau methods for two-dimensional modal logics. Althoughmodels for such logics are well known, proof systems remain rather unexplored as mostof their developments have been purely axiomatic. The logics herein considered containfirst-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actualor reference worlds, and the lower indices representing worlds of evaluation — first and second dimensions, respectively. The tableaux modulate over different notions of validity such as local, general, and diagonal, besides being general enough for severaltwo-dimensional logics proposed in the literature. We also motivate the introduction of a new operator into two-dimensional languages and explore some of the philosophicalquestions raised by it concerning the relations there are between actuality, necessity,and the a priori, that seem to undermine traditional intuitive interpretations of two-dimensional operators.
Thursday, February 15, 2018
Disimplicature
Speranza
Grice presents tableau methods for two-dimensional modal logics. Althoughmodels for such logics are well known, proof systems remain rather unexplored as mostof their developments have been purely axiomatic. The logics herein considered containfirst-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actualor reference worlds, and the lower indices representing worlds of evaluation — first and second dimensions, respectively. The tableaux modulate over different notions of validity such as local, general, and diagonal, besides being general enough for severaltwo-dimensional logics proposed in the literature. We also motivate the introduction of a new operator into two-dimensional languages and explore some of the philosophicalquestions raised by it concerning the relations there are between actuality, necessity,and the a priori, that seem to undermine traditional intuitive interpretations of two-dimensional operators.
Grice presents tableau methods for two-dimensional modal logics. Althoughmodels for such logics are well known, proof systems remain rather unexplored as mostof their developments have been purely axiomatic. The logics herein considered containfirst-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actualor reference worlds, and the lower indices representing worlds of evaluation — first and second dimensions, respectively. The tableaux modulate over different notions of validity such as local, general, and diagonal, besides being general enough for severaltwo-dimensional logics proposed in the literature. We also motivate the introduction of a new operator into two-dimensional languages and explore some of the philosophicalquestions raised by it concerning the relations there are between actuality, necessity,and the a priori, that seem to undermine traditional intuitive interpretations of two-dimensional operators.
Subscribe to:
Post Comments (Atom)
Posts
No comments:
Post a Comment