Abstract
Makinson and van der Torre [13] introduce a number of input/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The meaning of the normative concepts is, then, given in terms of a set of procedures yielding outputs for inputs. Using the same methodology, Stolpe[19,20] has developed some more I/O logics to include systems without the rule of weakening of the output (or principle of inheritance). We extend Stolpe’s account in two directions. First, we show how to make it support reasoning by cases−a common form of reasoning. Second, we show how to inject a new (as we call it, “aggregative”) form of cumulative transitivity, which we think is more suitable for normative reasoning. The main outcomes of the paper are soundness and completeness theorems for the proposed systems with respect to their intended semantics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Broome, J.: Rationality Through Reasoning. Wiley-Blackwell, West Sussex (2013)
Chisholm, R.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1963)
Dosen, K.: Negation in the light of modal logic. In: Gabbay, D., Wansing, H. (eds.) What is Negation?, pp. 77–86. Springer, Heidelberg (1999)
Forrester, J.: Gentle murder, or the adverbial Samaritan. Journal of Philosophy 81, 193–197 (1984)
Goble, L.: A logic of good, should, and would: Part I. Journal of Philosophical Logic 19, 169–199 (1990)
Goble, L.: A proposal for dealing with deontic dilemmas. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 74–113. Springer, Heidelberg (2004)
Goble, L.: Prima facie norms, normative conflicts and dilemmas. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, pp. 241–352. College Publications, London (2013)
Hansen, J.: Imperative logic and its problems. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, pp. 499–544. College Publications, London (2013)
Hansen, J.: Reasoning about permission and obligation. In: Hansson, S.O. (ed.) David Makinson on Classical Methods for Non-Classical Problems, pp. 287–333. Springer (2014)
Hansson, S.O.: Preference-based deontic logic (PDL). Journal of Philosophical Logic 19, 75–93 (1990)
Hansson, S.O.: Situationist deontic logic. Journal of Philosophical Logic 26(4), 423–448 (1997)
Makinson, D.: On a fundamental problem in deontic logic. In: Namara, P.M., Prakken, H. (eds.) Norms, Logics and Information Systems. Frontiers in Artificial Intelligence and Applications, pp. 29–54. IOS Press, Amsterdam (1999)
Makinson, D., van der Torre, L.: Input/output logics. Journal of Philosophical Logic 29(4), 383–408 (2000)
Makinson, D., van der Torre, L.: Constraints for input/output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)
McLaughlin, R.N.: Further problems of derived obligation. Mind 64(255), 400–402 (1955)
Parent, X., van der Torre, L.: Aggregative deontic detachment for normative reasoning (short paper). In: Eiter, T., Baral, C., Giacomo, G.D. (eds.) Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014. AAAI Press (2014)
Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica 57, 91–115 (1996)
Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 6, pp. 287–393. Springer (2002)
Stolpe, A.: Normative consequence: The problem of keeping it whilst giving it up. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 174–188. Springer, Heidelberg (2008)
Stolpe, A.: Norms and Norm-System Dynamics. Ph.D. thesis, Department of Philosophy, University of Bergen, Norway (2008)
von Wright, G.: Norm and Action: A Logical Enquiry. Routledge & Kegan Paul PLC (1963)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Parent, X., van der Torre, L. (2014). “Sing and Dance!”. In: Cariani, F., Grossi, D., Meheus, J., Parent, X. (eds) Deontic Logic and Normative Systems. DEON 2014. Lecture Notes in Computer Science(), vol 8554. Springer, Cham. https://doi.org/10.1007/978-3-319-08615-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-08615-6_12
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08614-9
Online ISBN: 978-3-319-08615-6
eBook Packages: Computer ScienceComputer Science (R0)