Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox. (English) Zbl 1456.03034
Summary: A contrary-to-duty obligation (sometimes called a reparational duty) is a conditional obligation where the condition is forbidden, e.g. “if you have hurt your friend, you should apologise”, “if he is guilty, he should confess”, and “if she will not keep her promise to you, she ought to call you”. It has proven very difficult to find plausible formalisations of such obligations in most deontic systems. In this paper, we will introduce and explore a set of temporal alethic dyadic deontic systems, i.e., systems that include temporal, alethic and dyadic deontic operators. We will then show how it is possible to use our formal apparatus to symbolise contrary-to-duty obligations and to solve the so-called contrary-to-duty (obligation) paradox, a problem well known in deontic logic. We will argue that this response to the puzzle has many attractive features. Semantic tableaux are used to characterise our systems proof theoretically and a kind of possible world semantics, inspired by the so-called \(\mathrm{T}\times\mathrm{W}\) semantics, to characterise them semantically. Our models contain several different accessibility relations and a preference relation between possible worlds, which are used in the definitions of the truth conditions for the various operators. Soundness results are obtained for every tableau system and completeness results for a subclass of them.
Keywords:
\(\mathrm{T}\times\mathrm{W}\) logics; temporal logic; modal logic; dyadic deontic logic; semantic tableaux; conditional norms; contrary-to-duty obligations, the contrary-to-duty (obligation) paradoxReferences:
| [1] | Alchourrón, C.E., and E. Bulygin, “Normative knowledge and truth”, pages 25-45 in J.J.E. Garcia et al. (eds.), Philosophical Analysis in Latin America, D. Reidel Publishing Company, 1984 |
| [2] | Anderson, A.R. (1956), “The formal analysis of normativesystems”, pages 147-213 in N. Rescher (ed.), The Logic of Decision and Action, Pittsburg: University of Pittsburg Press, 1967 · Zbl 0207.29103 |
| [3] | Bailhache, P., “Les normes dans le temps et sur l’action. Essai de logique déontique”, Université de Nantes, 1986 |
| [4] | Bailhache, P., “Essai de logique déontique”, Paris, Librarie Philosophique, Vrin, Collection Mathesis, 1991 |
| [5] | Bailhache, P., “The deontic branching time: Two related conceptions”, Logique et Analyse 36 (1993): 159-175 · Zbl 0839.03009 |
| [6] | Bailhache, P., “Canonical models for temporal deontic logic”, Logique et Analyse 149 (1995): 3-21 · Zbl 0973.03023 |
| [7] | Bartha, P., “Moral preference, contrary-to-duty obligation and defeasible oughts”, pages 93-108 in [37] · Zbl 0940.03005 |
| [8] | Belnap, N., M. Perloff, and M. Xu, Facing the Future: Agents and Choices in Our Indeterminist World, Oxford, Oxford University Press, 2001 |
| [9] | Brown, M.A., “Agents with changing and conflicting commitments: A preliminary study”, page 109-125 in [37] · Zbl 0940.03007 |
| [10] | Brown, M.A., “Conditional obligation and positive permission for agents in time”, Nordic Journal of Philosophical Logic 5, 2 (2000): 83-112 · Zbl 0974.03018 |
| [11] | Brown, M.A., “Rich deontic logic: A preliminary study”, Journal of Applied Logic 2 (2004): 19-37 · Zbl 1056.03010 |
| [12] | Burgess, J.P., “Basic Tense Logic”, pages 89-133 and 1-42 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2 and Vol. 7 (2nd Edition), Kluwer Academic Publishers, 1984 and 2002, respectively. DOI: and · Zbl 0875.03046 |
| [13] | Carmo, J., and A.J.I. Jones, “Deontic logic and contrary-to-duties”, pages 265-343 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd Edition, Vol. 8, Kluwer Academic Publishers, 2002. DOI: · Zbl 1055.03002 |
| [14] | Chellas, B.F., The Logical Form of Imperatives, Stanford, Perry Lane Press, 1969 |
| [15] | Chellas, B.F., Modal Logic: An Introduction, Cambridge, Cambridge University Press, 1980 · Zbl 0431.03009 |
| [16] | Chisholm, R.M., “Contrary-to-duty imperatives and deontic logic”, Analysis 24, 2 (1963): 33-36. DOI: |
| [17] | Ciuni, R., and A. Zanardo, “Completeness of a branching-time logic with possible choices”, Studia Logica 96, 3 (2010): 393-420. DOI: · Zbl 1216.03032 |
| [18] | Cox, Azizah Al-Hibri, Deontic Logic: A Comprehensive Appraisal and a New Proposal, University Press of America, 1978 · Zbl 0452.03018 |
| [19] | D’Agostino, M., D.M. Gabbay, R.Hähnle, and J. Posegga (eds.), Handbook of Tableau Methods, Dordrecht, Kluwer Academic Publishers, 1999. DOI: · Zbl 0933.00011 |
| [20] | Danielsson, S., Preference and Obligation: Studies in the Logic of Ethics, Uppsala: Filosofiska föreningen, 1968 |
| [21] | DiMaio, M.C., and A. Zanardo, “A Gabbay-rule free axiomatization of T × W validity”, Journal of Philosophical Logic 27 (1998): 435-487 · Zbl 0920.03032 |
| [22] | Feldman, F., Doing the Best We Can: An Essay in Informal Deontic Logic, Dordrecht: D. Reidel Publishing Company, 1986 |
| [23] | Feldman, F., “A simpler solution to the paradoxes of deontic logic”, Philosophical Perspectives 4 (1990): 309-341. DOI: |
| [24] | Fitting, M., Proof Methods for Modal and Intuitionistic Logics, Dordrecht, D. Reidel Publishing Company, 1983.DOI: · Zbl 0523.03013 |
| [25] | Fitting, M., and R.L. Mendelsohn, First-Order Modal Logic, Kluwer Academic Publishers, 1998. DOI: · Zbl 1025.03001 |
| [26] | Gabbay, D.M., and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd Edition, Vol. 3, Dordrecht, Kluwer Academic Publishers, 2001. DOI: · Zbl 0999.03001 |
| [27] | Gabbay, D.M., A. Kurucz, F. Wolter, M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Amsterdam, Elsevier, 2003 · Zbl 1051.03001 |
| [28] | Hansson, B., “An analysis of some deontic logics”, Noûs 3 (1969): 373-398. DOI: · Zbl 1366.03069 |
| [29] | Hilpinen, R. (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundation of Ethics, Dordrecht, D. Reidel Publishing Company, 1981. DOI: |
| [30] | Horty, J.F., Agency and Deontic Logic, Oxford, Oxford University Press, 2001. DOI: · Zbl 1119.03313 |
| [31] | Jeffrey, R.C., Formal Logic: Its Scope and Limits, McGraw-Hill, New York, 1967 · Zbl 0925.03002 |
| [32] | Kracht, M., Tools and Techniques in Modal Logic, Amsterdam, Elsevier, 1999 · Zbl 0927.03002 |
| [33] | Lenk, H., Normenlogik, Pullach bei München: Verlag Dokumentation, 1974 |
| [34] | Lewis, D., Counterfactuals, Oxford: Basil Blackwell, 1973 |
| [35] | Lewis, D., “Semantic analysis for dyadic deontic logic”, pages 1-14 in S. Stenlund (ed.), Logical Theory and Semantical Analysis, D. Reidel Publishing Company, Dordrecht, 1974 · Zbl 0331.02013 |
| [36] | Loewer, B., and M. Belzer, “Dyadic deontic detachment”, Synthese 54, 2 (1983): 295-318. DOI: · Zbl 0515.03010 |
| [37] | McNamara, P., and H. Prakken (eds.), Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science, Amsterdam, IOS Press, 1999 |
| [38] | Priest, G., An Introduction to Non-Classical Logic, Cambridge, Cambridge University Press, 2008. DOI: · Zbl 1148.03002 |
| [39] | Prior, A., “The paradoxes of derived obligation”, Mind 63, 249 (1954): 64-65. DOI: |
| [40] | Prior, A., Past, Present and Future, Oxford, Clarendon, 1967. DOI: · Zbl 0169.29802 |
| [41] | Rescher, N., “An axiom system for deontic logic”, Philosophical Studies 9, 1-2 (1958): 24-30. DOI: |
| [42] | Rescher, N., and A. Urquhart, Temporal Logic, Wien, Springer-Verlag, 1971. DOI: · Zbl 0229.02027 |
| [43] | Rönnedal, D., “Dyadic deontic logic and semantic tableaux”, Logic and Logical Philosophy 18, 3-4 (2009): 221-252. DOI: · Zbl 1239.03011 |
| [44] | Rönnedal, D., “Temporal alethic-deontic logic and semantic tableaux”, Journal of Applied Logic 10, 3 (2012): 219-237. DOI: · Zbl 1264.03054 |
| [45] | Rönnedal, D., “Extensions of deontic logic: An investigation into some multi-modal systems”, Department of Philosophy, Stockholm University, 2012 |
| [46] | Rönnedal, D., “Quantified temporal alethic deontic logic”, Logic and Logical Philosophy 24, 1 (2015): 19-59. DOI: · Zbl 1375.03021 |
| [47] | Smullyan, R.M., First-Order Logic, Heidelberg, Springer-Verlag, 1968. DOI: · Zbl 0172.28901 |
| [48] | Thomason, R., “Deontic logic as founded on tense logic”, pages 165-176, Chapter 7, in [29]. DOI: |
| [49] | Thomason, R., “Deontic logic and the role of freedom in moral deliberation”, pages 177-186, Chapter 8, in [29]. DOI: |
| [50] | Thomason, R., “Combinations of tense and modality”, pages 135-165 and 205-234 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2 and Vol. 7 (2nd Edition), 1984 and 2002, respectively. DOI: and · Zbl 0875.03047 |
| [51] | van Eck, J., “A system of temporally relative modal and deontic predicate logic and its philosophical applications”, Department of Philosophy, University of Groningen, The Netherlands, 1981 |
| [52] | van Eck, J., “A system of temporally relative modal and deontic predicate logic and its philosophical applications”, Logique et Analyse 25, 99 (1982): 249-290 · Zbl 0549.03004 |
| [53] | van Eck, J., “A system of temporally relative modal and deontic predicate logic and its philosophical application”, Logique et Analyse 25, 100 (1982): 339-381 · Zbl 0549.03004 |
| [54] | van Fraassen, B.C., “The logic of conditional obligation”, Journal of Philosophical Logic 1, 3-4 (1972): 417-438. DOI: · Zbl 0246.02015 |
| [55] | van Fraassen, B.C., “Values and the heart’s command”, The Journal of Philosophy LXX (1973): 5-19. DOI: |
| [56] | von Kutschera, F., “Normative Präferenzen und bedingte Gebote”, pages 137-165 in [33] |
| [57] | von Kutschera, F., “T × W completeness”, Journal of Philosophical Logic 26 (1997): 241-250 · Zbl 0873.03023 |
| [58] | von Wright, G.H., “A new system of deontic logic”, Danish Yearbook of Philosophy 1 (1964): 173-182. DOI: |
| [59] | Wölfl, S., “Combinations of tense and modality for predicate logic”, Journal of Philosophical Logic 28 (1999): 371-398 · Zbl 0933.03014 |
| [60] | Zanardo, A., “Branching-time logic with quantification over branches: The point of view of modal logic”, The Journal of Symbolic Logic 61, 1 (1996): 1-39. DOI · Zbl 0858.03021 |
| [61] | Åqvist, L., “Revised foundations for imperative-epistemic and interrogative logic”, Theoria 37, 1 (1971): 33-73. DOI: · Zbl 0341.02017 |
| [62] | Åqvist, L., “Modal logic with subjunctive conditionals and dispositional predicates”, Journal of Philosophical Logic 2, 1 (1973): 1-76. DOI: · Zbl 0259.02015 |
| [63] | Åqvist, L., “Deontic Logic”, pages 605-714 and 147-264 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 2 and Vol. 8 (2nd Edition), 1984 and 2002, respectively. DOI: and · Zbl 0875.03018 |
| [64] | Åqvist, L., Introduction to Deontic Logic and the Theory of Normative Systems, Naples, Bibliopolis, 1987 · Zbl 0645.03001 |
| [65] | Åqvist, L., “The logic of historical necessity as founded on two-dimensional modal tense logic”, Journal of Philosophical Logic 28, 4 (1999) 329-369. DOI: · Zbl 0933.03015 |
| [66] | Åqvist, L., “Conditionality and branching time in deontic logic: Further remarks on the Alchourrón and Bulygin (1983) Example”, pages 13-37 in K. Segerberg and R. Sliwinski (eds.), Logic, Law, Morality: Thirteen essays in Practical Philosophy in Honour of Lennart Åqvist, Uppsala philosophical studies 51, Uppsala: Uppsala University, 2003 |
| [67] | Åqvist, L., “Combinations of tense and deontic modality: On the Rt approach to temporal logic with historical necessity and conditional obligation”, Journal of Applied Logic 3 (2005): 421-460 · Zbl 1081.03016 |
| [68] | Åqvist, L., and J. Hoepelman, “Some theorems about a “tree” system of deontic tense logic”, pages 187-221 in [29] |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
