Formalizing Informal Logic

Authors

  • Douglas Walton University of Windsor
  • Thomas F. Gordon

DOI:

https://doi.org/10.22329/il.v35i4.4335

Keywords:

informal logic, formal argumentation systems, real arguments, premise acceptability, conductive argument, RSA triangle, relevance, sufficiency.

Abstract

This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS), 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. CAS 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.

Author Biography

Douglas Walton, University of Windsor

CRRAR

Downloads

Published

2015-12-11

Issue

Vol. 35 No. 4 (2015)

Section

Articles

License

Copyright for each article published in Informal Logic belongs to its author(s). Informal Logic has the right of first publication. Permission to reprint any article that appears in Informal Logic MUST be obtained in writing from the author(s). In addition to any form of acknowledgement required by the author(s), the following notice must be added to the statement of copyright permission made in the reprint (with the appropriate numbers replacing the ellipses): [Article Title] was originally published in Informal Logic, [year], Volume ..., Number ..., pp. ...-... .