摘要：The paper offers a critical analysis of the research program for formalizing informal logic proposed by Douglas Walton and Thomas Gordon (forthcoming). Since their proposal is based on employing the Carneades Argumentation System (CAS), this paper aims at answering two questions: what are main benefits of applying CAS as means for formalizing informal logic, and what are possible extensions of Walton and Gordon’s research program and modifications in employing CAS?
其他摘要：The paper offers a critical analysis of the research program for formalizing informal logic proposed by Douglas Walton and Thomas Gordon (forthcoming). Since their proposal is based on employing the Carneades Argumentation System (CAS), this paper aims at answering two questions: what are main benefits of applying CAS as means for formalizing informal logic, and what are possible extensions of Walton and Gordon’s research program and modifications in employing CAS?
