因而,对于接受经典集合论和基于可能世界语义学的正规模态逻辑而无法接受这一宿命论结论的认知共同体而言,这无疑构成了一个货真价实的“正规模态集合论悖论”(The Paradox of Normal Modal Set Theory,以下简称“P-nmst”)。 从模态集合论的建构与发展历程上可以看到,在菲奇的系统建构工作之前,马库斯即已基于对同一...
这些系统之所以是正规的，是因为它们符合了一条非常直观的关于模态的观点（该观点的核心来自于莱布尼兹，由...
一、正规模态逻辑的定义 正规模态逻辑是一种表达“必须”（necessity）和“可能”（possibility）关系的逻辑体系，它扩展了基础命题逻辑。在正规模态逻辑中，我们会引入世界（world）和可达关系（accessibility relation）这两个概念。世界代表可能的世界状态，可达关系代表各个世界之间的关系。设$\mathcal{W}$为所有可能的...
正规模态集合论悖论及相关问题正视自己,才能有所成就 时下,有不少人总是把自己的人生失败,归咎于出身的卑微,抱怨自己没有一个好的家庭背景,没有过硬的社会关系等等。乍一听,这似乎有些道理。可是,事情真的如此吗?我们来看看这样一个故事。 第十六任美国总统林肯出生于一个鞋匠家庭,在竞选总统前夕,林肯在参议院...
1正规模态命题逻辑系统完全性证明理论的概念及其发展1.1正规模态命题逻辑系统完全性证明理论的概念正规系统[2]49是模态逻辑中最受重视、具有非任意规定性的一类系统,是正规模态逻辑的形式公理化系统。如K是最小的正规系统,是指系统PC含有定理K(L(p⊃q)⊃(Lp⊃Lq))和N规则(必然化规则)的扩张,也可以等价地...
与“正规模态系统”相对。例如，模态命题逻辑系统Si、S2和S3都是非正规模态系统。正规世界是模态逻辑用语。在模态逻辑的可能世界语义模型中，如果一个世界w，满足白返性的要求，即有wiRw1成立，那么称wi为一个正规世界。在正规模态命题逻辑系统T、S4、B和Ss的可能世界语义模型中，每一个世界都是正规世界。
从而说明了 AO/NAM 可能是半球尺度上纬向对称正规模态的动力学行为的反映。关键词:北极涛动,北半球环状模,纬向对称正规模态,气候变率。1 引 言近年来,北极涛动(AO )或北半球环状模态( NAM )作为一种在北半球尺度上的具有纬向对称结构的大气环流变率的首要模态吸引着众多研究者的注意 [1～4] 。这一模态...
2) normalized mode 正规模式3) non-normal modal logic 非正规模态逻辑4) Quasinormal modes 似正规模 1. Quasinormal modes of black holes have been one of the main topics of relativistic astrophysics for the last few decades. 黑洞的似正规模在过去的几十年里已经成为相对论天体物理学研究的主题...
《正规多模态逻辑研究》是2024年科学出版社出版的图书，作者是赵贤。内容简介 模态逻辑是现代逻辑研究的重要领域，多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统，且算子之间不可规约，它是模态逻辑的重要组成部分。该书以模态交互作用公理为视角，构建了多模态逻辑一般系统...