Formalizing Informal Logic
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 prepon...
Gorde:
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
University of Windsor
2015-12-01
|
| Saila: | Informal Logic |
| Gaiak: | |
| Sarrera elektronikoa: | https://informallogic.ca/index.php/informal_logic/article/view/4335 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
