爆炸原理

✍ dations ◷ 2025-10-22 14:46:22 #推理规则,拉丁语逻辑短语

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

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

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

以说谎者悖论例子:


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

相关

  • 扁盘动物门黏丝盘虫(Trichoplax adhaerens)是1883年由德国生物学家Franz Eilhard Schulze (1840-1921)在奥地利Graz大学的水族馆发现的。目前在扁盘动物门中仅确认此一种,一般称丝盘虫即
  • 微米 (软件)微米(英语:WeMeet)是一款由杭州酷跃科技有限公司研发的类似于WeChat的社交IM应用,主打组群聊天与“阅后即焚”功能。
  • 瓦茨拉夫·哈维尔瓦茨拉夫·哈维尔(捷克语:Václav Havel,1936年10月5日-2011年12月18日),捷克作家及剧作家,著名的持不同政见者、天鹅绒革命的思想家之一。于1993年到2003年间担任捷克共和国总统。
  • 1992年1992年被中华人民共和国处决的死刑犯列表,旨在列出1992年被中华人民共和国处决的死刑犯。
  • 卢德运动卢德主义者(英语:Luddite)是19世纪英国民间对抗工业革命、反对纺织工业化的社会运动者。在该运动中,常常发生毁坏纺织机的事件。这是因为工业革命运用机器大量取代人力劳作,使许
  • 和歌和歌是日本的一种诗歌形式,古称倭歌或倭诗,又称大和歌和大和言叶。作为在日本历史上的本土的诗歌形式,受汉诗影响而发展起来。创作和歌的作家称为歌人。和每句音数相同的汉诗不
  • 太平洋蓝鳍金枪鱼太平洋蓝鳍金枪鱼(学名:Thunnus orientalis),又名东方蓝鳍鲔、太平洋黑鲔、乌瓮串、乌暗串,为辐鳍鱼纲鲈形目鲭亚目鲭科的其中一种,分布于北太平洋热带,亚热带,及温带海域,栖息深度1-
  • 雷婕熙雷婕熙(1994年7月15日-),演出《女朋友 男朋友》小树一角。亲姐姐是演员雷瑟琳。
  • 越南高速铁路越南现时计划兴建两条高速铁路,其中南北高速铁路全长1,570公里,起自河内市,止于胡志明市,沿途经过岘港市等21个省市,预计将使用日本提供的政府开发援助兴建,总成本预计为558.5亿美
  • 烦死人莉乃‘烦死人莉乃’(日语:うざりの)为一日本漫画作品。原作是エンドロールプロダクション,作画是松浦まどか。由‘月刊Young Magazine’(讲谈社)从2010年11月号至2011年8月号连载。‘