Journal of Logic and Computation Advance Access originally published online on October 10, 2006
Journal of Logic and Computation 2006 16(5):613-643; doi:10.1093/logcom/exl027
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||
Original Articles |
Classificatory Aspects of Counts-as: An Analysis in Modal Logic
Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands. E-mail: jj{at}cs.uu.nl; dignum{at}cs.uu.nl
E-mail: davide{at}cs.uu.nl
The article investigates the logic underlying statements of the form X counts as Y in context C which are commonly considered to represent the paradigmatic syntax of constitutive rules, i.e. the non-regulative component of normative systems. The analytical thesis backing the whole work consists in interpreting such statements as contextual classifications. This reading of counts-as is thoroughly investigated in two variants which we call the contextual classificatory reading and the proper contextual classificatory reading. The formal analysis of these readings, which we carry out making use of modal logic, disentangles two possible senses in which counts-as statements can be interpreted within a classificatory perspective, and clarifies the logical relations holding between them. The proposal is then compared in detail with previous work on the topic, in order to shed light on similarities, differences and their grounds.
Keywords: Counts-as; constitutive rules; contextual classification; modal logic