首页 >
相干逻辑
✍ dations ◷ 2025-06-06 14:05:14 #相干逻辑
相干逻辑,也叫做相关逻辑,是一类非经典亚结构逻辑,它在蕴涵上施加了特定限制。(一般但不完全的,澳大利亚逻辑学家称之为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》。相干逻辑的显著特征是它们是次协调逻辑:矛盾的存在不会导致逻辑爆炸。
相关
- OMIM人类孟德尔遗传学(英语:Mendelian Inheritance in Man,缩写MIM)是一个数据库将现时所知的遗传病分类,并且连接相关的人类基因组中的基因。这个数据库出版了名为《孟德尔遗传定律
- 头孢他美(英文:Cefetamet)头孢他美也称为“头孢米特”,是一种第三代头孢菌素。该抗生素以7-ADCA为原料合成,常以盐酸头孢他美酯(安塞他美)的形式生产。头孢他美对革兰氏阳性菌及革兰氏阴
- 第一次世界大战联军的入侵带来的破坏和南方的失败,连同战后在占领区经济的萧条,使得南方人对联邦政府长期心怀不满。面对着战后受到战争破坏的南方,重建成了最迫切解决的问题。重建是在美国内
- 溶剂化溶剂化,有时也称为溶解,为一吸引带有分子离子溶剂的溶液聚集的过程。当离子在溶剂中溶解,且会被溶剂分子所包围。由国际纯粹与应用化学联合会 (IUPAC)定义,溶剂化是指溶质和溶剂
- Beclometasone dipropionate贝克每松(Beclometasone dipropionate),是一种类固醇类药物,为一种糖皮质素,常见商品名为Qvar。 此药物作为吸入器的药粉、乳霜、药片以及鼻喷剂。 吸入器药粉常用于治疗长期的气
- 芹苴市1,235,171 population_density_km2 = auto芹苴市(越南语:Thành phố Cần Thơ/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","
- 瘟疫公司《瘟疫公司》(英语:Plague Inc.)是一款由Ndemic Creations独自开发,适用于iOS、Android和Windows Phone平台的战略游戏。玩家在游戏中需要将一种病毒传遍整个世界,然后将所有人消
- ResearchGateResearchGate(researchgate.net)是一个被戏称为“科学研究的脸谱(facebook for research)”的社交网络服务网站,于2008年5月上线。创办人为Ijad Madisch博士、Soeren Hofmayer与H
- 多发性硬化多发性硬化症(Multiple sclerosis,MS)是一种脱髓鞘性神经病变(英语:demyelinating disease),患者脑或脊髓中的神经细胞表面的绝缘物质(即髓鞘)受到破坏,神经系统的信号转导受损,导致一
- 葡萄胎葡萄胎也称水泡状胎、水泡状胎块(Hydatidiform Mole) 是一种异常的人类妊娠,系由着床但未成功发育的受精卵所造成。因其特征为胎盘绒毛间质水肿,形成透明或半透明的薄壁水泡,形似