Results 1 to 10 of about 285 (157)
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [PDF]
The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers.
Christoph Benzmüller +7 more
doaj +2 more sources
By a deontic dilemma the author means a situation in which both `\(A\) is obligatory' and `not-\(A\) is obligatory' are accepted without reservation nor any form of prioritization or other convention to resolve the conflict in favour of one or the other.
Lou Goble
exaly +3 more sources
Action Type Deontic Logic [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +2 more sources
Blueprint for a dynamic deontic logic
Building on work in some of his earlier publications, the author constructs a semantic framework for deontic logic that (1) is dynamic, in the sense that it is based on a logic of actions in time (rather than just a logic of propositions), and (2) deals with normative actions (modifying the norms in force) as well as ordinary ones (that alter the world
Krister Segerberg
exaly +3 more sources
Deontic-doxastic belief revision and linear system model [PDF]
Andrea Vestrucci, Andrea Vestrucci
doaj +2 more sources
A Kelsenian Deontic Logic [PDF]
Inspired by Kelsen’s view that norms establish causal-like connections between facts and sanctions, we develop a deontic logic in which a proposition is obligatory iff its complement causes a violation. We provide a logic for normative causality, define non-contextual and contextual notions of illicit and duty, and show that the logic of such duties is
Agata Ciabattoni +2 more
openaire +3 more sources
Boulesic Logic, Deontic Logic and the Structure of a Perfectly Rational Will [PDF]
In this paper, I will discuss boulesic and deontic logic and the relationship between these branches of logic. By ‘boulesic logic,’ or ‘the logic of the will,’ I mean a new kind of logic that deals with ‘boulesic’ concepts, expressions, sentences ...
Daniel Rönnedal
doaj +1 more source
This paper presents and discusses Henri Poincaré’s view on the logical non-derivability of imperatives from indicatives. Firstly, his point of view is compared with David Hume’s.
Jan Woleński
doaj +1 more source
The Simplest Solution to the Deepest Paradox of Deontic Logic [PDF]
Since its inception in 1984, several ‘simple’ solutions have been proposed to answer the deepest paradox of deontic logic. In this paper, I present the simplest one yet: the deepest paradox is simply ill-formulated.
Jeremiah Joven Joaquin
doaj +1 more source
EXISTENCE OF NORMS OF LAW AS A PROBLEM IN DEONTIC LOGIC
Problem setting. The existence of the rule of law as a problem of deontic logic is defined in the plane of logical and ontological problems of law, its origin is connected with the Jorgensen dilemma. The study of legal norms as existing established their
Олена Миколаївна Юркевич
doaj +1 more source

