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

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

周家发

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

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

1 引言

关系三段论（relational syllogism）是指在前提和结论中至少有一个语句包含二元或更高元谓词的三段论，有别于仅由包含一元谓词的语句组成的简单三段论（simple syllogism）。这类三段论是三段论研究的难点，因为它所包含的语句具有较复杂的句法结构，例如带有宾语或关系从句。因此，历来对关系三段论的研究不多，由上世纪后期开始才出现较多研究关系三段论的文献，如[3,8,10,11,13,15,17,18,20–23]等。

林语堂学贯中西，受到了中西两种不同文化的影响，中西文化的融合在木兰身上表现得就非常突出，她是新时代背景下具有现代精神的传统完美女性，是作者最为喜爱的一个角色。透过木兰这个形象，我们能看出林语堂心目中的那种理想女性的品质，她们不仅要有中国女性的传统美德，还需得有现代西方女性的解放思想、自强自立、内外兼修，这也是作者女性观的独特之处。

阿里巴巴内部人士告诉记者，集团对于大文娱的表现并不满意，这也是大文娱成立两年多以来三度换帅的重要原因。从俞永福到杨伟东，再到如今的樊路远。

绍兴古代建筑的类型大致可分为4类：①寺庙、塔楼等典型或特殊历史建筑，如炉峰禅寺、舜王庙、安康寺、大佛寺百沥海塘；②纪念性和名人故居等建筑，如鲁迅故里、吕府、沈园、书圣故里、西施故里、北撤会议旧址等；③具有经济、政治、文化等历史意义的建筑，如：丰惠钱氏大宅院；④具有标志性或高艺术价值的历史建筑，如 艇湖塔、天元塔、灵鹅王氏纯节坊。

上述文献所研究的关系三段论大多只限于包含经典量词（即英语的“every”、“no”、“some”和“not every”）的关系三段论，经典量词无疑是逻辑研究中最重要的量词，对它们作深入研究无可厚非；但如果把研究范围仅限于经典量词，将会错失很多有效的推理。事实上，当代很多研究三段论的学者已发掘出大量包含非经典量词（亦称“广义量词”）的三段论，这些非经典量词包括数值量词（如[12,13,16,19]）、比例量词（如[4,15]）、模糊量词（如[9,15,25]）等。但上述学者所研究的包含非经典量词的三段论大多局限于简单三段论，如何发掘包含非经典量词的关系三段论，是一个值得探讨的问题。

微课制作内容应该选取课文中什么样的生字来指导呢？这就要根据我们写字教学实践，按照因材施教的教学方法，选取学生课前预习时易写错而且重点的字，进行分析指导。例如人教版五年级下册第八课《童年的回忆》，根据学生的预习情况挑选了“祸”“臂”“痴”三个字来制作微课，重点引导学生了解笔画多的字如何运笔，怎样在田字格中摆放好不同偏旁的字，先观察后临摹，最后去了田字格又如何书写，这样举一反三的练习不仅学会了写字，也提高了语文知识的学习。在微课制作习字时，强调同音不同形，同形不同音的练习，如“辩”与“辨”的区别、“痴”与“痣”的区别。

(1)每个爱一个女孩的（个体）都唱了一首歌，每个男孩都爱一个女孩，所以每个男孩都唱了一首歌。

(2)在运动员中，除了最多两人外，所有人都得到奖项，至少五名男孩是运动员，所以至少三名男孩得到奖项。

(3)所有马都是动物，几乎所有兽医都喜爱所有动物，所以大多数兽医喜爱所有马。

(4)有人报读了几乎所有课程，几乎所有课程都是必修的，在报读了几乎所有课程的人中，少于一半能够结业，所以并非每个报读了大多数必修课程的人都能够结业。

(5)在报读了所有必修课程的人中，除了最多两人外，所有人都能够结业，至少有五人报读了所有课程，所有必修课程都是课程，所以至少有三个报读了所有课程的人能够结业。

(6)每个篮球员都比大多数骑师高，有游泳选手比（至少）一个篮球员高，所以有游泳选手比大多数骑师高。

(7)存在至少一个骑师，每个篮球员都比大多数骑师高，有游泳选手比（至少）一个篮球员高，所以大多数骑师比（至少）一个游泳选手矮。

3.1.6 质检 质检人员监督指导整个填筑过程。严格遵照施工技术规范以及招标文件、设计文件的有关规定进行坝体填筑的质检与取样试验。若检测合格，即可转序施工，否则重新进行碾压，直至合格。

上述推理实例展示了关系三段论的复杂性。由于关系三段论是有关多元量化句（即包含多于一个量词的量化句）的三段论，而这些多元量化句可以包含不同种类的量词，所以其情况远较简单三段论复杂。举例说，(4)便同时包含模糊量词“几乎所有”、比例量词“少于一半”和经典量词“并非每个”，(5)则同时包含数值量词“至少五个”和经典量词“所有”。非经典量词本身已很复杂（如要在一阶逻辑下处理带有数值量词的语句，必须使用复杂的表达式或者定义新的量词；在一阶逻辑下，更无法处理包含一般比例量词或模糊量词的语句），包含不同种类量词的关系三段论就更加复杂，无法用一阶逻辑来处理。请注意上列实例所代表的推理格式是以往学者没有提出过的格式，但却可以用本文介绍的方法推导出来。

如前所述，对于关系三段论，历来研究不多，这是因为这类研究存在很大难度。首先，对于包含非经典量词的简单三段论而言，至今学者无法找出所有有效三段论格式，这是因为非经典量词的数目远多于经典量词的数目，而且要用到更复杂的数学工具（模糊量词尤其如此）。其次，即使就仅包含经典量词的简单三段论而言，传统的研究也只限于符合某些特定格式的三段论，只要对这些特定格式作出更改（例如容许三段论中的大项／中项／小项带有否定词、合取词等逻辑联结词，或者对大项／中项／小项在三段论中出现的次数不加限制），便已超出传统三段论研究的范围，同样难以找出所有有效三段论格式，例如以下就是一个超出传统研究范围的有效三段论格式：

(8)所有C 是B ，所有非C 是B ，所以所有A 是B 。

既然上述简单三段论的研究存在一定难度，由此可知相对应的关系三段论的研究就更是难上加难。

为此，本文采取新的研究路向。简言之，本文并不直接推导有效的关系三段论格式，而是把有效的关系三段论建基于（一个或多个）有效简单三段论和某些命题逻辑基本原理之上。换句话说，本文的研究重点是如何从（一个或多个）有效的简单三段论和命题逻辑的某些基本原理推导出有效的关系三段论，请注意本文的方法对简单三段论的格式以及所含量词的种类并无限制，因此只要找到符合本文所提要求的有效简单三段论，便可推导出包含不同种类量词的有效关系三段论格式，例如上面的(4)和(5)。

(23 请注意三段论格式（而非三段论实例）实质上也是由带有谓词变项的语句组成，这些语句在本质上也是开语句。 ){ all but at most n(Z, some(Y_acc, R)), at least m+n(X, Z)}

接下来介绍本文将用到的形式表达式及其语义解释。本文基本采用[5,6]提出的一种表达式来表达量化句，但会使表达式更贴近自然语言的表层结构。这种表达式具有Q(X₁,... X_n)的形式，其中Q 代表量词，(X₁,... X_n)代表作为Q 的论元的谓词，这些谓词又有自己的论元。因此量词可被看成二阶谓词，它以（一阶）谓词作为其论元。本文采用当代广义量词理论，把量词的语义解释成以集合或集合的有序n 元组作为论元的函数，因此量化句的语义可以用集合论表达式来表达。举例说，语句“有男孩跑步”的表达式是：

