爆炸原理

✍ dations ◷ 2025-05-08 12:08:11 #推理规则,拉丁语逻辑短语

爆炸原理(principle of explosion, "from falsehood, anything (follows)"),是经典逻辑中陈述从矛盾中可以得出任何事物的规则。用更加形式化的术语,从形如 ∧ ¬ 的命题可以推导出任何任意的 。 “爆炸”指称接受一个单一的矛盾到一个系统中会导致整体定理的“爆炸”。

除了矛盾平常的一目了然的不真实性之外,这是对在形式系统中不允许 ∧ ¬ 为真的主要逻辑论证: 在其中任何任意的公式都是定理的系统是琐碎的。所以爆炸原理证明了无矛盾律的正当性。

爆炸基于析取就是对应于英语的“或”的逻辑算子的一些基本形式性质。考虑下列证明:

以说谎者悖论例子:


次协调逻辑拒绝上述推理,通常声称要么析取介入要么选言三段论是无效的。一个特定的次协调逻辑双面真理,为了接受 ∧ ¬ 的特定实例而拒绝这种论证。

相关

  • 肝脏(英语:liver)为脊椎动物体内的一种器官,以代谢功能为主,并扮演着除去毒素,储存糖原(肝糖),分泌蛋白质合成等重要角色。肝脏也会制造胆汁。在医学用字上,常以拉丁语字首hepato-或he
  • 克莱尔学堂剑桥大学克莱尔学堂(英语:Clare Hall, Cambridge) 是剑桥大学的一个学院。克莱尔学堂是剑桥大学两所仅招收研究生的学院中的一所,另一所是达尔文学院。
  • 雷神山医院武汉雷神山医院,通称雷神山医院,位于中国湖北省武汉市江夏区军运村,是武汉市人民政府因2019新型冠状病毒疫情疫情加重,于2020年1月25日开会决定建设的第二间临时专病医院,于2月6
  • 顶级厨师 (第二季)第二季的《顶级厨师》是中国的一个真人秀电视节目,由2013年1月16日至2013年4月4日在东方卫视播放。
  • 刺芹属大约230种刺芹属(学名:)是包含了230种一年生和多年生植物的属,特征为无毛、通常有多刺的叶片和半球型伞状花序的花朵,类似于蓟。本属全球有广泛分布,多样性中心点在南美洲。一些种
  • 奥古斯托·拉德马克奥古斯托·拉德马克(Augusto Hamann Rademaker Grünewald,1905年5月11日-1985年9月13日),曾任巴西海军上将。于1969年与奥雷利奥·德·里拉及马斯奥·美罗组成巴西军政府主席团,
  • 砾岩砾岩(英语:conglomerate)是一种沉积岩,由从母岩上破碎下来的,颗粒直径大于2毫米的碎屑,经过搬运、沉积、压实、胶结而形成的岩石,砾石的平均直径如果在2-4毫米,为细砾,4-50毫米称为中
  • 洪汛涛洪汛涛(1928年4月9日-2001年9月22日),笔名田野、田多野、了的和吕榆等,浙江浦江人,中国大陆儿童文学作家、理论家,也是与叶圣陶等齐名的中国“童话十家”,其毕生致力于儿童文学的创
  • 塞罗尼亚塞罗尼亚(拉脱维亚语:Sēlija;立陶宛语:Sėla)是拉脱维亚的一个文化区域,位于瑟米加利亚的东部地区。塞罗尼亚地区的最大城市和文化中心是叶卡布皮尔斯。塞罗尼亚地区使用拉特加莱
  • NBA夏季联赛NBA夏季联赛(英语:NBA Summer League),是NBA每年在选秀结束后不久,为进入联盟3年以内的球员和新人而举行的联赛,通常在拉斯维加斯举行,因此,亦以拉斯维加斯夏季联赛之名为人所知。在