相干逻辑

✍ dations ◷ 2025-09-18 12:52:11 #相干逻辑

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

相关

IgGIgG（免疫球蛋白 G，英语：Immunoglobulin G）是人血清和细胞外液中含量最高的一类免疫球蛋白，约占血清总免疫球蛋白的75%～80%，血清含量9.5～12.5mg/mL，是分子质量最小的一类免疫球蛋白，具
BBP邻苯二甲酸丁苄酯（英语：benzyl butyl phthalate，常缩写为BBP、BBzP）是一种邻苯二甲酸酯，邻苯二甲酸、苯甲醇和正丁醇的酯。BBP是一种清澈的液体，化学式为C19H20O4。它主要用作PVC
冰雹雹或冰雹（英语：Hail）属于突发性天然灾害，是一种固态降水物，是圆形或圆锥形的冰块，由透明层和不透明层相间组成；直径一般为 5～50毫米，大的则可达到10厘米以上。冰雹是在对流云所形成的
全血全血为标准捐血流程后所取得的人类血液，通常用于治疗大量出血、换血疗法（英语：exchange transfusion）与自体输血上。一单位的全血可提升受血者之血红蛋白浓度约10 g/L。在输全血
哈斯蒙尼哈斯蒙尼王朝（英语发音：/ˌhæzməˈniːən/ (audio)；希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL"
疣疣（Warts）也称是病毒疣，是皮肤上的粗糙颗粒。疣通常很小，粗糙，坚硬、其颜色与其余皮肤相似。疣通常不会造成症状，不过长在脚底时可能会疼痛。疣通常长在手和脚上，但它们也会在其他
肚脐肚脐、脐，俗称肚脐眼，中医称之为“神阙”，从本质上来说是胎儿出生后，脐带脱落后留下的疤痕。肚脐位于髂前上棘水平的腹部正中线上，直径约为1.0至2.0公分。它通常可以是一个小凹陷
粘膜相关淋巴组织黏膜相关淋巴组织（Mucosa-associated lymphoid tissue，简称MALT)，位于消化道、呼吸道、泌尿生殖道等人体各种黏膜组织中，由黏膜表皮细胞下方的淋巴小结以及表皮细胞之间的微皱褶
人类交流人类交流是致力于理解人们沟通的领域.
仿宋体陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