相干逻辑

✍ dations ◷ 2025-05-15 05:07:14 #相干逻辑

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

相关

囊肿性纤维化囊肿性纤维化（英语：cystic fibrosis，缩写作 CF），亦称为囊性纤维化、囊肿性纤维变性、囊肿纤维症、纤维性囊肿或囊纤维变性，是一种常见的遗传疾病，此病症最常影响肺脏，但也常发生于胰
铁3d6 4s22, 8, 14, 2蒸气压第一：762.5 kJ·mol−1 第二：1561.9 kJ·mol−1 第三：2957 kJ·mol−1 （主条目：铁的同位素铁（Iron）是一个化学元素，化学符号是Fe （源自拉丁语 ferrum），原
亚胺培南亚胺培南（Imipenem）是一种碳青霉烯类抗生素，属于β-内酰胺类。该药于20世纪70年代中期由默沙东开发。同其他碳青霉烯类抗生素类似，亚胺培南对许多多重耐药革兰氏阴性菌产生
香料香料是具挥发性，并能用以配制香精的芳香物质的总称。分为天然香料和人造香料，用于制造化妆品、食品等。古人云：“香之为用从上古矣。所以奉神明，可以达蠲洁。”天然香料包括动物
PWR压水反应堆（Pressurized Water Reactor，缩写为PWR）是美国贝蒂斯原子能实验室（英语：Bettis Atomic Power Laboratory）开发成功的一种轻水核反应堆。所有的压水反应堆利用普通水作为
洪涛洪涛（1931年12月26日－），山东荣成人，中华人民共和国科学家、中国工程院院士。早年毕业于山东医学院，后进入罗马尼亚科学院病毒学研究所获博士学位。1971年，担任中国医学科学院流行病
断奶断奶是哺乳动物幼体在经过一段时间的母乳喂养之后停止进食母乳，并开始向成年体饮食转换的一个过程。只有哺乳动物才需要经过这一过程，而当幼体完全不进食母乳时就标志着完全断
巴西卢佐岛巴西卢佐岛（Basiluzzo）是意大利西西里岛北侧的火山岛岛链伊奥利亚群岛中面积最小的一个岛，面积只有1 km²。位置介于帕纳雷阿岛和斯特龙博利岛之间。其古代名称为"Hycesia"。坐
阿塔罗斯国王列表阿塔罗斯王国，或称阿塔罗斯王朝、帕加马王国为小亚细亚一个希腊化王国在亚历山大大帝的东征之后，地中海地区进入了所谓的希腊化时代，帕加马则在继业者战争之后变成了一个由独立
西库昂的阿拉图斯阿拉图斯（西库昂）（英语：Aratus of Sicyon），（前271年－前213年），军事将领及政治家，其父西库昂的克雷尼亚斯（Cleinias）被罢官后，他随之流亡到阿尔戈斯。公元前251年他重夺西库昂，并使与亚该亚