Switch to: References

Add citations

You must login to add citations.
  1. Violation games: a new foundation for deontic logic ★.Leendert van der Torre - 2010 - Journal of Applied Non-Classical Logics 20 (4):457-477.
    In this paper I propose violation games as the basis of formal logics to represent and reason about norms, i.e. as the foundation of deontic logic. Deontic logic is an applied non-classical logic reflecting a way in which we conceptualize normative reasoning. By introducing violation games as a fundamental principle of deontic logic, I am introducing a new way of looking at familiar problems in normative reasoning, with the aim of introducing a new approach for handling norms in intelligent systems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Arguing about constitutive and regulative norms.Gabriella Pigozzi & Leendert van der Torre - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):189-217.
    Formal arguments are often represented by pairs, but in this paper we consider normative arguments represented by sequences of triples, where constitutive norms derive institutional facts from brute facts, and regulative norms derive deontic facts like obligations and permissions from institutional facts. The institutional facts may be seen as the reasons explaining or warranting the deontic obligations and permissions, and therefore they can be attacked by other normative arguments too. We represent different aspects of normative reasoning by different kinds of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Stratification of normative systems with intermediaries.Lars Lindahl & Jan Odelstad - 2011 - Journal of Applied Logic 9 (2):113-136.
  • Intermediaries and intervenients in normative systems.Lars Lindahl & Jan Odelstad - 2008 - Journal of Applied Logic 6 (2):229-250.
  • Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.
    This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hohfeld relations and spielraum for action.Lars Lindahl - 2006 - Análisis Filosófico 26 (2):325-355.
    The paper intends to show, that W. N. Hohfeld's theory of fundamental jural relations is relevant to economic theory, and that Hohfeld's system can be reconstructed by the concepts of 'liberty space' and 'ability space', understood as an agent's Spielraum for action. The first half of the paper is devoted to an exposition of Hohfeld's system and to the question of its relation to the economic analysis of property rights. The second half concerns Spielraum theory and the reformulation of Hohfeldian (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation