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

正如上面所提到的,图与模态逻辑的可能世界语义学有着惊人的相似性:图上的旅行是逻辑学家们立即辨认出的可能世界之间的可及关系,完全可以用模态算子(modality)来刻画。具体来说,玩家E的必胜策略通常涉及到一个迭代的全称-存在模态算子□◇,它的意思是,对于A的任何选择E都有一个相应的移动策略。形式化而言...

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

为了解释刘易斯这一回应,我们首先简短描述一下他关于模态的形而上学观点。刘易斯接受根据可能世界对模态算子进行的逻辑分析,该种逻辑分析被泛认可,依据它:这是可能的,??为真当且仅当存在一个可能世界,其中??为真。DavidKelloggLewis然而,刘易斯的分析中令人惊异的是他对上述双条件推论的理解。上面的从句...

王路:逻辑与哲学——亚里士多德和弗雷格给我们的启示

我曾多次指出,亚里士多德提出的“必然地得出”这一观念至关重要,它是逻辑的观念:正因为有了这一观念,他才可以形成他的逻辑理论,就是说,才会有围绕“S是P”所形成的逻辑理论。比如他的四谓词理论考虑了谓词与主词的换位问题,比如他的对当方阵理论探讨了AEIO四种命题的关系问题,比如他的三段论理论考虑了基于这四种...

逻辑学的演进

早在公元前3世纪,克里希波就提出了命题逻辑,后来斯多葛学派又对其进行了扩充,但由于亚氏逻辑的强势地位,使得这种逻辑并没有受到人们关注。培根之后,归纳逻辑在17世纪欧洲科学革命中起到了不可估量的作用,但它在逻辑学的地位仍饱受质疑。甚至到了18世纪,康德还在认为,亚氏之后逻辑学就再也没有什么可值得发展的了。

科学乌托邦,抑或科学精神

”他们还进一步指出：现代数理逻辑学家用数学符号取代自然语言，其“使我们直达一个论证的核心，将其非本质属性放在一边而展示出论证的本质属性。并且，使用符号，我们几乎用眼睛就可以机械地进行推理转换。”换言之，现代数理逻辑试图将所有思想活动都转换成机械的符号推演，由此还衍生出多个分支，例如模态逻辑是用于符号...

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

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

暗示上帝可能存在的10种科学理论

1.库尔特戈德尔的模态逻辑方程式哥德尔遵循同样的逻辑说,既然上帝不可能存在于任何无限多的宇宙中,那么上帝就可能存在。2013年,逻辑学家ChristopherBenzmüller和BrunoW.Paleo在计算机上运行Godel方程,发现它们是正确的。2.物理常数理论一个流行的理论说宇宙是全息图。如果是的话,那么创建模拟的高度必须是更高的。

模拟试题第六套及答案解析

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