BORIS Theses

BORIS Theses
Bern Open Repository and Information System

Deontic Obligations in Justification Logic

Rohani, Atefeh (2023). Deontic Obligations in Justification Logic. (Thesis). Universität Bern, Bern

23rohani_a.pdf - Thesis
Available under License Creative Commons: Attribution-Noncommercial (CC-BY-NC 4.0).

Download (490kB) | Preview


This thesis consists of two main chapters which connect two areas of deontic logic and justification logic. Deontic logic is logic of normative concepts, where the deontic reading of modal operator for □A is as "A is obligatory". On the other hand, justification logics replace an explicit term with modal operator such that instead of □A, justification logics features formulas of the form t : A, read as "A is justified by reason t", or "A is obligatory for the reason t", in deontic context. In the second chapter, we focus on the category of non-normal modal logics and provide an explicit version of two logics in this category, the weakest non-normal modal logic E and logic EM, which is an extension of logic E by adding rule of monotonicity. The main motivation for this attempt is raised from the following arguments initiated in the area of deontic logic. First, we consider paradoxes raising from deontic interpretation of modal operator in normal modal logic, which leads us towards non-normal modal logics. The second issue is hyperintensionality. Considering the fact that deontic modals are hyperintensional, i.e., they can distinguish between logically equivalent formulas, one can see that traditional modal logic cannot provide an appropriate formalization of deontic situations. Since justification terms are hyperintensional in nature, we introduce novel justification logics as hyperintensional analogues to non-normal modal logics. We establish soundness and completeness with respect to various models and we study the problem of realization. In the third chapter, we focus on conditional obligations in deontic logic. We review standard deontic logic and the well known Chisholm's puzzle confronting this system. For this reason, we turn into dyadic deontic logic which is often argued to be better than standard deontic logic at representing conditional and contrary-to-duty obligations.

Item Type: Thesis
Dissertation Type: Single
Date of Defense: 23 August 2023
Subjects: 000 Computer science, knowledge & systems
500 Science > 510 Mathematics
Institute / Center: 08 Faculty of Science > Institute of Computer Science (INF)
Depositing User: Hammer Igor
Date Deposited: 09 Oct 2023 12:14
Last Modified: 03 Jan 2024 16:46

Actions (login required)

View Item View Item