From Oughts to Goals: A Logic for Enkrasia
Faculty/Professorship: | Political Theory |
Author(s): | Klein, Dominik ![]() |
Title of the Journal: | Studia logica : an international journal for symbolic logic |
ISSN: | 1572-8730 |
Corporate Body: | Springer Netherlands |
Publisher Information: | Dordrecht [u.a.] : Springer Science + Business Media B.V |
Year of publication: | 2019 |
Volume: | 107 |
Issue: | First Online: 05 March 2019 |
Pages: | 44 ; Online-Ressource |
Language(s): | English |
DOI: | 10.1007/s11225-019-09854-5 |
Abstract: | This paper focuses on (an interpretation of) the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X, then X-ing is a goal in her plan. We analyze the logical structure of Enkrasia and its implications for deontic logic. To do so, we elaborate on the distinction between basic and derived oughts, and provide a multi-modal neighborhood logic with three characteristic operators: a non-normal operator for basic oughts, a non-normal operator for goals in plans, and a normal operator for derived oughts. We prove two completeness theorems for the resulting logic, and provide a dynamic extension of the logic by means of product updates. We illustrate how this setting informs deontic logic by considering issues related to the filtering of inconsistent oughts, the restricted validity of deontic closure, and the stability of oughts and goals under dynamics. |
Keywords: | Enkrasia, Basic oughts, Deontic logic, Neighborhood logic, Dynamic logic |
Peer Reviewed: | Ja |
International Distribution: | Ja |
Type: | Article |
URI: | https://fis.uni-bamberg.de/handle/uniba/45891 |
Year of publication: | 22. July 2019 |

originated at the
University of Bamberg
University of Bamberg