Formalizing informal logic
- In this paper we investigate the extent to which formal argumentation models can handle ten basic characteristics of informal logic identified in the informal logic literature. By showing how almost all of these characteristics can be successfully modelled formally, we claim that good progress can be made toward the project of formalizing informal logic. Of the formal argumentation models available, we chose the Carneades Argumentation System (CAS), a formal, computational model of argument that uses argument graphs as its basis, structures of a kind very familiar to practitioners of informal logic through their use of argument diagrams.
Author details: | Douglas Walton, Thomas F. Gordon |
---|---|
ISSN: | 0824-2577 |
Title of parent work (English): | Informal logic : reasoning and argumentation in theory and practics |
Publisher: | Centre for Research in Reasoning, Argumentation and Rhetoric, University of Windsor |
Place of publishing: | Windsor |
Publication type: | Article |
Language: | English |
Year of first publication: | 2015 |
Publication year: | 2015 |
Release date: | 2017/03/27 |
Tag: | RSA triangle; conductive argument; formal argumentation systems; informal logic; premise acceptability; real arguments; relevance; sufficiency |
Volume: | 35 |
Issue: | 4 |
Number of pages: | 31 |
First page: | 508 |
Last Page: | 538 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Peer review: | Referiert |
Publishing method: | Open Access |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |