构造有效关系三段论的两种方法.pdfVIP

2012 年全国现代逻辑学术研讨会 构造有效关系三段论的两种方法 周家发 kfzhouy@ 香港理工大学 摘要： 本文采用广义量词理论的框架，介绍两种构造有效关系三段论的方法 —直接代入法和内嵌三段论法，并把这两种方法先后应用于包含一般 二元谓词( 在自然语言中一般表现为及物动词) 和具有传递性、非对称 性和反传递性的二元谓词( 在自然语言中表现为比较级形容词) 的关 系三段论。本文亦以实例显示上述两种方法也可用来推导直接推理。 关键词：关系三段论、广义量词理论、直接代入法、内嵌三段论法、 直接推理 1. 引言 自从现代数理逻辑兴起后，三段论丧失了以往在传统逻辑学中 的首要地位。但由上世纪下半叶开始，三段论重新引起部分学者的兴 趣。这些学者的一个研究方向是把一些新元素注入传统三段论的框架 中，这些新元素包括：数值量词(Murphree (1991, 1998) 、Pratt -Hartmann (2008)) 、模糊量词(Zadeh (1983) 、Peterson (2000)) 、二元谓词(Keene (1969) 、 Thom (1977) 、 Sommers and Englebretsen (2000) 、 Pratt -Hartmann and Moss (2009) 、Moss (2010, 2011) 、van Rooij (2011)) 等，其中包含二元( 或更高元) 谓词的三段论又称为“ 关系三段 论” (relational syllogism) 。 在自然语言中，二元谓词常常表现为及物动词或比较级形容词， 因此“ 关系三段论” 是指在前提和结论中至少有一个命题包含及物动 词或比较级形容词的三段论，有别于前提和结论都只包含一元谓词 ( 在自然语言中表现为不及物动词、谓语形容词、谓语名词) 的“ 简单 三 段 论 ” (simple syllogism) 。 本 文 采 用 当 代 “ 广 义 量 词 理 论” (Generalized Quantifier Theory) 的框架，把含有宾语或关系从句的 命题表达为“ 迭代量词” (iterated quantifier) ，有关迭代量词的定义参见 广义量词理论的文献( 例如 Peters and Westerståhl (2006)) 。 为清晰表示量化命题的论元结构，本文采用Keenan (2002) 的表  本文内容曾于“ 2012 年全国现代逻辑学术研讨会” (2012 年 11 月17 日，复旦大学)上宣读，本 文初稿载于《2012 年全国现代逻辑学术研讨会论文荟萃》。 2012 年全国现代逻辑学术研讨会 达方式，把量化命题表达为“ 三分结构” (tripartite structure) “Q(A)(B)” 的形式，其中Q 代表“ 限定词” (determiner) ，A 和B 则为Q 的左论元和右 论元，分别代表自然语言句子中的主语( 略去限定词后的部分) 和谓 语。具有简单结构的量化命题，例如“ 每个男孩都是吸烟者” ，可以表 1 达为如下的简单三分结构，其左论元和右论元都是一元集合 ： (1) every (BOY)(SMOKER) 包含迭代量词的量化命题则可表达为复杂的三分结构，这个三分结构 的某个论元包含另一个三分结构。举例说，一个含有宾语的量化命题， 例如“ 每名重读生( 以REPEATER 代表) 都重读( 以RETAKE 代表) 大多数 课程( 以COURSE 代表) ” ，便可表达为如下的复杂三分结构，其右论元 包含另一个三分结构： (2) every (REPEATER)({x: most (COURSE)({y: RETAKE(x, y)})}) 类似地，包含关系从句的量化命题，例如“ 所有通过( 以PASS 代表) 少 于一半考试( 以EXAM 代表) 的都是重读生” ，便可表达为如下的复杂三 分结构，其左论元包含另一个三分结构： (3) every ({x: (less than