(9)some(boy, run)

在上述表达式中，some 是带有两个论元的量词（以下称为〈 1, 1〉 型量词），这两个论元可分别称为左论元和右论元。根据广义量词理论，上述表达式的语义解释可以表达成以下集合论公式：

(10)boy∩ run̸ =∅

在上式中，boy和run分别代表boy 和run 的语义解释1 本文采用黑体字表示形式表达式，并用普通字体表示这些表达式的语义解释。 ，即由男孩和跑步者组成的集合。请注意(10)也可以被看成(9)的真值条件：(9)是真的当且仅当(10)成立，即男孩集合与跑步者集合的交集非空。

式中直接电能Edirect的计算方式如式(1)～式(8)所示，间接能耗Eindirect的计算方式如式(9)～式(15)所示。

(9)这种表达式只包含一元谓词和一个量词，所以只能用来表达简单三段论中的语句。为表达关系三段论，便要使用二元（或更高元）的谓词和两个（或多个）量词。本文采用嵌套表达式来表达这些语句，这种表达式的特点是一个量化表达式内嵌套着另一个量化表达式，例如“每个男孩都爱（至少）一个女孩”的表达式是：

⇒ most (Z , every (X_acc , R ))

在上式中，every 是〈 1, 1〉 型量词，其左论元是boy ，右论元则是下列量化表达式：

(12)some(girl_acc, love)

在上式中，girl 带有下标acc ，这个下标是accusative（宾格）一词的缩写，代表“（至少）一个女孩”是作为及物动词“爱”的宾语。2 acc 尽管在表面上依附于girl ，但实质上是作用于整个some(girl) 结构。从语法上看，充当“爱”宾语的是“(至少)一个女孩”而非仅“女孩”。这个下标也可用来提醒我们，上式不是完整的语句，而是表达一个一元谓词。事实上，根据[5]，(12)的语义解释是以下集合：

(13){x :some(girl,{y :love(x,y )} )}

上式告诉我们，(12)表达一元谓词“爱（至少）一个女孩的（个体）”。当然，应用some 的语义解释，还可以进一步把上式改写成：

本文以某办公楼项目为例，选取2层标准层的局部框架梁柱部分，介绍该软件具体的功能应用。该项目为标准的钢筋混凝土框架结构，结构布局及配筋布置较为简单，梁板柱的混凝土等级均为C30，其标准层的局部框架梁结构如图4所示。

(14){x :girl∩ {y :love(x,y )} ̸ =∅}

(29)所有马都是动物，所以每个喜爱所有动物的（个体）都喜爱所有马。

(15)设Q 为〈 1, 1〉 型量词，A 为一元谓词，R 为二元谓词，则Q(A_acc, R)的语义解释为{x :Q (A,{y :R (x,y ))}} 。

