相干逻辑

✍ dations ◷ 2024-07-01 09:21:19 #相干逻辑

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

相关

高血压高血压（英语：Hypertension，high blood pressure）是动脉血压持续偏高的慢性疾病。高血压一般没有症状，不过长期高血压为冠状动脉疾病、中风、心脏衰竭、心房颤动、周边动脉阻塞、
肺动脉高压肺高压又称肺动脉高压（Pulmonary hypertension，简称PH或PHTN），是描述肺循环内的压力升高的情形。肺高压会造成呼吸困难、晕眩、昏厥、下肢水肿，肺高压患者会因为心脏负荷增加令运
骨架化骨架化是分解作用中的最后阶段，在此过程中，尸体或尸体的软组织已经腐烂或干燥到暴露出骨架的程度。到骨架化过程结束时，尸体所有软组织将不复存在，仅留下骨头。在温带气候下，根
越野滑雪越野滑雪（英语：Cross-country skiing）为讲求体能和技术的冬季运动，运动员要以滑雪的型式绕过布满雪的山地滑行，为冬季奥林匹克运动会比赛项目之一。由于路程长并需要大量体力，因此
粘杆菌素粘杆菌素（Colistin），又名克痢霉素、多粘菌素E，是一种多粘菌素类多肽抗生素，是两种环状多肽——粘杆菌素A和B的混合物。可由多粘芽肥杆菌变种粘菌素（Bacillus polymyxa var. colist
皮胆虫门皮胆虫（学名：Picozoa，Picobiliphytes或Picobiliphyta）是一类水生单细胞异养真核生物，尺寸小于约3微米。第一种被明确归为此类的生物是Picomonas judraskeda。他们可能属于原始色
钍232.0377(4)6d2 7s22, 8, 18, 32, 18, 10, 2蒸气压第一：587 kJ·mol−1 第二：1110 kJ·mol−1 第三：1930 kJ·mol主条目：钍的同位素.mw-parser-output ruby>rt,.mw-parser-o
常染色体显性多囊肾常染色体显性多囊肾（Autosomal dominant polycystic kidney disease，ADPKD）又称为成人型多囊肾，是一种遗传性全身性疾病，主要影响肾脏，但也可能会影响其他器官，如肝脏、胰腺、脑动
奥特朗托奥特朗托（意大利语：Otranto）是位于意大利东南部普利亚大区莱切省的一个城市。人口约有5000人，ISTAT代码为075057。奥特朗托海峡以该市命名。隔海与阿尔巴尼亚相望。位处意大利的
肌酸肌酸（英语：creatine），在生物化学中，是一种自然存在于脊椎动物体内的一种含氮的有机酸，能够辅助为肌肉和神经细胞提供能量。米歇尔·欧仁·谢弗勒尔于1832年首次在骨骼肌中发现肌酸