Inspired by legal reasoning, this paper presents a formal framework for assessing conflicting arguments. Its use is illustrated with applications to realistic legal examples, and the potential for implementation is discussed. The framework has the form of a logical system for defeasible argumentation. Its language, which is of a logic-programming-like nature, has both weak and explicit negation, and conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities (...) are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled.The proof theory of the system is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument. An argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks. Despite this dialectical form, the system reflects a declarative, or relational approach to modelling legal argument. A basic assumption of this paper is that this approach complements two other lines of research in AI and Law, investigations of precedent-based reasoning and the development of procedural, or dialectical models of legal argument. (shrink)

One leading approach to justification comes from the reliabilist tradition, which maintains that a belief is justified provided that it is reliably formed. Another comes from the ‘Reasons First’ tradition, which claims that a belief is justified provided that it is based on reasons that support it. These two approaches are typically developed in isolation from each other; this essay motivates and defends a synthesis. On the view proposed here, justification is understood in terms of an agent’s reasons for belief, (...) which are in turn analyzed along reliabilist lines: an agent's reasons for belief are the states that serve as inputs to their reliable processes. I show that this synthesis allows each tradition to profit from the other's explanatory resources. In particular, it enables reliabilists to explain epistemic defeat without abandoning their naturalistic ambitions. I go on to compare my proposed synthesis with other hybrid versions of reliabilism that have been proposed in the literature. (shrink)

In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the (...) usefulness of bitheories by showing how they make available a technique for characterising different theories while abstracting away from logical vocabulary such as connectives or quanti- fiers, thereby making theoretical commitments independent of the choice of this or that particular non-classical logic. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

Several authors have recently begun to apply virtue theory to argumentation. Critics of this programme have suggested that no such theory can avoid committing an ad hominem fallacy. This criticism is shown to trade unsuccessfully on an ambiguity in the definition of ad hominem. The ambiguity is resolved and a virtue-theoretic account of ad hominem reasoning is defended.

In the current paper, we re-examine the concept of strong admissibility, as was originally introduced by Baroni and Giacomin. We examine the formal properties of strong admissibility, both in its e...

We discuss five kinds of representations of rationales and provide a formal account of how they can alter disputation. The formal model of disputation is derived from recent work in argument. The five kinds of rationales are compilation rationales, which can be represented without assuming domain-knowledge (such as utilities) beyond that normally required for argument. The principal thesis is that such rationales can be analyzed in a framework of argument not too different from what AI already has. The result is (...) a formal understanding of rationales, a partial taxonomy, and a foundation for computer programs that represent and reason with rationales.The five kinds of rationales are as follows: (c)ompression and (s)pecialization, which yield rules, and (d)isputation, which yields a decision. These are modeled as potentially changing the focus of the dispute. Then there are (f)it, a rationale for rules, and (r)esolution, a rationale for decisions. These cannot be modeled as simply; they force disputation to a meta-level, at least temporarily. (shrink)

An argument is self-defeating when it contains defeaters for some of its own defeasible lines. It is shown that the obvious rules for defeat among arguments do not handle self-defeating arguments correctly. It turns out that they constitute a pervasive phenomenon that threatens to cripple defeasible reasoning, leading to almost all defeasible reasoning being defeated by unexpected interactions with self-defeating arguments. This leads to some important changes in the general theory of defeasible reasoning.

A deductive argument is a pair where the first item is a set of premises, the second item is a claim, and the premises entail the claim. This can be formalised by assuming a logical language for the premises and the claim, and logical entailment (or consequence relation) for showing that the claim follows from the premises. Examples of logics that can be used include classical logic, modal logic, description logic, temporal logic, and conditional logic. A counterargument for an argument (...) A is an argument B where the claim of B contradicts the premises of A. Different choices of logic, and different choices for the precise definitions of argument and counterargument, give us a range of possibilities for formalising deductive argumentation. Further options are available to us for choosing the arguments and counterarguments we put into an argument graph. If we are to construct an argument graph based on the arguments that can be constructed from a knowledgebase, then we can be exhaustive in including all arguments and counterarguments that can be constructed from the knowledgebase. But there are other options available to us. We consider some of the possibilities in this review. (shrink)

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations, and is faithful to standard methods of drawing conclusions (...) by argumentation frameworks. Altogether, we show that argumentation theory may benefit from incorporating proof theoretical techniques and that different non-classical formalisms may be used for backing up intended argumentation semantics. (shrink)

