数学联邦政治世界观
超小超大

【语言哲学】二 (12-10)

For every x, there is a y such that (x loves y).

(对任一x,存在y,满足(x爱y)。)

这是我们表述“Everyone loves someone(每个人都爱某人)”的方式。“Some girl is loved by every boy(有一个女孩被每一个男孩爱着)”将会被表述成:

There is an x such that (x is a girl & for every y(y is a boy → y loves x)).

(存在一x,满足(x是一个女孩并且对于任一y(y是个男孩→y爱x))。)

正是这类例子解释了为什么我们要用变元来替换原先的代词——当关联到多于一个的量词时,代词会变得难以追踪,意指模糊。在变项之外,用形式逻辑符号“∀”和“∃”来替换“…对任一…”和“存在…,满足…”,也能在保持句子原意的同时令其更为清晰。

类似于“所有”“任一”“每一”“有些”“现有”“存在”等词都是自然语言中的量词的例子,还有类似“更多”、“没有一个”、“七个”、“至少两个”、“一半”等词,只要是一个或是一组能够表述数量,表述被讨论的事物或事物的种类有多少的词,都属于自然语言中的量词。通行观点认为量词不属于单称词项,也不属于类似“α is green”这样的谓词——关于什么引发了这样的观点及量词到底属于哪个范畴的问题略有争议,在第二、三、四章中会有更多的讨论。不过从我们坚持的素朴角度来看,量词,以及其他句际连接词,是语言中存在的一种指称表达,和其他类型的表达一样——尽管量词既不属于单称词项,同时从普通的谓词的层面来看,也不属于谓词。(下一章的主角弗雷格认为,量词指称的是一种高阶属性,即属性的属性。)

在单称词项和谓词层面进行概括

有时,我们会想用未经解释的单称词项与谓词来进行纯符号化的推理;换句话说,我们可能希望以令任意由二价谓词及其联结的两个单称词项的句子成立的方式来表述出“Socrates taught Plato(苏格拉底曾教过柏拉图)”。所以我们将仅用“a”“b”等字母来表示未经解释的单称词项,用“Fα”“Gα”来表示任意一价谓词,用“Rαβ”来表示任意二价谓词。由此我们可以这样:

Fa

以及

Rab

来表示原子句(后面的那个表述还有一个更具导向意味的写法,“aRb”,不过已经不流行了)。这种写法依照的是形式逻辑的标准应用,形式逻辑本身已在数学中被模型化了。

历史拾遗

要列举出每一个切实持有素朴语义学观点的人是不太可能的,这里仅介绍一部分。古代先哲,主要是希腊哲学家们,比如柏拉图(尤其是在他的对话集《克拉底鲁篇》中),亚里士多德和后来的斯多葛学派,发现了上述一部分观点。中世纪的经院哲学家们,印度的哲学家们以及十七、十八世纪出现的所谓的“现代哲学家”(比如洛克,莱布尼茨,休谟和贝克莱)们,都至少有那么一两回在预设了素朴语义学观点的情况下,去尝试处理有关语言和意义的问题。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

笑桐幻恋 连载中
笑桐幻恋
南宫婉星
作者懒癌晚期
0.3万字6个月前
黑松的changed回忆记 连载中
黑松的changed回忆记
扳尾猫黑松
黑松半虚拟心理疾病生活,也是changed穿越记现实续集
4.4万字6个月前
公主威武,夫君个个是饿狼 连载中
公主威武,夫君个个是饿狼
弓长陌琳
[情樱阁]天煞孤星命,历经千辛万苦,经历十四世,每世皆有真命天子,可惜,却从不得好死。在第十五世,十四位天命真子出现在她身边。可因是被诅咒而......
7.9万字6个月前
冥王追妻路:逆天公主小任性 连载中
冥王追妻路:逆天公主小任性
染筱语
  这个世界本就同时存在着多重空间,在一个就做地球的地方,有位少女经常做着同一个梦,突然有一天她从睡梦中醒来却发现所在的时空已经不是自己的地......
7.5万字6个月前
无限流:游戏正在进行中 连载中
无限流:游戏正在进行中
该用户已注销
[无限流]出车祸死去的时暮进入一个世界,本以为自己穿书了,谁知竟被选中成为一个名为《游戏正在进行中》的玩家。“新手游戏”当通关了一个关于一个......
4.6万字6个月前
我与天道为敌 连载中
我与天道为敌
树街黑猫
传说在这个世上,有上千上万个世界位面,每个世界位面都有不同的规则。而有一个人掌管着这些世界,此人便是天道。有一人杀了天道,只留一人,而这个人......
5.3万字6个月前