Deontic Redundancy: A Fundamental Challenge for Deontic Logic

Torre, Leendert van der

doi:10.1007/978-3-642-14183-6_4

Cited by 7 publications

(2 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Regarding observation 2, it states that for any norms which is not in the core, there is a norm in the core which is stronger and therefore able to generate it. Observation 2 partly answers the problem of norms redundancy, which is raised by Boella et al [6] and addressed by van der Torre [28]. According to observation 2, all norms which are not in the core are redundant.…”

Section: The Core Of a Normative Systemmentioning

confidence: 94%

Proof Theory, Semantics and Algebra for Normative Systems

Sun

2013

Logic, Rationality, and Interaction

View full text Add to dashboard Cite

Abstract. This paper reports a correspondence between input/output logic and the theory of joining-system, an algebraic approach to normative system. The results have the form: every norm (a, x) is logically derivable from a set of norms G if and only if it is in the space of norms algebraically generated by G. We present three versions of correspondence: input/output logic and Boolean joining-system, intuitionistic input/output logic and Heyting joining-system, quasi input/output logic and quasi joining-system. The algebraic approach offers a holistic perspective on normative systems. We use isomorphism and embedding of joining-system to discuss the similarity of normative systems.

show abstract

Section: The Core Of a Normative Systemmentioning

confidence: 94%

Proof Theory, Semantics and Algebra for Normative Systems

Sun

2013

Logic, Rationality, and Interaction

View full text Add to dashboard Cite

show abstract

“…Norms are used to generate obligation sets; we can axiomatise deontic operations using a proof system based on conditionals, but this does not mean that norms are "implied" or "derived." The most we can say is that a norm is "accepted" by a normative system [van der Torre and Tan, 1999], or "redundant" in a normative system [van der Torre, 2010]. The latter point may be related to two philosophical considerations of the I/O logic framework.…”

Section: Input/output Logicmentioning

confidence: 99%

Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

et al. 2017

Self Cite

View full text Add to dashboard Cite

This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means); and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic normative contexts.

show abstract

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

Broersen

Torre

2012

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Deontic Redundancy: A Fundamental Challenge for Deontic Logic

Cited by 7 publications

References 31 publications

Proof Theory, Semantics and Algebra for Normative Systems

Proof Theory, Semantics and Algebra for Normative Systems

Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

Contact Info

Product

Resources

About