爆炸原理

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

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

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

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

以说谎者悖论例子:


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

相关

  • 试用期试用期泛指在就业场所中的新进员工,在最初的雇用期间,用以观察员工在职务上的表现是否适任,通常以三个月为限。满试用期后,如果留任,通常会给予第一次的加薪;反之如果不适任,则会预
  • 鼬鼠见内文。鼬属(学名 Mustela),是哺乳纲食肉目鼬科的一属,共有17个种:美洲水鼬(Neovison vison)和已绝种的海鼬(Neovison macrodon)在1999年已从鼬属归类到美洲水鼬属(Neovison)。
  • 印度菜印度菜,又称印度料理(英语:Indian cuisine),其特色在于烹调时,以不同的香料混合做调味,此调味方法即著名的咖喱。印度料理的异同最重要的因素在于其繁多的宗教及广大的领土,不同的地
  • Nasub2/subTe碲化钠是一种无机化合物,由碲和钠组成,属于氢碲酸盐,其化学式为Na2Te。碲和钠的化合反应可以制备碲化钠,由于固相反应过于剧烈,因此通常需要利用液氨作为溶剂进行反应。碲化钠结
  • 米糕米糕可以指:
  • 自反关系自反关系是在逻辑学和数学中一种特殊的二元关系,这样的二元关系被称为自反的,也被称为具有自反性。自反关系的一个例子是关于实数集合的“等于”关系,因为每个实数都等于它自己
  • 谷地谷、谷地,由两侧正地形夹峙的狭长负地形,常有坡面径流、河流、湖泊发育,陡峻的谷地可能有泥石流,在等高线地形图上表现为一组向高处突出的等高线。也称“裂谷”,当地球板块拉开时
  • 凯郎省坐标:9°57′00″N 1°03′00″E / 9.9500°N 1.0500°E / 9.9500; 1.0500凯郎省(法语:Préfecture de Kéran),是多哥的30个省份之一,位于该国中北部,由卡拉区负责管辖,首府设于康
  • 海湾圣诗《海湾圣诗》(英语:)是一部圣咏经,1640年出版于马萨诸塞湾省剑桥。是北美十三州印刷最早的书籍。是当时清教徒对希伯来文《圣咏》的忠实英文翻译。本书最初印刷了1700本,而现知现
  • 自然派哲学 —— 哲学诞生于公元前600年左右,是在希腊演进出的一种不同于过去的思考方式。在这之前,人们透过神话(宗教)来解答当时人们心中的问题。例如论述社会中的善恶,乃至解释整个自然