Affiliation:
1. Institute of Philosophy of the Slovak Academy of Sciences , v.v.i., Klemensova 19, 811 09 Bratislava, Slovakia
2. Informatics Institute, University of Amsterdam , Science Park 900, 1098 XH Amsterdam, The Netherlands
Abstract
Abstract
In this work, we provide an extensive analysis of Hohfeld’s theory of normative relations, focusing in particular on diagrammatic structures. Our contribution is threefold. First, we specify an extensional formal language to represent the main notions in the two families of normative relations identified by Hohfeld (i.e. the deontic and the potestative family). Our primary focus is on the part of the theory concerning potestative relations. In this regard, we assign a key role to the concept of ability, which is treated as a primitive notion and used to formulate three fine-grained definitions of power (outcome-centered, change-centered and force-centered). Second, on the basis of these definitions we build Aristotelian diagrams of opposition for deontic and potestative relations, improving, extending and systematizing previous proposals formulated in the literature. Third, we present a model-theoretic interpretation and a logic programming (ASP) implementation of the proposed framework, elaborating on the procedural dimension of normative reasoning.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference40 articles.
1. Logic of norms and logic of normative propositions;Alchourrón;Logique et Analyse,1969
2. The logic of Hohfeldian propositions;Anderson;Logique et Analyse,1970
3. An event calculus for event recognition;Artikis;IEEE Transactions on Knowledge & Data Engineering,2015
4. An introduction to first-order logic;Barwise,1993
5. The power of the hexagon;Béziau;Logica Universalis,2012
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Assisted Normative Reasoning with Aristotelian Diagrams;Frontiers in Artificial Intelligence and Applications;2023-12-07