Deontic Logic by Robert Trypuz
In the paper we present a formal system motivated by a specific
methodology of creating norms. A... more In the paper we present a formal system motivated by a specific
methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the the-ses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate.
Theory of Imperatives from Different Points of View (2), 2013
In the paper we discuss different intuitions about the properties of
obligatory actions in the f... more In the paper we discuss different intuitions about the properties of
obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished – abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations.
Deontic Logic in Computer Science 2012, 2012
"We start our investigations from the deontic action model defined in multi-situation
settings.... more "We start our investigations from the deontic action model defined in multi-situation
settings. Then we discuss the validity of formulas constructed in a language with a finite number
of basic actions, parallel and sequential compositions of actions, a free choice operator and the
standard deontic operators of obligation, strong permission and prohibition. The main achievements
of the paper are definitions of metalogical counterparts of deontic operators and interpretation
function of actions taking into account their terminating and non-terminating executions."
The Logica Yearbook 2011
The aim of the paper is to point out the modelling choices that lead to different systems of deon... more The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a guideline how to build a deontic action logic which satisfies the desired properties.
Proceedings from Workshop on Three-valued Logics and their Applications, ESSLLI 2012; , 2012
Trivalence is quite natural for deontic action logic, where actions
are treated as good, neutral... more Trivalence is quite natural for deontic action logic, where actions
are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean algebra.
Współczesna teoria i praktyka badań społecznych i humanistycznych. Tom 1, 2013
"In the paper we provide an overview of issues related to the models used in the research on the ... more "In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational
contexts, and their relationship to the two concepts of obligation: abstract and derived."
The paper offers a logical characterisation of multi-step actions in the context of deontic notio... more The paper offers a logical characterisation of multi-step actions in the context of deontic notions of obligation, permission and prohibition. Deontic notions for sequentially composed actions (procedures or instructions) are founded on deontic notions for one-step actions. The present work includes a formal study of situations where execution of a multi-step action has been unsuccessful and provides normative analysis of such actions.
Deontic considerations are usually conducted in one of the following contexts: (i) general norms ... more Deontic considerations are usually conducted in one of the following contexts: (i) general norms expressed in: legal documents, regulations or implicitly present in society in the form of moral or social rules; (ii) specific norms, i.e., duties of particular agents in particular situations. Norms of the two kinds refer to obligatory, permitted and forbidden actions or states. In the paper we start from presenting a simple deontic logic of actions and a simple deontic logic of states. Then we combine them to provide a unified logic of general norms. Finally, we discuss the way in which specific norms can be introduced into the system.
Deontic Logic in Computer Science, Jan 1, 2012
We start our investigations from the deontic action model defined in multi-situation settings. Th... more We start our investigations from the deontic action model defined in multi-situation settings. Then we discuss the validity of formulas constructed in a language with a finite number of basic actions, parallel and sequential compositions of actions, a free choice operator and the standard deontic operators of obligation, strong permission and prohibition. The main achievements of the paper are definitions of metalogical counterparts of deontic operators and interpretation function of actions taking into account their terminating and non-terminating executions.
Logic and Logical Philosophy, Jan 1, 2009
Within the scope of interest of deontic logic, systems in which names of actions are arguments of... more Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced his systems of basic deontic logic of urn model actions in early 1980s. Nowadays such logics are considered mainly within propositional dynamic logic (PDL). Two approaches can be distinguished: in one of them deontic operators are introduced using dynamic operators and the notion of violation, in the other at least some of them are taken as primitive. The second approach may be further divided into the systems based on Boolean algebra of actions and the systems built on the top of standard PDL.
Deontic Logic in Computer Science, Jan 1, 2010
The aim of the present paper is to provide a metalogical systematisation in the area of deontic a... more The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie in two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in those systems are not acceptable due to their unintuitive interpretation or paradoxical consequences. As a solution we propose an axiomatic characterisation of obligation with an adequate class of models.
Logic and Logical Philosophy, Jan 1, 2011
W The Logica Yearbook, Jan 1, 2011
The aim of the paper is to point out the modelling choices that lead to different systems of deon... more The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a guideline how to build a deontic action logic which satisfies the desired properties.
Filozofia Nauki, Jan 1, 2008
Theory of Imperatives from Different Points of View, …, Jan 1, 2011
SETNA's model is a structure:
Abstract. Trivalence is quite natural for deontic action logic, where actions are treated as good... more Abstract. Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad. We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap's logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski's idea of trivalence with deontic action logic based on boolean algebra.
Applied Ontology by Robert Trypuz
O NAZYWANIU PRZEDMIOTÓW -CZYLI JAK TADEUSZ KOTARBIŃSKI UCZY ROZUMIEĆ ONTOLOGIĘ STANISŁAWA LEŚNIEW... more O NAZYWANIU PRZEDMIOTÓW -CZYLI JAK TADEUSZ KOTARBIŃSKI UCZY ROZUMIEĆ ONTOLOGIĘ STANISŁAWA LEŚNIEWSKIEGO Utworzył więc Pan Bóg z ziemi wszelkie dzikie zwierzęta i wszelkie ptactwo niebios i przyprowadził do człowieka, aby zobaczyć, jak je nazwie, a każda istota żywa miała mieć taką nazwę, jaką nada jej człowiek. Nadał tedy człowiek nazwy wszelkiemu bydłu i ptactwu niebios, i wszelkim dzikim zwierzętom.
Uploads
Deontic Logic by Robert Trypuz
methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the the-ses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate.
obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished – abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations.
settings. Then we discuss the validity of formulas constructed in a language with a finite number
of basic actions, parallel and sequential compositions of actions, a free choice operator and the
standard deontic operators of obligation, strong permission and prohibition. The main achievements
of the paper are definitions of metalogical counterparts of deontic operators and interpretation
function of actions taking into account their terminating and non-terminating executions."
are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean algebra.
contexts, and their relationship to the two concepts of obligation: abstract and derived."
Applied Ontology by Robert Trypuz
methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the the-ses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate.
obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished – abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations.
settings. Then we discuss the validity of formulas constructed in a language with a finite number
of basic actions, parallel and sequential compositions of actions, a free choice operator and the
standard deontic operators of obligation, strong permission and prohibition. The main achievements
of the paper are definitions of metalogical counterparts of deontic operators and interpretation
function of actions taking into account their terminating and non-terminating executions."
are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean algebra.
contexts, and their relationship to the two concepts of obligation: abstract and derived."