Results 21 to 30 of about 1,947 (213)
Deontic Reasoning Across Contexts [PDF]
, 2014 Contrastivism about `ought' holds that `ought' claims are relativized, at least implicitly, to sets of mutually exclusive but not necessarily jointly exhaustive alternatives.
Snedegar, Justin, Justin Snedegar
core +1 more source
Design by contract - Deontic design language for multiagent systems [PDF]
, 2005 Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines),relying on mutual obligations and benefits made explicit by assertions.
Garion, C. +4 more
core +1 more source
Modelling Ceteris Paribus Preferences with Deontic Logic [PDF]
, 2022 We present a formal semantics for deontic logic based on the concept of ceteris paribus preferences. We introduce notions of unconditional obligation and permission as well as conditional obligation and permission that are interpreted relative to this ...
Lorini E. +5 more
core +1 more source
A modal logic for reasoning on consistency and completeness of regulations [PDF]
, 2009 In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness.
Garion, Christophe +2 more
core +1 more source
Rights and Practical Reasoning in Deontic Logic [PDF]
, 2023 peer reviewedThis paper brings together two traditions in deontic logic: the theory of normative positions, that is, reasoning about di↵erent types of rights, and practical reasoning, which has special relevance from the viewpoint of artificial ...
VAN DER TORRE, Leon +5 more
core
Deontic Logic, Mental odels, and Wason Selection Task
Principia: An International Journal of Epistemology, 2014 A problem related to theWason selection task is that only some thematic versions of it are executed correctly. Fodor raises the thesis that the versions that are adequately solved are those that refer to deontic situations.
Miguel López Astorga
doaj +1 more source
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 [PDF]
, 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 +1 more source
The Challenge of the K-Principle in Deontic Logic (and Well Beyond)
Phenomenology and Mind, 2017 I go through various arguments why the K-principle (aka Distributivity Axiom), O(p→q)→(Op→Oq), a cornerstone of all deontic logic as the latter is standardly conceived, is of little use for the logical analysis of real-life deontic discourse.
Wojciech Żełaniec
doaj +1 more source
Filosofia Unisinos, 2013 Social contract theory argues that to properly execute thematic versions of the selection task one has to specify, in the rules of such versions, an explicit benefit that can only be achieved in exchange for meeting a requirement.
Miguel López Astorga
doaj +1 more source
Studies in Logic, Grammar and Rhetoric, 2021 The document titled “14 points of Wilson” was announced by the President of the United States Woodrow Wilson in his speech addressed to the United States Congress on 8th January 1918.
Matulewska Aleksandra +1 more
doaj +1 more source