TY - JOUR
T1 - The many faces of counts-as
T2 - A formal analysis of constitutive rules
AU - Grossi, Davide
AU - Meyer, John-Jules Ch.
AU - Dignum, Frank
PY - 2008/6
Y1 - 2008/6
N2 - The paper proposes a logical systematization of the notion of counts-as 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 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. © 2007.
AB - The paper proposes a logical systematization of the notion of counts-as 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 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. © 2007.
UR - http://www.scopus.com/inward/record.url?scp=42649114783&partnerID=8YFLogxK
U2 - 10.1016/j.jal.2007.06.008
DO - 10.1016/j.jal.2007.06.008
M3 - Article
SN - 1570-8683
VL - 6
SP - 192
EP - 217
JO - Journal of Applied Logic
JF - Journal of Applied Logic
IS - 2
ER -