Argument map

Last updated
A schematic argument map showing a contention (or conclusion), supporting arguments and objections, and an inference objection Argument Map.png
A schematic argument map showing a contention (or conclusion), supporting arguments and objections, and an inference objection

An argument map or argument diagram is a visual representation of the structure of an argument. An argument map typically includes all the key components of the argument, traditionally called the conclusion and the premises , also called contention and reasons . [1] Argument maps can also show co-premises, objections, counterarguments, rebuttals, and lemmas. There are different styles of argument map but they are often functionally equivalent and represent an argument's individual claims and the relationships between them.

Contents

Argument maps are commonly used in the context of teaching and applying critical thinking. [2] The purpose of mapping is to uncover the logical structure of arguments, identify unstated assumptions, evaluate the support an argument offers for a conclusion, and aid understanding of debates. Argument maps are often designed to support deliberation of issues, ideas and arguments in wicked problems. [3]

An argument map is not to be confused with a concept map or a mind map, two other kinds of node–link diagram which have different constraints on nodes and links. [4]

Key features

A number of different kinds of argument maps have been proposed but the most common, which Chris Reed and Glenn Rowe called the standard diagram, [5] consists of a tree structure with each of the reasons leading to the conclusion. There is no consensus as to whether the conclusion should be at the top of the tree with the reasons leading up to it or whether it should be at the bottom with the reasons leading down to it. [5] Another variation diagrams an argument from left to right. [6]

According to Douglas N. Walton and colleagues, an argument map has two basic components: "One component is a set of circled numbers arrayed as points. Each number represents a proposition (premise or conclusion) in the argument being diagrammed. The other component is a set of lines or arrows joining the points. Each line (arrow) represents an inference. The whole network of points and lines represents a kind of overview of the reasoning in the given argument..." [7] With the introduction of software for producing argument maps, it has become common for argument maps to consist of boxes containing the actual propositions rather than numbers referencing those propositions.

There is disagreement on the terminology to be used when describing argument maps, [8] but the standard diagram contains the following structures:

Dependent premises or co-premises, where at least one of the joined premises requires another premise before it can give support to the conclusion: An argument with this structure has been called a linked argument. [9]

Statements 1 and 2 are dependent premises or co-premises. Dependent premises.jpg
Statements 1 and 2 are dependent premises or co-premises.

Independent premises, where the premise can support the conclusion on its own: Although independent premises may jointly make the conclusion more convincing, this is to be distinguished from situations where a premise gives no support unless it is joined to another premise. Where several premises or groups of premises lead to a final conclusion the argument might be described as convergent. This is distinguished from a divergent argument where a single premise might be used to support two separate conclusions. [10]

Statements 2, 3, 4 are independent premises. Independent premises.jpg
Statements 2, 3, 4 are independent premises.

Intermediate conclusions or sub-conclusions, where a claim is supported by another claim that is used in turn to support some further claim, i.e. the final conclusion or another intermediate conclusion: In the following diagram, statement 4 is an intermediate conclusion in that it is a conclusion in relation to statement 5 but is a premise in relation to the final conclusion, i.e. statement 1. An argument with this structure is sometimes called a complex argument. If there is a single chain of claims containing at least one intermediate conclusion, the argument is sometimes described as a serial argument or a chain argument. [11]

Statement 4 is an intermediate conclusion or sub-conclusion. Intermediate conclusion.jpg
Statement 4 is an intermediate conclusion or sub-conclusion.

Each of these structures can be represented by the equivalent "box and line" approach to argument maps. In the following diagram, the contention is shown at the top, and the boxes linked to it represent supporting reasons, which comprise one or more premises. The green arrow indicates that the two reasons support the contention:

A box and line diagram A box and line diagram.png
A box and line diagram

Argument maps can also represent counterarguments. In the following diagram, the two objections weaken the contention, while the reasons support the premise of the objection:

A sample argument using objections A sample argument using objections.png
A sample argument using objections

Representing an argument as an argument map

Diagramming written text

A written text can be transformed into an argument map by following a sequence of steps. Monroe Beardsley's 1950 book Practical Logic recommended the following procedure: [12]

  1. Separate statements by brackets and number them.
  2. Put circles around the logical indicators.
  3. Supply, in parentheses, any logical indicators that are left out.
  4. Set out the statements in a diagram in which arrows show the relationships between statements.
