'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...
| Publicado en: | Erkenntnis Vol. 82; no. 3; pp. 473 - 512 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Jun2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=123150875&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 123150875 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 01650106 5KZ jtl: Erkenntnis issn: 01650106 maglogo: N pubinfo: dt: Jun2017 vid: 82 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 123150875 10.1007/s10670-016-9829-3 ppf: 473 ppct: 39 formats: fmt: @attributes: type: P size: 684KB tig: atl: 'That Will Do': Logics of Deontic Necessity and Sufficiency. aug: au: Putte, Frederik affil: Department of Philosophy and Moral Sciences, Centre for Logic and Philosophy of Science, Faculty of Arts and Humanities , Ghent University , Blandijnberg 2 9000 Ghent Belgium su: Deontic logic Cognitive processing of language Expressive language Meaning (Psychology) Semantics (Philosophy) sug: subj: Deontic logic Cognitive processing of language Expressive language Meaning (Psychology) Semantics (Philosophy) ab: 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). pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Erkenntnis is a copyright of Springer, 2017. All Rights Reserved. item: Erkenntnis holder: Springer Nature dt: @attributes: year: 2017 holdings: @attributes: islocal: N |
|---|