由于(12)实质上是一元谓词，它不能单独用来表达语句。如要表达语句，必须像(11)那样把(12)作为论元嵌套在另一个量化表达式的内部；另一种方法是引入不受约束的个体变项x，把(12)改写成如下的“开语句”(open sentence）：

(16)x(some(girl_acc, love))

上式的意思是“x 爱（至少）一个女孩”。请注意上式使用了广义量词理论处理个体词项（包括个体常项和个体变项）的方式，把个体词项看成带有一个论元的量词。根据广义量词理论，上式的语义解释可以表达成以下集合论公式：

(17)x∈{x :some(girl,{y :love(x,y )} )}

上述嵌套表达式不仅可用来表达带有宾语的量化句，也可用来表达带有复杂主语（指包含关系从句的主语）的量化句，例如“每个爱（至少）一个女孩的（个体）都快乐”的表达式是：

(18)every(some(girl_acc, love), happy)在上式中，some(girl_acc, love)出现于量词every 的左论元位置，在语法上相当于一个用来修饰主语的关系从句。我们甚至可以用嵌套表达式表达同时带有复杂主语和宾语的量化句，例如“每个爱（至少）一个女孩的（个体）都唱了（至少）一首歌”的表达式是：

(19)every(some(girl_acc, love), some(song_acc, sing))

在结束本节前，有必要指出，当代很多学者并不对三段论的格式作严格规定，甚至不对三段论的前提和结论数目作严格规定。对很多学者而言，三段论成了包含至少两个前提和一个结论的量化句衍推关系的同义词。因此本文也对三段论作较宽松的理解，但把讨论范围限于包含两个前提（有时可附加一个存在假设，详见第三节）和一个结论的衍推关系。

2 代入法、演绎定理和前提代换

我们认为，构造关系三段论的一种简单方法是把包含二元谓词且实质上等同于一元谓词的量化表达式代入有效简单三段论格式的变项中，代入时要把同一个量化表达式代入三段论格式中的同一个变项。由于这些量化表达式等同于一元谓词，这样做等于把谓词代入有效三段论格式中的变项，所以会得到有效的三段论。举例说，设有经典AAA-1三段论格式：

(20){ every(C, B), every(A, C)} ⇒ every(A, B)

把X、some(Y_acc, R)和some(Z_acc, S)分别代入上式中的A、B 和C ，可得到下式：

人类社会迈入网络时代之后，互联网已经与人类的日常生活、学习密切相关，也改变了社会的样貌和诸多行业的业态、具体形态等。它们皆因技术驱动的力量发生着翻天覆地的变化。

(21){ every(some(Z_acc, S), some(Y_acc, R)), every(X, some(Z_acc, S))}

⇒ every(X, some(Y_acc, R))

上式是有效的关系三段论格式，其中X、Y和Z是一元谓词变项，R和S是二元谓词变项。把具体的词项代入上述格式，便可得到有效的关系三段论实例，例如把“男孩”、“歌”、“女孩”、“唱”和“爱”分别代入X、Y、Z、R和S，便可得到第一节提过的以下推理实例：

(1)每个爱一个女孩的（个体）都唱了一首歌，每个男孩都爱一个女孩，所以每个男孩都唱了一首歌。

在上例中，被代入的三段论（即(20)）是仅包含经典量词的简单三段论，代入的量化表达式也只包含经典量词，所以得到的是仅包含经典量词的关系三段论。如要推导包含广义量词（这里指非经典量词）的关系三段论，我们可以在进行代入法时选取包含广义量词的简单三段论格式，或者包含广义量词的量化表达式。

对于高中生传统文化素养的培育是符合我们当前社会主义核心价值观要求的，是增强文化自信的必由之路，也是当代语文教学的职责所在，更是为人们奠定高尚品格的基础。高中生传统文化素养缺失问题的存在和解决需要引起更多人的重视与思考。

举例说，设我们选取以下由[12]提出的有效数值三段论格式（在下式中，n 和m 是大于0的整数）：

(22){ all but at most n(C, B), at least m+n(A, C)} ⇒ at least m(A, B)把X、some(Y_acc, R)和Z 分别代入上式中的A、B 和C ，可得到下式：

火焰加热区域范围是火焰加热的钢管区域的横断面；其加热范围的纵向展开如图7所示。BC直线代表焊缝所在位置，曲线BAC可参照标准抛物线进行绘制，y=-ax+c（a、c＞0）；且a、c的取值直接与上面测得的法兰间隙的数值、材质、钢管的壁厚等参数相关。

时值今日，“美术界”虽然还没有到达“演艺界”这么的风雨飘摇而人心惶惶，但似乎已让人嗅到了“树欲静而风不止”和“山雨欲来”的气息……因此，毋庸置疑，“贪婪”将在今后的很长一个时期里，成为各个“东窗事发”的始作俑……

⇒ at least m(X, some(Y_acc, R))

上式是包含数值量词的有效关系三段论格式，如把3、2、“男孩”、“奖项”、“运动员”和“得到”分别代入m、n、X、Y、Z 和R ，便可得到第一节提过的以下推理实例：

(2)在运动员中，除了最多两人外，所有人都得到奖项，至少五名男孩是运动员，所以至少三名男孩得到奖项。

在构造关系三段论时，除使用代入法外，如能配合使用其他保持推理有效性的变换，将能大大扩阔所能构造关系三段论的范围。接下来介绍一种十分有用的变换，此即命题逻辑中的“演绎定理”（deduction theorem）。演绎定理的一般表示形式如下：

(24)若{ p, q} ⇒ r ，则p⇒ q→ r。

上面的{ p, q} ⇒ r 可被看成一个三段论，其中p 和q 是前提，r 是结论；q → r 则代表一个蕴涵式。上式告诉我们，可以将三段论变换成仅包含一个前提的推理，其前提是p ，其结论则是蕴涵式q → r 。

举例说，设我们选取AAA-1三段论格式，并把X 、R 和Y 分别代入该格式中的A 、B 和C ，从而得到下式：

(25){ every(Y, R), every(X, Y)} ⇒ every(X, R)

与传统城市的发展相比较，生态城市多了“生态”一词，在生态城市建设和发展的过程当中主要对环境技术以及环保理念进行应用。比如说，在城市发展过程当中运用新型能源，大力发展风能、太阳能等，从而更好的降低对于城市当中所存在的传统能源的应用。在进行生态城市建设过程当中更多的是关注人与自然和谐相处，发展经济和生态城市建设二者之间并不冲突。所谓生态城市，是将城市与周边环境相协调，互利共生，从而更好的在城市发展过程当中保护环境，但是有些城市在发展过程当中还是会出现一些环境问题。

上述代入结果存在一些问题：由于R 是二元谓词，上式中的every(Y, R)和every(X, R)实质上是一元谓词而非语句（因此Y 和X 应带有下标acc ），可是三论段通常应由语句组成。为补救这一问题，可以把这两个一元谓词改写成带有不受约束的个体变项x 的开语句，即把上式改写成3 请注意三段论格式（而非三段论实例）实质上也是由带有谓词变项的语句组成，这些语句在本质上也是开语句。 ：

(26){ x (every (Y_acc , R )), every (X , Y )}⇒ x (every (X_acc , R ))

本文主旨是介绍一种推导有效关系三段论的新方法，以下是本文将会讨论的关系三段论实例：

接下来把上式的两个前提对调位置，然后利用演绎定理，可得到：

(27)every (X , Y )⇒ x (every (Y_acc , R ))→ x (every (X_acc , R ))上式右端蕴涵式的意思是：如果x 属于every (Y_acc , R )，则x 属于every (X_acc , R )。由于x 是任意变项，这个蕴涵式也可看成表达一个全称量化句：凡是属于every (Y_acc , R )的都属于every (X_acc , R )，因此可以把这个蕴涵式改写成一个以every 作为量词的量化句，即把上式改写成：

(28)every (X , Y )⇒ every (every (Y_acc , R ), every (X_acc , R ))

这样我们便把一个三段论变换成仅包含一个前提的推理（这种推理称为“直接推理”），其前提是原三段论的某个前提，其结论则是一个以every作为量词的量化句。把具体的词项代入上述格式，便可得到有效的推理实例，例如把“马”、“动物”和“喜爱”分别代入X 、Y 和R ，便可得到以下推理实例：

尽管上式使用了纯粹的集合论语言（上式用∩ 、̸ =和∅ 这些集合论符号表达some 的语义），但跟(13)比较，上式隐去了与some 的关系；而且如要讨论抽象的量词（即以变项形式出现的量词，例如Q ），更无法使用纯粹的集合论语言。因此本文在提到量化表达式的语义解释时，将主要使用(13)这种形式。一般地，我们有：

我们可以把上面推导(28)的过程总结成以下一般形式：

(30)设Q₁ 、Q₂ 、Q₃ 为〈 1, 1〉 型量词，X 、Y 、Z 和W 为一元谓词，R 和S 为二元谓词，x 为个体变项，则从三段论{ Q₁ (X , Y ), x (Q₂ (Z_acc , R ))}⇒ x (Q₃ (W_acc , S ))，可以推出直接推理Q₁ (X , Y )⇒ every (Q₂ (Z_acc , R ), Q₃ (W_acc , S ))。

以下我们把上述变换仍称作“演绎定理”，因为它是从命题逻辑中的演绎定理推导而来的。

利用演绎定理可以推导出有效的直接推理格式，但我们不必停留于此。由于这个直接推理的结论是一个全称量化句，如果把这个全称量化句与其他包含全称量化句的三段论格式结合，便可推导出关系三段论格式。举例说，我们可以把(28)与[15]提出的下列模糊三段论格式结合起来：

(31){ every (C , B ), almost all (A , C )}⇒ most (A , B )

把Z 、every (X_acc , R )和every (Y_acc , R )分别代入上式中的A 、B 和C ，可得到：

人的体温约37℃，发出波长10uM左右的红外线，红外线通过菲泥尔滤光片增强后聚集到由热释电元件构成的红外感应源上，感应源释放电荷输出电压信号。热释电效应是因热变化而产生的电极化现象，有些晶体受热时，在晶体两端产生数量相等符号相反的电荷。菲涅耳透镜根据菲涅耳原理制成，将热释的红外信号折射/反射聚焦到PIR上，检测区内分为若干明暗区，进入检测区的移动物体以温度变化的形式在PIR上产生变化的热释红外信号，电信号发生变化，灵敏度提高。

(11)every(boy, some(girl_acc, love))

但上式中的第一个前提等同于(28)中的结论，因此可以用(28)中的前提取代上式中的第一个前提，由此可得以下有效关系三段论格式：

(33){ every (X , Y ), almost all (Z , every (Y_acc , R ))}⇒ most (Z , every (X_acc , R ))上式是把AAA-1三段论和(31)中的模糊三段论结合起来的有效关系三段论，如把“马”、“动物”、“兽医”和“喜爱”分别代入X 、Y 、Z 和R ，便可得到第一节提过的以下推理实例：

(32){ every (every (Y_acc , R ), every (X_acc , R )), almost all (Z , every (Y_acc , R ))}

(3)所有马都是动物，几乎所有兽医都喜爱所有动物，所以大多数兽医喜爱所有马。

在推导上述关系三段论格式的过程中，我们运用了以下变换：当一个推理的某个前提等同于另一个推理的结论时，可以用后者的前提取代该前提，以下把这种十分有用的变换称为“前提代换”，并将其总结成以下一般形式：

(34)设p₁ 、··· 、p_m 、q 、r₁ 、··· 、r_n 、s 为语句，则从{ p₁ , …p_m } ⇒ q 和{ q , r₁ , …r_n }⇒ s ，可以推出{ p₁ , …p_m , r₁ , …r_n }⇒ s 。

3 引入存在假设

如前所述，利用演绎定理，可以推导出一个以全称量化句作为结论的直接推理。但其实我们不必限于以全称量化句every (A , B )作为结论，这是因为在引入适当的附加前提后，every (A , B )蕴涵其他量化句，这样便可以其他量化句作为上述直接推理的结论，从而扩大上一节所述方法的适用范围。这些附加前提的特点是对A的基数作出规定，此即[13]所称的“存在假设”(existential assumption)。

在三段论研究中，存在假设并非新奇事物。在经典逻辑研究的24个有效三段论中，有9个便须依赖适当的存在假设才能成立（参见[14]），例如以下的AAI-3三段论：

(35){ some (C , exist ), every (C , B ), every (C , A )}⇒ some (A , B )

在上式中，some (C , exist )就是存在假设，其中exist 代表“存在”，some (C , exist )代表存在个体具有C 所述的性质4 在广义量词理论下，存在句“有A 存在”可以表示成some (A , exist )。这里exist 是论域（用U 来代表）中最宽泛的谓词，因为论域中的任何一个元素都是在该论域中存在的，因此exist=U 。根据some 的语义解释，可得some (A , exist )真当且仅当A∩U̸ =∅⇔A̸ =∅ ，即A 非空，这正是“有A 存在”所要表达的意思。。从某一角度看，引入适当的存在假设可以扩大有效三段论的范围。

关系三段论的存在假设可分为两类，第一类存在假设表明论域中存在个体具有某谓词所述的性质，以下我们用一个实例来说明如何推导包含这类假设的关系三段论。设我们选取以下由[9]提出的有效模糊三段论格式：

(36){ almost all (A , C ), almost all (A , B )}⇒ most (C and A , B )

把X 、R 和Y 分别代入上式中的A 、B 和C ，并引入变项x ，可得到下式：

(37){ almost all (X , Y ), x (almost all (X_acc , R ))}⇒ x (most (Y and X_acc , R ))

对上式利用演绎定理，可得到：

(38)almost all (X , Y )⇒ every (almost all (X_acc , R ), most (Y and X_acc , R ))上式的结论是全称量化句，但我们可以从这个量化句推导出一个较弱的量化句，其原理是若假设论域中存在个体具有A 所述的性质，便可以从every (A , B )推导出more than p (A , B )，其中p 代表0与1之间的任意分数。以下把上述推导过程总结成以下一般形式：

(39){ some (A , exist ), every (A , B )}⇒ more than p (A , B )

在上式中，some (A , exist )是第一类存在假设，引入这个假设后，便可以从上式的第二个前提推出结论。现在把almost all (X_acc , R )和most (Y and X_acc , R )分别代入上式中的A 和B ，可得到：

(40){ some (almost all (X_acc , R ), exist ), every (almost all (X_acc , R ), most (Y

and X_acc , R ))}⇒ more than p (almost all (X_acc , R ), most (Y and X_acc , R ))

由于上式的第二个前提等同于(38)的结论，所以可以进行前提代换，把上式和(38)结合成下式：

(41){ some (almost all (X_acc , R ), exist ), almost all (X , Y )}

⇒ more than p (almost all (X_acc , R ), most (Y and X_acc , R ))

接着考虑以下由[4]提出的有效比例三段论格式（其中p 和q 是0与1之间的分数，而且p＞q）：

(42){ more than p (C , A ), less than q (C , B )}⇒ not every (A , B )

把most (Y and X_acc , R )、Z 和almost all (X_acc , R )分别代入上式中的A 、B 和C ，可得到下式：

(43){ more than p (almost all (X_acc , R ), most (Y and X_acc , R )),

less than q (almost all (X_acc , R ), Z )}⇒ not every (most (Y and X_acc , R ), Z )

但上式中的第一个前提等同于(41)中的结论，所以可以进行前提代换，把上式变换成下式：

(44){ some (almost all (X_acc , R ), exist ), almost all (X , Y ), less than q

(almost all (X_acc , R ), Z )}⇒ not every (most (Y and X_acc , R ), Z )

上式是结合(36)中模糊三段论和(42)中比例三段论且包含第一类存在假设的有效关系三段论，如把、“课程”、“必修”、“能够结业”和“报读了”分别代入q 、X 、Y 、Z 和R ，便可得到第一节提过的以下推理实例：

(4)有人报读了几乎所有课程，几乎所有课程都是必修的，在报读了几乎所有课程的人中，少于一半能够结业，所以并非每个报读了大多数必修课程的人都能够结业。

第二类存在假设表明论域中有多少个体具有某谓词所述的性质，以下我们用一个实例来说明如何推导包含这类假设的关系三段论。设我们选取AAA-1三段论格式，并把X 、R 和Y 分别代入该格式中的A 、B 和C ，并引入变项x ，从而得到下式：

(45){ x (every (Y_acc , R )), every (X , Y )}⇒ x (every (X_acc , R ))

对上式利用演绎定理，可得到：

(46)every (X , Y )⇒ every (every (Y_acc , R ), every (X_acc , R ))

上式的结论是全称量化句，但我们可以从这个量化句推导出一个数值量化句，其原理是若假设论域中存在至少n 个个体具有A 所述的性质，便可以从every (A , B )推导出at least n (A , B )，其中n 代表大于0的任意整数。以下把上述推导过程总结成以下一般形式：

(47){ at least n (A , exist ), every (A , B )}⇒ at least n (A , B )

在上式中，at least n (A , exist )是第二类存在假设，引入这个假设后，便可以从上式的第二个前提推出结论。现在把every (Y_acc , R )和every (X_acc , R )分别代入上式中的A 和B 并把上式中的n 改为m +n ，可得到：

(48){ at least m +n (every (Y_acc , R ), exist ), every (every (Y_acc , R ), every (X_acc , R )⇒ at least m +n (every (Y_acc , R ), every (X_acc , R ))

由于上式的第二个前提等同于(46)的结论，所以可以进行前提代换，把上式和(46)结合成下式：

(49){ at least m +n (every (Y_acc , R ), exist ), every (X , Y )}⇒ at least m +n (every (Y_acc , R ), every (X_acc , R ))

接着考虑以下由[12]提出的数值三段论格式（等同于(22)）：

(50){ all but at most n (C , B ), at least m +n (A , C )}⇒ at least m (A , B )

把every (Y_acc , R )、Z 和every (X_acc , R )分别代入上式中的A 、B 和C ，可得到下式：

(51){ all but at most n (every (X_acc , R ), Z ), at least m +n (every (Y_acc , R ),

every (X_acc , R ))}⇒ at least m (every (Y_acc , R ), Z )

但上式中的第二个前提等同于(49)中的结论，所以可以进行前提代换，把上式变换成下式：

(52){ all but at most n (every (X_acc , R ), Z ), at least m +n (every (Y_acc , R ), exist ),

every (X , Y )}⇒ at least m (every (Y_acc , R ), Z )上式是结合AAA-1三段论和(50)中数值三段论且包含第二类存在假设的有效关系三段论，如把3、2、“必修课程”、“课程”、“能够结业”和“报读了”分别代入m 、n 、X 、Y 、Z 和R ，便可得到第一节提过的以下推理实例：

(5)在报读了所有必修课程的人中，除了最多两人外，所有人都能够结业，至少有五人报读了所有课程，所有必修课程都是课程，所以至少有三个报读了所有课程的人能够结业。

4 表达比较形容词的二元谓词

上面讨论的关系三段论都包含一般二元谓词，这些谓词没有特殊的性质，可用来表达自然语言中的一般及物动词。在某些情况下，如果规定二元谓词具备某些特殊性质，便可用来表达自然语言中的某些特殊词项，并研究包含这些词项的关系三段论。在本节，我们将研究能表达比较形容词（例如英语的“tallerthan”、“as tall as”等）的二元谓词，这里首先介绍这类二元谓词的定义。

我们假设每个可作比较的形容词（用R 来代表）均派生出三个二元谓词：R ^＞ 、R ^＜ 和R ⁼，其中R ^＞ (x , y )、R ^＜ (x , y )和R ⁼(x , y )分别代表“x 比y 较为R ”、“y 比x 较为R ”和“x 与y 一样R ”。此外，我们还用R ^#来统称R ^＞ 、R ^＜ 和R ⁼中的任何一个，即以#代表{＞,＜, =} 中的任意一员。鉴于比较关系是双向的(例如若x 比y 高，则y 比x 矮)，我们假设上述二元谓词满足以下等价关系：

(53)对任意个体x 、y ，均有

(i)R ^＞ (x , y )⇔ R ^＜ (y , x )

(ii)R ^＜ (x , y )⇔ R ^＞ (y , x )

(iii)R ⁼(x , y )⇔ R ⁼(y , x )

此外，我们还假设上述二元谓词满足以下性质：

(54)三分律 （trichotomy）：设x 和y 为任意个体，则在以下语句中有且只有

一个成立：{ R ^＞ (x , y ), R ^＜ (x , y ), R ⁼(x , y )} 。

(55)自反性 （reflexivity）：对任意个体x ，均有R ⁼(x , x )。

(56)传递性 （transitivity）：对任意个体x 、y 、z ，均有

(i){ R ^#(x , y ), R ^#(y , z )}⇒ R ^#(x , z )

(ii){ R ⁼(x , y ), R ^#(y , z )}⇒ R ^#(x , z )

从上述性质可以推导出其他性质，例如从(54)和(55)可以推出，对任意个体x ，均非R ^＞ (x , x )；从(54)可以推出，对任意个体x 、y ，若R ^＞ (x , y )，则必非R ^＜ (x , y )；从(54)和(56)可以推出，对任意个体x 、y 、z ，若非R ^＞ (x , y )且非R ^＞ (y , z )，则必非R ^＞ (x , z )。5 上述三种性质分别相当于[11]所称的“非自反性”、[8]所称的“非对称性”和[8]所称的“反传递性”，因此本节的讨论也适用于[8]和[11]研究的包含比较形容词的关系三段论。

根据上述定义，可以推导出与比较形容词相关的定理，以下是下文将要用到的定理，其证明载于下文第六节：

定理1. 设Q₁ 和Q₂ 为下界右递增〈 1, 1〉 型量词，x 为个体变项，A 为一元谓词R ^#为如上面定义的二元谓词，则x (Q₁ (Q₂ (A_acc , R ^#)_acc , R ^#))⇒ x (Q₂ (A_acc , R ^#))。6 以下提供这个衍推关系的一个实例，把some 、most 、boy 和be taller than 分别代入Q ₁ 、Q ₂ 、A 和R ^#，可得到以下推理实例（译成汉语）：“x 高过（至少）一个高过大多数男孩的（个体），所以x 高过大多数男孩”。

上述定理提到量词的“下界性”（lowerboundedness）和“右递增性”（rightincreasing monotonicity）这两个概念，其定义如下：

(57)设Q 为〈 1, 1〉 型量词，Q 是下界的当且仅当若Q (A , B )真，则|A∩B|≥ 1。

(58)设Q 为〈 1, 1〉 型量词，Q 是右递增的当且仅当对任意一元谓词A 、B 、C ，

若B⊆C ，则有Q (A , B )⇒ Q (A , C )。

根据量词的语义解释，容易证明some 、most 、at least n 、more than n 等是下界右递增〈 1, 1〉 型量词（可见于广义量词理论的文献）。

接着看如何运用上述定理推导关系三段论。设我们选取经典IAI-3三段论格式

(59){ some (C , B ), every (C , A )}⇒ some (A , B )

把most (X_acc , R ^#)、R ^#和Y 分别代入上式中的A 、B 和C ，并引入变项x ，可得到下式：

(60){ x (some (Y_acc , R ^#)), every (Y , most (X_acc , R ^#))}⇒ x (some (most (X_acc , R ^#)_accR ^#))

由于some 和most 是下界右递增〈 1, 1〉 型量词，因此从定理1，可得：

(61)x (some (most (X_acc , R ^#)_acc , R ^#))⇒ x (most (X_acc , R ^#))

上式的前提等同于(60)的结论，因此可以进行前提代换，把上式和(60)结合成下式：

(62){ x (some (Y_acc , R ^#)), every (Y , most (X_acc , R ^#))}⇒ x (most (X_acc , R ^#))

对上式利用演绎定理，可得到：

(63)every (Y , most (X_acc , R ^#))⇒ every (some (Y_acc , R ^#), most (X_acc , R ^#))

接着考虑以下经典AII-1三段论格式：

(64){ every (C , B ), some (A , C )}⇒ some (A , B )把Z 、most (X_acc , R ^#)和some (Y_acc , R ^#)分别代入上式中的A 、B 和C ，可得到：

(65){ every (some (Y_acc , R ^#), most (X_acc , R ^#)), some (Z , some (Y_acc , R ^#))}⇒ some (Z , most (X_acc , R ^#))

但上式中的第一个前提等同于(63)中的结论，所以可以进行前提代换，把上式变换成下式：

(66){ every (Y , most (X_acc , R ^#)), some (Z , some (Y_acc , R ^#))}⇒ some (Z , most (X_acc , R ^#))

上式是结合IAI-3和AII-1三段论的关系三段论格式，虽然这两者都是经典三段论，但由于我们运用了定理1，所以可以把非经典量词most 引入到上述格式中。把具体的词项代入上述格式，便可得到有效的关系三段论实例，如把“骑师”、“篮球员”、“游泳选手”和“比……高”分别代入X 、Y 、Z 和R ^#，便可得到第一节提过的以下推理实例：

(6)每个篮球员都比大多数骑师高，有游泳选手比（至少）一个篮球员高，所以有游泳选手比大多数骑师高。

请注意如果把上例中的“比…高”改为“与……一样高”，上述推理仍然成立；但若把“比……高”改为“看见”，则上述推理不成立，这是因为“看见”并非具有前述性质的比较形容词。

5 等价变换

当代广义量词理论研究了量化句之间的多种等价关系，我们可以利用这些关系把某一关系三段论格式中的语句变换成等价语句，从而获得更多有效关系三段论格式。举例说，根据[7]的定理5，由于every 与no 互为“后补运算”（postcomplement），而most 与at most ¹₂互为“补运算”（complement）（请参阅[7]对这两个概念的定义），以下等价关系成立：

(67)every (Y , most (X_acc , R ^#))⇔ no (Y , at most¹₂ (X_acc , R ^#))

由于有上述等价关系，我们可以用上式右端的量化句来替换(66)中的第一个前提，从而得到以下有效关系三段论格式：

(68){ no (Y , at most¹₂ (X_acc , R ^#)), some (Z , some (Y_acc , R ^#))}⇒ some (Z , most (X_acc , R ^#))

量化句之间的各种等价关系，详见当代广义量词理论的文献，本文无意一一介绍，这里只拟提出一个适用于比较形容词的等价关系。根据[1]的事实2，若Q 为右递增〈 1, 1〉 型量词，A 、B 为一元谓词，R 为二元谓词，则以下洐推关系成立：

(69)some (A , Q (B_acc , R ))⇒ Q (B , some (A_acc , R^conv ))

(70)Q (A , every (B_acc , R ))⇒ every (B , Q (A_acc , R^conv ))

在以上两式中，R^conv 代表R 的“逆向反义词”（converse），其定义如下：

(71)对任意个体x 、y ，R^conv (x , y )⇔ R (y , x )。

例如若R 代表“看见”，则R^conv 代表“被看见”。把上述定义应用于(53)中的等价关系，可得：

(72) (i)(R ^＞ )^conv =R ^＜

(ii)(R ^＜ )^conv =R ^＞

(iii)(R ⁼)^conv =R ⁼

衍推关系(69)和(70)适用于所有二元关系R 。有趣的是，当把这个R 换成R ^＞ 或R ^＜ （并再加上一些限制条件）后，这两个衍推关系便会变成等价关系：

定理2. 设Q 为下界右递增〈 1, 1〉 型量词，A 和B 为一元谓词且B 非空，R ^＞ 和R ^＜ 为如上面定义的二元谓词，则

(i)some (A , Q (B_acc , R ^＞ ))⇔ Q (B , some (A_acc , R ^＜ ))

(ii)Q (A , every (B_acc , R ^＞ ))⇔ every (B , Q (A_acc , R ^＜ ))

上列两式中的R ^＞ 和R ^＜ 如对调位置，等价关系仍然成立。

把具体的量词代入上述定理，便可得到一些等价关系。举例说，由于most 为下界右递增〈 1, 1〉 型量词，根据定理2(i)，若X非空，以下等价关系成立：

(73)some (Z , most (X_acc , R ^＞ ))⇔ most (X , some (Z_acc , R ^＜ ))

由于有上述等价关系，我们可以用上式右端的量化句来替换(66)中的结论，并把(66)中的R ^#改为R ^＞ ，从而得到以下有效关系三段论格式（下式带有存在假设some (X , exist )，是用以满足定理2对非空集合的要求）：

(74){ some (X , exist ), every (Y , most (X_acc , R ^＞ )), some (Z , some (Y_acc , R ^＞ ))}⇒ most (X , some (Z_acc , R ^＜ ))

如把“骑师”、“篮球员”、“游泳选手”和“高”分别代入X 、Y 、Z 和R ，便可得到第一节提过的以下推理实例：

(7)存在至少一个骑师，每个篮球员都比大多数骑师高，有游泳选手比（至少）一个篮球员高，所以大多数骑师比（至少）一个游泳选手矮。

6 本文介绍方法的有效性

前面各节介绍了推导关系三段论格式的方法，此方法包含以下元素：有效简单三段论格式、代入法、演绎定理、前提代换、引入存在假设、定理1、等价变换和定理2。为确保本文所介绍方法能推出有效的关系三段论格式，必须确保上述每项元素本身都是有效推理，即都能从真的前提推出真的结论。

在前述各项元素中，简单三段论格式的有效性是经典三段论和各种非经典三段论（包括数值三段论、比例三段论、模糊三段论等）学者研究的课题，它们的有效性已由有关学者证明，本文不拟重复。

其次考虑代入法。代入法的本质就是把有效三段论格式中的谓词换成其他谓词，由于三段论格式中的谓词相当于变项，只要在代入时把相同的谓词代入相同的变项，并且对代入结果作必要的调整（例如加上下标acc 和个体变项x ，使代入结果从一元谓词变成开语句），所得结果仍是有效的三段论格式。请注意把一元谓词变成开语句并没有改变一元谓词的本质，这是因为一元谓词与开语句存在相通之处：两者都可被看成把个体映像为真值的函数。

接着考虑演绎定理和前提代换。在第二节，我们详细解释了演绎定理(30)和前提代换(34)的理据。概言之，(30)的有效性源自命题逻辑中演绎定理(24)的有效性；而(34)本身也是命题逻辑中的一个推理结果。由于上述定理和推理的证明可在一般的数理逻辑教科书中找到，本文不拟重复这些证明。

接着考虑存在假设。本文介绍了两类存在假设，第一类存在假设表明论域中存在个体具有某谓词所述的性质。通过引入这类假设，可以从一个全称量化句推导出一个包含比例量词more than p 的语句（其中p 是0与1之间的任意分数），其理据是以下推理的有效性：

(39){ some (A , exist ), every (A , B )}⇒ more than p (A , B )

现在证明上述推理的有效性。根据广义量词理论对上式中量词的语义解释，some (A , exist )和every (A , B )真当且仅当A̸ =∅ 并且A⊆B 。从这两式可得|A∩B| /|A| =|A| /|A| =1＞p 。另一方面，more than p (A , B )真当且仅当|A∩B| /|A|＞p 。由此可见，上述推理的前提若真，其结论必真，因此是有效推理。

第二类存在假设表明论域中有多少个体具有某谓词所述的性质。通过引入这类假设，可以从一个全称量化句推导出一个包含数值量词at least n 的语句（其中n 是大于0的任意整数），其理据是以下推理的有效性：

(47){ at least n (A , exist ), every (A , B )}⇒ at least n (A , B )

现在证明上述推理的有效性。根据广义量词理论对上式中量词的语义解释，at least n (A , exist )和every (A , B )真当且仅当|A|≥n 并且A⊆B 。从这两式可得|A∩B| =|A|≥n 。另一方面，at least n (A , B )真当且仅当|A∩B|≥n 。由此可见，上述推理的前提若真，其结论必真，因此是有效推理。

接着考虑定理1。为证明此定理，首先引入广义量词理论中“见证集”（witness set）的概念，其定义如下：

(75)设Q 为〈 1, 1〉 型量词，A 为一元谓词，则W 是Q (A )的见证集当且仅当W ⊆A 并且Q (A,W )真。

[2]证明了与见证集相关的下列事实：

(76)设Q 为右递增〈 1, 1〉 型量词，A 和B 为一元谓词，则Q (A , B )真当且仅当存在Q (A )的一个见证集W 使得W ⊆B 。

此外，我们还可以推导出以下事实：

(77)设Q 为下界〈 1, 1〉 型量词，A 为一元谓词，则Q (A )的见证集必非空集。上述事实的理据是，如果Q (A )的见证集是空集（∅ ），那么从(75)可知Q (A,∅ )真；但另一方面，由于Q 是下界量词，根据(57)，若Q (A,∅ )真，则|A∩∅|≥ 1，但这是不可能的。

现在证明定理1（重列于下）。

定理1. 设Q₁ 和Q₂ 为下界右递增〈 1, 1〉 型量词，x 为个体变项，A 为一元谓词R ^#为如上面定义的二元谓词，则x (Q₁ (Q₂ (A_acc , R ^#)_acc , R ^#))⇒ x (Q₂ (A_acc , R ^#))。

证明. 设前提x (Q₁ (Q₂ (A_acc , R ^#)_acc , R ^#))真，根据(15)，这即是说x∈{x :Q ₁({z :Q ₂(A,{w :R ^#(z,w )} )},{y :R ^#(x,y )} )} 真，亦即Q ₁({z :Q ₂(A,{w :R ^#(z,w )} )},{y R ^#(x,y )} )真。由于Q₁ 是右递增〈 1, 1〉 型量词，根据(75)和(76)，可知存在见证集W 使得W ⊆{z :Q ₂(A,{w :R ^#(z,w )} )} 并且W ⊆{y :R ^#(x,y )} 。由于Q₁ 是下界量词，根据(77)，W 非空，故必有W 的一个元素z 使得Q ₂(A,{w :R ^#(z,w )} )和R ^#(x,z )皆真。另外，根据(56)(i)，对任何w ，均有{R ^#(x,z ),R ^#(z,w )}⇒R ^#(x,w )。由此根据命题逻辑中的演绎定理，可得

(78)R ^#(x,z )⇒w∈{w :R ^#(z,w )}→w∈{w :R ^#(x,w )}

但由于w是任意个体变项，上式右端的蕴涵式实质上表达集合包含关系，即

(79)R ^#(x,z )⇒{w :R ^#(z,w )}⊆{w :R ^#(x,w )}

由于上面已证得R ^#(x,z )真，根据上式以及Q₂ 的右递增性，可得

(80)Q ₂(A,{w :R ^#(z,w )} )⇒Q ₂(A,{w :R ^#(x,w )} )

但又由于上面已证得Q ₂(A,{w :R ^#(z,w )} )真，从上式可知Q ₂(A,{w :R ^#(x,w )} )真，即x∈{x :Q ₂(A,{w :R ^#(x,w )} )} 真。根据(15)，这即是说x (Q₂ (A_acc , R ^#))真，定理1证毕。

接着考虑等价变换。等价变换的原理是命题逻辑中的基本原理：把一个有效推理中的前提或结论换成等价语句，所得结果仍是有效推理。本文第五节也讨论了一些等价关系，包括(67)和定理2，其中(67)是广义量词理论的研究成果，其证明可见于相关文献。

以下要证明定理2。为证明此定理，须先证明以下引理。

引理1. 设R ^＞ 和R ^＜ 为如上面定义的二元谓词，A 为非空集合，则

(i)A 中有元素x ，使得对A 中所有元素z ，均有R^＞ (x,z )或R ⁼(x,z )；并且

(ii)A 中有元素y ，使得对A 中所有元素z ，均有R^＜ (y,z )或R ⁼(y,z )。证明. 以下仅证明(i)，(ii)的证明方法类似。我们对|A| 进行归纳，首先假设|A| =1且A ={x} 。根据(55)，R ⁼(x,x )。由于x 是A 中唯一元素，故对A 中所有元素z ，有R ⁼(x,z )，即(i)在|A| =1的情况下成立。其次假设(i)在|A| =n 的情况下成立，现考虑|A| =n +1的情况。从A 中任意选取元素x ，并定义A^′ =A –{x} ，由此得|A^′| =n 。根据归纳假设，A^′ 中必有元素y ，使得对A^′ 中所有元素z ，均有R^＞ (y,z )或R ⁼(y,z )。现在考虑x 和y 。根据(54)，有且只有以下三种情况之一成立：(a)R^＞ (x,y )；(b)R^＜ (x,y )；(c)R ⁼(x,y )。在情况(a)下，根据(56)和上述按归纳假设所得的结论，我们找到A 中元素x ，使得对A 中所有元素z ，均有R^＞ (x,z )或R ⁼(x,z )，即(i)在|A| =n +1的情况下成立。在情况(b)和(c)下，我们亦找到A 中元素y ，使得对A 中所有元素z ，均有R^＞ (y,z )或R ⁼(y,z )，即(i)在|A| =n +1的情况下也成立。根据数学归纳法原理，(i)对任意非空集合A 均成立，引理证毕。

现在证明定理2（重列于下）：

定理2. 设Q 为下界右递增〈 1, 1〉 型量词，A 和B 为一元谓词且B 非空，R ^＞ 和R ^＜ 为如上面定义的二元谓词，则

(i)some (A , Q (B_acc , R ^＞ ))⇔ Q (B , some (A_acc , R ^＜ ))

(ii)Q (A , every (B_acc , R ^＞ ))⇔ every (B , Q (A_acc , R ^＜ ))

上列两式中的R ^＞ 和R ^＜ 如对调位置，等价关系仍然成立。

证明. 由于[1]已证明上述两个等价关系的一半（即(69)和(70)），所以只需证明上述关系的另一半，即以下衍推关系：

(81)Q (B , some (A_acc , R ^＜ ))⇒ some (A , Q (B_acc , R ^＞ ))

(82)every (B , Q (A_acc , R ^＜ ))⇒ Q (A , every (B_acc , R ^＞ ))

(i)设前提Q (B , some (A_acc , R ^＜ ))真。由于Q 是右递增〈 1, 1〉 型量词，根据(75)和(76)，可知存在见证集W使得

(83)Q (B,W )真

并且W ⊆ some(A_acc,R^＜ )，根据(15)，此即

(84)W ⊆{x :some(A,{y :R^＜ (x,y )} )}

另外，由于Q 是下界量词，根据(77)，W非空。由此根据引理1，W中有元素b 使得

(85)对W 中所有元素w ，均有R^＞ (b,w )或R ⁼(b,w )真

由于b 是W 的元素，它必是(84)右端集合的元素，即some(A,{y :R^＜ (b,y )} )真。根据some 的语义解释，必有A 中元素a ，使得R^＜ (b,a )真，亦即R^＞ (a,b )真。由此和 (85)，根据 (56)，可知对 W 中所有元素w ，均有R^＞ (a,w )真，即W ⊆{w :R^＞ (a,w )} 。由于Q 是右递增的，由此和(83)，可得Q (B,{w :R^＞ (a,w )} )真，这即是说a∈{z :Q (B,{w :R^＞ (z,w )} )} 。但因a∈A ，由此可知some(A,{z :Q (B,{w :R^＞ (z,w )} )} )真。根据(15)，这即是说some (A , Q (B_acc , R ^＞ ))真，(i)证毕。(ii)设前提every (B , Q (A_acc , R ^＜ ))真。根据every 的语义解释，有B⊆Q (A_acc,R^＜ )，根据(15)，此即

(86)B ⊆{x :Q (A,{y :R^＜ (x,y )} )}

由于B 非空，根据引理1，B 中有元素b ，使得

(87)对B 中所有元素w ，均有R^＞ (b,w )或R ⁼(b,w )真

由于b 是B 的元素，它必是(86)右端集合的元素，即Q (A,{y :R^＜ (b,y )} )真。另外，由于Q 是右递增〈 1, 1〉 型量词，根据(75)和(76)，可知存在见证集W 使得

(88)Q (A,W )真

并且

(89)W ⊆{y :R^＜ (b,y )}

这即是说对W 中所有元素y ，均有R^＜ (b,y )真，亦即R^＞ (y,b )真。由此和(87)，根据(56)，可知W 中每个元素y 对B 中所有元素w ，均有R^＞ (y,w )真，即W ⊆{y :every(B,{w :R^＞ (y,w )} )} 。由于Q 是右递增的，由此和(88)，可得Q (A,{y :every(B,{w :R^＞ (y,w )} )} )真。根据(15)，这即是说Q (A , every(B_acc , R ^＞ ))真，(ii)证毕。

在以上证明中，R^＞ 和R^＜ 的角色可以互相对调，由此可知(i)和(ii)两式中的R ^＞ 和R ^＜ 如对调位置，等价关系仍然成立，定理2证毕。

7 总结

本文介绍了推导有效关系三段论的方法，也证明了此方法的有效性。把本文介绍的方法应用于有效的简单三段论格式，所得结果必为有效的关系三段论格式。一个相关问题是，能否使用本文介绍的方法推导出所有有效关系三段论格式？

由于本文介绍的方法须应用简单三段论格式，如要使用此方法推导出所有包含广义量词的关系三段论，须先确定所有包含广义量词的有效简单三段论格式。但广义量词多种多样，并非每一种都经学者充分研究，本文也只提到其中几种非经典量词（包括数值量词、比例量词、模糊量词）的三段论格式，而对这几种非经典量词三段论的研究还不算多，跟经典三段论不可同日而语。因此，还有很多包含广义量词（包括本文没有提到的广义量词类别）的有效简单三段论格式未被发现。

此外，本文的研究也说明了，如对关系三段论中所包含的二元谓词加入一些附加条件（例如比较形容词所满足的条件），可得到更多推理结果（例如定理1和定理2），从而推导出更多有效关系三段论格式。可是，本文只是初步探讨了加入这些附加条件的一些可行方法并初步提出一些推理结果，还未充分展开这方面的研究，很多可行的附加条件和相关的推理结果尚待学者去发掘，因此本文介绍的方法虽未能穷尽所有有效关系三段论，但为研究包含广义量词的关系三段论提供了一个开端，提供了进一步研究的方向。

尽管如此，本文介绍的方法有很强的推导能力，能够推导出学者此前提出的绝大多数涉及二元谓词的有效关系三段论格式7 我们曾运用本文介绍的方法，推导出[3,8,10,11,13,15,20–23]中提到的所有有效关系三段论格式(包括某些被归入公理或推理规则的关系三段论格式)，其中某些推导要使用前提代换以外的命题逻辑原理以及与比较形容词有关的其他定理，但所用方法仍是本文介绍的基本方法。[17]研究了Hamilton三段论，这种三段论实质上是以等词作为二元谓词的关系三段论；[18]则在其关系三段论推理系统中加入了一种形如if (some (A , exist ), some (B , exist ))的蕴涵句，本文的研究并不涵盖包含上述等词和蕴涵句的关系三段论。。另外，虽然本文只讨论了二元谓词，但不难把本文介绍的方法推广应用于三元或甚至更高元谓词，并推导出[13]和[22]讨论过的涉及三元谓词的有效关系三段论，其方法如下：先对某个简单三段论格式进行适当代入，其中至少有一个代入项包含三元谓词，而包含这个三元谓词的语句实质上等于一个二元谓词。接着引入不受约束的个体变项x 和y ，把上述语句改写成包含x和y的开语句（由于三元谓词有三个论元，除了代表直接宾语的下标acc 外，还要使用代表间接宾语的下标dat ）。举例说，设Z和R分别是一元和三元谓词，那么every (Z , R )实质上是一个二元谓词，例如如果把Z和R分别理解为“男孩”和“告诉”，那么every (Z , R )便代表“告诉每名男孩”，这是一个包含两个论元（告诉者和被告诉的信息）的二元谓词。引入个体变项x和y后，便可以把这个二元谓词改写成以下开语句：

(90)x (y_acc (every (Z_dat , R )))

上式代表“x把y告诉每名男孩”。从以上讨论可见，本文前面介绍的概念和方法也适用于三元谓词，只不过由于三元谓词有三个论元，推导包含三元谓词的有效关系三段论的程序会较为繁复，而且要对前面介绍过的某些定理作适当调整。

最后，本文推导有效关系三段论的方法是基于一种贴近自然语言表层结构的形式表达式，在推导的过程中无需把表达式转化为逻辑公式或集合论公式(只有在证明定理1和定理2时才须作这种转化)，这正是当今某些形式语义学者所称的“自然逻辑”（Natural Logic）研究路向（详见[24]的说明）。本文的研究说明了利用自然逻辑的研究路向，可以发掘出自然语言中很多复杂句（这里指包含宾语或复杂主语的语句）的推理。总括而言，本文对关系三段论和自然逻辑的研究作出了一定贡献。

参考文献

[1] A.Altman,Y.Peterzil and Y.Winter,2005,“Scope dominance with upward monotone quantifiers”,Journal of Logic,Language and Information ,14(4) ：445–455.

[2] J.Barwise and R.Cooper,1981,“Generalized quantifiers and natural language”,Linguistics and Philosophy ,4(2) ：159–219.

[3] N.Ivanov and D.Vakarelov,2012,“A system of relational syllogistic incorporating full boolean reasoning”,Journal of Logic and Computation ,21(4) ：433–459.

[4] F.Johnson,1994,“Syllogismswithfractionalquantifiers”,JournalofPhilosophicalLogic ,23(4) ：401–422.

[5] E.L.Keenan,1987,“Semantic case theory”,in J.Groenendijk et al. (eds.),Proceedings of the Sixth Amsterdam Colloquium ,pp.109–132,Amsterdam：ITLI.

[6] E.L.Keenan,2002,“Some properties of natural language quantifiers：Generalized quantifier theory”,Linguistics and Philosophy ,(25) ：627–654.

[7] E.L.Keenan,2003,“Excursions in natural logic”,in C.Casadio et al. (eds.),Language and Grammar:Studies in Mathematical Linguistics and Natural Language ,pp.31–52,Stanford：CSLI Publications.

[8] G.Keene,1969,The Relational Syllogism:A Systemic Approach to Relational Logic ,Exeter：University of Exeter Press.

[9] M.Khayata,D.Pacholczyk and L.Garcia,2002,“A qualitative approach to syllogistic reasoning”,Annals of Mathematics and Artificial Intelligence ,(34) ：131–159.

[10] L.Moss,2010,“Syllogistic logics with verbs”,Journal of Logic and Computation ,20(4) ：947–967.

[11] L.Moss,2011,“Syllogistic logic with comparative adjectives”,Journal of Logic,Language and Information ,20(3) ：397–417.

[12] W.Murphree,1991,Numerically Exceptive Logic:A Reduction of the Classical Syllogism ,New York：Peter Lang Publishing Inc.

[13] W.Murphree,1998,“Numerical term logic”,Notre Dame Journal of Formal Logic ,39(3) ：346–362.

[14] R.Pagnan,2012,“A diagrammatic calculus of syllogisms”,Journal of Logic,Language and Information. 21(3) ：347–364.

[15] P.Peterson,2000,IntermediateQuantifiers:Logic,linguistics,andAristoteliansemantics ,Aldershot：Ashgate Publishing Limited.

[16] I.Pratt-Hartmann,2008,“On the computational complexity of the numerically definite syllogistic and related logics”,Bulletin of Symbolic Logic ,14(1) ：1–28.

[17] I.Pratt-Hartmann,2011,“The Hamiltonian syllogistic”,Journal of Logic,Language and Information ,20(4) ：445–474.

[18] I.Pratt-Hartmann,2013,“The relational syllogistic revisited”,Linguistic Issues in Language Technology ,9(10) ：1–35.

[19] I.Pratt-Hartmann,2013,“The syllogistic with unity”,Journal of Philosophical Logic ,42(2) ：391–407.

[20] I.Pratt-Hartmann and L.Moss,2009,“Logics for the relational syllogism”,Review of Symbolic Logic ,2(4) ：647–683.

[21] R.van Rooij,2011,“The propositional and relational syllogistic”,Logique et Analyse ,55(217) ：85–108.

[22] F.SommersandG.Englebretsen,AnInvitationtoFormalReasoning—Thelogicofterms ,Aldershot：Ashgate Publishing Ltd.

[23] P.Thom,1977,“Termini Obliqui and the logic of relations”,Archiv für Geschichte der Philosophie ,59(2) ：143–155.

[24] V.S.Valencia,1991,Studies on Natural Logic and Categorial Grammar ,PhD thesis,University of Amsterdam.

[25] 高东平，模糊量词的逻辑研究，2007年.

Relational Syllogisms with Generalized Quantifiers

Ka-fat Chow

Abstract Based on certain fundamental principles of the Generalized Quantifier Theory and Propositional Logic including the substitution method, deduction theorem, premise replacement,introduction of existential assumptions, substitution of equivalence statements,this paper introduces a method for deriving valid relational syllogisms. Under this method, not only relational syllogisms with classical quantifiers but also those with nonclassical quantifiers (such as numerical quantifiers, proportional quantifiers, vague quantifiers)can be derived. Apart from relational syllogisms with general binary predicates,this paper also discusses relational syllogisms with comparative adjectives. Finally, this paper proves the validity of the aforesaid method and discusses possible directions for further studies.

中图分类号： B81

文献标识码： A

收稿日期： 2017-04-20

作者信息： 周家发 香港理工大学中文及双语学系

kfzhouy@yahoo.com

（责任编辑：赵伟）

Ka-fat Chow Department of Chinese and Bilingual Studies,The Hong Kong Polytechnic University kfzhouy@yahoo.com

标签：关系三段论论文;  广义量词理论论文;  数值量词论文;  比例量词论文;  模糊量词论文;  香港理工大学中文及双语学系论文;