Completeness of Åqvist’s Systems E and F

Review of Symbolic Logic 8 (1):164-177 (2015)
  Copy   BIBTEX

Abstract

This paper tackles an open problem posed by Åqvist. It is the problem of whether his dyadic deontic systemsEandFare complete with respect to their intended Hanssonian preference-based semantics. It is known that there are two different ways of interpreting what it means for a world to be best or top-ranked among alternatives. This can be understood as saying that it is optimal among them, or maximal among them. First, it is established that, under either the maximality rule or the optimality rule,Eis sound and complete with respect to the class of all preference models, the class of those in which the betterness relation is reflexive, and the class of those in which it is total. Next, an analogous result is shown to hold forF. That is, it is established that, under either rule,Fis sound and complete with respect to the class of preference models in which the betterness relation is limited, the class of those in which it is limited and reflexive, and the class of those in which it is limited and total.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,542

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Maximality vs. Optimality in Dyadic Deontic Logic.Xavier Parent - 2014 - Journal of Philosophical Logic 43 (6):1101-1128.
Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
A Semantic Approach to Conservativity.Tomasz Połacik - 2016 - Studia Logica 104 (2):235-248.
Completeness of implicational relevant logics.R. Kashima - 2000 - Logic Journal of the IGPL 8 (6):761-785.
On the Modal Logic of the Non-orthogonality Relation Between Quantum States.Shengyang Zhong - 2018 - Journal of Logic, Language and Information 27 (2):157-173.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Structural completeness in propositional logics of dependence.Rosalie Iemhoff & Fan Yang - 2016 - Archive for Mathematical Logic 55 (7-8):955-975.

Analytics

Added to PP
2015-03-20

Downloads
36 (#648,142)

6 months
5 (#879,729)

Historical graph of downloads
How can I increase my downloads?

References found in this work

A Theory of Conditionals.Robert Stalnaker - 1968 - In Nicholas Rescher (ed.), Studies in Logical Theory. Oxford,: Blackwell. pp. 98-112.
Intransitivity and the mere addition paradox.Larry S. Temkin - 1987 - Philosophy and Public Affairs 16 (2):138-187.
Basic conditional logic.Brian F. Chellas - 1975 - Journal of Philosophical Logic 4 (2):133 - 153.

View all 17 references / Add more references