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

【语言哲学】二 (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.0万字4周前
信笛 连载中
信笛
雨落皖
我不喜欢被别人掌握命运的感觉,我想变强,我想比别人更强…
7.4万字4周前
冲破束缚,归来你旁 连载中
冲破束缚,归来你旁
棠梨_19089930465023690
这是个由血族,人类和银月族组成的世界,血族人多强大靠人类的鲜血为生,银月族是被赋予神术的人类,拥有强大的法力,但人口稀少。而血族想要称霸世界......
0.9万字4周前
11号公寓:真相(修文中……) 连载中
11号公寓:真相(修文中……)
卡布叻_晚念
俩个版本的续写(故事续写/杀手团)故事续写:11号公寓:真相【已完结】杀手故事:11号杀手团【已完结】————————————————11号......
7.0万字4周前
幻影忍者之疯狂的火焰 连载中
幻影忍者之疯狂的火焰
爱吃刀子的鱼
无限刀子文哦~简称就是奥利奥里面夹着刀片!劳凯!对,没错,就是劳凯!有时候是凯劳就是写着写着玩的诶,我就是喜欢看反派文,嘿嘿————————......
0.9万字4周前
师尊是那白月光 连载中
师尊是那白月光
妖凝月
水中镜白月光,波涌梦碎!是缘尽时孽起还是孽落时缘生……究竟谁才是谁的救赎?请敬请观看玄幻修仙小说《师尊是那白月光》本文纯属虚勾若有不适深感抱......
16.1万字4周前