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

推理和预测在科学发展中都非常重要,尤其是逻辑推理,从古希腊的亚里士多德、盖伦,经历布尔、弗雷格,一直到希尔伯特,逻辑学的公理化方法和相关的元逻辑研究影响了许多学科,大多学科都有了广泛的公理化应用,使得人们相信依据基本概念和基本原则,再依靠推理,我们能够推出未知的真理。然而,随着Godel不完备定理等结果的出现,人...

今天是世界逻辑日|张建军:极简逻辑史话

同时,经院哲学家十分重视逻辑学研究,他们不仅进一步完善了以直言三段论为核心的亚里士多德型词项逻辑理论,在亚里士多德工作的基础上进一步探讨了模态推理,而且又重新建构了当时已失传的命题逻辑理论,并做了很大的拓广性研究,从而构成了西方演绎逻辑学发展史上的第二大高峰期。亚里士多德型词项逻辑与模态逻辑理论、传统命题...

达米特论逻辑与元逻辑的关系

摘要:威廉姆森反驳了达米特的观点,即为了有助于逻辑原则的支持者和反对者相互理解,语义理论应该尽可能使对象语言的逻辑对元语言的逻辑不敏感。文章首先概述了谐音语义理论的一般优点。然后以模态逻辑为例,特别讨论了关于模态命题逻辑的布劳威尔公式(B)和量化模态逻辑的巴坎公式的争议。可能世界框架内的模态逻辑语义理论...

可设想性是否蕴含可能性?

内容提要:模态知识论的核心问题是“如何得知反事实命题和不确定性命题的可能性,以及得知非逻辑且非数学类知识的必然性”。本文主要考察后克里普克时代可设想性方案的研究进展,通过对模态怀疑主义、弱模态理性主义以及模态还原主义的理论剖析,重新阐释人类设想行为的约束条件,并对模态的多样性进行简单刻画。关键词:模态知...

时态逻辑:时间推理的正式表示和应用领域。

描述逻辑本质上是模态逻辑的变体。涉及概念和角色,并被用来描述各种本体和其中的概念之间的关系。描述逻辑可以以各种方式被时间化。时间推理可以很自然地与各种非经典逻辑系统结合起来,产生了多值时间逻辑、直觉性时间逻辑、构造性和准一致性时间逻辑、概率性时间逻辑。

GCT-ME逻辑模拟试题第六套及答案解析

题干涉及到模态命题,在模态逻辑中,“不可能p”等同于“必然非p”,因此,“不可能所有的花都结果”等同于“必然并非(所有的花都结果)”;根据直言命题的对当关系,“并非所有S都是P”等同于“有的S不是P”,因此,“并非所有的花都结果”等同于“有的花不结果”;这样,“不可能所有的花都结果”就等同于“必然有的...

评述讨论 | 荣立武 苏庆辉 梁飞 马明辉

在我看来,作为样型的逻辑就是金岳霖的“式”或逻辑必然性;而作为凭借的逻辑系统指的是经典逻辑、直觉主义逻辑等呈现逻辑必然性的不同方式。样型与凭借解释了空架子的论理(即逻辑)与逻辑系统之间的关系,但我更关注的是,金岳霖在承认先秦诸子思想中有实架子的论理后,缘何对其是否包含空架子的论理提出疑问。

对上述评论的回应——哲学需要逻辑 | 刘新文

不同逻辑系统之间的翻译所翻译的是系统中的命题,命题中作为对象的成分是命题作为表示的工具所表示的“必然”,这是翻译的根据。现代模态逻辑对应理论中的“标准翻译”概念有助于加深我们这里的理解。根据于对象的翻译就是从逻辑的“义”方面来进行的,因此逻辑系统之间都可以翻译;既然如此,逻辑系统之间是否相融就不能...

韦洁|论霍菲尔德权利分析理论与道义逻辑在人工智能司法中的应用

霍菲尔德并没有给出(广义)义务的四个细分概念的定义,而是转向运用逻辑的方法,从基本概念的逻辑关系的角度去解释这些概念。逻辑方法着眼于概念(命题)之间的必然性关系,有助于克服语言学方法的局限,使基本法律概念理论从偶然的经验总结升华为必然的逻辑推导。因此,在这些基本法律概念中,对任何一个术语进行逻辑分析都将有...

爱摄影,更爱真理!他回到北大教逻辑!

相反,王彦晶研究的很多问题都在更深层次上指向生活深处。如果说生活看上去仿佛一系列模糊而纷杂的经验构成的偶然,那么逻辑学则可以抽绎其中在概念层面的某种必然性。生活的核心与世界的概念结构,其实具有高度规律性;许多千奇百怪的问题,在统计上其更是呈现出惊人的相似性。王彦晶说:“这也是我们做学术研究的意义,从...