How to formalize informal logic

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Story Similarity in Arguments from Analogy.Douglas Walton - 2012 - Informal Logic 32 (2):190-221.
How Philosophical is Informal Logic?John Woods - 2000 - Informal Logic 20 (2).
Formal Logic for Informal Logicians.David Sherry - 2006 - Informal Logic 26 (2):199-220.
Argument Has No Function.Jean Goodwin - 2007 - Informal Logic 27 (1):69-90.

Analytics

Added to PP
2015-04-02

Downloads
34 (#459,882)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Douglas Walton
Last affiliation: University of Windsor

References found in this work

Logical Self-Defense.Ralph Henry Johnson & J. Anthony Blair - 1977 - Toronto, Canada: Mcgraw-Hill.
Argument Structure: A Pragmatic Theory.Douglas N. Walton - 1996 - Toronto and Buffalo: University of Toronto Press.
Challenge and response.Carl Wellman - 1971 - Carbondale,: Southern Illinois University Press.

View all 17 references / Add more references