scholarly journals Reactive standard deontic logic

2012 ◽  
Vol 25 (1) ◽  
pp. 117-157 ◽  
Author(s):  
D. M. Gabbay ◽  
C. Strasser
Keyword(s):  
Deontic Logic ◽  
Standard Deontic Logic

scholarly journals Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]

Synthese ◽  
2011 ◽  
Vol 187 (2) ◽  
pp. 623-660 ◽  
Author(s):  
Mathijs de Boer ◽  
Dov M. Gabbay ◽  
Xavier Parent ◽  
Marija Slavkovic
Keyword(s):  
Detailed Analysis ◽  
Deontic Logic ◽  
Two Dimensional ◽  
Standard Deontic Logic ◽  
Logic System

scholarly journals Reasoning About Prescription and Description Using Prioritized Default Rules

10.29007/swdn ◽  
2018 ◽  
Author(s):  
Valentin Cassano ◽  
Carlos Areces ◽  
Pablo Castro
Keyword(s):  
Software Engineering ◽  
Deontic Logic ◽  
Default Logic ◽  
Logical Framework ◽  
Standard Deontic Logic ◽  
Default Rules

In this paper we introduce a prioritized default logic. We build this logic modularly from Standard Deontic Logic by the addition of default rules and priorities among them. Our main aim is to provide a logical framework to reason about scenarios where prescriptive and descriptive statements coexist and may be incomplete and contradictory. We motivate and illustrate the technical elements of our work with the use of examples (classical, and coming from software engineering). In addition, we present sound, complete, and terminating (with loop check) tableau-based proof calculi for credulous and sceptical reasoning in our logic.

Omega-inconsistency without cuts and nonstandard models

2016 ◽  
Vol 13 (5) ◽  
Author(s):  
Andreas Fjellstad
Keyword(s):  
Deontic Logic ◽  
Sequent Calculus ◽  
Standard Deontic Logic ◽  
Nonstandard Models ◽  
Deontic Modality ◽  
The Relationship ◽  
Labelled Sequent Calculus ◽  
Models Of Arithmetic

This paper concerns the relationship between transitivity of entailment, omega-inconsistency and nonstandard models of arithmetic. First, it provides a cut-free sequent calculus for non-transitive logic of truth STT based on Robinson Arithmetic and shows that this logic is omega-inconsistent. It then identifies the conditions in McGee (1985) for an omega-inconsistent logic as quantified standard deontic logic, presents a cut-free labelled sequent calculus for quantified standard deontic logic based on Robinson Arithmetic where the deontic modality is treated as a predicate, proves omega-inconsistency and shows thus, pace Cobreros et al.(2013), that the result in McGee (1985) does not rely on transitivity. Finally, it also explains why the omega-inconsistent logics of truth in question do not require nonstandard models of arithmetic.

The Geometry of Standard Deontic Logic

2009 ◽  
Vol 3 (1) ◽  
pp. 19-57 ◽  
Author(s):  
Alessio Moretti
Keyword(s):  
Deontic Logic ◽  
Standard Deontic Logic

Reply to “Forrester's Paradox”

Dialogue ◽  
1986 ◽  
Vol 25 (4) ◽  
pp. 765-768
Author(s):  
Richard E. Robinson
Keyword(s):  
Deontic Logic ◽  
Legal Rules ◽  
Standard Deontic Logic

Forrester claims to have shown that a contradiction can be derived from a set of two apparently innocuous moral (or legal) rules together with standard deontic logic (SDL), a principle for adverbial detachment, and a statement of fact. Let l be a system of laws that has the following as immediate consequences:(1) It is obligatory* that Smith not murder Jones.(2) It is obligatory; that, if Smith murders Jones, then Smith murders Jones gently.

Forrester's Paradox

Dialogue ◽  
1986 ◽  
Vol 25 (4) ◽  
pp. 761-764
Author(s):  
Dale Jacquette
Keyword(s):  
Deontic Logic ◽  
Good Samaritan ◽  
Standard Deontic Logic ◽  
Image Position

In “Gentle Murder, Or The Adverbial Samaritan”, James William Forrester presents what he describes as “the most powerful version yet put forward” of Lennart Åqvist's Good Samaritan paradox in deontic logic. Forrester suggests that the paradox may make it necessary to reject the standard deontic inference principle(where “r” is an index for any source of obligation). This desperate conclusion, as Forrester acknowledges, would imply that all of standard deontic logic “must be in a bad way”. But Forrester's “paradox” is not nearly so deep or intractable as he maintains.

scholarly journals Zasada aglomeracji i dylematy moralne

2020 ◽  
Vol 14 (4) ◽  
pp. 89-104
Author(s):  
Marcin Drofiszyn
Keyword(s):  
Deontic Logic ◽  
Moral Dilemmas ◽  
The Other ◽  
Other Hand ◽  
Standard Deontic Logic ◽  
Normative Conflicts ◽  
Deontic Explosion

A Deontic Logic for Normative DilemmasAbstract: Standard deontic logic does not tolerate normative conflicts. If we assume that one ought to do A and ought to do B, but cannot do them both, we get a contradiction within deontic logic. Philosophers who deny that there could be genuine moral dilemmas treat this fact as the proof that dilemmas are logically impossible. At the same time, the advocates of the possibility of moral dilemmas propose to reject or restrict standard deontic principles. What consequences does it have for the resulting logic? Some of them are too strong because they contain the theorem of normative triviality or “deontic explosion,” which says that if there is any case of normative conflict, then everything is obligatory. On the other hand, some of them are too weak, since they are not able to validate more important deontic inferences especially the Smith Argument. Lou Goble introduces three criteria of adequacy that any deontic logic should meet if it is to accommodate normative conflicts successfully. First, I present these conditions and then I introduce a new logic of ought that fully meets all of them.

scholarly journals Czeżowski's Axiological Concepts as Full-Fledged Modalities.

2008 ◽  
Vol 13 (1) ◽  
pp. 103-110
Author(s):  
Manuel Rebuschi
Keyword(s):  
Deontic Logic ◽  
Moral Values ◽  
Short Paper ◽  
Standard Deontic Logic ◽  
Good And Evil

This short paper provides a tentative formalization of Czeżowski's ideas about axiological concepts: Good and Evil are conceived of as modalities rather than as predicates. A natural account of the resulting “ethical logic” appears to be very close to standard deontic logic. If one does not resolve to become an antirealist regarding moral values, a possible way out is to become a revisionist about deontology: convert to intuitionism or some other kind of revisionism in deontic logic, and remain classical in ethical logic.

Sign in / Sign up

Export Citation Format

Share Document