相干逻辑

✍ dations ◷ 2024-11-05 05:41:57 #相干逻辑

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

相关

法国â€“ æ¬§æ´²ï¼ˆç»¿è‰²åŠæ·±ç°è‰²ï¼‰â€“ æ¬§ç›Ÿï¼ˆç»¿è‰²ï¼‰æ³•å…°è¥¿å…±å’Œå›½ï¼ˆæ³•è¯
头孢泊肟酯头孢泊肟酯（英语：Cefpodoxime Proxetil），是一种第三代头孢菌素。它对绝大多数的革兰氏阳性和革兰氏阳阴性的生物都有作用，除了绿脓杆菌、肠球菌和脆弱拟杆菌（英语：Bacteroides fra
中风 (中医)中风，中医学术语，中医认为这是外感风邪侵犯人体之后所造成的病证。因为“风者，擅行而数变”，有许多症状都被归类在中风之下，但最主要的，有两个意义，一是指因脑血管阻塞、出血而造成
权利法案美国权利法案是美国宪法前十条修正案的统称。这些修正案的提出是为了缓解那些反对批准宪法的反联邦党人（英语：Anti-Federalists）的担忧，其中保障了多项个人自由，限制了政府的司法
行政院主计总处行政院主计总处（简称主计总处）是主管中华民国政府岁计、会计、统计工作的中央二级行政机关，以统计资料作为编制施政计划与预算的依据并为事后的考核，使行政三联制“设计、执行、
刚果共和国面积以下资讯是以2018年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018
布拉柴维尔布拉柴维尔（法语：Brazzaville），简称布拉柴，位于刚果共和国南部刚果河畔的斯坦利湖北岸，与刚果民主共和国首都金沙萨隔河相望，是刚果共和国的首都和最大城市。2005年人口1,174,000人
西撒哈拉西撒哈拉（阿拉伯语：الصحراء الغربية‎ Aṣ-Ṣaḥrā’ al-Gharbīyah；西班牙语：Sahara Occidental；柏柏尔语：Taneẓroft Tutrimt）位于非洲西北部，地处撒哈拉沙漠西部，
二氧化硫二氧化硫，（英语：sulphur dioxide , sulfur dioxide）化学式是SO2。是最常见的硫氧化物。无色气体，有强烈刺激性气味。大气主要污染物之一。火山爆发时会喷出该气体，在许多工业过程
护木夹板、副木（英语：Splint），亦称夹，为一种硬性或有弹性的装置，可将移位的或可动的身体部位保持在适当位置，也能对受伤部位提供保护。副木可用于严重程度不至于需要固定整个受伤部位的