A Logic for Reasoning about Group Norms

We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and types of collective responsibility

How Knowledge Affects Obligations:a Study on the Logic of Knowledge-Based Obligations

A doctor generally does not have an obligation to treat a person if the doctor does not know that he/she is ill. But when the doctor knows the person is ill, the doctor ought to treat him/her. So what we ought to do depends a lot on what we know at that moment. This thesis provides a logical formalization of the concept of knowledge-based conditional obligation which paraphrases `A ought to be achieved by an agent under the condition that he/she knows B'. This notion is characterized by a sound and strongly complete axiomatization in this thesis. Furthermore, the framework is dynamified in order to show how knowledge change affects obligation change. Accordingly, those situations where agents' obligations are updated by their dynamic information can be modelled. Besides information change, norm change may also lead to new obligations. The notion of relativized conditional obligations is proposed for conceptualizing obligations induced by different normative systems. Several types of updates on normative systems are studied. They bring about new obligations or defeat original obligations in different ways. In the final chapters, this thesis jumps out of the approach of `ought-to-be' obligations and conceptualizes the notion of knowledge-based `ought-to-do' obligation based on dynamic epistemic logic. The basic idea of defining this notion is that an action ought to be done if and only if the action always improves the initial situation to a better situation. A sound and strongly complete axiom system is also established