TY  - JOUR
A1  - Walton, Douglas
A1  - Gordon, Thomas F.
T1  - Formalizing informal logic
JF  - Informal logic : reasoning and argumentation in theory and practics
N2  - 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.
KW  - informal logic
KW  - formal argumentation systems
KW  - real arguments
KW  - premise acceptability
KW  - conductive argument
KW  - RSA triangle
KW  - relevance
KW  - sufficiency
Y1  - 2015
SN  - 0824-2577
VL  - 35
IS  - 4
SP  - 508
EP  - 538
PB  - Centre for Research in Reasoning, Argumentation and Rhetoric, University of Windsor
CY  - Windsor
ER  -