Results 1 to 10 of about 2,360 (124)
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 Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 [PDF]
Bulletin of the Section of Logic, 2017 In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic.
Ciuciura, Janusz
core +6 more sources
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again
Journal of Logic, Language and Information, 2022 AbstractCentered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of normative investigations. We focus on the leading Mīmāṃsā authors Prabhākara, Kumārila and Maṇḍana, and discuss three modal logics that formalize their deontic theories. In the first part of this paper,
Kees van Berkel +4 more
openaire +4 more sources
Deontic Paradoxes in ASP with Weak Constraints
Electronic Proceedings in Theoretical Computer Science, 2023 The rise of powerful AI technology for a range of applications that are sensitive to legal, social, and ethical norms demands decision-making support in presence of norms and regulations. Normative reasoning is the realm of deontic logics, that are challenged by well-known benchmark problems (deontic paradoxes), and lack efficient computational tools ...
Hatschka, Christian +2 more
openaire +2 more sources
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
A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY [PDF]
The Review of Symbolic Logic, 2020 AbstractIn this paper, we axiomatize the deontic logic in Fusco (2015), which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary.
Fusco, Melissa, Kocurek, Alexander W.
openaire +1 more source
, 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 +2 more sources
Lógicas normativas, moral y derecho
Crítica, 2018 The relationships between moral and legal codes, that is, between specific normative sets, is a traditional problem of ethics, politics and law philosophy. Deontic logics have provided some instruments for a deeper analysis of those relations.
Leila Z. Puga +2 more
doaj +1 more source
The Good Samaritan and the Hygienic Cook: A Cautionary Tale About Linguistic Data [PDF]
, 2009 When developing formal theories of the meaning of language, it is appropriate to consider how apparent paradoxes and conundrums of language are best resolved. But if we base our analysis on a small sample of data then we may fail to take into account the
Fox, C
core +1 more source
Deontic STIT logic, from logical paradox to security policy [PDF]
Soft Computing, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Qiu, Lirong, Sun, Xin
openaire +2 more sources