Results 1 to 10 of about 246 (114)
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset). [PDF]
Data 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.
Benzmüller C +7 more
europepmc +2 more sources
Deontic-doxastic belief revision and linear system model. [PDF]
Front Psychol, 2022 Vestrucci A.
europepmc +2 more sources
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
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
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
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
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
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
An Algebraic Approach for Action Based Default Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted.
Pablo F. Castro +3 more
doaj +1 more source