Semantics for the Deontic ‘Should’
MoL 2013 19: What should have been the case A temporal update semantics for necessity deontic modals
... question should now be addressed: what is the relation between the two readings? In the current literature, there is no agreement about that ...that deontic modals are ambiguous between the two meanings ...
51
Deontic commitments in conditional promises and threats: towards an exemplar semantics for conditionals
... exemplar semantics’ assumption that all traces are activated in the process of echo retrieval is essential to George’s threat functioning as a successful ...
44
Deontic Reasoning Across Contexts
... Cariani’s semantics mistakenly predicted, in the original Procrastinate case, that ‘Procrastinate ought to not accept’ is always ...Cariani’s semantics predicts that this claim will always be false, as long ...
16
Deontic Logics for Prioritized Imperatives
... norms should be set aside, is captured in a moderated version that is equivalent to ...a semantics that models explicitly given imperatives can be used to define deontic ...dyadic deontic ...
28
A Dyadic Deontic Logic in HOL
... Different notions of semantics for HOL have been thoroughly studied in the literature [7, 20]. In this article we assume HOL with Henkin semantics and choice (cf. the detailed description by Benzmüller et. ...
17
A Deontic Logic Reasoning Infrastructure
... world semantics is employed in this embedding to adequately address an extensionality issue we have revealed in our previous ...data should be erased in the given ...
10
Is 'function' a Deontic Modal Word?
... things being equal” conditions are added. The heart pumps the blood more or less well to distribute the nutrients (usually and typically and other things being equal), the circulated blood distributes nutrients more or ...
65
A Note on Nesting in Dyadic Deontic Logic
... The rest of the paper is structured as follows. In Section 2 we introduce some preliminaries including the syntax, semantics and proof theory of System G. In Section 3 we show our main result that every System G ...
17
Metanormative Theory and the Meaning of Deontic Modals
... this semantics of ‘ought’ than is already in the barebones explanation of the rule, and I fully grant that further refinements of it are needed for various purposes in ...how should we interpret this rule? ...
36
A Neutral Temporal Deontic STIT Logic
... temporal deontic STIT logic called TDS ...of deontic STIT ...the semantics of TDS will be neutral: instead of committing to utilitarianism, we prove soundness and completeness of TDS with respect to ...
21
Deontic Logics based on Boolean Algebra
... the semantics of these operators is given by means of the usual relational ...Dynamic Deontic Logic [23]; In this work, deontic constructions are reduced to dynamic logic constructions using a ...
32
Factoring Disjunction out of Deontic Modal Puzzles
... This result is discomfited by (FC-) and (Ross), where embedded ‘or’ introduction seems to be blocked. For on a Boolean ‘or’, φ (φ or ψ). In terms of I, the intension I(φ or ψ) of a disjunction, relative to any world w, ...
14
An ASPIC-based legal argumentation framework for deontic reasoning
... FD: {L 1 , . . . , L n , L 1 ∧ . . . ∧ L n L} ∴ L for a norm L 1 ∧ . . . ∧ L n L DD: from K ∴ L i for 1 ≤ i ≤ n and K ∪ {L 1 . . . , L n } ∴ L derive K ∴ L Theorem 1 shows the close relation between arguments and ...
12
PP 2015 02: Deontic Logic and Preference Change
... our semantics assumes that plausibility orderings are the same for epistemically indistinguishable worlds: that is, agents know their plausibility judge- ...
47
Enhanced Expressivity using Deontic Logic and Reuse Measure of Ontologies
... This model also fails to explain the explicitly express implicit semantic constraint. Ordered Binary Decision Diagram (OBDD) provides generalization of binary decision trees in which every concept is converted into its ...
9
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
... ∆ that represent the assumptions that are made in order to derive the formula on line l. This set ∆ is the condition of line l. Conditions are subsets of a specific set of formulas: so-called abnormalities. For all ...
34
Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective
... in semantics for deontic logic reasoning? The representation of intermediate concepts is of particular interest, since such concepts arguably reduce the number of implications required for the transition ...
65
Deontic moral experience
... guilt because he believes that killing is wrong outside of war or to preserve one’s own life. Yet all the same, he is not remorseful: he thinks the world is a better place without his victimizer, and he could not bear to ...
170
Modals with a taste of the deontic
... Thinking of Hope in this manner means rejecting the classical idea that interpretation of context-sensitive sentences invariably yields a determinate proposition relative to any context of utterance. Never mind — the ...
42
Should special science laws be written into the semantics of counterfactuals?
... framework of deterministic statistical mechanics. A physical state can be completely described by the positions and momenta of particles. Starting from the egg in the pan at 8:05, Elga contrasts a normal future devel- ...
23