爆炸原理

✍ dations ◷ 2025-07-22 11:38:26 #推理规则,拉丁语逻辑短语

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

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

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

以说谎者悖论例子:


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

相关

  • The Lancet《柳叶刀》(The Lancet),是世界上最悠久及最受重视的同行评审医学期刊之一,主要由爱思唯尔出版公司发行,部分与里德·爱思唯尔集团协同出版。1823年由汤姆·魏克莱(英语:Thomas Wak
  • 单位换算单位换算是指通过乘以换算系数实现不同计量单位间的等量换算。单位换算过程与用户具体情况和预期目的相关。可能受法令、合同、技术规格或其它出版物技术标准的限制。工程判
  • 1696年重要事件及趋势重要人物
  • 菲尼克斯大学凤凰城大学(University of Phoenix,缩写UPX),位于美国亚利桑那州菲尼克斯市。由约翰·斯珀林(英语:John Sperling)和他所拥有的太阳神教育集团出资建立于1976年。学校拥有34.53万学
  • L3微内核L3微内核(英语:L3 microkernel),一种微内核架构的计算机操作系统内核,可以运行在Intel x86架构的电脑上。开发者是约亨·李德克以及他在卡内基梅隆大学(CMU)SET实验室(SET institute
  • 甲斐谷忍甲斐谷忍(1967年9月24日-),日本男性漫画家。出生于鹿儿岛市。鹿儿岛大学工学部毕业。现居于千叶县柏市。
  • GPS信号GPS信号,是由全球定位系统(GPS)卫星上振荡器所产生的信号,而所有GPS信号都由一个基本频率f0=10.23Mhz组成。GPS卫星发射的信号主要分为载波(Carrier wave)、测距码(Ranging Code)和
  • 疯狂店员2《疯狂店员2》(英语:)是一部于2006年上映的美国喜剧片,由凯文·史密斯执导、编剧和剪辑。本片为1994年电影《疯狂店员》的续集与View Askew宇宙的第六部电影;与第一集的黑白画面
  • 叶德言叶德言(1886年-?),字仲㧑,浙江省宁波府慈谿县人,宣统二年进士。
  • 安吉拉·尼科尔·沃克安吉拉·尼科尔·沃克(英语:Angela Nicole Walker;1974年1月19日-),是美国威斯康辛州的校车司机和劳工组织者。2016年美国总统选举中成为美国社会党男性全国联席主席米米·索尔迪