Quantified temporal alethic-deontic logic. (English) Zbl 1375.03021
Summary: The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic. We consider three basic kinds of systems: constant, variable and constant and variable domain systems. These systems can be augmented by either necessary or contingent identity, and every system that includes identity can be combined with descriptors. All logics are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called \(T\times W\) semantics, to characterize them semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics.
Keywords:
quantified modal logic; \(T\times W\) logics; temporal logic; deontic logic; semantic tableaux; Barcan formulas, possibilism; eternalism; actualism; presentism; Graham PriestReferences:
| [1] | Bailhache, P., Les normes dans le temps et sur l’action, Essai de logique déontique, Université de Nantes, 1986 |
| [2] | Bailhache, P., Essai de logique déontique, Paris, Librarie Philosophique, Vrin, Collection Mathesis, 1991 |
| [3] | Barcan (Marcus), R.C., ”A functional calculus of first order based on strict implication”, Journal of Symbolic Logic, 11 (1946): 1-16 · Zbl 0063.00205 · doi:10.2307/2269159 |
| [4] | Barcan (Marcus), R.C., ”The identity of individuals in a strict functional calculus of second order”, Journal of Symbolic Logic, 12, 1 (1947): 12-15 · Zbl 1263.03012 · doi:10.2307/2267171 |
| [5] | Bartha, P., ”Moral preference, contrary-to-duty obligation and defeasible oughts”, pages 93-108 in Norms, Logics and Information Systems:New Studies in Deontic Logic and Computer Science, P. McNamara, and H. Prakken (eds.), Amsterdam, IOS Press, 1999 · Zbl 0940.03005 |
| [6] | Belnap, N., Perloff, M. and Xu, M., Facing the Future: Agents and Choices in Our Indeterminist World, Oxford, Oxford University Press, 2001 |
| [7] | Bowen, K., Model Theory for Modal Logic, Reidel, Dordrecht, 1979 · Zbl 0395.03022 |
| [8] | Bressan, A., A General Interpreted Modal Calculus, Yale University Press, 1973 · Zbl 0279.02009 |
| [9] | 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 |
| [10] | Brown M. A., ”Rich deontic logic: a preliminary study”, Journal of Applied Logic, 2 (2004): 19-37 · Zbl 1056.03010 · doi:10.1016/j.jal.2004.01.002 |
| [11] | Carnap, R., ”Modalities and quantification”, Journal of Symbolic Logic, 11, 2 (1946): 33-64 · Zbl 0063.00713 · doi:10.2307/2268610 |
| [12] | Carnap, R., Meaning and Necessity, Chicago, Chicago University Press, 1947 · Zbl 0034.00106 |
| [13] | Chellas, B. F., The Logical Form of Imperatives, Stanford, Perry Lane Press, 1969 |
| [14] | D’Agostino, M., D.M. Gabbay, R. Hähnle, and J. Posegga (eds.), Handbook of Tableau Methods, Dordrecht, Kluwer Academic Publishers, 1999 · Zbl 0956.03001 |
| [15] | Eck, J.E. v., A System of Temporally Relative Modal and Deontic Predicate Logic and its Philosophical Applications, Department of Philosophy, University of Groningen, The Netherlands, 1981 |
| [16] | Fitting, M., and R. L. Mendelsohn, First-Order Modal Logic, Kluwer Academic Publishers, 1998 · Zbl 1025.03001 |
| [17] | Gabbay, D.M., Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, Reidel, Dordrecht, 1976 · Zbl 0374.02013 |
| [18] | Garson, J.W., ”Quantification in modal logic”, in Handbook of Philosophical Logic, vol. 2, D.M. Gabbay and F. Guenthner (eds.), 1984 · Zbl 0875.03050 |
| [19] | Garson, J.W., Modal Logic for Philosophers, New York, Cambridge University Press, 2006 · Zbl 1109.03001 |
| [20] | Hilpinen, R. (ed.), New Studies in Deontic Logic: Norms, Actions, and the Foundation of Ethics, Dordrecht, D. Reidel Publishing Company, 1981 |
| [21] | Hintikka, J., ”Quantifiers in deontic logic”, Societas Scientarum Fennica, Commentationes Humanarum Literarum, Helsinki 23, 4 (1957) |
| [22] | Hintikka, J., ”Modality as referential multiplicity”, Ajatus, 20 (1957): 49-64 |
| [23] | Hintikka, J., ”Existential presuppositions and existential commitments”, Journal of Philosophy, 56 (1959): 125-137 · doi:10.2307/2021988 |
| [24] | Hintikka, J., ”Modality and quantification”, Theoria, 27 (1961): 117-128 · doi:10.1111/j.1755-2567.1961.tb00020.x |
| [25] | Horty, J. F., Agency and Deontic Logic, Oxford, Oxford University Press, 2001 · Zbl 1119.03313 |
| [26] | Hughes, G.E., and M. J. Cresswell, An Introduction to Modal Logic, London, Routledge, 1968 · Zbl 0205.00503 |
| [27] | Kanger, S., Provability in Logic, Stockholm, 1957 · Zbl 0077.01202 |
| [28] | Kripke, S. A., ”A completeness theorem in modal logic”, Journal of Symbolic Logic, 24 (1959): 1-14 · Zbl 0091.00902 · doi:10.2307/2964568 |
| [29] | Kripke, S. A., ”Semantical considerations on modal logic”, Acta Philosophica Fennica, 16 (1963): 83-94 · Zbl 0131.00602 · doi:10.1007/978-3-0346-0145-0_16 |
| [30] | Kripke, S. A., ”Semantical analysis of modal logic I. Normal propositional calculi”, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9 (1963): 67-96 · Zbl 0118.01305 · doi:10.1002/malq.19630090502 |
| [31] | Kripke, S. A., ”Semantical analysis of modal logic II. Non-normal modal propositional calculi”, pages 206-220 in The Theory of Models (Proceedings of the 1963 International Symposium at Berkeley), J.W. Addison, L. Henkin, and A. Tarski (eds.), North-Holland, Amsterdam, 1965 · Zbl 0163.00502 |
| [32] | Lewis, C. I., Survey of Symbolic logic, Berkeley, University of California Press, 1918 |
| [33] | Lewis C. I., and C. H. Langford, Symbolic Logic, New York, The Century Company, 1932 |
| [34] | Montague, R., ”Logical necessity, physical necessity, ethics and quantifiers”, Inquiry, 4 (1960): 259-269 · doi:10.1080/00201746008601312 |
| [35] | Parks, Z., ”Investigations into quantified modal logic I”, Studia Logica, 35 (1976): 109-125 · Zbl 0332.02028 · doi:10.1007/BF02120875 |
| [36] | Priest, G., An Introduction to Non-Classical Logic, Cambridge, Cambridge University Press, 2008 · Zbl 1148.03002 |
| [37] | Rönnedal, D., ”Temporal alethic-deontic logic and semantic tableaux”, Journal of Applied Logic, 10 (2012): 219-237 · Zbl 1264.03054 · doi:10.1016/j.jal.2012.03.002 |
| [38] | Rönnedal, D., Extensions of Deontic Logic: An Investigation into some Multi-Modal Systems, Department of Philosophy, Stockholm University, 2012 |
| [39] | Thomason, R., ”Deontic logic as founded on tense logic”, pages 165-176 in [20] |
| [40] | Thomason, R., ”Deontic logic and the role of freedom in moral deliberation”, pages 177-186 in [20] |
| [41] | Thomason, R., ”Combinations of tense and modality”, pages 135-165 in Handbook of Philosophical Logic, vol. 2, D.M. Gabbay and F. Guenthner (eds.), 1984 (2nd edition, vol. 7, 2002, pp. 205-234) · Zbl 0875.03047 |
| [42] | Thomason, R., ”Some completeness results for modal predicate calculi”, in Philosophical Problems in Logic, K. Lambert (ed.), D. Reidel, Dordrecht, 1970 · Zbl 0188.32002 |
| [43] | Wölfl, S., ”Combinations of tense and modality for predicate logic”, Journal of Philosophical Logic, 28 (1999): 371-398 · Zbl 0933.03014 · doi:10.1023/A:1004359325754 |
| [44] | Åqvist, L., ”The logic of historical necessity as founded on two-dimensional modal tense logic”, Journal of Philosophical Logic, 28 (1999): 329-369 · Zbl 0933.03015 · doi:10.1023/A:1004425728816 |
| [45] | Å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 |
| [46] | Åqvist, L., and J. Hoepelman, ”Some theorems about a ’tree’ system of deontic tense logic”, pages 187-221 in [20] |
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.
