取决于“是”这个词的意思是什么

2020-08-08 21:25:36

句子的问题在于,人们通常不清楚它们的意思。“圣特里安是一所漂亮的小女子学校”是指一所漂亮的小女孩学校,还是一所相当小的学校,还是一所漂亮又矮小的女孩的学校?

这些“小”女孩是年轻的,还是中等身材的?“学校”是一座建筑,是一个共同移动的群体(如鱼),还是一个智力谱系?

我们希望我们的信仰是真实的,但如果我们甚至不知道它们是什么意思,我们就有麻烦了。一句话在某种意义上可能是真的,在其他意义上可能是假的,第三句话可能是没有意义的。如果你相信“圣特里安是一所漂亮的女子学校”,你会相信什么?

句子的意思取决于其各部分的意思。逻辑传统试图找到从词义中提取句子意义的固定方案。不幸的是,这是不可能的。

在“茄子是水果”中,意思可能是所有的茄子都是水果。在“狗是萨摩亚人”中,可能意思是说有些狗是萨摩亚人。根据我们对这些主题的背景理解,我们可以合理地假设这些含义。这一知识在句子中没有出现。意思取决于它的部分-但不仅仅是它们。

这个问题很普遍。语言学家将句子模棱两可的多种不同方式进行了分类。通过分析,几乎任何句子都可以有多种含义。

理性主义的诊断是自然语言--英语、汉语、泰米尔语--被无可救药地打破了。他们不能充分表达真实的信仰。要理性,我们至少要知道我们在说什么。现代理性主义对传统逻辑的第一次重大改进就是用数学公式取代了自然语言句子。

让我们从“茄子是水果”和“狗是萨摩亚人”开始。迫在眉睫的问题是,没有人能解释像“the”和“is”这样的词是什么意思。它们给逻辑学家带来了几千年的麻烦,直到Gottlob Frege禁止了它们。

弗雷格1879年发明的现代形式逻辑修复了传统亚里士多德逻辑中的几个突出缺陷:

他抛弃了自然语言,转而采用具有组合语义的形式系统:公式的含义可以从其各部分的含义中毫不含糊地推导出来。它不可能是无意义的,它不能有不止一种解释。3这消除了句法歧义的所有问题,例如小女校是为小女孩开设的,还是小学校本身就是小的。

弗雷格能够严格地将演绎与直觉分开,并拒绝后者。在以前的理性主义体系中,两者之间的区别有些模糊。

他通过引入一种名为“嵌套量词”的新工具,解决了几个长期存在的技术问题,在这些问题中,亚里士多德逻辑给出了完全错误的答案。

符号∀的意思是“为了所有人”,而⇒的意思是“暗示”。所以第一个公式是这样的:“让我们随便举一个例子,称它为‘x’-如果那个东西(名为‘x’)是一种茄子,它就意味着它(‘x’)也是一种水果。”这就是“茄子是水果”应该是什么意思。

符号∃的意思是“有一些”,∧的意思是“和”。所以第二个公式是这样的:“有一种东西,叫它‘x’,它是一只狗,是一只萨摩亚人。”这抓住了这样一个事实,在这种情况下,我们谈论的是一条狗,而不是一般的狗。

∃是存在量词,因为它说有东西存在。然而,这个公式并不完全正确,因为它是“狗是萨摩亚人”的翻译。这句话的意思是关于狗-这只特殊的狗,它的身份应该在上下文中清楚。逻辑公式只断言在某个地方有一只狗,那就是一只萨摩亚狗。

断章取义的“狗”的意思必然是不确定的:它指的是哪只狗取决于具体情况。

如果你的狗在国家狗登记处,它会有一个身份证号码,比如1514670。然后我们就可以毫不含糊地写下。

英文是:“狗#1514670是一只狗,狗#1514670是一只萨摩亚人。”

但是,如果你看到一只狗,它显然是一只萨摩亚人,但你不知道它的注册号怎么办?那你相信什么呢?

这个看似微不足道的问题掌握着一把通向元理性的钥匙!我们将在茄子节目中反复回到这一点。

从元理性的角度来看,信念和推理几乎总是依赖于上下文的。没有办法“固定”“狗是萨摩亚人”的信念来消除“the”的上下文依赖性。

在第二部分中,我们将详细了解上下文依赖是如何合理工作的。在第三部分中,我们将看到理性如何部分消除上下文依赖,以推广理解。然而,这一举动将理性与具体的现实分开。理性必须依靠理性来弥合鸿沟。

在第四部分和第五部分中,我们将看到元理性如何选择性地将理性和理性结合起来,使两者都能更好地发挥作用。

1.这个例子起源于人工人类语言Loglan的语法指南,它使谓词演算(形式逻辑)可说,以消除歧义。

2.在弹劾程序中,克林顿总统解释说,他早先关于他没有与莫妮卡·莱温斯基发生性关系的证词不是伪证,因为“这取决于‘是’这个词的意思是什么。如果--如果他--如果“是”的意思是“是”,而且从来就不是,那就不是--那是一回事。如果这意味着什么都没有,那就是完全正确的说法。“。弹劾条款宣布,“克林顿总统犯下了C.S.刘易斯所说的‘冗长杀人罪’,谋杀了通俗易懂的词语。他试图援引字面上的真理辩护,但在合理性检验下失败了.“。我们将在本书稍后讨论“字面上的真实”和“合理”。

3.我在这里略读一下例外情况。组合性试图保证一个逻辑公式不会比它的各个部分更含糊或更没有意义。正如我们将看到的,它的各个部分本身可能是模棱两可或毫无意义的。而且,事实证明,自我参照可以使公式变得毫无意义,即使它的所有部分都表现良好。