A conditional logic with λ-operator
DOI:
https://doi.org/10.47850/RL.2026.7.2.22-29Keywords:
conditionals, conditional logics, possible world semantics, de re, de dicto, λ-operator.Abstract
Conditional logics are designed to model natural language reasoning involving conditionals. They contain a conditional operator representing natural language connective “if ..., then ...”. It is an intensional operator, so its interplay with non-rigidly interpreted individual constants in first-order conditional logics generates the de re / de dicto distinction. In some first-order modal logics, the distinction is represented using λ-operator. In the present paper, it is shown that this tool of representation of the de re / de dicto distinction can be used in conditional first-order logics as well.
References
Chellas, B. F. (1980). Modal Logic. An Introduction. Cambridge. Cambridge University Press. Fitting, M., Mendelsohn, R. L. (2023). First-Order Modal Logic. Dordrecht. Springer.
Grahne, G. (1998). Updates and Counterfactuals. Journal of Logic and Computation. Vol. 8. Iss. 1. Pp. 87-117.
Nute, D., Cross, C. B. (2001). Conditional Logic. In Gabbay, D. M., Guenthner, F. (eds.) Handbook of Philosophical Logic. Vol. 4. Dordrecht. Kluwer. Pp. 1-98.
Nute, D. (1980). Topics in Conditional Logic. Dordrecht, Boston, London. Reidel.
Priest, G. (2008). An Introduction to Non-Classical Logic. From If to Is. Cambridge. Cambridge University Press.
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
https://oc.philosophy.nsc.ru/remote.php/webdav/%D0%94%D0%BE%D0%B3%D0%BE%D0%B2%D0%BE%D1%80%20%D1%81%20%D0%B0%D0%B2%D1%82%D0%BE%D1%80%D0%BE%D0%BC%20RL-%D0%BF%D1%80%D0%B0%D0%B2.doc
