传统三段论的形式化和公理化研究

发布时间：2017-08-29 03:34

  本文关键词：传统三段论的形式化和公理化研究

  更多相关文章： 广义量词理论 传统三段论 亚里斯多德量词 形式化 公理化

【摘要】：利用广义量词理论对四个亚里斯多德量词的真值定义,可以对传统三段论进行形式化。在AAA-1和EAE-1这两个公理的基础上,利用四个亚里斯多德量词的单调性之间的可转换关系,可以对传统三段论进行公理化。这些创新性成果,对于自然语言信息处理以及计算机科学中的知识表示和知识推理,都有着重要的理论意义和实践价值。
【作者单位】： 四川师范大学逻辑与信息研究所;
【关键词】： 广义量词理论 传统三段论 亚里斯多德量词 形式化 公理化
【基金】：国家社会科学基金资助项目:15XYY012
【分类号】：B812
【正文快照】： 一、引言亚里斯多德学派认为,根据第一格AAA式(简记为AAA-1)三段论和第一格EAE式(简记为EAE-1,其他类似)三段论的有效性,可以推出除了预设主项存在的三段论以外的其他所有的有效的传统三段论[1]228。为此,他们主要利用换位法、归谬法和显示法等方法对其进行了非形式化的论证[2

【相似文献】

中国期刊全文数据库 前1条

1 斯文·汉森;;基础生成的多元部分收缩的一个公理化刻画(英文)[J];逻辑学研究;2012年01期

中国重要会议论文全文数据库 前1条

1 江春琦;;孙学思维逻辑之公理化系统[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

，

本文编号：751143