A diagram of the example from Beardsley's Practical Logic Diagram using Beardsley's procedure.jpg
A diagram of the example from Beardsley's Practical Logic

Beardsley gave the first example of a text being analysed in this way:

Though ① [people who talk about the "social significance" of the arts don’t like to admit it], ② [music and painting are bound to suffer when they are turned into mere vehicles for propaganda]. For③ [propaganda appeals to the crudest and most vulgar feelings]: (for)④ [look at the academic monstrosities produced by the official Nazi painters]. What is more important, ⑤ [art must be an end in itself for the artist], because⑥ [the artist can do the best work only in an atmosphere of complete freedom].

Beardsley said that the conclusion in this example is statement ②. Statement ④ needs to be rewritten as a declarative sentence, e.g. "Academic monstrosities [were] produced by the official Nazi painters." Statement ① points out that the conclusion isn't accepted by everyone, but statement ① is omitted from the diagram because it doesn't support the conclusion. Beardsley said that the logical relation between statement ③ and statement ④ is unclear, but he proposed to diagram statement ④ as supporting statement ③.

A box and line diagram of Beardsley's example, produced using Harrell's procedure Using Harrell's procedure.jpg
A box and line diagram of Beardsley's example, produced using Harrell's procedure

More recently, philosophy professor Maralee Harrell recommended the following procedure: [13]

  1. Identify all the claims being made by the author.
  2. Rewrite them as independent statements, eliminating non-essential words.
  3. Identify which statements are premises, sub-conclusions, and the main conclusion.
  4. Provide missing, implied conclusions and implied premises. (This is optional depending on the purpose of the argument map.)
  5. Put the statements into boxes and draw a line between any boxes that are linked.
  6. Indicate support from premise(s) to (sub)conclusion with arrows.

Diagramming as thinking

Argument maps are useful not only for representing and analyzing existing writings, but also for thinking through issues as part of a problem-structuring process or writing process. [14] The use of such argument analysis for thinking through issues has been called "reflective argumentation". [15]

An argument map, unlike a decision tree, does not tell how to make a decision, but the process of choosing a coherent position (or reflective equilibrium) based on the structure of an argument map can be represented as a decision tree. [16]

History

The philosophical origins and tradition of argument mapping

From Whately's Elements of Logic p467, 1852 edition Whatley.png
From Whately's Elements of Logic p467, 1852 edition

In the Elements of Logic, published in 1826 and issued in many subsequent editions, [17] Archbishop Richard Whately gave probably the first form of an argument map, introducing it with the suggestion that "many students probably will find it a very clear and convenient mode of exhibiting the logical analysis of the course of argument, to draw it out in the form of a Tree, or Logical Division".

However, the technique did not become widely used, possibly because for complex arguments, it involved much writing and rewriting of the premises.

Wigmore evidence chart, from 1905 Wigmore chart.png
Wigmore evidence chart, from 1905

Legal philosopher and theorist John Henry Wigmore produced maps of legal arguments using numbered premises in the early 20th century, [18] based in part on the ideas of 19th century philosopher Henry Sidgwick who used lines to indicate relations between terms. [19]

Anglophone argument diagramming in the 20th century

Dealing with the failure of formal reduction of informal argumentation, English speaking argumentation theory developed diagrammatic approaches to informal reasoning over a period of fifty years.

Monroe Beardsley proposed a form of argument diagram in 1950. [12] His method of marking up an argument and representing its components with linked numbers became a standard and is still widely used. He also introduced terminology that is still current describing convergent, divergent and serial arguments.

A Toulmin argument diagram, redrawn from his 1959 Uses of Argument Toulmindiag.png
A Toulmin argument diagram, redrawn from his 1959 Uses of Argument
A generalised Toulmin diagram Toulmingeneral.png
A generalised Toulmin diagram

Stephen Toulmin, in his groundbreaking and influential 1958 book The Uses of Argument, [20] identified several elements to an argument which have been generalized. The Toulmin diagram is widely used in educational critical teaching. [21] [22] Whilst Toulmin eventually had a significant impact on the development of informal logic he had little initial impact and the Beardsley approach to diagramming arguments along with its later developments became the standard approach in this field. Toulmin introduced something that was missing from Beardsley's approach. In Beardsley, "arrows link reasons and conclusions (but) no support is given to the implication itself between them. There is no theory, in other words, of inference distinguished from logical deduction, the passage is always deemed not controversial and not subject to support and evaluation". [23] Toulmin introduced the concept of warrant which "can be considered as representing the reasons behind the inference, the backing that authorizes the link". [24]

