This book is a revised and extended version of my PhD Thesis 'Logical Tools for Modelling Legal Argument', which I defended on 14 January 1993 at the Free University Amsterdam. The first five chapters of the thesis have remained almost completely unchanged but the other chapters have undergone considerable revision and expansion. Most importantly, I have replaced the formal argument-based system of the old Chapters 6, 7 and 8 with a revised and extended system, whieh I have developed during the last three years in collaboration with Giovanni Sartor. Apart from some technical improvements, the main additions to the old system are the enriehment of its language with a nonprovability operator, and the ability to formalise reasoning about preference criteria. Moreover, the new system has a very intuitive dialectieal form, as opposed to the rather unintuitive fixed-point appearance of the old system. Another important revision is the split of the old Chapter 9 into two new chapters. The old Section 9. 1 on related research has been updated and expanded into a whole chapter, while the rest of the old chapter is now in revised form in Chapter 10. This chapter also contains two new contributions, a detailed discussion of Gordon's Pleadings Game, and a general description of a multi-Iayered overall view on the structure of argu mentation, comprising a logieal, dialectical, procedural and strategie layer. Finally, in the revised conclusion I have paid more attention to the relevance of my investigations for legal philosophy and argumentation theory."

This book presents research in an interdisciplinary field, resulting from the vigorous and fruitful cross-pollination between traditional deontic logic and computer science. AI researchers have used deontic logic as one of the tools in modelling legal reasoning. Computer scientists have discovered that computer systems (including their interaction with other computer systems and with human agents) can often be productively modelled as norm-governed. So, for example, deontic logic has been applied by computer scientists for specifying bureaucratic systems, access and security policies, and soft design or integrity constraints, and for modelling fault tolerance. In turn, computer scientists and AI researchers have also discovered (and made it clear to the rest of us) that various formal tools (e.g. nonmonotonic, temporal and dynamic logics) developed in computer science and artificial intelligence have interesting applications to traditional issues in deontic logic. This volume presents some of the best work done in this area, with the selection at once reflecting the general interdisciplinary (and international) character that this area of research has taken on, as well as reflecting the more specific recent inter-disciplinary developments between traditional deontic logic and computer science.

In the study of forms of legal reasoning, logic and argumentation theory long followed separate tracks. Legal logicians' tended to focus on a deductive reconstruction of justifying a decision, disregarding the dialectical process leading to the chosen justification. Others instead emphasized the adversarial and discretionary nature of legal reasoning, involving reasonable evaluation of alternative choices, and the use of analogical reasoning. Recently, however, developments in Artificial Intelligence and Law have paved the way for overcoming this separation. Logic has widened its scope to defensible argumentation, and informal accounts of analogy and dialectics have inspired the construction of computer programs. Thus the prospect is emerging of an integrated logical and dialectical account of legal argument, adding to the understanding of legal reasoning, and providing a formal basis for computer tools that assist and mediate legal debates while leaving room for human initiative. This book presents contributions to this development. From a logical point of view it covers topics such as evaluating conflicting arguments, weighing reasons, modelling legal disputes as a dialogue game, the role of the burden of proof, the relation between principles, rules, reasons and facts, and the relation between deductive and nondeductive arguments. Written by leading scholars in the field and building on recent developments in logic and Artificial Intelligence, the chapters provide a state-of-the-art account of research on the logical aspects of legal argument.

In the study of forms of legal reasoning, logic and argumentation theory long followed separate tracks. Legal logicians' tended to focus on a deductive reconstruction of justifying a decision, disregarding the dialectical process leading to the chosen justification. Others instead emphasized the adversarial and discretionary nature of legal reasoning, involving reasonable evaluation of alternative choices, and the use of analogical reasoning. Recently, however, developments in Artificial Intelligence and Law have paved the way for overcoming this separation. Logic has widened its scope to defensible argumentation, and informal accounts of analogy and dialectics have inspired the construction of computer programs. Thus the prospect is emerging of an integrated logical and dialectical account of legal argument, adding to the understanding of legal reasoning, and providing a formal basis for computer tools that assist and mediate legal debates while leaving room for human initiative. This book presents contributions to this development. From a logical point of view it covers topics such as evaluating conflicting arguments, weighing reasons, modelling legal disputes as a dialogue game, the role of the burden of proof, the relation between principles, rules, reasons and facts, and the relation between deductive and nondeductive arguments. Written by leading scholars in the field and building on recent developments in logic and Artificial Intelligence, the chapters provide a state-of-the-art account of research on the logical aspects of legal argument.

This book is a revised and extended version of my PhD Thesis 'Logical Tools for Modelling Legal Argument', which I defended on 14 January 1993 at the Free University Amsterdam. The first five chapters of the thesis have remained almost completely unchanged but the other chapters have undergone considerable revision and expansion. Most importantly, I have replaced the formal argument-based system of the old Chapters 6, 7 and 8 with a revised and extended system, whieh I have developed during the last three years in collaboration with Giovanni Sartor. Apart from some technical improvements, the main additions to the old system are the enriehment of its language with a nonprovability operator, and the ability to formalise reasoning about preference criteria. Moreover, the new system has a very intuitive dialectieal form, as opposed to the rather unintuitive fixed-point appearance of the old system. Another important revision is the split of the old Chapter 9 into two new chapters. The old Section 9. 1 on related research has been updated and expanded into a whole chapter, while the rest of the old chapter is now in revised form in Chapter 10. This chapter also contains two new contributions, a detailed discussion of Gordon's Pleadings Game, and a general description of a multi-Iayered overall view on the structure of argu mentation, comprising a logieal, dialectical, procedural and strategie layer. Finally, in the revised conclusion I have paid more attention to the relevance of my investigations for legal philosophy and argumentation theory."