首页 >
相干逻辑
✍ dations ◷ 2025-06-26 22:59:02 #相干逻辑
相干逻辑,也叫做相关逻辑,是一类非经典亚结构逻辑,它在蕴涵上施加了特定限制。(一般但不完全的,澳大利亚逻辑学家称之为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》。相干逻辑的显著特征是它们是次协调逻辑:矛盾的存在不会导致逻辑爆炸。
相关
- 中耳炎中耳炎是一系列中耳发炎疾病之统称。其中以急性中耳炎(AOM)和中耳积水两型最为常见(OME)。急性中耳炎为急性感染所致,耳朵疼痛为其常见的临床症状。罹患急性中耳炎的幼童,常有拉扯
- 麻醉剂麻醉药(英语:anesthetic、或anaesthetic)是一种麻醉学所用的麻醉药品,可暂时、可逆性的使人丧失知觉。麻醉药分为两大类:全身麻醉药导致可逆的意识丧失;局部麻醉药导致身体的有限
- 痂痂(音jiā)指伤口或疮口表面形成的块状物,质硬,主要成分为血小板、纤维蛋白、细菌残骸等。结痂是生物体的一种自我保护机制,防止伤口或疮口继续出血,在伤口或疮口愈合后会自行脱落
- 鳃鳃是一种器官,很多水生动物依靠它将溶解在水中的氧气吸收到血液中。这种呼吸方式被称为鳃呼吸。最近的研究表明,鳃的进化起初并非为了呼吸,而是用来调节体液平衡,避免脱水。鳃被
- 联合国人权事务高级专员办事处联合国人权事务高级专员办事处(简称为“人权高专办”)(英语:Office of the United Nations High Commissioner for Human Rights,缩写为OHCHR)是联合国的下属机构之一,其目的和宗旨
- 核爆核爆炸是剧烈核反应中能量迅速释放的结果,可能是由核裂变、核聚变或者是这两者的多级串联组合所引发。尽管迄今为止几乎所有的聚变核武器都是以裂变装置作为基础的,但实际上纯
- 斯维尔德洛夫斯克炭疽泄漏事件斯维尔德洛夫斯克炭疽泄漏事件(俄语:Эпидемия сибирской язвы в Свердловске),是1979年4月2日在莫斯科东部1450公里的斯维尔德洛夫斯克市(旧名
- 穆斯林的征服萨珊王朝可萨人(英语:Arab–Khazar wars)河中地区(英语:Muslim conquest of Transoxiana)西哥德王国(西班牙)(英语:Umayyad conquest of Hispania)穆斯林的征服(阿拉伯语:الفتوحا
- 棘冠海星棘冠海星(学名:Acanthaster planci),又名魔鬼海星,其触手有六只或八只,表层上有棘刺。生活在浅海等有珊瑚礁的水域。主要食物为珊瑚,偶尔有时会以甲壳类或海参为食。毒棘有毒胞,是神
- 本能本能或称先天行为,是指一个生物体趋向于某一特定行为的内在倾向。本能的最简单例子就是钥匙刺激(FAP),指的是对于一种可清晰界定的刺激,生物体会回应以一系列固定的动作,时间长度