Abstract
AbstractThis paper examines the logic of conditional obligation, which originates from the works of Hansson, Lewis, and others. Some weakened forms of transitivity of the betterness relation are studied. These are quasi-transitivity, Suzumura consistency, acyclicity and the interval order condition. The first three do not change the logic. The axiomatic system is the same whether or not they are introduced. This holds true under a rule of interpretation in terms of maximality and strong maximality. The interval order condition gives rise to a new axiom. Depending on the rule of interpretation, this one changes. With the rule of maximality, one obtains the principle known as disjunctive rationality. With the rule of strong maximality, one obtains the Spohn axiom (also known as the principle of rational monotony, or Lewis’ axiom CV). A completeness theorem further substantiates these observations. For interval order, this yields the finite model property and decidability of the calculus.
Publisher
Springer Science and Business Media LLC
Reference80 articles.
1. Alchourrón, C. (1993). Philosophical foundations of deontic logic and the logic of defeasible conditionals. In J.-J. Ch. Meyer & R. J. Wieringa (Eds.), Deontic Logic in Computer Science (pp. 43–84). New York: John Wiley & Sons Inc.
2. Åqvist, L. (1987). An Introduction to Deontic logic and the Theory of Normative Systems. Naples: Bibliopolis.
3. Åqvist, L. (2000). Three characterizability problems in deontic logic. In R. Demolombe & R. Hilpinen (Eds.), Deontic Logic in Computer Science (DEON 2000) (pp. 16–41). Toulouse: ONERA-DGA.
4. Åqvist, L. (2002). Deontic logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic, (2nd ed., vol. 8, pp. 147–264). Kluwer Academic Publishers, Dordrecht, Holland. Originally published in [25, pp. 605–714].
5. Åqvist, L. (2005). Combinations of tense and deontic modality: On the $$R_{t}$$ approach to temporal logic with historical necessity and conditional obligation. Journal of Applied Logic, 3(3–4), 421–460.