Results 1 to 10 of about 13,565 (215)
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
Journal of Logic and Computation, 2018 It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes.
Canavotto, Ilaria, Giordani, Alessandro
core +5 more sources
Automated Reasoning over Deontic Action Logics with Finite Vocabularies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel ...
Pablo F. Castro, Thomas S. E. Maibaum
doaj +4 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
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
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