From Oughts to Goals: A Logic for Enkrasia

Faculty/Professorship: Political Theory  
Author(s): Klein, Dominik ; Marra, Alessandra
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
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
Year of publication: 22. July 2019