首页 » 本科生学习的标准经典一阶逻辑中很容

本科生学习的标准经典一阶逻辑中很容

 

这句话在易形式化,并且是一个逻辑真理。因此,“Nothing nothings”不仅在这种解读下为真,而且仅从逻辑上来说也为真。

谓词解读中的“是”部分稍微复杂一些。如果我们结合上面(1)和(4)所示的方法,可以得到以下内容:

(6) 不存在一个对象x,使得x不具有任何持有该对象的属性。

由于它涉及对属性的概括,而不仅仅是对对象的概括,因此形式化该陈述需要所谓的二阶量化。二阶量化的逻辑地 美国电话号码列表 位是一个哲学争论的问题。然而,那些接受二阶量化为合理且合乎逻辑的逻辑学家几乎一致认为句子 (6) 是逻辑真理,即使那些认为二阶量化不符合逻辑的人通常也认为 (6) 为真(甚至可能必然为真)。

因此,海德格尔的主张似乎直截了当(至少,就这些理解方式而言,正如我在一开始所指出的,这可能并非海德格尔本人的理解方式)。但如果我们稍微修改一下这个陈述,插入“可能”一词,结果会怎样呢?

(7)没什么可能。

在谓语解读的“是”上,它变成:

(8)不存在一个对象x ,使得x可能不具有任何持有该对象的属性。

换句话说,“无可能无”,就谓词解读的“是”而言,等于断言每个存在的对象不仅具有一些属性,而且必然具有其他属性(即不可能没有属性)。这个断言略显晦涩,但大多数研究包含二阶量化和模态概念(例如“必然性”、“可能性”和“不可能性”)的系统的逻辑学家都接受了这个断言。

然而,真正有趣的是“无事可能无事”身份解读中的“是”。按照这种解读,“无事可能无事”变成了这样:

(9) 存在一个对象x,使得x可能不存在,这并不是事实。

这相当于稍微不那么麻烦的:

(10)一切实际存在的事物,必然存在。

这句话表达了一种被称为必然论的形而上学观点:即认为所有存在的事物都必然存在。根据必然论,你、那把椅子或这篇博文不可能不存在(也就是说,世界不可能变成你、那把椅子或这篇博文不存在的样子)。

蒂莫西·威廉姆森(Timothy Williamson)最近在《作为形而上学的本科生学习的 模态逻辑》一书中为 如果某个职位没有专业标准 必然性论进行了辩护。虽然他对必然性论的辩护精妙且引人入胜,但其观点却极其违反直觉,因此在形而上学和逻辑哲学领域仍然是一个备受争议的话题。简而言之,尽管“无无无” 马来西亚号码 至少根据上述解读似乎毫无争议地为真,但“无无可能无”是否为真仍然是哲学研究中一个令人兴奋的悬而未决的问题。

图片来源:爱德华·蒙克的《呐喊》。通过 WikiArt公开。

滚动至顶部