相干逻辑

✍ dations ◷ 2025-12-08 22:25:28 #相干逻辑

相干逻辑，也叫做相关逻辑，是一类非经典亚结构逻辑，它在蕴涵上施加了特定限制。（一般但不完全的，澳大利亚逻辑学家称之为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》。相干逻辑的显著特征是它们是次协调逻辑：矛盾的存在不会导致逻辑爆炸。

相关

亲缘分支分类法支序分类学（英语：Cladistics）又称亲缘分支分类学，是一种生物分类的哲学，其指只依据演化树分支的顺序，而不参考形态上的相似性来排列物种。此一学派的主要贡献者一般认为是德国昆虫
鼻咽癌鼻咽癌（NPC, Nasopharyngeal Carcinoma）是一种发生于鼻咽腔或上咽喉部的癌症。在世界的某些地区，例如东南亚和非洲，患此病的人比其他地方多，过去认为是主要是膳食的影响，目前倾向
阴道炎阴道炎（Vaginitis），又称外阴阴道炎（vulvovaginitis），是阴道和外阴的发炎反应。症状可能包括搔痒，灼热，疼痛，异常分泌物和异味。某些类型的阴道炎可能会导致怀孕期间的并发症。阴道炎
脓疮脓疡（拉丁语：abscessus; 德语：Abszess; 法语：Abcès; 英语：Abscess）又称作脓疮、脓肿。指的是在身体组织中蓄积的脓。接近体表的脓疡会有红、肿、热、痛等症状，触诊病灶时感觉其内
苯并咪唑苯并咪唑是一个多环芳香杂环化合物，由苯和咪唑并合而成，分子式为C7H6N2。维生素B12分子中，5,6-二甲基苯并咪唑为碱基与钴中心相连。苯并咪唑与咪唑类似，也是制备氮杂环卡宾的常
海军陆战队美国海军陆战队（英语：United States Marine Corps，缩写为 USMC），又称美国陆战队，是美国军队中的海军陆战队及两栖作战部队，其主要职责是运用美国海军的舰队（含航空兵），快速抵达全球各
利宾纳利宾纳（Ribena) 是一种源自英国的饮品，由布里斯托大学科学家Vernon Charley于1933年首次调制，当时是为了研发一种用水果制造的糖浆，选用了在英国容易大量种植的黑加仑子作为原料
内视镜内窥镜(内射镜)（endoscopy (looking inside)）泛指经各种管道射入人体，以观察人体内部状况的医疗仪器。部分内窥镜同时具备治疗的功能，如膀胱镜、胃镜、大肠镜（英语：Colonoscopy）、
科洛尼斯希腊神话中有数个以科洛尼斯（Coronis ，Κορωνίς）为名的人物，因其不同意义而具有多重艺术形象，也是金牛座毕星团的溯源之一。这些人物包括：
马其顿阿吉德王朝陆军马其顿阿吉德王朝陆军，是古代马其顿王国阿吉德王朝的陆上武装力量，在马其顿腓力二世军事改革后首次在历史中展现出这股显赫的军事实力，并由他的儿子亚历山大大帝发扬光大，它被认