首页 >
可能世界
✍ dations ◷ 2025-06-06 16:06:46 #可能世界
可能世界(英语:Possible world)的概念被用来在哲学和逻辑中,表达模态断言。在哲学中,术语“模态”覆盖了如“可能性”“必然性”“偶然性”这类观念。谈论可能世界在当代哲学讨论中是非常普遍的(特别是在英语世界中),尽管有着巨大的争议。那些使用可能世界概念的人认为“实际”世界是很多可能世界中的一个。对于世界可以是的每个不同方式,都被称为一个独特的可能世界;实际世界是我们事实上住在的世界。命题的模态状态被按照“在其中它为真的世界”的方式来理解;所以:可能世界的想法最普遍的归功于莱布尼兹,他称可能世界为神头脑中的想法,并使用这个观念来争辩说,我们实际上的神造的世界一定是“所有可能世界中最好的”。但是,学者也曾在卢克莱修、伊本·鲁世德和邓斯·司各脱的著作中找到了这种想法的踪迹。这个观念的现代哲学使用的先驱是索尔·阿伦·克里普克。从可能世界语义推导出来的系统性的理论在1950年代由索尔·阿伦·克里普克和他的同事首次介入。以类似于我们前面提议的方式处置事物,可能世界被用来为关于可能性和必然性的断言提供语义:在模态逻辑中,“可能的”称述被称为在“至少一个”可能世界中为真;而“必然的”陈述被称为在“所有的”可能世界中都为真,“真”陈述至少在“这个”世界中为真(在“实际”世界中)。(所以通过这些定义,所有必然性陈述都可以当作可能性陈述,当然也是真陈述。)可能世界语义经常用做克里普克语义的同义语,但这普遍的被认为是一个错误:克里普克语义可以用来分析除了真势模态之外的模态,并且克里普克语义不假定模态现实主义,它或许是可能世界的语言所预示的。以此作为根基,“可能世界”成为很多哲学开发的中心部分,从1960年代至今–包括依据大卫·刘易斯和罗伯特·斯托奈克(英语:Robert Stalnaker)开发最著名的反事实条件分析,它依据的是“邻近的可能世界”。在这个分析中,当我们讨论“如果”某些条件在场“就会”发生什么的时候,我们的断言的真实性由在具备这些条件的最邻近的可能世界(或最邻近的可能世界的“集合”)中什么是真的来决定。(可能世界W1被称为在R方面邻近于另一个可能世界W2,在达到W1和W2在R方面发生同样的事情的程度上;两个可能世界在特定方面上发生的事情差异越“大”,它们相互之间在这个方面就越“远”。)使用早先给出的反事实的例子,“如果乔治布什没有在2001年成为美国总统,戈尔就会成为美国总统”,表达了一个断言的这个句子可以被重新公式化为如下:“在最邻近(在有关方面最邻近)于我们实际世界的所有可能世界中,那里乔治布什2001年没有成为美国总统,而是戈尔成为了美国总统”。在关于这个句子的这种解释上,如果有最邻近(在有关方面最邻近)于真实世界的某些世界,这里乔治布什和戈尔都没有成为美国总统,则这个反事实所表达的断言是假的。
相关
- 细胞激素细胞因子(英语:cytokine,又称细胞介素、细胞激素、细胞素、细胞活素),是一组蛋白质及多肽,在生物中用作信号蛋白。这些类似激素或神经递质的蛋白用作细胞间沟通的信号。细胞因子多
- 咪达唑仑咪达唑仑(英语:Midazolam、Dormicum、Hypnovel、Versed),又称“速眠安”常见以Versed为商品名贩售,主要用为治疗急性发作、中度至重度的失眠,及进行医疗程序前之导引镇静及失忆的
- 荷兰é¢ç§¯æµ·å°”å¾·å…°çœ(仅陆地é¢ç§¯)以下资讯是以2019年估计国家领袖国å†
- ICD-9编码列表 (580–629)医学导航:泌尿系统解剖/生理/发育/细胞病理/酸碱/先天/肿瘤、症状/齐名、尿液手术/注射、药物(G4B)、血检、尿检
- 循环性情感症循环性情感症(Cyclothymia)是情感障碍之一、躁郁症的一种形式。在极性病谱中有定义此症。具体而言,此疾患属于较轻微形式的第二型双极性疾患,伴随着时常在欢欣鼓舞与低落沮丧之
- 州长议长:南希·裴洛西(民主党) 多数党领袖(英语:Party leaders of the United States House of Representatives):斯坦利·霍耶(民主党) 少数党领袖(英语:Party leaders of the United Sta
- 蔬菜蔬菜,是指可以做菜、烹饪成为食品的,除了谷物以外的其他植物(多属于草本)生活中所指的的蔬菜,常和“水果”分开讨论。不过也常和水果合称为“蔬果”。另外,和“野菜”不同的地方,在
- 盎格鲁人盎格鲁人(英语:Angles)是一个现代英语的词语,此称呼来自日耳曼民族对自己祖先地——德国石勒苏益格盎格恩(英语:Angeln)。
- 蹲厕蹲厕是厕所的一种。用者需要蹲下使用。另一种厕所为坐下使用的坐厕。蹲厕在某些地区并不常见。西方某些国家(例如如英国和美国)接近完全没有蹲厕,但在某些地方(如中国大陆、台湾
- 一阶逻辑一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统。过去一百多年,一阶逻辑出现过许多种名称,包括:一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