This paper presents a dialogue system called Lorenzen–Hamblin Natural Dialogue (LHND), in which participants can commit formal fallacies and have a method of both identifying and withdrawing formal fallacies. It therefore provides a tool for the dialectical evaluation of force of argument when players advance reasons which are deductively incorrect. The system is inspired by Hamblin’s formal dialectic and Lorenzen’s dialogical logic. It offers uniform protocols for Hamblin’s and Lorenzen’s dialogues and adds a protocol for embedding them. This unification required (...) a reformulation of the original description of Lorenzen’s system to distinguish “between different stances that a person might take in the discussion”, as suggested by Hodges. The LHND system is compared to Walton and Krabbe’s Complex Persuasion Dialogue using an example of a dialogue. (shrink)

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context of (...) a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

Carneades is a recently proposed formalism for structured argumentation with varying proof standards, inspired by legal reasoning, but more generally applicable. Its distinctive feature is that each statement can be given its own proof standard, which is claimed to allow a more natural account of reasoning under burden of proof than existing formalisms for structured argumentation, in which proof standards are defined globally. In this article, the two formalisms are formally related by translating Carneades into the ASPIC+ framework for structured (...) argumentation. Since ASPIC+ is defined to generate Dung-style abstract argumentation frameworks, this in effect translates Carneades graphs into abstract argumentation frameworks. For this translation, we prove a formal correspondence and show that certain rationality postulates hold. It is furthermore proved that Carneades always induces a unique Dung extension, which is the same in all of Dung's semantics, allowing us to generalise Carneades to cycle-containing structures. (shrink)

This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines from one node to another. A key feature is the support for argumentation schemes, common patterns of defeasible reasoning historically know as (...) topics . Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (shrink)

An abstract framework for structured arguments is presented, which instantiates Dung's ('On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming, and n- Person Games', Artificial Intelligence , 77, 321-357) abstract argumentation frameworks. Arguments are defined as inference trees formed by applying two kinds of inference rules: strict and defeasible rules. This naturally leads to three ways of attacking an argument: attacking a premise, attacking a conclusion and attacking an inference. To resolve such attacks, preferences may (...) be used, which leads to three corresponding kinds of defeat: undermining, rebutting and undercutting defeats. The nature of the inference rules, the structure of the logical language on which they operate and the origin of the preferences are, apart from some basic assumptions, left unspecified. The resulting framework integrates work of Pollock, Vreeswijk and others on the structure of arguments and the nature of defeat and extends it in several respects. Various rationality postulates are proved to be satisfied by the framework, and several existing approaches are proved to be a special case of the framework, including assumption-based argumentation and DefLog. (shrink)

There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples.

When asked in 1962 on what he was working Kazimierz Ajdukiewicz replied: Several years ago Polish Scientific Publishers suggested that I pre pare a new edition of The Logical Foundations of Teaching, which I wrote 1 before 1939 as a contribution to The Encyclopaedia of Education. It was a small booklet covering elementary information about logical semantics and scientific methodology, information which in my opinion was necessary as a foundation of teaching and as an element of the education of any (...) teacher. When I recently set to preparing the new edition, I rewrote practically everything, and a booklet of some 100 pages swelled into a bulky volume almost five times bigger. The issues have remained practically the same, but they are now analysed much more thoroughly and the threshold of difficulty is much higher now. The main stress has been laid on the methods used in the empirical sciences, and within that field, on the theory of measurement and the methods of statistical inference. I am now working on the last chapter of the book, concerned with explanation procedures and theory construction in the empirical sciences. When that book, which I intend to entitle Pragmatic Logic, is com pleted I intend to prepare for the press Vol. 2 of my minor writings, 2 Language and Cognition, which will cover some of my post-war pa pers. (shrink)

The thesis of the paper holds that some future developments of argumentation theory may be inspired by the rich logico-methodological legacy of the Lvov–Warsaw School (LWS), the Polish research movement that was most active from 1895 to 1939. As a selection of ideas of the LWS which exploit both formal and pragmatic aspects of the force of argument, we present: Ajdukiewicz’s account of reasoning and inference, Bocheński’s analyses of superstitions or dogmas, and Frydman’s constructive approach to legal interpretation. This paper (...) does not aim at exhaustive elaboration of any of these topics or their usefulness in current discussions within argumentation theory. Rather, we intend to indicate chosen directions of a potentially fruitful research program for the emerging Polish School of Argumentation which would consist in application of methods and conceptions elaborated by the LWS to selected open problems of contemporary research on argumentation. (shrink)

This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the ?extensions? of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, and much more. The equational approach has its conceptual roots in the nineteenth (...) century following the algebraic equational approach to logic by George Boole, Louis Couturat, and Ernst Schroeder. (shrink)

How are dependent (or linked) premises to be distinguished from independent (or convergent) premises? Deductive validity, sometimes proposed as a necessary condition for depende'nce, cannot be, for the premises of both inductive and deductive but invalid arguments can be dependent. The question is really this: When do multiple premises for a certain conclusion fonn one argument for that conclusion and when do they form multiple arguments? Answer: Premises are dependent when the evidence they offer for their conclusion is more than (...) the ordinary sum of their probabilities. Ordinary sums are defined in the paper. (shrink)

Chapter The Need for a Theory of Argument Structure. THE STANDARD APPROACH The approach to argument diagramming which we call standard was originated, ...

Abstract This paper addresses the role that argumentation schemes and argument visualization software tools can play in helping to find and counter objections to a given argument one is confronted with. Based on extensive analysis of features of the argumentation in these two examples, a practical four-step method of finding objections to an argument is set out. The study also applies the Carneades Argumentation System to the task of finding objections to an argument, and shows how this system has some (...) capabilities that are especially useful. Content Type Journal Article Pages 1-23 DOI 10.1007/s10503-012-9261-z Authors Douglas Walton, Centre for Research in Reasoning, Argumentation and Rhetoric (CRRAR), University of Windsor, 2500 University Ave. W., Windsor, ON N9B 3Y1, Canada Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X. (shrink)

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. Carneades also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

Sometimes logical support for a conclusion is provided exclusively by premises which are independently relevant to that conclusion. At other times, support is provided exclusively by independently irrelevant premises. On still other occasions, relevant and irrelevant premises may collectively offer a distinctive pattern of support. This paper provides a rigorous account of some of these differences in terms of a tripartite classification of convergent, linked and hybrid arguments. These various arguments are defined, diagrammed, and some of their logical properties are (...) explored. (shrink)

Includes chapters on scientific language, mathematics, probability, credibility and induction, scientific explanations, life, and science and values.