维特根斯坦的反本质主义哲学思想_澎湃号·湃客_澎湃新闻-The Paper

我国学者张家龙从模态哲学的角度对维特根斯坦的反本质主义进行了详细的评论。他认为维特根斯坦所反对的只是亚里士多德的本质主义,"维特根斯坦由于时代的局限,因而不了解模态逻辑特别是可能世界语义学。但是,如果在本质问题上,离开可能世界的参考系去分析事物的本质,那么这种本质主义是亚里士多德的本质主义,是绝对的本...

为什么我们必须反对哲学学术圈|认识论|逻辑学|哲学家|哲学史|形而...

最后,在20世纪00年代和现在的10年代,心灵哲学逐渐从核心学科中消失,沦为边缘学科,然后,又一次神秘地在核心学科中被模态形而上学(又名“分析形而上学”)取代,与逻辑学和认识论并驾齐驱--后者开始在认知/精神表征和内容理论的名义下逐渐吸收心灵哲学,而这一切都一如既往地受到自然科学及其方法的驱动。...

“AI发展现状反思”笔谈|预测方法对AI的限制

逻辑推理在给定前提下得到确定的结论天然地被用来建立可信的世界模型,模态逻辑尤其擅长约束性规则。但从近70年的AI发展看,推理在方法上应对不了一般原则向复杂具体应用的映射,至少可从今日NLP中的机器翻译中主要以词之间的距离分类、聚类取得成功而不是以语法原则取得成功窥见一斑,原则与应用之间存在的不只是距离遥远,...

视域| 量子科技带来新冲突,亟待与哲学反思的交叉融合

在算力和算法不变的前提下,状态爆炸等问题严重降低量子计算在算力与算法上的优越性,代数语义学、模态逻辑呈现出不能完全适应量子科技发展需要的趋势。如何获得更简洁的书写形式,表征丰富的语义指称,提高对量子现实的解释、抓握与刻画能力,成为物理学家、逻辑学家与哲学家共同关心的关键任务。全新的交叉研究,有助于为量...

逻辑学专业培养目标和发展方向

该专业对数学、政治等科目要求较高,适合具有严谨的逻辑思想、对计算机科学和哲学有兴趣的学生就读。考研方向包括逻辑学、中国哲学、外国哲学、法律(非法学)等。在课程设置方面,主要课程包括数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、程序语...

休谟归纳问题:一个新模态逻辑语义解

关键词:休谟/因果关系/归纳推理/矛盾的理论/模态逻辑/摘要:休谟对科学中因果关系的必然性的疑难,引来了众多对归纳问题的解决方法(www.e993.com)2024年11月18日。本文指出,休谟的疑难,涉及到经验命题的必然真应如何表达的问题。由于归纳推理有成立和不成立的两种可能性,因此必须寻找两种相互矛盾的理论,应用可能世界的模态逻辑,具体处理因果关系...

图博弈的设计与模态逻辑的发展

摘要:图博弈是一种主体间互动的场景,可以使用模态逻辑的语言描述。模态词用来描述博弈玩家的行为,博弈的均衡和玩家的必胜策略则通常用模态逻辑的公式刻画,这些公式具有特定的模式。取决于博弈目标的设定、对玩家互动机制的设计,图博弈有着各种不同的版本。与之对应,模态逻辑的语言不断发展和扩展,新的逻辑系统也呈现不...

考研逻辑学专业容易上岸的大学怎么选择

**1.知识面广泛**:逻辑学涉及的知识面非常广泛,包括形式逻辑、哲学逻辑、模态逻辑等多个分支,考生需要掌握各种逻辑规则和推理方法。**2.抽象性强**:逻辑学中的概念和理论往往具有较强的抽象性,需要考生具备较强的逻辑思维能力,能够理解和运用抽象概念。

图灵奖得主、模型检测之父 Allen Emerson 去世,享年 70 岁

他对时序逻辑和模态逻辑的贡献,包括引入计算树逻辑(CTL)及其扩展CTL*,这些技术被用于并发系统的验证。此外,他还与其他研究者一起开发了符号模型检测,用于解决许多模型检测算法中出现的组合爆炸问题,因此获得了广泛认可。生平AllenEmerson出生于美国得克萨斯州达拉斯,从小便对科学、数学话题非常感兴趣。

模态实在论及其在数学实在论中的根源

模态实在论的基本观点是,除了我们所在的这个世界,还存在着其他可能世界。相信可能世界存在的人被称为模态实在论者。由于大多数非哲学家认为这种主张存在其他可能世界的学说过于离奇,因而人们会奇怪是什么说服当今那些知名哲学家成为模态实在论者。让学者接受这一形而上学观点之为可能的原因之一,是模态逻辑在20世纪的发展...