Beardsley's approach was refined by Stephen N. Thomas, whose 1973 book Practical Reasoning In Natural Language [25] introduced the term linked to describe arguments where the premises necessarily worked together to support the conclusion. [26] However, the actual distinction between dependent and independent premises had been made prior to this. [26] The introduction of the linked structure made it possible for argument maps to represent missing or "hidden" premises. In addition, Thomas suggested showing reasons both for and against a conclusion with the reasons against being represented by dotted arrows. Thomas introduced the term argument diagram and defined basic reasons as those that were not supported by any others in the argument and the final conclusion as that which was not used to support any further conclusion.

Scriven's argument diagram. The explicit premise 1 is conjoined with additional unstated premises a and b to imply 2. Scrivendiag.png
Scriven's argument diagram. The explicit premise 1 is conjoined with additional unstated premises a and b to imply 2.

Michael Scriven further developed the Beardsley-Thomas approach in his 1976 book Reasoning. [27] Whereas Beardsley had said "At first, write out the statements...after a little practice, refer to the statements by number alone" [28] Scriven advocated clarifying the meaning of the statements, listing them and then using a tree diagram with numbers to display the structure. Missing premises (unstated assumptions) were to be included and indicated with an alphabetical letter instead of a number to mark them off from the explicit statements. Scriven introduced counterarguments in his diagrams, which Toulmin had defined as rebuttal. [29] This also enabled the diagramming of "balance of consideration" arguments. [30]

In 1998 a series of large-scale argument maps released by Robert E. Horn stimulated widespread interest in argument mapping. [31]

Development of computer-supported argument visualization

The argument map tree schema of Kialo with an example path through it: all Con-argument boxes and some Pros were emptied to illustrate an example path. Structured online debate - Kialo debate tree.png
The argument map tree schema of Kialo with an example path through it: all Con-argument boxes and some Pros were emptied to illustrate an example path.
A partial argument tree with claims and impact votes for arguments illustrates one form of collective determination of argument weights that is based on equal-weight user voting. There is research into how to efficiently calculate the winning arguments or arguments' weights and the overall conclusions in digital argument map systems. Collective determinination of argument impact.png
A partial argument tree with claims and impact votes for arguments illustrates one form of collective determination of argument weights that is based on equal-weight user voting. There is research into how to efficiently calculate the winning arguments or arguments' weights and the overall conclusions in digital argument map systems.

Human–computer interaction pioneer Douglas Engelbart, in a famous 1962 technical report on intelligence augmentation, envisioned in detail something like argument-mapping software as an integral part of future intelligence-augmenting computer interfaces: [35]

You usually think of an argument as a serial sequence of steps of reason, beginning with known facts, assumptions, etc., and progressing toward a conclusion. Well, we do have to think through these steps serially, and we usually do list the steps serially when we write them out because that is pretty much the way our papers and books have to present them—they are pretty limiting in the symbol structuring they enable us to use. ... To help us get better comprehension of the structure of an argument, we can also call forth a schematic or graphical display. Once the antecedent-consequent links have been established, the computer can automatically construct such a display for us.

Douglas Engelbart, "Augmenting human intellect: a conceptual framework" (1962)

In the middle to late 1980s, hypertext software applications that supported argument visualization were developed, including NoteCards and gIBIS; the latter generated an on-screen graphical hypertextual map of an issue-based information system, a model of argumentation developed by Werner Kunz and Horst Rittel in the 1970s. [36] In the 1990s, Tim van Gelder and colleagues developed a series of software applications that permitted an argument map's premises to be fully stated and edited in the diagram, rather than in a legend. [37] Van Gelder's first program, Reason!Able, was superseded by two subsequent programs, bCisive and Rationale. [38]

