相干逻辑

✍ dations ◷ 2024-12-22 18:19:33 #相干逻辑

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

相关

接合菌毛菌毛（拉丁文pilus，复数pili）是一些细菌（包括革兰氏阴性菌和革兰氏阳性菌）表面的毛状物，可用于和其他同种细菌细胞接合（conjugation）。菌毛的主体由蛋白质“菌毛蛋白（pillin）”通过聚合
公路交通事故车祸，或称交通事故和肇事，是在道路交通中，牵涉到车在内的一种意外事件，可能造成重大的生命财产损失。由于现代运输机动车辆是必须的，因此车祸在大多数人一生中都有机会遇上数次，而
整合分析统计学上来说，元分析（meta-analysis，或译作后设分析、整合分析、综合分析、统合分析、荟萃分析）是指将多个研究结果整合在一起的统计方法。就用途而言，它是文献回顾的新方法。文
不可逆拮抗剂不可逆拮抗剂是一种永久与受体结合的拮抗剂。它要么与活性位点形成共价键，要么结合得很牢固，以至于离解速率在相关时间跨度内可视为零。这使受体永久失活，并很快被内化、回收。
桥脑脑桥（拉丁语: Pons）是人和两足动物小脑腹面的特有构造。脑桥在延髓的上方和小脑前方，它位于延髓与中脑的大脑脚之间，前后缘有横沟为界；外形呈白色弓状的横隆凸；内部有大量的横走的
大都市区大都市带（英语：megalopolis，亦作megapolis、megaregion或supercity），又译大都市区，通指大致相邻的都会区的链，它们可能在某种程度上分离，也可能连成一片连续的城市区域。中文的城市
礼来公司礼来公司（英语：Eli Lilly and Company）是源自美国的跨国制药公司，总部位于印第安纳波利斯。礼来公司还在波多黎各及17个其他国家设有办公机构，其产品销往约125个国家。1876年由药
双氢睾酮双氢睾酮（英语：Dihydrotestosterone，简称为DHT）是一种雄性激素。双氢睾酮在前列腺、睾丸、毛囊以及肾上腺中被5α还原酶合成出来。此酶催化还原睾酮这种激素分子结构中4号位与5
字字可以指：
行书行书，分为行楷及行草，是汉字书法中的一种手写字体风格，相传是在东汉年间刘德升所创。唐朝张怀瓘《书断》对行书的来源有如此看法：“行书即正书（楷书）小伪，务从简易，相间流行，故谓之行