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

摘要

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