相干逻辑

✍ dations ◷ 2025-11-18 13:43:00 #相干逻辑

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

相关

水疱病毒属水稻病毒属（Oryzavirus），又称作水稻皱缩矮化病毒，是呼肠孤病毒科（Reoviridae）中的一属，其代表种为：*水稻破(烂;褴)褛矮小(化)病毒(Rice ragged stunt virus)，为一类植物病毒。
AATC代码A（消化系统和代谢系统）是解剖学治疗学及化学分类系统的一个分类，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborating Centre for Drug Statistics Methodolo
喷嚏喷嚏，又称喷嚏反射，是一种人和动物的生理反射行为。反射的感受器在鼻黏膜，由三叉神经传导到脑部。打喷嚏前，鼻子变得发酸、发痒。过程一般为急促吸气，张嘴，然后高速（可达每小时50公
麦考酚酸霉酚酸（英文：Mycophenolic acid 或 mycophenolate，简称MPA），是肌苷单磷酸脱氢酶（IMPDH）的非竞争性可逆抑制剂，在嘌呤从头合成途径的关键限速酶，以及是用于预防器官移植手术中排斥的免
工业化工业化（美：industrialization，英：industrialisation）是人类社会由前工业（累积资本速度缓慢的农业畜牧业经济）到工业状态的社会及经济改变过程（见前工业社会）。此一社会及经济改变与技
法罗群岛坐标：61°57′15″N 6°51′25″W / 61.95417°N 6.85694°W / 61.95417; -6.85694面积以下资讯是以2017年估计国家领袖国内生产总值（购买力平价）以下资讯是以2008年估计国内
帕拉塞尔苏斯Theophrastus von Hohenheim Phillipus Areolus; Bombastus帕拉塞尔苏斯（拉丁语：Paracelsus，，或译帕拉塞尔斯，1493年－1541年9月24日），出生时名为德奥弗拉斯特·冯·霍恩海姆，全名菲
妄想妄想（英语：delusion）是一种不受相反事实和逻辑推理所纠正但坚信不疑的信念。同时包括错误的判断与逻辑推理。即使把事实或已经被完全论证的理论摆在妄想者的面前，也很难动摇他的
特发性病因不明症（英语：idiopathic disease）指的是任何病因不明的疾病。英文词汇idiopathic起源于古希腊语ἴδιος idios "one's own" and πάθος pathos "suffering", idiopa
字体设计字体排印学（英语：typography）又称为文字设计，是通过排版使得文字易认、可读和优美的技艺。排版，即安排活字的方式，包括字体与字号的选取、栏宽与行高的设定以及字距的调整等。在西