相干逻辑

✍ dations ◷ 2025-08-08 03:21: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》。相干逻辑的显著特征是它们是次协调逻辑：矛盾的存在不会导致逻辑爆炸。

相关

β-变形菌纲详见细菌分类表β-变形菌网（学名：Betaproteobacteria）是变形菌门中的一纲，与γ-变形菌关系最近。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药物（J1p、w、n、m、疫苗）
QIATCvet代码QI（免疫产品）是兽用解剖学治疗学及化学分类系统的一个分类，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborating Centre for Drug Statistics Methodology
阿梅迪奥 (第三代奥斯塔公爵)阿梅迪奥·翁贝托·伊萨贝拉·路易吉·菲利波·玛利亚·朱塞佩·乔万尼（Amedeo Umberto Isabella Luigi Filippo Maria Giuseppe Giovanni，1898年10月21日－1942年3月3日），出生于
头孢唑啉头孢唑林（英语：Cefazolin，cefazoline 或 cephazolin），是一种用于治疗多种病原细菌的抗细菌药，尤其针对蜂窝组织炎、泌尿道感染、肺炎、心内膜炎、败血性关节炎及胆道发炎（英语：bilia
长生不老长生不老，指寿命长而不会衰老。相近的辞汇还有长生不死（在安全无外力状况下拥有无限的寿命，但依旧会老化）、不老不死（在安全无外力状况下不会衰老与死亡）、不朽（Immortality）与永生（
颅内压颅内压 (ICP，Intracranial Pressure)是指颅骨内部脑组织和脑脊液(CSF，Cerebrospinal Fluid)中的压力。颅内压的测量单位是毫米汞柱(mmHg)，其成年人正常值在平卧姿势安静状态时
威尼斯威尼斯（威尼斯语：Venezsia；意大利语：Venezia；弗留利语：Vignesie；拉丁语：Venetia；英文：Venice）是意大利东北部著名的旅游与工业城市，也是威尼托地区的首府。威尼斯城由被运河分隔并由桥梁
首席执行官首席执行官（英语：Chief Executive Officer，缩写：CEO），是许多企业，尤其是美国企业的头衔，是公司三长之一（另二为董事长、财务长），是在一个企业集团、财阀或行政单位中的最高行政负责人。
荷兰教育文化及科学部荷兰政府与政治系列条目荷兰教育文化及科学部（荷兰语：Ministerie van Onderwijs, Cultuur en Wetenschappen）是荷兰的教育部，负责荷兰教育政策、科学政策、文化政策和荷兰公共
字体排印学字体排印学（英语：typography）又称为文字设计，是通过排版使得文字易认、可读和优美的技艺。排版，即安排活字的方式，包括字体与字号的选取、栏宽与行高的设定以及字距的调整等。在西