Throughout the 1990s and 2000s, many other software applications were developed for argument visualization. By 2013, more than 60 such software systems existed. [39] In a 2010 survey of computer-supported argumentation, Oliver Scheuer and colleagues noted that one of the differences between these software systems is whether collaboration is supported. [40] In their survey, single-user argumentation systems included Convince Me, iLogos, LARGO, Athena, Araucaria, and Carneades; small group argumentation systems included Digalo, QuestMap, Compendium, Belvedere, and AcademicTalk; community argumentation systems included Debategraph and Collaboratorium. [40] Free and open source structured argumentation systems include Argdown [41] and Argüman. [42]

As of 2020, the commercial website Kialo is the most widely adopted argumentation-based deliberation system with an argument-map interface. [43] On Kialo, users can usually vote on the debate question to express their overall conclusion about the subject, with the average and a bar chart of these votes being included at the top of every debate. Moreover, users can rate the impact individual arguments at the top level had on their conclusion. In branches beneath the top level, users can likewise rank the impact any individual argument has on the claim above it. The rationale (i.e. the main causal arguments) for their vote on a thesis or an argument is not recorded if these reasons are missing in the claims beneath it or if these have not been rated by the same users. [44] This system of transparent voting represents Kialo's algorithm of collective determination of argument weights and theses' veracities, [45] which has a plurality component in that users of the site can also switch between the perspectives of specific users and several groups of users (e.g. supporters and opponents of a thesis) which for example enables identifying which arguments were considered as most impactful for these particular users. [46] In the context of historical-political education, researcher Oliver Held identified at least five key components of historical judgment that can be implemented easily in Kialo: perspectivity, levels of relevance, interdependence, multi-causality and assessments. [47]

Applications

Argument maps have been applied in many areas, but foremost in educational, academic and business settings, including design rationale. [48] Argument maps are also used in forensic science, [49] law, and artificial intelligence. [50] It has also been proposed that argument mapping has a great potential to improve how we understand and execute democracy, in reference to the ongoing evolution of e-democracy. [51]

Difficulties with the philosophical tradition

It has traditionally been hard to separate teaching critical thinking from the philosophical tradition of teaching logic and method, and most critical thinking textbooks have been written by philosophers. Informal logic textbooks are replete with philosophical examples, but it is unclear whether the approach in such textbooks transfers to non-philosophy students. [21] There appears to be little statistical effect after such classes. Argument mapping, however, has a measurable effect according to many studies. [52] For example, instruction in argument mapping has been shown to improve the critical thinking skills of business students. [53]

Evidence that argument mapping improves critical thinking ability

There is empirical evidence that the skills developed in argument-mapping-based critical thinking courses substantially transfer to critical thinking done without argument maps. Alvarez's meta-analysis found that such critical thinking courses produced gains of around 0.70 SD, about twice as much as standard critical-thinking courses. [54] The tests used in the reviewed studies were standard critical-thinking tests.

Limitations

When used with students in school, argument maps have limitations. They can "end up looking overly complex" and can increase cognitive load beyond what is optimal for learning the course content. [55] Creating maps requires extensive coaching and feedback from an experienced argument mapper. [55] Depending on the learning objectives, the time spent coaching students to create good maps may be better spent learning the course content instead of learning to diagram. [55] When the goal is to prompt students to consider other perspectives and counterarguments, the goal may be more easily accomplished with other methods such as discussion, rubrics, and a simple argument framework or simple graphic organizer such as a vee diagram. [55] To maximize the strengths of argument mapping and minimize its limitations in the classroom requires considering at what point in a learning progression the potential benefits of argument mapping would outweigh its potential disadvantages. [55]

A 2022 security studies blog post said that "Kialo's simplicity does pose some weaknesses and limitations, and in general current [computer-supported argument visualization] systems cannot reliably automate analysis or synthesis of arguments in the same way that statistical packages can automate analysis of data". [56]

Standards

Argument Interchange Format

The Argument Interchange Format, AIF, is an international effort to develop a representational mechanism for exchanging argument resources between research groups, tools, and domains using a semantically rich language. [57] AIF-RDF is the extended ontology represented in the Resource Description Framework Schema (RDFS) semantic language. Though AIF is still something of a moving target, it is settling down. [58]

The Legal Knowledge Interchange Format (LKIF) [59] was developed in the European ESTRELLA project [60] and designed with the goal of becoming a standard for representing and interchanging policy, legislation and cases, including their justificatory arguments, in the legal domain. LKIF builds on and uses the Web Ontology Language (OWL) for representing concepts and includes a reusable basic ontology of legal concepts.

