相干逻辑

✍ dations ◷ 2025-07-17 04:27:45 #相干逻辑

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

相关

阑尾炎阑尾炎，是指由阑尾发炎而引起的急性消化系统疾病。阑尾，是大肠起始段的管状器官。由于其生长位置关系，容易因受到感染、腔隙阻塞等而发炎。一般常说的盲肠炎其实就是指阑尾炎（Ap
黑粉菌纲条黑粉菌目 Urocystales 黑粉菌目 Ustilaginales黑粉菌纲（学名：Ustilaginomycetes）是担子菌门黑粉菌亚门下的一个纲。这一纲中的真菌是真正意义上的黑粉菌（smut fungi）。它们已知
妥瑞症图雷特氏综合征（英语：Tourette Syndrome、TS），又称抽动症、托雷氏症、杜雷氏症，是一种抽动综合症（Tics）。这是一种遗传性的神经内科疾病，通常发生于学龄前至青春期前。有一部分的患
肾动脉狭窄肾动脉狭窄是指肾动脉或其分支出现狭窄，经常是由于动脉粥样硬化或纤维肌性发育不良引起。肾动脉狭窄导致动脉所供应的相应肾脏出现血流灌注不足，可能引起高血压和肾脏萎缩，如不
科罗拉多州科罗拉多州（英语：State of Colorado），简称科州，是美国西部的一州，此州最著名的是拥有洛矶山脉的最高峰，地形从东侧的平原陡然升高为西侧峻岭，地理景观十分壮丽。该州首府兼最大城为
BNA阿根廷“马里亚诺·莫雷诺”国家图书馆（西班牙语：Biblioteca Nacional "Mariano Moreno" de la República Argentina），是阿根廷的国家图书馆，同时也是阿根廷最大的图书馆，图书馆
黄埔黄埔可以指：
TASS苏联电讯社（俄语：Телеграфное агентство Советского Союза，缩写为“ИТАР-ТАСС”），缩写音译为塔斯社，是前苏联的国家通讯社，成立于1925
结肠带结肠带（taeniae coli，也作teniae coli或tenia coli）是结肠外壁的三条纵向平滑肌带，对应消化道其他部位的肌外层（英语：muscularis externa），为结肠的特化组织，在乙状结肠以前的结肠（升
书写书写是人类有意识地使用文字来记录资讯、表达意向。纪录资讯的工具和方法数之不尽，一般会用笔在纸上书写，但过去也有人在石版、竹简、龟壳、墙壁等材质上写作。随着科技发展，使