Abstract
The problem of deriving implicit norms from explicitly given ones is at the heart of normative reasoning. In abstracto the problem is that of formalizing a plausible consequence relation taking norms to norms. I argue that any such relation should allow norms to be chained, even when the consequent of one is strictly stronger than the antecedent of another—i. e. even if logical inference is required to complete the chain. However, since it is commonly agreed that the set of items classically entailed by an obligatory proposition are not in general obligatory, we are left with the following problem: How do reserve the right to reason classically for the purpose of chaining, whilst not committing to the view that all items entailed by a norm are obligatory in the same sense. I shall argue that the problem can be given a natural solution with reference to different uses of a norm in a normative system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Brown, M.A.: Conditional obligation and positive permission for agents in time. Nordic Journal of Philsophical Logic 5(2), 83–111 (2000)
Hansson, S.O.: The Structure of Values and Norms. Cambridge University Press, Cambridge (2001)
Carmo, J., Jones, A.J.I.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philsophical Logic, vol. 8, pp. 263–265. Kluwer Academic Publishers, Dordrecht (2002)
Makinson, D.: Bridges Between Classical and Nonmonotonic Logic. Texts in Computing, vol. 5. King’s College London Publications (2005)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 30, 155–185 (2001)
Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 32(4), 391–416 (2003)
Makinson, D., van der Torre, L.: What is input/output logic? In: Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics. Trend in Logic, vol. 17. Kluwer, Dordrecht (2003)
Makinson, D.: Bridges Between Classical and Nonmonotonic Reasoning. Texts in Computing, vol. 5. Kings’ College London Publications (2005)
McLaughlin, R.N.: Further problems of derived obligation. Mind, new series 4(64), 400–402 (1955)
von Wright, G.H.: Is and Ought. In: Paulson, Paulson (eds.) Normativity and Norms, pp. 365–383. Clarendon Press, Oxford (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stolpe, A. (2008). Normative Consequence: The Problem of Keeping It Whilst Giving It up. In: van der Meyden, R., van der Torre, L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science(), vol 5076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70525-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-70525-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70524-6
Online ISBN: 978-3-540-70525-3
eBook Packages: Computer ScienceComputer Science (R0)