Cover Image
QR Code

'That Will Do': Logics of Deontic Necessity and Sufficiency.

We study a logic for deontic necessity and sufficiency (often interpreted as obligation, resp. strong permission), as originally proposed in van Benthem (Bull Sect Log 8(1):36-41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some sta...

Full description

Published in:Erkenntnis Vol. 82; no. 3; pp. 473 - 512
Main Author: Putte, Frederik
Format: Article
Published: Springer Nature Jun2017
Subjects:
Deontic logic
Cognitive processing of language
Expressive language
Meaning (Psychology)
Semantics (Philosophy)
Online Access:View this record in EBSCOhost
Summary:We study a logic for deontic necessity and sufficiency (often interpreted as obligation, resp. strong permission), as originally proposed in van Benthem (Bull Sect Log 8(1):36-41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some standard extensions, and study other important properties. After that, we compare this logic to the logic of 'obligation as weakest permission' from Anglberger et al. (Rev Symb Log 8(4):807-827, 2015).