文件名称:形式化非正式逻辑-研究论文
文件大小:8.64MB
文件格式:PDF
更新时间:2024-06-29 21:34:07
informal logic; formal argumentation
在本文中,我们调查了形式论证模型在多大程度上可以处理非正式逻辑文献中确定的非正式逻辑的十个基本特征。 通过展示几乎所有这些特征如何可以成功地正式建模,我们声称可以在形式化非正式逻辑的项目方面取得良好进展。
文件名称:形式化非正式逻辑-研究论文
文件大小:8.64MB
文件格式:PDF
更新时间:2024-06-29 21:34:07
informal logic; formal argumentation
在本文中,我们调查了形式论证模型在多大程度上可以处理非正式逻辑文献中确定的非正式逻辑的十个基本特征。 通过展示几乎所有这些特征如何可以成功地正式建模,我们声称可以在形式化非正式逻辑的项目方面取得良好进展。