相干逻辑

✍ dations ◷ 2025-10-29 06:20:15 #相干逻辑

相干逻辑，也叫做相关逻辑，是一类非经典亚结构逻辑，它在蕴涵上施加了特定限制。（一般但不完全的，澳大利亚逻辑学家称之为relevant logic，其他说英语的逻辑学家称之为relevance logic）。相干逻辑致力于捕获蕴含在经典真值泛函逻辑中被“实质蕴涵”算子所忽略的那些方面。这个想法不是新的：它导致C. I. Lewis发明模态逻辑，特别是严格蕴涵，依据是在经典逻辑中谬误蕴涵任何命题是成立的。因此"如果我是教皇，则2+2=5"是真的。但是很明显即使你是教皇，2+2也不能是5（参见反事实）。所以蕴涵关系应该是必然性的。甚至在除去了实质蕴涵悖论之后还有另一个问题。Anderson和Belnap（见后）枚举了一些“严格蕴涵悖论”：例如，矛盾仍蕴涵任何事物，任何事物都蕴涵重言式。反直觉的蕴涵－在我们使用这个术语的时候－需要在前提和结论之间有某种在主旨上的联系。在相干逻辑中的本质新颖是以有效的论证的前提必须有关于结论。在命题演算中，这包括了要求前提和结论共享原子句子；和特定的真值泛函规则，比如增加律（对于任何q的从p到p或q的推论）是受限的，这样"无关"信息不能带入。在谓词演算中，相关性要求在前提和结论之间共享变量和常量。标准的证明论（比如Fitch式的自然演绎）适合提供相关性，通过在每行推导的末端介入指示“相关”前提的标记。根岑式的演算可以为此做出修改，就是除去允许在相继式右手端的介入任意公式的弱化规则。相干蕴涵的基本想法出现在中世纪逻辑中，Ackermann在1950年代做了一些先驱工作。在他的工作之上，Nuel Belnap和Alan Ross Anderson（和其他人）在1970年代写了这个主题的“代表作”：《Entailment: The Logic of Relevance and Necessity》。相干逻辑的显著特征是它们是次协调逻辑：矛盾的存在不会导致逻辑爆炸。

相关

格哈德·多马克格哈德·多马克（Gerhard Johannes Paul Domagk，1895年10月30日－1964年4月24日）是一位德国病理学家与细菌学家。出生于德国勃兰登堡邦。多马克由于发现了能有效对抗细菌感染的药
显微镜下多血管炎显微镜下多血管炎(Microscopic polyangiitis、也称为"微观多动脉炎"(Microscopic polyarteritis)，"微观多动脉炎结节(Microscopic polyarteritis nodosa)，MPA)是一个不明确的
番红番红(也称作番红O或基本红2)是个用在组织学和细胞学的生物染色剂。番红在一些染色实验计划表中用作复染剂，将所有的细胞核染成红色。这在革兰氏染色和内孢子染色都是典型的复
国防情报局国防情报局（英语：Defense Intelligence Agency，缩写：DIA）为美国国防部辖下主要对外军事情报组织。是美国情报体系的机构之一。
脑膜脑膜（拉丁语：meninges /məˈnɪndʒiːz/，单数：meninx /ˈmɛnɪŋks/）是包裹大脑和脊髓的三层保护薄膜。在哺乳动物身上，脑膜指的是硬脑膜（英语：dura mater）、蛛网膜（英语：arachnoid
器官衰竭多重器官衰竭（英语：Multiple organ failure）或称多器官功能障碍综合征（英语：Multiple organ dysfunction syndrome、MODS）、多系统器官衰竭（英语：Multiple-system organ failure）、多
扁桃体扁桃腺，又称扁桃体，是人和两栖类以上动物，鼻后孔的顶壁或咽与口腔、鼻腔交界处粘膜下淋巴组织所集成的团块的通称，因为外形像扁桃一样而得名。一般所说的扁桃腺是指肉眼可见的颚
体内平衡稳态（英语：homeostatic，又称恒定状态或恒定性）是指在一定外部环境范围内，生物体或生态系统内环境有赖整体的器官的协调联系，得以维持体系内环境相对不变的状态，保持动态平衡的这种
右心室右心室是人类心脏四个心室之一，而四心室则包括两个心房和两个心室。右心室会接收由右心房带来的缺氧血，并把缺氧血运送到肺动脉。右心室有出入二口，入口即右心房出口，其边缘附有
形容词形容词是词类中的一类。其根本特点是自由地作定语、修饰名词或名词性短语。在语义上，形容词多表示性质、状态、属性、描述等含义。和名词、动词相比，形容词本身的词类地位最不