相干逻辑

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

相关

  • ACEI血管紧张肽I转化酶抑制剂(英语:ACE inhibitor,简称为ACEI)是一类抗高血压药。血管紧张素转化酶(ACE)是肾素-血管紧张素-醛固酮(RAA)系统中的一个重要环节,该系统对血压的调节有着及其
  • 麹菌症See List of Aspergillus species麹菌属(Aspergillus)是一个由几百种多细胞霉菌菌种所组成的菌属,在许多气候条件下皆可发现它们的踪影。麹菌属于1729年被皮耶尔·安东尼奥·米
  • 神经元神经元(英语:neuron),又名神经原或神经细胞(英语:nerve cell),是神经系统的结构与功能单位之一。神经元能感知环境的变化,再将信息传递给其他的神经元,并指令集体做出反应。神经元占了
  • 急性冠状动脉综合症急性冠状动脉综合征(英语:ACS, Acute coronary syndrome)是指由冠状动脉阻塞所引起的任何类型的症状。最常见的症状是胸部有挤压般的疼痛,常放射至左臂或下颌角点(gonion),并伴有
  • 鸟胺酸鸟氨酸(英语:Ornithine)是一种α-氨基酸,其结构为NH2-CH2-CH2-CH2-CHNH2-COOH。鸟氨酸是精氨酸酶在催化精氨酸产生尿素时同时产生。因此,鸟氨酸是尿素循环的中央部分,以排出多余的
  • 布鲁内尔艾米尔·布鲁内尔(Heinrich Emil Brunner,又译艾米尔·布伦纳,1889年-1966年),有着深远影响的瑞士籍新教神学家、新正统神学家,曾与卡尔·巴特共同推动了二十世纪上半叶欧洲德语系
  • 早期现代英语近代英语(英语:Early Modern English,可缩写为 EModE),又译近世英语,指从英国都铎时期到王政复辟时期的英语,也就是从十五世纪末的中古英语到十七世纪中晚期的现代英语之间的英语语
  • 大气压力气压的国际单位制是帕斯卡(或简称帕,符号是Pa),泛指是气体对某一点施加的流体静力压强,来源是大气层中空气的重力,即为单位面积上的大气压力。在一般气象学中人们用千帕斯卡(KPa)、
  • 同位异音同位异音(allophone)是语言学术语,指的是一个音位可以表示多于一个音。又称为同位音、音位变体。例如英语中,国际音标.mw-parser-output .IPA{font-family:"Charis SIL","Doulos
  • 克里语克里语(英文:Cree language,平原克里语:Nēhiyawēwin / ᓀᐦᐃᔭᐍᐏᐣ)是一系列联系密切的阿尔冈昆语族方言连续体。主要使用在加拿大北部,使用人数约117,000人,是加拿大使用人数