Argdown

Argdown is a Markdown-inspired lightweight markup language for complex argumentation. [41] It is intended for exchanging arguments and argument reconstructions in a universally accessible and highly human-readable way. The Argdown syntax is accompanied by tools that facilitate coding and transform Argdown documents into argument maps. [61]

Other Argument Map Softwares

See also

Notes

  1. Freeman 1991 , pp. 49–90
  2. For example: Davies 2012; Facione 2016 , pp. 88–112; Fisher 2004; Kelley 2014 , p. 73; Kunsch, Schnarr & van Tyle 2014; Walton 2013 , p. 10; van Gelder 2015
  3. For example: Culmsee & Awati 2013; Hoffmann & Borenstein 2013; Metcalfe & Sastrowardoyo 2013; Ricky Ohl, "Computer supported argument visualisation: modelling in consultative democracy around wicked problems", in Okada, Buckingham Shum & Sherborne 2014 , pp. 361–380
  4. For example: Davies 2010; Hunter 2008; Okada, Buckingham Shum & Sherborne 2014 , pp. vii–x, 4
  5. 1 2 Reed & Rowe 2007 , p. 64
  6. For example: Walton 2013 , pp. 18–20
  7. Reed, Walton & Macagno 2007 , p. 2
  8. Freeman 1991 , pp. 49–90; Reed & Rowe 2007
  9. Harrell 2010 , p. 19
  10. Freeman 1991 , pp. 91–110; Harrell 2010 , p. 20
  11. Beardsley 1950 , pp. 18–19; Reed, Walton & Macagno 2007 , pp. 3–8; Harrell 2010 , pp. 19–21
  12. 1 2 Beardsley 1950
  13. Harrell 2010 , p. 28
  14. This is related to the distinction between "knowledge telling" and "knowledge transforming" in composition studies: see, for example, Chryssafidou 2014 , pp. 38–39, 413
  15. For example: Hoffmann & Borenstein 2013; Hoffmann 2016; Hoffmann 2018
  16. See section 4.2, "Argument maps as reasoning tools", in Brun & Betz 2016
  17. Whately 1834 (first published 1826)
  18. Wigmore 1913
  19. Goodwin 2000
  20. Toulmin 2003 (first published 1958)
  21. 1 2 Simon, Erduran & Osborne 2006
  22. Böttcher & Meisert 2011; Macagno & Konstantinidou 2013
  23. Reed, Walton & Macagno 2007 , p. 8
  24. Reed, Walton & Macagno 2007 , p. 9
  25. Thomas 1997 (first published 1973)
  26. 1 2 Snoeck Henkemans 2000 , p. 453
  27. Scriven 1976
  28. Beardsley 1950 , p. 21
  29. Reed, Walton & Macagno 2007 , pp. 10–11
  30. van Eemeren et al. 1996 , p. 175
  31. Holmes 1999; Horn 1998; Robert E. Horn, "Infrastructure for navigating interdisciplinary debates: critical decisions for representing argumentation", in Kirschner, Buckingham Shum & Carr 2003 , pp. 165–184
  32. Bolton et al. 2020
  33. Durmus, Ladhak & Cardie 2019
  34. Young 2021
  35. Engelbart 1962; For an account of Engelbart's place in the history of computer-supported argument visualization, see, e.g., Simon Buckingham Shum, "The roots of computer supported argument visualization", in Kirschner, Buckingham Shum & Carr 2003 , pp. 3–24
  36. Conklin & Begeman 1988, on gIBIS; Halasz 1988, on NoteCards; Kirschner, Buckingham Shum & Carr 2003 , pp. 14–15, on the place of both in the history of computer-supported argument visualization
  37. van Gelder 2007
  38. Berg et al. 2009
  39. Walton 2013 , p. 11
  40. 1 2 Scheuer et al. 2010
  41. 1 2 See Voigt 2014. The Argdown website is argdown.org. Argdown is currently developed as an open source project: "christianvoigt/argdown: a simple syntax for complex argumentation". GitHub.com. Retrieved 2019-10-30.
  42. Pührer 2017
  43. De Liddo & Strube 2021
  44. Carroll, Sun & Beck 2019
  45. Durmus, Ladhak & Cardie 2019
  46. Beck, Neupane & Carroll 2019
  47. Held 2022
  48. Kirschner, Buckingham Shum & Carr 2003; Okada, Buckingham Shum & Sherborne 2014
  49. For example: Bex 2011
  50. For example: Verheij 2005; Reed, Walton & Macagno 2007; Walton 2013
  51. Hilbert 2009
  52. Twardy 2004; Álvarez Ortiz 2007; Harrell 2008; Yanna Rider and Neil Thomason, "Cognitive and pedagogical benefits of argument mapping: LAMP guides the way to better thinking", in Okada, Buckingham Shum & Sherborne 2014 , pp. 113–134; Dwyer 2011; Davies 2012
  53. Carrington et al. 2011; Kunsch, Schnarr & van Tyle 2014
  54. Álvarez Ortiz 2007 , pp. 69–70 et seq
  55. 1 2 3 4 5 Nussbaum 2012 , pp. 125, 133
  56. Durland 2022
  57. See the AIF original draft description (2006) and the full AIF-RDF ontology specifications in RDFS format.
  58. Bex et al. 2013
  59. Boer, Winkels & Vitali 2008
  60. "Estrella project website". estrellaproject.org. Archived from the original on 2016-02-12. Retrieved 2016-02-24.
  61. Argdown tools include a web browser sandbox editor, an extension for Visual Studio Code, and a command-line tool; see "Getting started". argdown.org. Retrieved 2019-10-30.

