TY - GEN
T1 - On the Logic of Constitutive Rules
AU - Grossi, Davide
AU - Meyer, John-Jules Ch
AU - Dignum, Frank
PY - 2007
Y1 - 2007
N2 - The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., forms of classification. Moving from this analytical thesis the paper disentangles three semantically different readings of statements of the type X counts as Y in context C, from the weaker notion of contextual classification to the stronger notion of constitutive rule. These many ways in which counts-as can be said are then formally addressed by making use of modal logic techniques. The resulting framework allows for a formal characterization of all the involved notions and their reciprocal logical relationships.
AB - The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., forms of classification. Moving from this analytical thesis the paper disentangles three semantically different readings of statements of the type X counts as Y in context C, from the weaker notion of contextual classification to the stronger notion of constitutive rule. These many ways in which counts-as can be said are then formally addressed by making use of modal logic techniques. The resulting framework allows for a formal characterization of all the involved notions and their reciprocal logical relationships.
UR - http://www.scopus.com/inward/record.url?scp=85174604022&partnerID=8YFLogxK
M3 - Conference contribution
T3 - Dagstuhl Seminar Proceedings
BT - Normative Multi-Agent Systems 2007
A2 - Boella, G.
A2 - van der Torre, null
A2 - Verhagen, H.
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - Normative Multi-Agent Systems 2007
Y2 - 18 March 2007 through 23 March 2007
ER -