| 论证的形式模型概述及其在哲学上的应用 |
| |
| 引用本文： | 亨利·普拉肯.论证的形式模型概述及其在哲学上的应用[J].中山大学学报论丛,2011,4(1). |
| |
| 作者姓名： | 亨利·普拉肯 |
| |
| 作者单位： | 乌特勒支大学信息与计算科学系,格罗宁根大学法学院 |
| |
| 摘 要： | 论证是一个用理由支持观点以及回应其所受攻击的过程.在过去的几十年里,论证已经成为哲学和人工智能研究领域中的一个重要主题.在哲学方面,十九世纪50年代和60年代图尔敏和佩雷尔曼对形式逻辑的批判,促进了非形式逻辑这一学科的产生,它研究推理和论证的非形式模型.在人工智能方面,论证的形式模型也发展成为常识推理和多主体冲突解决的基本模型.本文将讨论后一领域中所研究发展的形式模型如何能够用以澄清一些哲学领域、以及非形式逻辑领域中的理论问题和争议.本文的一个重要观点是,图尔敏和佩雷尔曼时代的形式逻辑只关注数学化的推理,但那些非数学化的推理形式其实同样也能够被形式化.
|
An Overview of Formal Models of Argumentation and Their Application in Philosophy |
| |
| Henry Prakken.An Overview of Formal Models of Argumentation and Their Application in Philosophy[J].Supplement to the Journal of Sun Yatsen University,2011,4(1). |
| |
| Authors: | Henry Prakken |
| |
| Abstract: | Argumentation is the process of supporting claims with grounds and defending them against attack. In the last decades argumentation has become an important topic in philosophy and artificial intelligence. In philosophy, the criticisms of Toulmin and Perelman of formal logic in the 1950s and 1960s gave rise to the field of informal logic, which studies informal models of reasoning and argumentation. In artificial intelligence, formal models of argumentation have been proposed as models of commonsense reasoning and multi-agent conflict resolution. This paper discusses how the formal models resulting from this research can clarify philosophical problems and issues, including those raised in the field of informal logic. An important point will be that while formal logic in the days of Toulmin and Perelman only focused on mathematical reasoning, non-mathematical forms of reasoning can still be formalised. |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