Related Research Articles

Ad hominem, short for argumentum ad hominem, refers to several types of arguments that are fallacious. Typically this term refers to a rhetorical strategy where the speaker attacks the character, motive, or some other attribute of the person making an argument rather than attacking the substance of the argument itself. This avoids genuine debate by creating a personal attack as a diversion often using a totally irrelevant, but often highly charged attribute of the opponent's character or background. The most common form of this fallacy is "A" makes a claim of "fact," to which "B" asserts that "A" has a personal trait, quality or physical attribute that is repugnant thereby going entirely off-topic, and hence "B" concludes that "A" has their "fact" wrong - without ever addressing the point of the debate. Many contemporary politicians routinely use ad hominem attacks, which can be encapsulated to a derogatory nickname for a political opponent.

<span class="mw-page-title-main">False dilemma</span> Informal fallacy involving falsely limited alternatives

A false dilemma, also referred to as false dichotomy or false binary, is an informal fallacy based on a premise that erroneously limits what options are available. The source of the fallacy lies not in an invalid form of inference but in a false premise. This premise has the form of a disjunctive claim: it asserts that one among a number of alternatives must be true. This disjunction is problematic because it oversimplifies the choice by excluding viable alternatives, presenting the viewer with only two absolute choices when in fact, there could be many.

<span class="mw-page-title-main">Fallacy</span> Argument that uses faulty reasoning

A fallacy is the use of invalid or otherwise faulty reasoning in the construction of an argument that may appear to be well-reasoned if unnoticed. The term was introduced in the Western intellectual tradition by the Aristotelian De Sophisticis Elenchis.

Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be false.

<span class="mw-page-title-main">Logical reasoning</span> Process of drawing correct inferences

Logical reasoning is a mental activity that aims to arrive at a conclusion in a rigorous way. It happens in the form of inferences or arguments by starting from a set of premises and reasoning to a conclusion supported by these premises. The premises and the conclusion are propositions, i.e. true or false claims about what is the case. Together, they form an argument. Logical reasoning is norm-governed in the sense that it aims to formulate correct arguments that any rational person would find convincing. The main discipline studying logical reasoning is logic.

In philosophy, practical reason is the use of reason to decide how to act. It contrasts with theoretical reason, often called speculative reason, the use of reason to decide what to follow. For example, agents use practical reason to decide whether to build a telescope, but theoretical reason to decide which of two theories of light and optics is the best.

<span class="mw-page-title-main">Argumentation theory</span> Academic field of logic and rhetoric

Argumentation theory is the interdisciplinary study of how conclusions can be supported or undermined by premises through logical reasoning. With historical origins in logic, dialectic, and rhetoric, argumentation theory includes the arts and sciences of civil debate, dialogue, conversation, and persuasion. It studies rules of inference, logic, and procedural rules in both artificial and real-world settings.

