Abstract
It is widely assumed that the normative systems in civil law countries encompass not only the norms explicitly stated in statutory texts but also the so-called normative consequence s of the former norms. The concept of ‘normative consequence ’ is to a significant extent independent of the concept of logic al consequence because some, if not most, legal inference schemes are non-deductive; moreover, some valid logic al inference patterns are perceived as counterintuitive by lawyers. Our research problem is to determine how the link between the wording of statutes and the eventual legal effects is established. Our thesis is that it is achieved by means of legal argumentation, and we provide an exact, semi-formal theory–the argumentation framework for legislation (AFLEG )–to represent this process. The emphasis is on the aspect of legislative discourse that concerns the anticipated application of provisions drafted by the legislator. The proposal provides a middle ground between fully formalized reconstructions of normative systems on the one hand and classical informal argumentative approaches to the subject on the other hand.
The authors would like to thank all the contributors to the present volume for their work, which was an invaluable source of inspiration.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In the contemporary analyses of the debate, and especially of Dworkin’s standpoint, it is emphasized that there is the possibility of distinguishing between two versions of his legal philosophy–the early one, which is best presented in Taking Rights Seriously and the later one, which is presented in Law’s Empire (Leiter 2007). However, Dworkin questions the possibility of presenting his theory in two versions (Dworkin 2006, 233).
- 2.
The concept of systemic validity can be characterised by the following criteria: “a rule belongs to the legal system if: (a) a rule is enacted according to the rules valid in the legal system and thus has come into force; (b) a rule has not been formally repealed (“derogated”); (c) a rule is not inconsistent with the rules valid in the legal system ; (d) if a rule is inconsistent with any rule valid in the legal system then either a rule is not treated as invalid according to the rules about conflict between legal rules or a rule is interpreted in such a way as to eliminate the inconsistency in question” (Wróblewski 1980, 10). In the later version of his theory, Wróblewski introduced an additional criterion: “a rule is an acknowledged consequence of the rules valid in the legal system ” (Wróblewski 1992, 77).
- 3.
Wróblewski claims that logic al consequences should fulfil two conditions: (a) they are based on three theses of formal calculi, which are “interpreted” (in the logic al meaning of this term) by the expressions occurring in the legal norms or by these norms; (b) they are claimed to be valid like the norms they derive from (Wróblewski 1980, 12).
- 4.
Notwithstanding this, Wróblewski emphasises that for the construction of such a model it is essential to make two assumptions: “(a) there exists a limited set of interpretative directives accepted in a given system; (b) the consequences of norms built by means of these directives constitute valid norms.” (Wróblewski 1980, 13–14). The second condition is trivial and fulfilled in every legal system , but the first one meets considerable obstacles caused by the heterogeneous character and the conflicting nature of the set of interpretative directives.
- 5.
Woleński used the symbol No in this context because his work was published in Polish and the Polish word for ‘obligation’ (in this meaning) is ‘nakaz’.
- 6.
These features are elements of a theory of the so-called rational norm-giver, which was very influential in Polish legal theory in the second half of the twentieth century.
- 7.
However, at least certain inferences warranted by (classical) notion of logic al consequence seem to be troubling from the point of view of descriptive adequacy as regards the actual reasoning on consequence of statutes. Let us mention the three laws of classical logic :
-
(a)
ex falsum quidlibet: \((p \wedge \neg p) \rightarrow q\) (that is, contradiction implies an arbitrary sentence). Obviously, no lawyer would accept this kind of consequence even in case of plain and insuperable contradiction between two provisions in a statute;
-
(b)
Attaching of an alternative: p → (p ∨ q). This law lad to formulation of the famous Ross’ paradox in deontic logic . Although it does not lead to actual antinomy in the normative system, this type of inference seems to be pragmatically fallacious in the context of legal discourse;
-
(c)
Strengthening of antecedent: (p → q) → ((p ∧ r) → q). The critique of adequacy of this law was one of the factors that led to emergence of nonmonotonic logic s applied to legal domain.
-
(a)
- 8.
The literature on the concept of facts and / or states of affairs is too vast to be described here. For recent contributions in the field of legal theory, see Hage 2016 (in this volume).
- 9.
For the sake of readability, we will not use standard formal notation of predicate symbols, but full expressions of predicates in square brackets. For instance, the sentence “There exists a cat” will not be represented by \(\exists _{x}\) C(x), but by \(\exists _{x}\) [cat] (x).
- 10.
We adopt this solution in order to avoid problems concerning the complete formalization of plain, natural language. Arguably this is not possible with the use of the first-order (deontic) language, which we adopt here as the subject level language.
- 11.
Journal of Laws 2014.121, consolidated text as amended.
- 12.
Because of the numerous legislative changes, in the example we use the text from 2011, that is, its wording from before the introduction of the VAT Project. It should be emphasized, however, that this particular institution has been construed and applied exactly in this way since the analysed regulation came into force.
- 13.
We do not represent it here for the sake of conciseness and due to the fact that the instantiation of RBAS is obvious in this theory.
- 14.
The asterisk (*) indicates that this version of the provision is taken from a draft of a statute and not from the valid law.
- 15.
Invoice received.
- 16.
Invoice not received.
- 17.
This is an entity registered as conducting professional lobbying activities.
- 18.
Art.1 (…)2. The principle of the common system of VAT entails the application to goods and services of a general tax on consumption exactly proportional to the price of the goods and services; however, many transactions take place in the production and distribution process before the stage at which the tax is charged. On each transaction, VAT, calculated on the price of the goods or services at the rate applicable to such goods or services, shall be chargeable after deduction of the amount of VAT borne directly by the various cost components. The common system of VAT shall be applied up to and including the retail trade stage.And the points from the preamble: “(30) In order to preserve neutrality of VAT, the rates applied by Member States should be such as to enable, as a general rule, deduction of the VAT applied at the preceding stage. (34) However, such a reduction in the VAT rate is not without risk for the smooth functioning of the internal market and for tax neutrality. (…)” (Council Directive 2006/112/EC of 28 November 2006 on the common system of value added tax, Official Journal of the European Union L 347/1).
- 19.
Again, we do not represent the instantiation of RBAS due to its straightforwardness.
- 20.
The Consumer Rights Act of 30 May 2014, Journal of Laws 2014, 827.
References
Alchourrón, Carlos, and Eugenio Bulygin. 1971. Normative systems. Wien/New York: Springer.
Alexy, Robert. 1989. A theory of legal argumentation: The theory of rational discourse as a theory of legal justification. Trans. R. Adler and N. MacCormick. Oxford: Clarendon Press. 1st German ed. 1978.
Alexy, Robert. 2010. The argument from injustice: A reply to legal positivism. Trans. B. Litschewski-Paulson and S.L. Paulson. Oxford: Oxford University Press.
Araszkiewicz, Michał. 2010. Balancing of legal principles and constraint satisfaction. In Legal knowledge and information systems. JURIX: The twenty-third annual conference. Frontiers in artificial intelligence and applications, vol. 223, ed. R. Winkels, 7–16. Amsterdam: IOS Press.
Araszkiewicz, Michał. 2012. Coherence-based account of the doctrine of consistent interpretation. In AI approaches to the complexity of legal system s. Models and ethical challenges for legal system s, legal language and legal ontologies, argumentation and software agents, ed. M. Palmirani, U. Pagallo, P. Casanovas, and G. Sartor, 33–47. Berlin/New York: Springer.
Araszkiewicz, Michał. 2013. Towards systematic research on statutory interpretation in AL and law. In Legal knowledge and information systems. JURIX: The twenty-sixth annual conference. Frontiers in artificial intelligence and applications, vol. 259, ed. K. Ashley, 15–24. Amsterdam: IOS Press.
Araszkiewicz, Michał. 2014. Legal rules: Defeasible or indefeasible? In Problems of rules, normativity and rule-following, ed. M. Araszkiewicz, P. Bana, T. Gizbert-Studnicki, and K. Płeszka. Dordrecht: Springer.
Araszkiewicz, Michał, and Jaromír Šavelka. 2012. Refined coherence as constraint satisfaction framework for representing judicial reasoning. In Legal knowledge and information systems. JURIX: The twenty-fifth annual conference. Frontiers in artificial intelligence and applications, vol. 250, ed. B. Schäfer, 1–20. Amsterdam: IOS Press.
Ashley, Kevin. 1990. Modeling legal argument: Reasoning with cases and hypotheticals. Cambridge: MIT Press.
Athan, Tara, Boley Harold, Governatori Guido, Palmirani Monica, Paschke Aadrian, and Wyner Adam. 2012. OASIS LegalRuleML. In International conference on artificial intelligence and law, ICAIL ’13, Rome, 3–12. New York: ACM.
Atkinson, Katie, Trevor Bench-Capon, Dan Cartwright, and Adam Wyner. 2011. Semantic models for policy deliberation. In The 13th international conference on artificial intelligence and law, proceedings of the conference, Pittsburgh, 81–90. New York: ACM.
Åqvist, Lennart. 1984. Deontic logic . In Handbook of philosophical logic . Volume II: Extensions of classical logic , ed. D. Gabbay and F. Guenthner, 605–714. Dordrecht/Boston/Lancaster: D. Reidel.
Ba̧cal, Adam, Dagmara Dominik, Małgorzata Militz, and Piotr Ogiński. 2009. Zasady dotycza̧ce podatku od towarów i usług (The Principles Concerning the Value Added Tax). Przegla̧d Podatkowy 11(223).
Baroni, Pietro, Martin Caminada, and Massimiliano Giacomin. 2011. An introduction to argumentation semantics. Knowledge Engineering Review 26(4):365–410.
Bell, John, and Moshé Machover, 1977. A course in mathematical logic . Amsterdam/New York/Oxford: North Holland Publishing Company.
Bench-Capon, Trevor, and Pepijn R.S. Visser. 1997. Ontologies in legal information systems: The need for explicit specifications of domain conceptualisations. In Proceedings of the sixth international conference on artificial intelligence and law ICAIL ’97, Melbourne, 132–141. New York: ACM.
Bench-Capon, Trevor, G.O. Robinson, Tom Routen, and Marek J. Sergot. 1987. Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation . In Proceedings of the first international conference on artificial intelligence and law, ICAIL ’87, Boston. 190–198. New York: ACM.
Bulygin, Eugenio. 2008. What can one expect from logic in the law? (Not everything, but more than something: A reply to Susan Haack). Ratio Juris 21(1):150–156.
Casellas, Núria. 2011. Legal ontology engineering. Methodologies, modelling trends and the ontology of professional judicial knowledge. Dordrecht/Heidelberg/London/New York: Springer.
Dung, Phan Minh. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2):321–358.
Dworkin, Ronald. 1977. Taking rights seriously. Cambridge: Harvard University Press.
Dworkin, Ronald. 2006. Justice in robes. Cambridge/London: The Belknap Press of Harvard University Press.
Ferrer Beltrán, Jordi, and Giovanni Battista Ratti. eds. 2012. The logic of legal requirements: essays on defeasibilism. Oxford: Oxford University Press.
Gabbay, Dov. 2013. Meta-logic al investigations in argumentation networks. London: College Publications.
Gordon, Thomas, and Douglas Walton. 2006. The Carneades argumentation framework – using presumptions and exceptions to model critical questions. In Proceedings of the first international conference on computational models of argument (COMMA 06), Liverpool, ed. P.E. Dunne, 195–207.
Gordon, Thomas, and Douglas Walton. 2009. Legal reasoning with argumentation schemes . In Proceedings of the 10th international conference on artificial intelligence and law, ICAIL 2009, 137–146. New York: ACM.
Haack, Susan. 2007. On logic in the law: “Something, but not all”. Ratio Juris 20(1):1–31.
Hage, Jaap. 1996. A theory of legal reasoning and a logic to match. Artificial Intelligence and Law 4(3–4):199–273.
Hage, Jaap. 2001a. Formalizing legal coherence. In Proceedings of the eighth international conference on artificial intelligence and law, ICAIL 2001, St. Louis, 22–31. New York: ACM.
Hage, Jaap. 2001b. Legal logic , its existence, nature and use. In Pluralism and law, ed. A. Soeteman, 347–374. Dordrecht: Kluwer Academic.
Hage, Jaap. 2005. Studies in legal logic . Berlin: Springer.
Hage, Jaap. 2014. Separating rules from normativity. In Problems of normativity, rules and rule-following. Law and philosophy library series, ed. M. Araszkiewicz, P. Banaś, T. Gizbert-Studnicki, and K. Płeszka. Cham/Heidelberg/New York/Dordrecht/London: Springer.
Hage, Jaap. 2016. The (onto)logic al structure of law: A conceptual toolkit for legislators. In Logic in the theory and practice of lawmaking, ed. M. Araszkiewicz, K. Płeszka. Cham: Springer.
Hart, Herbert L.A. 1994. The concept of law , 2nd ed. Oxford: Oxford University Press.
Hesselink, Martijn. 2001. The new European legal culture. Denventer: Kluwer Academic.
Hilpinen, Risto, and Paul McNamara. 2013. Deontic logic : A historical survey and introduction. In Handbook of deontic logic and normative systems, ed. D. Gabbay, J. Horty, X. Parent, R. van der Meyden, and L. van der Torre, 3–136. London: College Publications.
Kelsen, Hans. 1970. The pure theory of law. Berkeley: University of California Press.
Kleene, Stephen Cole. 1967. Mathematical logic. Mineola/New York: Dover Publications.
Lanckoroński, Bogusław. 2014. Ekspertyza dotycza̧ca projektu ustawy o prawach konsumenta [Expert opinion concerning the Project of Consumer Rights Act]. http://orka.sejm.gov.pl/rexdomk7.nsf/Opdodr?OpenPage&nr=2076. Accessed 5 Aug 2014.
Leiter, Brian. 2007. Explaining theoretical disagreement. The University of Chicago Law Review 76:1215–1250.
Lindahl, Lars, and David Reidhav. 2016. Conflict of legal norms: Definition and varieties. In Logic in the theory and practice of lawmaking, ed. M. Araszkiewicz and K. Płeszka. Cham: Springer.
Macagno, Fabrizio, Douglas Walton, and Giovanni Sartor. 2012. Argumentation schemes for statutory interpretation. In International conference on alternative methods of argumentation in law, Brno, 25 Oct 2012, ed. M. Araszkiewicz, M. Myška, T. Smejkálova, J. Šavelka, and M. Škop, 63–75. Brno: Masarykova University.
MacCormick, Neil. 1978. Legal reasoning and legal theory. Oxford: Clarendon Press. Reprinted in 2003.
Makinson, David. 2005. Bridges from classical to nonmonotonic logic . London: College Publications.
Mendelson, Eliot. 1977. Introduction to mathematical Logic, 4th ed. New York: Chapman & Hall.
Nute, Donald. 1994. Defeasible logic . In Handbook of logic in artificial intelligence and logic programming, ed. D. Gabbay, C. Hogger, and J. Robinson, 353–396. Oxford: Clarendon Press.
Nute, Donald. ed. 1997. Defeasible deontic logic . Synthese library. Dordrecht: Kluwer Academic Publishers.
Opałek, Kazimierz, and Jerzy Wróblewski. 1969. Zagadnienia teorii prawa [Issues in Legal Theory]. PWN: Warszawa.
Peczenik, Aleksander. 1983. The basis of legal justification. Lund: A. Peczenik.
Peczenik, Aleksander. 1996. Jumps and logic in the law: What one can expect from logic al models of legal argumentation? Artificial Intelligence and Law 4:297–329.
Peczenik, Aleksander. 2008. On law and reason, 2nd ed. Dordrecht: Springer.
Perelman, Chaïm, and Lucie Olbrechts-Tyteca. 1958. Traité de l’argumentation: La nouvelle rhétorique. Paris: Presses Universitaires de France.
Pokrop, Dorota. 2012. Propozycja rozwia̧zań prawnych [A proposal of legal solutions]. http://orka.sejm.gov.pl/opinie7.nsf/opdodr?OpenPage&nr=805. Accessed 6 Aug 2014.
Pollock, John. 1987. Defeasible reasoning. Cognitive Science 11:481–518.
Pollock, John. 1995. Cognitive carpentry: A blueprint for how to build a person. Cambridge: MIT Press.
Postema, Gerald, 2001. Legal philosophy in the twentieth century: The common law world. A treatise of legal philosophy and general jurisprudence, vol. 11, ed. E. Pattaro. Dordrecht/Heidelberg/London/New York: Springer.
Prakken, Henry. 1997. Logic al tools for modelling legal argument: A study of defeasible reasoning in law. Dordrecht/Boston/London: Kluwer Academic.
Prakken, Henry. 2010. An abstract framework for argumentation with structured arguments. Argument & Computation 1(2):93–124.
Prakken, Henry. 2016. Formalizing debates about law-making proposals as practical reasoning. In Logic in the theory and practice of lawmaking, ed. M. Araszkiewicz and K. Płeszka. Cham: Springer.
Prakken, Henry, and Giovanni Sartor. 1996. A dialectical model of assessing conflicting arguments in legal reasoning. Artificial Intelligence and Law 4(3–4):331–368.
Prakken, Henry, and Giovanni Sartor. 1998. Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law 6(2–4):231–287.
Prakken, Henry, and Gerard Vreeswijk. 2002. Logic s for defeasible argumentation. In Handbook of philosophical logic , vol. 4, 2nd ed., ed. Dov Gabbay and Franz Guenthner, 219–318. Dodrecht/Boston/London: Kluwer Academic.
Rahwan, Iyad, and Guillermo R. Simari. eds. 2009. Argumentation in artificial intelligence. Dordrecht/Heidelberg/London/New York: Springer.
Raz, Joseph. 1980. The concept of a legal system : An introduction to the theory of the legal system . Oxford: Oxford University Press.
Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence 13(1–2):81–132.
Rissland, Edwina, and David B. Skalak. 1991. CABARET: Rule interpretation in a hybrid architecture. International Journal of Man-Machine Studies 34(6):839–887.
Royakkers, Lambèr M.M. 1998. Extending deontic logic for the formalisation of legal rules. Dordrecht: Springer.
Sartor, Giovanni. 1992. Normative conflicts in legal reasoning. Artificial Intelligence and Law 1(2–3):209–235.
Sartor, Giovanni. 1995. Defeasibility in legal reasoning. In Informatics and the foundations of legal reasoning, ed. Z. Bankowski, I. White, and U. Hahn, 119–137. Dordrecht: Kluwer Academic.
Sartor, Giovanni. 2005. Legal reasoning. A cognitive approach to law. A treatise of legal philosophy and general jurisprudence, vol. 5. Dordrecht: Springer.
Sartor, Giovanni, Pompeu Casanovas, Maria Angela Biasotti, and Meritxell Fernández-Barrera. eds. 2011. Approaches to legal ontologies: Theories, domains, methodologies. Dordrecht/Heidelberg/London/New York: Springer.
Šavelka, Jaromír. 2013. Coherence as constraint satisfaction: Judicial reasoning support mechanism. In Coherence: Insights from philosophy, jurisprudence and artificial intelligence, ed. M. Araszkiewicz and J. Šavelka, 203–216. Dordrecht/Heidelberg/New York/London: Springer.
Sergot, Marek. 2013. Normative positions. In Handbook of deontic logic and normative systems, ed. D. Gabbay, J. Horty, X. Parent, R. van der Meyden, and L. van der Torre, 353–406. London: College Publications.
Sergot, Marek, Fariba Sadri, Robert A. Kowalski, Frank Kriwaczek, Peter Hammond, and H.T. Cory. 1986. The British nationality act as a logic program. Communications ACM 29(5):370–386.
Shapiro, Scott, 2007. The “Hart–Dworkin Debate”: A short guide for the perplexed. In Ronald Dworkin, ed. A. Ripstein, 22–55. Cambridge: Cambridge University Press.
Soeteman, Arend. 2003. Legal logic ? Or can we do without? Artificial Intelligence and Law 11(2–3):197–210.
Tarski, Alfred. 1936. On the concept of logic al consequence. In Logic , semantics, metamathematics, ed. A. Tarski, 409–420. Trans. J.H. Woodger. Oxford: Clarendon Press.
Thagard, Paul. 2000. Coherence in thought and action. Cambridge: MIT Press.
Walton, Douglas. 1996. Argumentation schemes for presumptive reasoning. New York/London: Routledge.
Walton, Douglas, Chris Reed, and Fabrizio Macagno. 2008. Argumentation schemes . Cambridge: Cambridge University Press.
Woleński, Jan. 1972. Logic zne problemy wykładni prawa [Logic al problems of legal interpretation]. Kraków: Uniwersytet Jagielloński.
Wróblewski, Jerzy. 1980. Pojȩcie systemu prawa a informatyka prawnicza [The concept of legal system and legal informatics]. Studia Prawno-Ekonomiczne XXV.
Wróblewski, Jerzy. 1992. Judicial application of law, ed. Zenon Bankowski and Neil MacCormick. Dordrecht/Boston/London: Kluwer Academic.
Yoshino, Hajime. 1995. The systematization of legal meta-inference. In Proceedings of the fifth international conference on artificial intelligence and law, ICAIL ’95, College Park, Maryland, 266–275. New York: ACM.
Yoshino, Hajime. 1997. On the logical foundations of compound predicate formulae for legal knowledge representation. Artificial Intelligence and Law 5(1–2):77–96.
Żurek, Tomasz. 2012. Modelling of a fortiori reasoning. Expert Systems and Applications 39(12):10772–10779.
Żurek, Tomasz and Michał Araszkiewicz. 2013. Modeling teleologic al interpretation. In International conference on artificial intelligence and law, ICAIL ’13, Rome, 160–168. New York: ACM.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Araszkiewicz, M., Płeszka, K. (2015). The Concept of Normative Consequence and Legislative Discourse. In: Araszkiewicz, M., Płeszka, K. (eds) Logic in the Theory and Practice of Lawmaking. Legisprudence Library, vol 2. Springer, Cham. https://doi.org/10.1007/978-3-319-19575-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-19575-9_10
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19574-2
Online ISBN: 978-3-319-19575-9
eBook Packages: Humanities, Social Sciences and LawLaw and Criminology (R0)