Abstract
The paper is an investigation on how behaviour relates to norms, i.e. how a certain conduct acquires meaning in institutional terms. The simplest mechanism determining this phenomenon is given by the ‘count-as’ relation, generally associated with constitutive rules, through which an agent has the legal capacity, via performing a certain action, to create, modify or destroy a certain institutional fact. In the analytic literature, however, the ‘count-as’ relation is mostly approached for its classificatory functions, mapping entities to categories whose members carry institutional properties. Besides making explicit this double function, the paper reconsiders the relation between constitutive rules and regulative rules, and introduces a proposal on the ontological status of constitution.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We may read the perspective of the legal scholar in this claim. In an actual social setting, this is often not the case: players may play even without knowing any rule, just mirroring what others are doing (mimesis) or, more rationally, fabricating their own models of the rules in place.
- 2.
In Searle’s words, the prohibition of stealing is “a constitutive rule of the institution of private property”, [1, p. 168].
- 3.
The material implication allows to convert a logic conditional into a composition of disjunction and negation: \((a \rightarrow b) \leftrightarrow (\lnot a \vee b)\). It makes explicit the ‘constraint’ nature of the operator of implication, rather than (epistemic) ‘production’ aspects.
- 4.
“The rules for checkmate or touchdown must ‘define’ checkmate in chess or touchdown in American Football [...]”, [1, p. 34].
- 5.
Informally, given two concepts X and Y, ‘X subsumes Y’, or ‘Y is subsumed by X’, means that X (e.g. animal) is an abstraction of Y (e.g. whale).
- 6.
- 7.
Bulygin [12] suggests the following: “a player must make a given number of moves in a given period of time on pain of losing the game”, where losing can be seen as a sort of punishment, considering the pragmatics around games.
- 8.
To reiterate, the ‘must’ that is used in certain normative statements does not refer to a (conditional) duty, but to an institutional power. Consider for instance “in order to perform a real estate transaction, buyers and sellers must sign a written contract”. In this sort of cases, ‘must’ is derived from practical necessity (“to be obliged to”), more than normative aspects (“to have the obligation to”): e.g. if buyer and seller want to perform a sale, they don’t have any other way but signing a contract.
- 9.
On the other hand, when a relation can be represented between the outcomes, the procedural model requires the introduction of adequate revision mechanism for operational closure, and therefore, it becomes less efficient from a representational perspective.
- 10.
Disposition is a long-debated notion in philosophy, especially in metaphysics. Lewis provides in [28] a famous critique to the classic account based on logic conditionals, and a reformulation in causation terms, which is compatible with the present proposal.
- 11.
In a similar spirit, Sartor extends in [29] action-power with generic-power, that can be associated to natural events as well (e.g. death, timeouts, etc.).
- 12.
The canonic form of constitutive rules (1) implies that when we are not in C, X may not count as Y. This shows that it is impossible that constitution corresponds to identity, as X would be equal to Y in certain cases, and not equal to Y in others.
- 13.
If supervenience holds, it is impossible that there are two paintings that are the same from a physical point of view (e.g. for their distribution of colours), but they are different in respect of how beautiful they are (to respond to relativist critics, we should add for the same observer and in the same mental state).
- 14.
This idea was briefly presented in [33] as well, but it remains underspecified.
References
Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Searle, J.R.: Intentionality: An Essay in the Philosophy of Mind. Cambridge University Press, Cambridge (1983)
Searle, J.R.: Making the Social World: The Structure of Human Civilization. Oxford University Press, Oxford (2010)
Roversi, C.: Acceptance is not enough, but texts alone achieve nothing. A critique of two conceptions in institutional ontology. Rechtstheorie 43(2), 177–206 (2012)
MacCormick, N.: Norms, institutions, and institutional facts. Law Philos. 17(3), 301–345 (1998)
Ruiter, D.W.P.: Structuring legal institutions. Law Philos. 17(3), 215–232 (1998)
Conte, A.G.: L’enjeu des règles. Droit et Société 17–18, 125–146 (1991)
Jones, A., Sergot, M.: A formal characterisation of institutionalised power. J. IGPL 4, 427–443 (1996)
Boella, G., van der Torre, L.: Constitutive norms in the design of normative multiagent systems. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 303–319. Springer, Heidelberg (2006). https://doi.org/10.1007/11750734_17
Dennett, D.C.: The Intentional Stance, 7th edn. MIT Press, Cambridge (1987)
von Wright, G.H.: Norm and Action: A Logical Enquiry. Routledge & K. Paul, London (1963)
Bulygin, E.: On norms of competence. Law Philos. 11(3), 201–216 (1992)
Peczenik, A.: On Law and Reason. Kluwer, Dordrecht (1989)
Jones, A.J., Sergot, M.: Deontic logic in the representation of law: towards a methodology. Artif. Intell. Law 1(1), 45–64 (1992)
Grossi, D.: Designing invisible handcuffs, formal investigations in institutions and organizations for multi-agent systems. Ph.D. thesis, University of Utrecht (2007)
Atkinson, K., Bench-Capon, T.J.M.: Levels of reasoning with legal cases. In: Proceedings of the ICAIL 2005 Workshop on Argumentation in AI and Law (2005)
Lindahl, L., Odelstad, J.: Intermediate concepts in normative systems. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 187–200. Springer, Heidelberg (2006). https://doi.org/10.1007/11786849_16
Ransdell, J.: Constitutive rules and speech-act analysis. J. Philos. 68(13), 385–399 (1971)
Hindriks, F.: Constitutive rules, language, and ontology. Erkenntnis 71(2), 253–275 (2009)
Boer, A.: Legal theory, sources of law and the semantic web. Ph.D. thesis, University of Amsterdam (2009)
Hage, J.: Separating rules from normativity. In: Araszkiewicz, M., Banas, P., Gizbert-Studnicki, T., Pleszka, K. (eds.) Problems of Normativity, Rules and Rule-Following. LAPS, vol. 111, pp. 13–22. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-09375-8_2
Beer, S.: Brain of the Firm. Wiley, New York (1995)
Hart, H.L.A.: The Concept of Law, 2nd edn. Clarendon Press, Oxford (1994)
Husserl, E.: The Shorter Logical Investigations. Taylor & Francis, Abingdon (2002)
Searle, J.R.: Perceptual intentionality. Organon F 19, 9–22 (2012)
Harel, D., Pnueli, A.: On the development of reactive systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol. 13, pp. 477–498. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-82453-1_17
Sileno, G., Boer, A., van Engers, T.: A Petri net-based notation for normative modeling: evaluation on deontic paradoxes. In: Proceedings of MIREL 2017: Workshop on MIning and REasoning with Legal texts, in conjunction with ICAIL 2017 (2017)
Lewis, D.: Finkish dispositions. Philos. Q. 47, 143–158 (1997)
Sartor, G.: Fundamental legal concepts: a formal and teleological characterisation. Artif. Intell. Law 14(1), 101–142 (2006)
Breuker, J., den Haan, N.: Separating world and regulation knowledge: where is the logic? In: Proceedings of ICAIL 1991: 3rd International Conference on Artificial Intelligence and Law, pp. 92–97 (1991)
Lewis, D.K.: On the Plurality of Worlds. B. Blackwell, Oxford (1986)
Brown, R., Ladyman, J.: Physicalism, supervenience and the fundamental level. Philos. Q. 59(234), 20–38 (2009)
Hage, J., Verheij, B.: The law as a dynamic interconnected system of states of affairs: a legal top ontology. Int. J. Hum.-Comput. Stud. 51(6), 1043–1077 (1999)
Sileno, G., Boer, A., van Engers, T.: Bridging representations of laws, of implementations and of behaviours. In: Proceedings of the 28th International Conference on Legal Knowledge and Information Systems (JURIX 2015). FAIA, vol. 279 (2015)
Kowalski, R., Sadri, F.: Integrating logic programming and production systems in abductive logic programming agents. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 1–23. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-05082-4_1
Sileno, G.: Aligning law and action. Ph.D. thesis, University of Amsterdam (2016)
Sileno, G., Boer, A., van Engers, T.: On the interactional meaning of fundamental legal concepts. In: Proceedings of the 27th International Conference on Legal Knowledge and Information Systems (JURIX 2014). FAIA, vol. 271, pp. 39–48 (2014)
Sileno, G., Boer, A., van Engers, T.: Commitments, expectations, affordances and susceptibilities: towards positional agent programming. In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 687–696. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25524-8_52
Conte, A.G.: Nomotropismo: agire in-funzione-di regole. Sociologia del diritto 27(1), 1–27 (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Sileno, G., Boer, A., van Engers, T. (2018). Revisiting Constitutive Rules. In: Pagallo, U., Palmirani, M., Casanovas, P., Sartor, G., Villata, S. (eds) AI Approaches to the Complexity of Legal Systems. AICOL AICOL AICOL AICOL AICOL 2015 2016 2016 2017 2017. Lecture Notes in Computer Science(), vol 10791. Springer, Cham. https://doi.org/10.1007/978-3-030-00178-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-00178-0_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00177-3
Online ISBN: 978-3-030-00178-0
eBook Packages: Computer ScienceComputer Science (R0)