<span class="mw-page-title-main">Stephen Toulmin</span> English philosopher (1922–2009)

Stephen Edelston Toulmin was a British philosopher, author, and educator. Influenced by Ludwig Wittgenstein, Toulmin devoted his works to the analysis of moral reasoning. Throughout his writings, he sought to develop practical arguments which can be used effectively in evaluating the ethics behind moral issues. His works were later found useful in the field of rhetoric for analyzing rhetorical arguments. The Toulmin model of argumentation, a diagram containing six interrelated components used for analyzing arguments, and published in his 1958 book The Uses of Argument, was considered his most influential work, particularly in the field of rhetoric and communication, and in computer science.

Douglas Neil Walton was a Canadian academic and author, known for his books and papers on argumentation, logical fallacies and informal logic. He was a Distinguished Research Fellow of the Centre for Research in Reasoning, Argumentation, and Rhetoric (CRRAR) at the University of Windsor, Ontario, Canada, and before that (2008–2014), he held the Assumption Chair of Argumentation Studies at the University of Windsor. Walton's work has been used to better prepare legal arguments and to help develop artificial intelligence.

Appeal to the stone, also known as argumentum ad lapidem, is a logical fallacy that dismisses an argument as untrue or absurd. The dismissal is made by stating or reiterating that the argument is absurd, without providing further argumentation. This theory is closely tied to proof by assertion due to the lack of evidence behind the statement and its attempt to persuade without providing any evidence.

An argument is a series of sentences, statements, or propositions some of which are called premises and one is the conclusion. The purpose of an argument is to give reasons for one's conclusion via justification, explanation, and/or persuasion.

<span class="mw-page-title-main">Informal logic</span> Branch of logic

Informal logic encompasses the principles of logic and logical thought outside of a formal setting. However, the precise definition of "informal logic" is a matter of some dispute. Ralph H. Johnson and J. Anthony Blair define informal logic as "a branch of logic whose task is to develop non-formal standards, criteria, procedures for the analysis, interpretation, evaluation, criticism and construction of argumentation." This definition reflects what had been implicit in their practice and what others were doing in their informal logic texts.

<span class="mw-page-title-main">Issue-based information system</span> Argumentation scheme

The issue-based information system (IBIS) is an argumentation-based approach to clarifying wicked problems—complex, ill-defined problems that involve multiple stakeholders. Diagrammatic visualization using IBIS notation is often called issue mapping.

<span class="mw-page-title-main">Compendium (software)</span> Social science computer program

Compendium is a computer program and social science tool that facilitates the mapping and management of ideas and arguments. The software provides a visual environment that allows people to structure and record collaboration as they discuss and work through wicked problems.

<span class="mw-page-title-main">Araucaria (software)</span>

Araucaria is an argument mapping software tool developed in 2001 by Chris Reed and Glenn Rowe, in the Argumentation Research Group at the School of Computing in the University of Dundee, Scotland. It is designed to visually represent arguments through diagrams that can be used for analysis and stored in Argument Markup Language (AML), based on XML. As free software, it is available under the GNU General Public License and may be downloaded for free on the internet.

<span class="mw-page-title-main">Logic</span> Study of correct reasoning

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

In argumentation theory, an argumentation scheme or argument scheme is a template that represents a common type of argument used in ordinary conversation. Many different argumentation schemes have been identified. Each one has a name and presents a type of connection between premises and a conclusion in an argument, and this connection is expressed as a rule of inference. Argumentation schemes can include inferences based on different types of reasoning—deductive, inductive, abductive, probabilistic, etc.

<span class="mw-page-title-main">Kialo</span> Online debate platform

Kialo is an online structured debate platform with argument maps in the form of debate trees. It is a collaborative reasoning tool for thoughtful discussion, understanding different points of view, and collaborative decision-making, showing arguments for and against claims underneath user-submitted theses or questions.

<span class="mw-page-title-main">Argüman</span> Python library

Argüman is a free and open source software for collective structured argumentation and argument analysis via argumentation graphs or argument maps in which the type of connections can be specified. It allows users to create collaborative "semantic maps" of arguments in well structured tree formats and share them with an audience and potential participants. Arguman.org was an open structured social debate platform that implemented the software. It is down as of 2023. There also is a mobile version of the tool. The project was started, in 2014, and largely built by developers in Turkey.

References

Further reading