Abstract
The present paper is concerned with the problem of providing adequate semantical foundations for certain systems of dyadic (“defeasible”, “non-monotonic”) deontic logic (logics of conditional obligation and permission), and of giving semantically sound and complete axiomatizations of those systems. These dyadic deontic logics are all extensions of the system DSDL3, which was proposed by Bengt Hansson in his well known pioneering paper (Hansson, 1969), where DSDL3 was characterized in purely semantical terms, without any attempt being made by him to characterize it in axiomatic or proof-theoretical terms. In section 2 infra we start out by studying an infinite hierarchy of systems of Alethic Modal Logic, to which we intend to add definitions of dyadic deontic operators — this is in the spirit of the familiar Andersonian reduction of deontic to alethic modal logic (Anderson, 1956; Anderson, 1958). In section 3, then, we go on to deal with an infinite hierarchy of dyadic deontic logics, which we prove to be representable in the former hierarchy of alethic systems. This done in section 4, which forms the bulk of the paper. Finally, in the concluding section 5, we announce a result on a certain “core” system of dyadic deontic logic, the detailed proof of which will have to be deferred to another occasion.
The present contribution reports research done under the auspices of the Swedish Council for Research in the Humanities and the Social Sciences (HSFR): Project “On the Legal Concepts of Rights and Duties: an Analysis Based on Deontic and Causal Conditional Logic”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, A. R. (1956). The formal analysis of normative systems. In N. Rescher (ed.), The Logic of Decision and Action, University of Pittsburgh Press, 1967, pages 147–213.
Anderson A. R. (1958). A reduction of deontic logic to alethic modal logics. Mind 67: 100–103.
Åqvist, L. (1984). Deontic logic. In D. M. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic, Vail: Extensions of Classical Logic, D. Reidel, Dordrecht, pages 605–714.
Åqvist, L. (1986). Some results on dyadic deontic logic and the logic of preference. Synthese 66: 95–110.
Åqvist, L. (1987). Introduction to Deontic Logic and the Theory of Normative Systems. Bibliopolis, Napoli.
Åqvist, L. (1993). A completeness theorem in deontic logic with systematic frame constants. Logique et Analyse 36: 177–192.
Hansson, B. (1969). An analysis of some deontic logics. Noûs 3: 373–398.
Reprinted in R. Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings,D. Reidel, Dordrecht, pages 121–147.
Lewis, D. K. (1973). Counterfactuals. Blackwell, Oxford.
Lewis, D. K. (1974). Semantic analyses for dyadic deontic logic. In S. Stenlund (ed.),Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger, D. Reidel, Dordrecht, pages 1–14.
Rescher, N. (1958). An axiom system for deontic logic. Philosophical Studies 9: 24–30.
Spohn, W. (1975). An analysis of Hansson’s dyadic deontic logic. Journal of Philosophical Logic 4: 237–252.
von Wright, G. H. (1964). A new system of deontic logic. Danish Yearbook of Philosophy 1: 173–182.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Åqvist, L. (1997). Systematic Frame Constants in Defeasible Deontic Logic. In: Nute, D. (eds) Defeasible Deontic Logic. Synthese Library, vol 263. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8851-5_4
Download citation
DOI: https://doi.org/10.1007/978-94-015-8851-5_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4874-5
Online ISBN: 978-94-015-8851-5
eBook Packages: Springer Book Archive