Journal of Philosophical Logic 43 (6):1101-1128 (2014)

This paper reports completeness results for dyadic deontic logics in the tradition of Hansson’s systems. There are two ways to understand the core notion of best antecedent-worlds, which underpins such systems. One is in terms of maximality, and the other in terms of optimality. Depending on the choice being made, one gets different evaluation rules for the deontic modalities, but also different versions of the so-called limit assumption. Four of them are disentangled, and compared. The main observation of this paper is that, even in the partial order case, the contrast between maximality and optimality is not as significant as one could expect, because the logic remains the same whatever notion of best is used. This is established by showing that, given analogous properties for the betterness relation, the same system is sound and complete with respect to its intended modelling. The chief result of this paper concerns Åqvist’s system F supplemented with the principle of cautious monotony. It is established that, under the maximality rule, F + is sound and complete with respect to the class of models in which the betterness relation is required be reflexive and smooth . From this, a number of spin-off results are obtained. First and foremost, it is shown that a similar determination result holds for optimality; that is, under the optimality rule, F + is also sound and complete with respect to the class of models in which the betterness relation is reflexive and smooth . Other spin-off results concern classes of models in which further constraints are placed on the betterness relation, like totalness and transitivity
Keywords Conditional obligation  Preference-based semantics  Strong completeness  Optimality  Maximality  Limit assumption
Categories (categorize this paper)
DOI 10.1007/s10992-013-9308-0
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,219
Through your library

References found in this work BETA

Counterfactuals.David Lewis - 1973 - Blackwell.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.

View all 20 references / Add more references

Citations of this work BETA

Completeness of Åqvist’s Systems E and F.Xavier Parent - 2015 - Review of Symbolic Logic 8 (1):164-177.

Add more citations

Similar books and articles

Optimality Modeling in a Suboptimal World.Angela Potochnik - 2009 - Biology and Philosophy 24 (2):183-197.
Optimality Modelling in the Real World.Jean-Sébastien Bolduc & Frank Cézilly - 2012 - Biology and Philosophy 27 (6):851-869.
Optimality Theory as a Family of Cumulative Logics.Ph Besnard, G. Fanselow & T. Schaub - 2003 - Journal of Logic, Language and Information 12 (2):153-182.
A Logical Analysis of the Relationship Between Commitment and Obligation.Churn-Jung Liau - 2001 - Journal of Logic, Language and Information 10 (2):237-261.
Optimality Modeling and Explanatory Generality.Angela Potochnik - 2007 - Philosophy of Science 74 (5):680-691.
Combined Maximality Principles Up to Large Cardinals.Gunter Fuchs - 2009 - Journal of Symbolic Logic 74 (3):1015-1046.
A Simple Maximality Principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
A Test of the Principle of Optimality.John D. Hey & Enrica Carbone - 2001 - Theory and Decision 50 (3):263-281.


Added to PP index

Total views
36 ( #299,732 of 2,448,391 )

Recent downloads (6 months)
1 ( #450,223 of 2,448,391 )

How can I increase my downloads?


My notes