爆炸原理

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

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

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

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

以说谎者悖论例子:


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

相关

  • 伊本·阿拉比伊本·阿拉比(阿拉伯语:أبو عبد الله محمد بن علي بن محمد بن عربي الحاتمي الطائي‎,西班牙语:Abenarabi,1165年-1240年)是一个安达
  • 路易十六出逃法国国王路易十六出逃(1791年6月20-21日),或译为瓦雷讷出逃,是法国大革命中最具戏剧化的事件之一,对大革命的发展和法国王室的命运产生了深远影响。1789年7月14日法国大革命爆发后
  • M. lepromatosis弥漫型麻风分枝杆菌(学名Mycobacterium lepromatosis)是一种细菌,与麻风杆菌一同引起麻风病。它到了最近的2008年才被发现。从其16S 核糖体RNA中可见它们是与麻风杆菌有所分别
  • 北高加索北高加索又称内高加索,指的是高加索山脉以北的欧亚交界区域。在政治概念上包括了格鲁吉亚和阿塞拜疆的部分地区,及俄罗斯的克拉斯诺达尔边疆区、斯塔夫罗波尔边疆区、阿迪格共
  • Nbsub2/subOsub5/sub五氧化二铌是铌的氧化物之一,化学式为Nb2O5。白色粉末。不溶于水,难溶于酸,可溶于熔融硫酸氢钾或碱金属碳酸盐和氢氧化物中。铌用硝酸和氢氟酸混酸溶解得氟铌酸,经萃取铌和反萃
  • 产褥感染产褥热(puerperal fever)也称为产后感染(postpartum infections)、产褥感染(Puerperal infections)或产褥期发热,是在分娩、流产或是堕胎后,产道的细菌性感染。其症状一般会包括发烧
  • 悬索吊桥悬索桥亦称吊桥,是桥梁的一种。其主要承力部分是桥两端的两根塔架,在这两根塔架间的悬索拉住桥的桥面。为了保障悬索桥的稳定性,两根塔架外的另一面也有悬索,这些悬索保障塔架本
  • 六阶五边形镶嵌在几何学中,六阶五边形镶嵌是由五边形组成的双曲面正镶嵌图,每六个五边形共用一个顶点。在施莱夫利符号用{5,6}表示。六阶五形镶嵌即每个顶点皆为六个五边形的公共顶点,顶点周
  • 居林县居林(马来语:Kulim)是马来西亚吉打州的一个县和大镇。位于吉打州南部。东北临华玲,南临万拉峇鲁。东临霹雳的司南马(马来语:Selama)。西临槟城的威省北中南三县。居林为吉打州最邻
  • 清苑区清苑区在中国河北省中部,唐河流经境内,是保定市下辖的市辖区。区政府驻清苑镇迎宾街135号。清苑区的东闾村是远近闻名的天主教徒聚居的村落。西汉置乐乡县,属信都国;东汉废;西晋