This paper is concerned with the construction of a base contraction (revision) operation such that the theory contraction (revision) operation generated by it will be fully AGM-rational. It is shown that the theory contraction operation generated by Fuhrmann's minimal base contraction operation, even under quite strong restrictions, fails to satisfy the "supplementary postulates" of belief contraction. Finally Fuhrmann's construction is appropriately modified so as to yield the desired properties. The new construction may be described as involving a modification of safe (...) (base) contraction so as to make it maxichoice. (shrink)

J. Anthony Blair is a prominent international figure in argumentation studies. He is among the originators of informal logic, an author of textbooks on the informal logic approach to argument analysis and evaluation and on critical thinking, and a founder and editor of the journal Informal Logic. Blair is widely recognized among the leaders in the field for contributing formative ideas to the argumentation literature of the last few decades. This selection of key works provides insights into the history of (...) the field of argumentation theory and various related disciplines. It illuminates the central debates and presents core ideas in four main areas: Critical Thinking, Informal Logic, Argument Theory and Logic, Dialectic and Rhetoric. (shrink)

Postulational approaches attempt to understand the dynamics of belief revision by appealing to no more than the set of beliefs held by an agent and the logical relations between them. It is argued there that such an approach cannot work. A proper account of belief revision must also appeal to the arguments supporting beliefs, and recognize that those arguments can be defeasible. If we begin with a mature epistemological theory that accommodates this, it can be seen that the belief revision (...) operators on which the postulational theories are based are ill-defined. It is further argued that there is no way to repair the definitions so as to retain the spirit of those theory. Belief revision is better studied from within an independently motivated epistemological theory. (shrink)

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...) and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

Khemlani et al. (2018) mischaracterize logic in the course of seeking to show that mental model theory (MMT) can accommodate a form of inference (, let us label it) they find in a high percentage of their subjects. We reveal their mischaracterization and, in so doing, lay a landscape for future modeling by cognitive scientists who may wonder whether human reasoning is consistent with, or perhaps even capturable by, reasoning in a logic or family thereof. Along the way, we note (...) that the properties touted by Khemlani et al. as innovative aspects of MMT‐based modeling (e.g., nonmonotonicity) have for decades been, in logic, acknowledged and rigorously specified by families of (implemented) logics. Khemlani et al. (2018) further declare that is “invalid in any modal logic.” We demonstrate this to be false by our introduction (Appendix A) of a new propositional modal logic (within a family of such logics) in which is provably valid, and by the implementation of this logic. A second appendix, B, partially answers the two‐part question, “What is a formal logic, and what is it for one to capture empirical phenomena?”. (shrink)

We present a computational model of dialectical argumentation that could serve as a basis for legal reasoning. The legal domain is an instance of a domain in which knowledge is incomplete, uncertain, and inconsistent. Argumentation is well suited for reasoning in such weak theory domains. We model argument both as information structure, i.e., argument units connecting claims with supporting data, and as dialectical process, i.e., an alternating series of moves by opposing sides. Our model includes burden of proof as a (...) key element, indicating what level of support must be achieved by one side to win the argument. Burden of proof acts as move filter, turntaking mechanism, and termination criterion, eventually determining the winner of an argument. Our model has been implemented in a computer program. We demonstrate the model by considering program output for two examples previously discussed in the artificial intelligence and legal reasoning literature. (shrink)

