相干逻辑

✍ dations ◷ 2025-10-08 15:49:27 #相干逻辑

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

相关

消瘦症消瘦（英语：emaciation）被定义为由于皮下脂肪和身体肌肉的损失导致过度的体重减轻和不自然的羸瘦。过度的消瘦会影响到人类和动物的健康。消瘦是由严重的营养不良和饥饿引起的。
伊利阿斯·马格努斯·弗里斯埃利亚斯·芒努斯·弗里斯（瑞典语：Elias Magnus Fries，1794年8月15日－1878年2月8日），瑞典生物学家。他在六十多年的科研生涯中，搜集了欧洲各地大量的真菌标本，对其进行了科学、系统
韦格纳肉芽肿肉芽肿并多发性血管炎（Granulomatosis with polyangiitis，缩写为GPA），旧称韦格纳肉芽肿（英语：Wegener's granulomatosis，缩写为 WG），又译为华格纳氏肉芽肿，一种自体免疫疾病，发生原因不
个体个体（英语：individual），一般指一个人或是一个群体中的特定主体，指人时也称个人。个体性（英语：individuality，或selfhood），又称个性，则是指能够成为一个个体的特性或是状态。在生物学中，
广州医学院广州医科大学简称广医，其始建于1958年，是一所以培养高等医学人才为目的，以医学为优势和特色的全日制高等医科院校。广医下设16个学院，8所直属附属医院和10所非直属附属医院，19个
多神论一多神论或多神教（来自希腊语：πολυθεϊσμός，英语：polytheism），相对于一神论或一神教而言，指崇拜或信仰许多（复数）神的信仰体系或者宗教教条。典型代表为印度教、古希腊宗教
国王君主是指从一个家庭或家族中挑选成员来任职的国家元首或政权领袖。其职位之传承以直系血亲世袭为主，也可采选举或禅让方式产生；其中实行世袭制度者若无直系血亲之继承人，一般多
昏睡昏睡（Somnolence）也称为想睡，是有强烈想要睡眠的欲望，或是睡眠的时间异常的长（嗜睡症）。昏睡有许多不同的意义及其原因，可能是指平常在要睡着之前的状态、因为昼夜节律失调而进入的
生物反馈生物反馈（英语：Biofeedback）是指通过一些仪器来测量生理指标，借此更加了解人们心智想法的运作并且改善他们的一系列方法。例如脑电波、皮肤电传导率（英语：Electrodermal activity）
语言哲学语言哲学是一门哲学的分支，对语言的用法、来源及本质作理性的研究。对于分析哲学来说，有四个主要关心的问题：意义的本质、语言用法、语言认知及语言与现实的关系。对欧陆哲学家