Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

The paper proposes an analysis and a formalisation of factor-based reasoning. After examining the relevance of factors in legal reasoning, binary and scalable factors (dimensions) are distinguished and the relations between them are discussed. An account of a fortiori reasoning with both types of factors is developed.

This article presents a formal dialogue game for adjudication dialogues. Existing AI & law models of legal dialogues and argumentation-theoretic models of persuasion are extended with a neutral third party, to give a more realistic account of the adjudicator’s role in legal procedures. The main feature of the model is a division into an argumentation phase, where the adversaries plea their case and the adjudicator has a largely mediating role, and a decision phase, where the adjudicator decides the dispute on (...) the basis of the claims, arguments and evidence put forward in the argumentation phase. The model allows for explicit decisions on admissibility of evidence and burden of proof by the adjudicator in the argumentation phase. Adjudication is modelled as putting forward arguments, in particular undercutting and priority arguments, in the decision phase. The model reconciles logical aspects of burden of proof induced by the defeasible nature of arguments with dialogical aspects of burden of proof as something that can be allocated by explicit decisions on legal grounds. (shrink)

In the last papers published by Alchourrón, he attacked non-monotonic logics, which he considered philosophically unsound for the representation of defeasible reasoning. Instead of a non-monotonic consequence relation, he proposed a formal representation of defeasibility based on an AGM-like revision of implicit assumptions connected to the premises. Given that this is a procedure to generate non-monotonic logics, it is not clear, from a mathematical standpoint, why he was so suspicious of such logics. In the present paper we try to answer (...) this question based on Alchourrón' s convictions about epistemology, particularly the epistemology of law. We also propose another revision operator on theories called refinement, which provides a faithful representation of the sort of epistemic change considered by Alchourrón as intrinsic to defeasibility. En sus últimos escritos publicados, Alchourrón desarrolló un ataque contra las lógicas no-monotónicas, que consideraba filosóficamente inadecuadas a la representación del razonamiento derrotable. En vez de una relación de consecuencia no-monotónica, él propuso una representación formal de la derrotabilidad basada en un modelo de revisión de las asunciones implícitas ligadas a las premisas. Dado que éste es un procedimiento para generar lógicas no-monotónicas, no está claro -en el nivel matemático- por qué él era tan desconfiado de tales lógicas. En el presente texto intentamos contestar a esta pregunta basados en las convicciones de Alchourrón sobre epistemología, particularmente la epistemología jurídica. También proponemos otro operador de revisión aplicado a las teorías, llamado refinamiento, que proporciona una representación fiel de la especie de cambio epistémico considerado por Alchourrón como intrínseco a la derrotabilidad. (shrink)

Seeing that socio-legal theory has produced a number of compelling grand theories about law’s development as a body of knowledge, this contribution analyzes legal evolution on the micro-level of decision-making in concrete cases. To that end, law finding is reconstructed as a three stage process of reason-based rule-construction. Legal evolution is argued to stem from the argumentative jumps that are made in this process in order to use what is initially drawn from the body of legal knowledge in new cases. (...) These jumps are justified by additional reasoning that plays a crucial role in that it brings new information to the law finding process. It is explained how this new information gets incorporated in the body of knowledge as a result of discursive maneuvers of legal practitioners. (shrink)