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

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

这一节关注的是非原子句,也称分子句。当我们的讨论超出原子句范畴后,英语会开始变得复杂且晦涩。为了不让这个问题影响到我们的目标,目前,我们将使关注点限制在一个简明版本的英语上,并只采用有限的,只和句际连接词(sentence-connective)以及量词(quantifier)有关的表达手段——你可能在逻辑学课程中遇到过它们。不过因为我们不预设你已经上过此类课程了,我们对此类手段的使用会非常简单。

句际连接词

我们将经常会用到“并非”、“或”以及“且”这些表述,接下来我们会尽可能将其看成真值函项(truth-conditional),即是说,设有任意两个句子,p 和 q,有:

合取(conjunction):当p和q都为真时,“p 且 q” 为真,否则为假。

析取(disjunction):当p和q都为假时,“p 或 q”为假,否则为真。

否定(negation):当且仅当p为假时非p为真。

用英语表达“否定(Negation)”有很多种手段。简明起见,我们将利用这样一个事实,即所有的表达最终都可归为“It is not the case that(并非如此)”这一形式。由于总这么写下来手会很酸,我们就直接写成“Not(并非)”。举个例子,对“It is not case that Jupiter orbits Neptune(木星并非环绕海王星运行)”这个句子,我们简写成:

并非:木星环绕海王星运行。

更有争议的是,能否将英语中“if-then(如果..则)”这样的条件句视为真值函项。为避开此类讨论,现在我们将搁置争议,并用形式逻辑符号“→”将其替换。所以,“If Charles is fat then Andrew is fat(如果查尔斯胖则安德鲁胖)”将被写成:

Charles is fat → Andrew is fat. (查尔斯胖→安德鲁胖。)

接着,我们定义:

蕴含(Conditionality):如果p为真,并且q为假,“p → q”为假;否则为真。

因此,如果查尔斯胖,并且安德鲁胖,它们形成的条件句就为真;如果安德鲁并不(并非)胖,所形成的条件性陈述为假。如果我们将“if and only if(当且仅当)”简化为“iff”也非常有效:

双向蕴含(Biconditionality):如果“p → q”和“q→p”都为真,则“p iff q”为真;否则为假。(或:如果p和q有着相同的真值,则“p iff q”为真;否则为假。)

量词

英语中有关普遍性的描述非常复杂混乱,但是我们可以用一种方法最大程度地忽略其影响。现有一个不涉及普遍性的陈述:

If Fido is a retriever then Fido swims.(如果Fido是一条寻回犬,则Fido会游泳。)

一个如此认为的人之所以这么想,很可能是基于某个特定的普遍性背景。这种普遍性可以用多种方式表达,例如:

All retrievers swim. (所有(All)的寻回犬都会游泳。)

Any retriever swims. (任意(Any)一只寻回犬都会游泳。)

Every retriever swims.(每(Every)一只寻回犬都会游泳。)

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

相关小说

迷之世界 连载中
迷之世界
桉远惗
这是我睡觉时做的梦
0.1万字12个月前
星座:最终救赎者 连载中
星座:最终救赎者
凤落临
「持续码字中……」血雨下,末日临。天地变,危难临。异能现,守护力。人性变,心中想。世界苍生,为我独立。世界的最终会是如何是毁灭还是新生?——......
3.2万字12个月前
邪澜恋之:只等你一人 连载中
邪澜恋之:只等你一人
冬天的鸢尾花
她八岁便设下封印,封印神魂,多少人的碾压让她记在心里,十六岁那年,跳崖而亡,之后“她”又回来了,心想:你们欺负过我的,我一个也不会放过。。她......
15.1万字12个月前
魔法之王子追妻 连载中
魔法之王子追妻
漫天烟雨
封印了千年的魔王就要冲破封印,身有隐疾的王子殿下奉命寻找可以重新封印魔王的天命人。他和女主在寻找天命人的路上历经磨难,最后修成正果的故事!至......
15.3万字12个月前
重生之修仙路漫漫 连载中
重生之修仙路漫漫
旧浅夏
(2020年2月24日)凤凝馨前世被自己最相信的师姐和最爱的师傅害了,重来之日拜入师叔门下,带着师叔一起灭渣男,除恶女。(本文原创,以签约,......
9.6万字12个月前
回头时见你 连载中
回头时见你
早起的虫儿把鸟吃
Ⅱ“什么?蛊虫要论只卖?为什么不能论斤卖?”“???我的大小姐?!什么东西论斤卖?!”Ⅱ“哥!我是穿越过来的!真的!你帮帮我回去!”“???......
17.1万字12个月前