包含广义量词的关系三段论

摘要：

本文介绍一种推导有效关系三段论格式的方法,这种方法建基于广义量词理论和命题逻辑的一些基本原理,包括代入法、演绎定理、前提代换、引入存在假设、等价变换等.本文显示利用此方法,不仅可推导包含经典量词的关系三段论,还可推导出包含非经典量词(例如数值量词、比例量词、模糊量词)的关系三段论.除了讨论包含一般二元谓词的关系三段论外,本文也讨论了包含比较形容词的关系三段论,同时也证明了上述方法的有效性,并讨论了进一步研究的方向.

关键词：关系三段论、广义量词理论、数值量词、比例量词、模糊量词

所属期刊栏目：12

分类号：B81(逻辑学(论理学))

在线出版日期：2019-05-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共22页

页码：70-91