A Logic-Based Analysis of Responsibility

This paper presents a logic-based framework to analyze responsibility, which I refer to as intentional epistemic act-utilitarian stit theory (IEAUST). To be precise, IEAUST is used to model and syntactically characterize various modes of responsibility, where by 'modes of responsibility' I mean instances of Broersen's three categories of responsibility (causal, informational, and motivational responsibility), cast against the background of particular deontic contexts. IEAUST is obtained by integrating a modal language to express the following components of responsibility on stit models: agency, epistemic notions, intentionality, and different senses of obligation. With such a language, I characterize the components of responsibility using particular formulas. Then, adopting a compositional approach – where complex modalities are built out of more basic ones – these characterizations of the components are used to formalize the aforementioned modes of responsibility.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/30/2020

Thinking About Causation: A Causal Language with Epistemic Operators

This paper proposes a formal framework for modeling the interaction of c...
research
09/21/2021

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox

We combine linear temporal logic (with both past and future modalities) ...
research
07/13/2019

Statistical Epistemic Logic

We introduce a modal logic for describing statistical knowledge, which w...
research
11/09/2021

AEAD Modes for ZUC Family Stream Ciphers

In order to improve the efficiency of using ZUC primitives, we give two ...
research
04/27/2020

An Epistemic Approach to the Formal Specification of Statistical Machine Learning

We propose an epistemic approach to formalizing statistical properties o...
research
07/24/2019

Towards Logical Specification of Statistical Machine Learning

We introduce a logical approach to formalizing statistical properties of...
research
11/19/2019

Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings

We characterize four types of agentive knowledge using a stit semantics ...

Please sign up or login with your details

Forgot password? Click here to reset