Abstract
The logic of an “ought” operator O is contranegative with respect to an underlying preference relation ≥ if it satisfies the property Op & (¬p)≥(¬q) →Oq. Here the condition that ≥ is interpolative ((p≥ (p∨q) ≥q) ∨ (q≥ (p∨q) ≥p)) is shown to be necessary and sufficient for all ≥-contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & Oq→O(p&q)) and disjunctive division (O(p&q) →Op ∨ Oq).
Similar content being viewed by others
References
FØllesdal, D., and R. Hilpinen, ‘Deontic Logic: An Introduction’, in Risto Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings, Reidel, Dordrecht, pp. 1-35.
Hansson, S. O., ‘Preference-based deontic logic (PDL)’, Journal of Philosophical Logic 19 (1990), 75-93.
Hansson, S. O., ‘Situationist Deontic Logic’, Journal of Philosophical Logic 26 (1997), 423-448.
Hansson, S. O., The Structure of Values and Norms, Cambridge University Press, 2001.
Ross, A., ‘Imperatives and Logic’, Theoria 7 (1941), 53-71.
VON Wright, G. H., ‘Deontic Logic’, Mind 60 (1951), 1-15.
VON Wright, G. H., ‘Deontic Logic —as I see it’, paper presented at the Fourth International Workshop on Deontic Logic in Computer Science (DEON'98), Bologna, 1998.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hanson, S.O. A New Representation Theorem for Contranegative Deontic Logic. Studia Logica 77, 1–7 (2004). https://doi.org/10.1023/B:STUD.0000034182.95695.cb
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000034182.95695.cb