Normative Consequence: The Problem of Keeping It Whilst Giving It up

  • Audun Stolpe
Conference paper

DOI: 10.1007/978-3-540-70525-3_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)
Cite this paper as:
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

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.

Keywords

Normative systems input/output logic dynamics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Audun Stolpe
    • 1
  1. 1.Department of PhilsosophyUniversity of BergenNorway

Personalised recommendations