爆炸原理

✍ dations ◷ 2025-06-29 04:10:37 #推理规则,拉丁语逻辑短语

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

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

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

以说谎者悖论例子:


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

相关

  • 棱晶烷棱晶烷的化学式为C6H6,是苯的价键异构体之一。1868年德国化学家阿尔贝特·拉登堡首次发现棱晶烷。
  • 铃兰铃兰(学名:Convallaria majalis,英文:Lily of the Valley,法文:Muguet de mai),也称山谷百合、风铃草、君影草,是铃兰属中的唯一种,味甜,高毒性。原产北半球温带,欧、亚及北美洲和中国的
  • 本内苏铁目本内苏铁目(Bennettitales)是拟苏铁门(Cycadeoidophyta)下唯一一目,其下所有植物都已经灭绝。这一类种子植物最早出现在三叠纪,绝大多数在白垩纪晚期灭绝,只有很少数在渐新世时还存
  • 胃酸过多胃酸过多症是指胃粘膜分泌盐酸过多,并使患者感到胃部不适的病症。
  • 矮灵祭巴斯达隘(赛夏语:paSta'ay),俗称矮灵祭,是台湾原住民赛夏族的传统祭祀活动之一,每二年举行一次(西元的双数年),时间则落于秋收后农历十月中旬的月圆前后,每隔十年一次大祭。据赛夏族传
  • 林肯州林肯州是数个设想中的美国第51州之一。假想中的版图大致包括目前爱达荷州和华盛顿州的一些领土。在所有关于第51州的方案中,林肯州的呼声相对较高。设想中的林肯州包括爱达荷
  • 路德维希·赖兴巴赫海因里希·戈特利布·路德维希·赖兴巴赫(Heinrich Gottlieb Ludwig Reichenbach,1793年1月8日-1879年3月17日)为德国植物学家及鸟类学家。
  • 沙盒类游戏沙盒类游戏,也称非线性游戏、开放式游戏等,是一种电子游戏类型,通常游戏地图较大,与NPC或环境的互动性强、内容多。极高的自由度是沙盒类游戏的最大卖点,可以较为自由的探索、创
  • 杰马尔·比耶迪奇杰马尔·比耶迪奇(塞尔维亚-克罗地亚语:;塞尔维亚语:Џемал Биједић;1917年4月22日-1977年1月18日),穆斯林,是南斯拉夫的党和国家领导人,南斯拉夫共产主义者联盟中央执行委
  • 苍色骑士 title《苍色骑士》是2008年GONZO和Nitro+合作推出的原创动画,2008年4月5日起播出。“苍色骑士”是此次GONZO和Nitro+合作推出的跨媒体制作(MEDIA MIX)计划,包括电视动画与漫画