可及关系

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

可及关系

点击查看词条快照

可及关系是在可能世界之间的二元关系 "R"，它在模态逻辑的形式化/理论方面非常有用，它同样也用于知识论、形而上学和价值理论。 (命题)模态逻辑的基本概述. 为了真正理解什么是"可及关系"，需要一些对模态逻辑基础的背景解说。出于简化的目的，我们将限制于命题模态逻辑。命题模态逻辑只是带有两个关键一元算子的传统句子逻辑: formula_1 意味着 "...是必然的" 和 formula_2 表示 "...是可能的"。这些算子可以附加到一个单独的句子上来形成一个新的复合句子。对于任何(简单的或复合的)句子 A，我们可以由此形成复合句子 formula_3 和 formula_4。现在，使用 "p"、"q" "等"来表示我们语言的语句，"x"、"y" "等"来表示对象，而 P、Q "等"来表示谓词，我们可以写出几乎所有模态逻辑的六个基本公理: *formula_5 *formula_6 *formula_7 *formula_8 *formula_9 *formula_10 多数其他"公理"关注有争议而没有达成广泛一致的模态算子。下面是其中最经常使用和讨论的: (T) formula_11 (4) formula_12 (5) formula_13 (B) formula_14 这里的 "(T)"、"(4)"、"(E)" 和 "(B)" 表示这些公理(或原理)的传统名字。依据模态逻辑的传统可能世界语义，由模态算子形成的复合句子要用量化于可能世界上的方式来解释，诉诸于可及(accessibility)关系。可及关系现在可以定义为(无法解释的)关系 formula_15，它成立于可能世界 formula_16 和 formula_17 之间，只在可以从 formula_16 到达 formula_17 的情况下。在形式语义中可及关系的重要性. 设 "w*" 指示真实世界，我们还要服从可能世界语义的两个基础变换模式: 要在技术/形式层面看到可及关系的能力和用途，注意下列联系成立: 按大卫·刘易斯所说，结果是"旧争论让位于新争论。不再提问莫名其妙的问题，是否现实的东西必然是可能的，我们可以简单的提问: 关系 "R" 是对称的吗? "(刘易斯，1996)。

荃锦公路

AMD处理器列表

角平分线定理

品冠

雁行理论

歌唱祖国

最后的贵族

侠隐记

科学小飞侠

九型人格

中山堂 (台北市)

尼古洛·帕格尼尼