Impossible and Conflicting Obligations in Justification Logic

Studer, Thomas; Faroldi, Federico; Ghari, Meghdad; Lehmann, Eveline (2020). Impossible and Conflicting Obligations in Justification Logic (Submitted). In: 15th International Conference on Deontic Logic and Normative Systems (DEON 2020). 30.07.2020 – 02.08.2020 (postponed to 2021).

[img] Text
AboutD.pdf - Submitted Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (308kB) | Request a copy

Different notions of the consistency of obligations collapse in standard deontic logic.In justification logics, which feature explicit reasons for obligations, the situation isdifferent. Their strength depends on a constant specification and on the availableset of operations for combining different reasons. We present different consistencyprinciples in justification logic and compare their logical strength. Further, we proposea novel semantics for which justification logics with the explicit version of axiom D,jd,are complete for arbitrary constant specifications. We then discuss the philosophicalimplications with regard to some deontic paradoxes.

Item Type:

Conference or Workshop Item (Paper)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Studer, Thomas and Lehmann, Eveline

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

Language:

English

Submitter:

Atefeh Rohani

Date Deposited:

02 Sep 2020 08:56

Last Modified:

02 Sep 2020 08:56

BORIS DOI:

10.7892/boris.146169

URI:

https://boris.unibe.ch/id/eprint/146169

Actions (login required)

Edit item Edit item
Provide Feedback