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

逻辑学研究 2019 年第 1 期， 70–91     文章编号： 1674-3202(2019)-01-0070-22

作者：周家发

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

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

中图分类号： B81                            文献标识码： A