Results 1 to 10 of about 13,493 (213)
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [PDF]
Data in Brief, 2020 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
Deontic-doxastic belief revision and linear system model [PDF]
Frontiers in Psychology, 2022 Andrea Vestrucci, Andrea Vestrucci
doaj +2 more sources
A Kelsenian Deontic Logic [PDF]
, 2021 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
Sartor Giovanni +2 more
openaire +3 more sources
Boulesic Logic, Deontic Logic and the Structure of a Perfectly Rational Will [PDF]
Organon F, 2020 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
Philosophia Scientiæ, 2023 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]
Organon F, 2023 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
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
Bulletin of the Section of Logic, 2022 Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails to choose one obligation over ...
Meha Mishra, A.V. Ravishankar Sarma
doaj +1 more source
EXISTENCE OF NORMS OF LAW AS A PROBLEM IN DEONTIC LOGIC
Вісник НЮУ імені Ярослава Мудрого: Серія: Філософія, філософія права, політологія, соціологія, 2020 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
Defeasibility applied to Forrester’s paradox
South African Computer Journal, 2020 Deontic logic is a logic often used to formalise scenarios in the legal domain. Within the legal domain there are many exceptions and conflicting obligations. This motivates the enrichment of deontic logic with not only the notion of defeasibility, which
Julian Chingoma, Thomas Meyer
doaj +1 more source
Prioritization of the Social Approach of Employment Modeled by Plithogenic Sets [PDF]
Neutrosophic Sets and Systems, 2020 Employment can only be understood from different approaches, such as the social, economic, and legal approach. To model employment using logic, it is necessary to take into account that these approaches are usually modeled with different logics, e.g ...
Rously Eedyah Atencio González +3 more
doaj +1 more source