Hard cases: A procedural approach

Much work on legal knowledge systems treats legal reasoning as arguments that lead from a description of the law and the facts of a case, to the legal conclusion for the case. The reasoning steps of the inference engine parallel the logical steps by means of which the legal conclusion is derived from the factual and legal premises. In short, the relation between the input and the output of a legal inference engine is a logical one. The truth of the conclusion only depends on the premises, and is independent of the argument that leads to the conclusion.This paper opposes the logical approach, and defends a procedural approach to legal reasoning. Legal conclusions are not true or false independent of the reasoning process that ended in these conclusions. In critical cases this reasoning process consists of an adversarial procedure in which several parties are involved. The course of the argument determines whether the conclusion is true or false. The phenomenon of hard cases is used to demonstrate this essential procedural nature of legal reasoning.Dialogical Reason Based Logic offers a framework that makes it possible to model legal dialogues. We use Dialogical Reason Based Logic to specify hard cases in dialogical terms. Moreover, we analyse an actual Dutch hard case in terms of Dialogical Reason Based Logic, to demonstrate both the possibilities and the shortcomings of this approach.It turns out that there is no one set of rational dialogue rules. There are many concurring sets of rules that govern particular types of dialogues. The rules for legal procedures are as much part of the law as the more substantial rules. As a consequence, it is not possible to offer an universal set of dialogue rules. Dialogical Reason Based Logic rather provides a framework which can be filled with dialogue rules that determine which dialogues are valid and which ones are invalid.

[1]  Dick W. P. Ruiter Institutional Legal Facts , 1993 .

[2]  H. L. A. Hart,et al.  Problems of the Philosophy of Law , 1983 .

[3]  Stephen T. C. Wong,et al.  A computational model for trial reasoning , 1993, ICAIL '93.

[4]  Neil MacCormick,et al.  An Institutional Theory of Law , 1986 .

[5]  Ch. Perelman,et al.  The New Rhetoric: A Treatise on Argumentation , 1971 .

[6]  Thomas F. Gordon,et al.  The pleadings game: formalizing procedural justice , 1993, ICAIL '93.

[7]  Robert Alexy Theorie der juristischen Argumentation , 1991 .

[8]  Jaap Hage,et al.  A DIALOGICAL MODEL OF LEGAL REASONING , 1992 .

[9]  A. Newell Unified Theories of Cognition , 1990 .

[10]  Edwina L. Rissland,et al.  CABARET: Rule Interpretation in a Hybrid Architecture , 1991, Int. J. Man Mach. Stud..

[11]  Erik C. W. Krabbe,et al.  From axiom to dialogue , 1982 .

[12]  Kevin D. Ashley,et al.  Waiting on Weighting: A Symbolic Least Commitment Approach , 1988, AAAI.

[13]  P.J.M. Kordelaar,et al.  Supporting the Drafting of a New Dutch National Assistance Act with ExpertiSZe , 1993 .

[14]  J. Raz Practical Reason and Norms , 1975 .

[15]  Richard E. Susskind,et al.  Expert Systems in Law: A Jurisprudential Inquiry , 1988 .

[16]  D. Hiley,et al.  Philosophy and the Mirror of Nature , 1980 .

[17]  Thomas F. Gordon,et al.  An Abductive Theory of Legal Issues , 1991, Int. J. Man Mach. Stud..

[18]  Jaap Hage,et al.  Monological reason-based logic: a low level integration of rule-based reasoning and case-based reasoning , 1993, ICAIL '93.

[19]  Donald H. Berman,et al.  Indeterminacy: A challenge to logic‐based models of legal reasoning , 1987 .

[20]  Alan R. White,et al.  Taking Rights Seriously. , 1977 .

[21]  R. Rorty,et al.  Philosophy and the Mirror of Nature. , 1980 .

[22]  W. Neumann Walter de Gruyter Berlin-New York , 1982 .

[23]  H. Hart,et al.  Positivism and the Separation of Law and Morals , 1958 .

[24]  Norman J. Brown Speech Acts: An Essay in the Philosophy of Language . By John R. Searle. Cambridge: at the University Press. 1969 Pp. vi, 203. $7.25. , 1970, Dialogue.

[25]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[26]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[27]  Dick W. P. Ruiter Institutional Legal Facts: Legal Powers and their Effects , 1993 .

[28]  Ronald Dworkin,et al.  Taking Rights Seriously. , 1978 .

[29]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[30]  William Chen,et al.  An Argument Game , 1992 .

[31]  S. Toulmin The uses of argument , 1960 .

[32]  Hector Geffner,et al.  Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..

[33]  Jim D. Mackenzie,et al.  Question-begging in non-cumulative systems , 1979, J. Philos. Log..

[34]  Thomas F. Gordon,et al.  The Pleadings Game , 1994, Artificial Intelligence and Law.

[35]  H. L. A. Hart,et al.  Positivism and the Separation of Law and Morals , 1958 .

[36]  Kevin D. Ashley,et al.  Ashley,K. D.-But, see, accord: generating blue book citations in HYPO , 1987, ICAIL '87.

[37]  Richard E. Susskind,et al.  Expert systems in law , 1987 .

[38]  Kevin D. Ashley Reasoning with Cases and Hypotheticals in HYPO , 1991, Int. J. Man Mach. Stud..

[39]  심헌섭 Robert Alexy, Theorie der juristischen Argumentation (Die Theorie der rationalen Diskurses als Theorie der juristischen Begrundung) Suhrkamp Verlag, Frankfurt/M 1978 , 1983 .

[40]  Edwina L. Rissland,et al.  Arguments and cases: An inevitable intertwining , 1992, Artificial Intelligence and Law.

[41]  Robert Alexy Theorie der juristischen Argumentation : die Theorie des rationalen Diskurses als Theorie der juristischen Begründung , 1978 .