关系语义和模态逻辑

快捷方式: 差异，相似，杰卡德相似系数，参考。

关系语义和模态逻辑之间的区别

关系语义 vs. 模态逻辑

Kripke 语义(也叫做关系语义或框架语义，并经常混淆于可能世界语义)是模态逻辑系统的形式语义，于 1950 年代晚期和 1960 年代早期由索尔·阿伦·克里普克建立。它后来为另一个非经典逻辑，最重要的直觉逻辑所接受。Kripke 语义的发现是非经典逻辑开发中重大突破，因为这种逻辑的模型论在 Kripke 之前实际上是不存在的。. 模态逻辑，或者叫（不很常见）内涵逻辑，是处理用模态如“可能”、“或许”、“可以”、“一定”、“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征：复杂公式的真值不能由子公式的真值来决定的。允许这种决定性的逻辑是“外延性的”，经典逻辑就是外延性的例子。模态算子不能使用外延语义来形式化：“乔治·布什是美国总统”和“2+2.

可及关系

可及关系是在可能世界之间的二元关系 R，它在模态逻辑的形式化/理论方面非常有用，它同样也用于知识论、形而上学和价值理论。.

关系语义和可及关系 · 可及关系和模态逻辑 · 查看更多 »

可能世界

可能世界的概念被用来在哲学和逻辑中，表达模态断言。在哲学中，术语“模态”覆盖了如“可能性”、“必然性”和“偶然性”这种观念。谈论可能世界在当代哲学讨论中是非常普遍的（特别是在英语世界中），尽管有着巨大的争议。.

关系语义和可能世界 · 可能世界和模态逻辑 · 查看更多 »

索尔·阿伦·克里普克

索尔·阿伦·克里普克（Saul Aaron Kripke，），美国逻辑学家，哲学家。模态逻辑语义学的创始人之一，因果—历史指称论的首倡者之一。.

关系语义和索尔·阿伦·克里普克 · 模态逻辑和索尔·阿伦·克里普克 · 查看更多 »

阿尔弗雷德·塔斯基

阿尔弗雷德·塔斯基（Alfred Tarski，），美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”Feferman, A. B., and Solomon Feferman, 2004.

关系语义和阿尔弗雷德·塔斯基 · 模态逻辑和阿尔弗雷德·塔斯基 · 查看更多 »

逻辑运算符

在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。.

关系语义和逻辑运算符 · 模态逻辑和逻辑运算符 · 查看更多 »

正规模态逻辑

在逻辑中，正规模态逻辑是模态公式的集合 L，L 包含.

关系语义和正规模态逻辑 · 模态逻辑和正规模态逻辑 · 查看更多 »