Is a virtue approach in argumentation possible without committing the ad hominem fallacy? My answer is affirmative, provided that the object study of our theory is well delimited. My proposal is that a theory of argumentative virtue should not focus on argument appraisal, as has been assumed, but on those traits that make an individual achieve excellence in argumentative practices. An agent-based approach in argumentation should be developed, not in order to find better grounds for argument appraisal, but to gain (...) insight into argumentative habits and excellence. This way we can benefit from what a virtue argumentation theory really has to offer. (shrink)

This article investigates to what extent protocols for dynamicdisputes, i.e., disputes in which the information base can vary at differentstages, can be justified in terms of logics for defeasible argumentation. Firsta general framework is formulated for dialectical proof theories for suchlogics. Then this framework is adapted to serve as a framework for protocols fordynamic disputes, after which soundness and fairness properties are formulated for such protocols relative to dialectical proof theories. It then turns out that certaintypes of protocols that are (...) perfectly fine with a static information base, arenot sound or fair in a dynamic setting. Finally, a natural dynamic protocolis defined for which soundness and fairness can be established. (shrink)

We here attempt to address certain criticisms of the philosophical import of the so-called Brazilian approach to paraconsistency by providing some epistemic elucidations of the whole enterprise of the logics of formal inconsistency. In the course of this discussion, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the Aristotelian traditions can be accommodated within the precepts of the Brazilian school of paraconsistency.

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

This paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reasoning they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in the broad area of defeasible reasoning and (...) on the other hand pointing out open issues and potential directions for future research. (shrink)

John Pollock (1940?2009) was an influential American philosopher who made important contributions to various fields, including epistemology and cognitive science. In the last 25 years of his life, he also contributed to the computational study of defeasible reasoning and practical cognition in artificial intelligence. He developed one of the first formal systems for argumentation-based inference and he put many issues on the research agenda that are still relevant for the argumentation community today. This paper presents an appreciation of Pollock's work (...) on defeasible reasoning and its relevance for the computational study of argument. In our opinion, Pollock deserves to be remembered as one of the founding fathers of the field of computational argument, while, moreover, his work contains important lessons for current research in this field, reminding us of the richness of its object of study. (shrink)

If good argument is virtuous, then fallacies are vicious. Yet fallacies cannot just be identified with vices, since vices are dispositional properties of agents whereas fallacies are types of argument. Rather, if the normativity of good argumentation is explicable in terms of virtues, we should expect the wrongness of fallacies to be explicable in terms of vices. This approach is defended through case studies of several fallacies, with particular emphasis on the ad hominem.

Are there any logical norms for argument evaluation besides soundness and inductive strength? The paper will look at several concepts or models introduced over the years, including those of Wisdom, Toulmin, Wellman, Rescher, defeasible reasoning proponents and Walton to consider whether there is common ground among them that supplies an alternative to deductive validity and inductive strength.

Although resolution-based inference is perhaps the industry standard in automated theorem proving, there have always been systems that employed a different format. For example, the Logic Theorist of 1957 produced proofs by using an axiomatic system, and the proofs it generated would be considered legitimate axiomatic proofs; Wang’s systems of the late 1950’s employed a Gentzen-sequent proof strategy; Beth’s systems written about the same time employed his semantic tableaux method; and Prawitz’s systems of again about the same time are often (...) said to employ a natural deduction format. [See Newell, et al (1957), Beth (1958), Wang (1960), and Prawitz et al (1960)]. Like sequent proof systems and tableaux proof systems, natural deduction systems retain.. (shrink)

In this paper we introduce hypersequent-based frameworks for the modelling of defeasible reasoning by means of logic-based argumentation and the induced entailment relations. These structures are an extension of sequent-based argumentation frameworks, in which arguments and the attack relations among them are expressed not only by Gentzen-style sequents, but by more general expressions, called hypersequents. This generalization allows us to overcome some of the known weaknesses of logical argumentation frameworks and to prove several desirable properties of the entailments that are (...) induced by the extended frameworks. It also allows us to incorporate as the deductive base of our formalism some well-known logics, which lack cut-free sequent calculi, and so are not adequate for standard sequent-based argumentation. We show that hypersequent-based argumentation yields robust defeasible variants of these logics, with many desirable properties. (shrink)