欢迎访问贝博app代言艾弗森网站!

贝博app代言艾弗森:学术活动

所在位置: 首页 » 学术活动

贝博app代言艾弗森:讲座回顾——【睿翼讲堂】王路:量词与本体论承诺

发布时间:2022-11-20

贝博app代言艾弗森

2022年11月15日上午,贝博app代言艾弗森“睿翼讲堂”通过腾讯会议线上举行了主题为“量词与本体论承诺”的报告,郑州大学哲学学院特聘首席教授、清华大学人文学院哲学系王路教授担任主讲嘉宾,贝博app代言艾弗森叶闯教授点评,郭建萍教授主持。

5e1ea39da9b549b7be2d308baf44e91e.png

王路教授的报告分为四个部分:导论(对量词的简单介绍)、逻辑与量词(为什么谈量词要谈逻辑以及弗雷格在这方面的贡献)、奎因的本体论承诺(逻辑在哲学中的应用)、普遍性(量词的实质是什么)。这四个部分并非孤立存在,而是相互联系阐述哲学与逻辑之间的关系。

第一,导论。王路教授列举了一些简单的自然语言例子:“英雄爱骏马”“有些英雄爱骏马”“所有英雄爱骏马”,王路教授用这些例子说明:语言之中有些语词是与句子的真假相关的,这些能够说明语句真假的词就是量词。量词就是语言当中一部分好像是与数量相关的词,但实际上它是与真假相关的,不过在语言当中我们是难以认识到的,需要通过逻辑来揭示。认识到量词的作用其实是逻辑学家做出来的。

第二,逻辑与量词。王路教授首先从传统逻辑的基本句式(A、E、I、O)出发,指出逻辑是一种量词理论,与量词相关。紧接着,用由A类命题构成的三段论例子来表明传统逻辑中量词的特点是与自然语言融为一体的(与自然语言的句式对应);传统逻辑是类逻辑:没有关于个体的表述。然后,又用例子:“英雄爱骏马(所有S是P)”“英雄(S)是爱骏马的(P)”来解释传统逻辑句式当中所具有的局限性:“S是P”的基本句式吞掉了对关系的表达方式。而现代逻辑的基本句式Fx是一个函数结构,

                                                                                Fa

?x Fx(任一x,x是F)

?x Fx(有一x,x是F)

这类句子以现代逻辑函数结构避免了逻辑形式和自然语言形式直接的字面对应,且可以表达关系,如:Rab,一阶逻辑也称为量词理论,因为量词直接影响到句子的真值。

第三,奎因的本体论承诺。在这一部分王路教授阐述了奎因基于量词对本体论承诺的分析。贯穿哲学史始终的“共相(universal)”和“殊相(particular)”就涉及到逻辑中的量词。王路教授从奎因“是乃是变元的值(To be is to be a(the) value of a variable)”