In classical logic, intuitionistic logic, and similar logical systems, the principle of explosion[a][b] is the law according to which any statement can be proven from a contradiction.[1][2][3] That is, from a contradiction, any proposition (including its negation) can be inferred; this is known as deductive explosion.[4][5]
The proof of this principle was first given by 12th-century French philosopher William of Soissons.[6] Due to the principle of explosion, the existence of a contradiction (inconsistency) in a formal axiomatic system is disastrous; since any statement can be proven, it trivializes the concepts of truth and falsity.[7] Around the turn of the 20th century, the discovery of contradictions such as Russell's paradox at the foundations of mathematics thus threatened the entire structure of mathematics. Mathematicians such as Gottlob Frege, Ernst Zermelo, Abraham Fraenkel, and Thoralf Skolem put much effort into revising set theory to eliminate these contradictions, resulting in the modern Zermelo–Fraenkel set theory.
As a demonstration of the principle, consider two contradictory statements—"All lemons are yellow" and "Not all lemons are yellow"—and suppose that both are true. If that is the case, anything can be proven, e.g., the assertion that "unicorns exist", by using the following argument:
In a different solution to the problems posed by the principle of explosion, some mathematicians have devised alternative theories of logic called paraconsistent logics, which allow some contradictory statements to be proven without affecting the truth value of (all) other statements.[7]
In symbolic logic, the principle of explosion can be expressed schematically in the following way:[8][9]
Below is a formal proof of the principle using symbolic logic.
This is just the symbolic version of the informal argument given in the introduction, with P {\displaystyle P} standing for "all lemons are yellow" and Q {\displaystyle Q} standing for "Unicorns exist". We start out by assuming that (1) all lemons are yellow and that (2) not all lemons are yellow. From the proposition that all lemons are yellow, we infer that (3) either all lemons are yellow or unicorns exist. But then from this and the fact that not all lemons are yellow, we infer that (4) unicorns exist by disjunctive syllogism.
An alternate argument for the principle stems from model theory. A sentence P {\displaystyle P} is a semantic consequence of a set of sentences Γ Γ --> {\displaystyle \Gamma } only if every model of Γ Γ --> {\displaystyle \Gamma } is a model of P {\displaystyle P} . However, there is no model of the contradictory set ( P ∧ ∧ --> ¬ ¬ --> P ) {\displaystyle (P\wedge \lnot P)} . A fortiori, there is no model of ( P ∧ ∧ --> ¬ ¬ --> P ) {\displaystyle (P\wedge \lnot P)} that is not a model of Q {\displaystyle Q} . Thus, vacuously, every model of ( P ∧ ∧ --> ¬ ¬ --> P ) {\displaystyle (P\wedge \lnot P)} is a model of Q {\displaystyle Q} . Thus Q {\displaystyle Q} is a semantic consequence of ( P ∧ ∧ --> ¬ ¬ --> P ) {\displaystyle (P\wedge \lnot P)} .
Paraconsistent logics have been developed that allow for subcontrary-forming operators. Model-theoretic paraconsistent logicians often deny the assumption that there can be no model of { ϕ ϕ --> , ¬ ¬ --> ϕ ϕ --> } {\displaystyle \{\phi ,\lnot \phi \}} and devise semantical systems in which there are such models. Alternatively, they reject the idea that propositions can be classified as true or false. Proof-theoretic paraconsistent logics usually deny the validity of one of the steps necessary for deriving an explosion, typically including disjunctive syllogism, disjunction introduction, and reductio ad absurdum.
The metamathematical value of the principle of explosion is that for any logical system where this principle holds, any derived theory which proves ⊥ (or an equivalent form, ϕ ϕ --> ∧ ∧ --> ¬ ¬ --> ϕ ϕ --> {\displaystyle \phi \land \lnot \phi } ) is worthless because all its statements would become theorems, making it impossible to distinguish truth from falsehood. That is to say, the principle of explosion is an argument for the law of non-contradiction in classical logic, because without it all truth statements become meaningless.
Reduction in proof strength of logics without ex falso are discussed in minimal logic.
SantoAgustinus dari HippoThe Triumph of Saint Augustine oleh Claudio Coello, ca. 1664Uskup, Pujangga GerejaLahirAurelius Augustinus13 November 354Thagaste, Numidia Cirtensis, Kekaisaran Romawi(sekarang Souk Ahras, Algeria)Meninggal28 Agustus 430 (umur 75)Hippo Regius, Numidia Cirtensis, Kekaisaran Romawi Barat(modern-day Annaba, Algeria)MakamPavia, ItaliaDihormati diSemua denominasi Kristen yang memiliki penghormatan orang kudusTempat zairahSan Pietro in Ciel d'Oro, Pavia, ItaliaPesta 28 A…
NumbSingel oleh Linkin Parkdari album MeteoraDirilis8 September 2003FormatCDDirekamTahun 2003 di New Orleans, LouisianaGenrealternative rock, Nu metalDurasi3:07LabelWarner Bros. RecordsProduserDon Gilmore Numb adalah singel ketiga Linkin Park dari album Meteora. Dalam album Meteora, Numb menempati urutan ke-13 (terakhir). Informasi Pesan Lagu ini bercerita tentang perasaan remaja yang tertekan untuk memenuhi harapan seseorang atau kekasih. Apa yang dilakukannya selalu salah dihadapan seseorang t…
Часові пояси Європи: синій Західноєвропейський час (WET, GMT) (UTC+0)Західноєвропейський літній час (WEST, BST, IST) (UTC+1) фіолетовий Західноєвропейський час (WET, GMT) (UTC+0) червоний Центральноєвропейський час (CET) (UTC+1)Центральноєвропейський літній час (CEST) (UTC+2) жовтий Східноєвропейський ча
Johan Bruinsma kan verwijzen naar: Johan Bruinsma (1927-2017), Nederlands plantenfysioloog Johan Bruinsma (1976), Nederlands wielrenner Bekijk alle artikelen waarvan de titel begint met Johan Bruinsma of met Johan Bruinsma in de titel. Dit is een doorverwijspagina, bedoeld om de verschillen in betekenis of gebruik van Johan Bruinsma inzichtelijk te maken. Op deze pagina staat een uitleg van de verschillende betekenissen van Johan Bruinsma en verwijzingen daarnaartoe. Ben…
Pleistosen2.58 – 0.0117 Ma PreЄ Є O S D C P T J K Pg N ↓ Peta dunia selama Glasial Maksimum TerakhirKronologi−2.6 —–−2.4 —–−2.2 —–−2 —–−1.8 —–−1.6 —–−1.4 —–−1.2 —–−1 —–−0.8 —–−0.6 —–−0.4 —–−0.2 —…
Nota: Para outras cidades com este nome, veja Natividade (desambiguação). Natividade Município do Brasil Símbolos Bandeira Brasão de armas Hino Gentílico nativitano Localização Localização de Natividade no TocantinsLocalização de Natividade no Tocantins NatividadeLocalização de Natividade no Brasil Mapa de Natividade Coordenadas 11° 42' 36 S 47° 43' 22 O País Brasil Unidade federativa Tocantins Municípios limítrofes Pindorama do To…
Перший хлопецьрос. Первый парень Жанр драмаРежисер Аркадій СіренкоСценарист Євген Григор'євОскар НікічУ головних ролях Борис НевзоровСвітлана РябоваОператор Елізбар КараваєвКомпозитор Євген КрилатовХудожник Леван ШенгеліяКінокомпанія МосфільмТривалість 150 хв. (2 сер…
1990 studio album by Idiot FleshTales of Instant Knowledge and Sure DeathStudio album by Idiot FleshReleasedJanuary 1, 1990[1]GenreProgressive rock, avant-garde rock, theatre, experimental musicLength50:24LabelRock Against Rock RecordsProducerIdiot FleshMark StichmanIdiot Flesh chronology Tales of Instant Knowledge and Sure Death(1990) The Nothing Show(1993) Tales of Instant Knowledge and Sure Death is the 1990 debut studio album by avant-garde rock band Idiot Flesh. Track listin…
Grainet Lambang kebesaranLetak Grainet NegaraJermanNegara bagianBayernWilayahNiederbayernKreisFreyung-GrafenauPemerintahan • MayorKaspar Vogl (SPD)Luas • Total36,16 km2 (1,396 sq mi)Ketinggian582 m (1,909 ft)Populasi (2013-12-31)[1] • Total2.398 • Kepadatan0,66/km2 (1,7/sq mi)Zona waktuWET/WMPET (UTC+1/+2)Kode pos94143Kode area telepon08585Pelat kendaraanFRGSitus webwww.grainet.de Grainet (bahasa Bayern: G…
У Вікіпедії є статті про інші вулиці з такою назвою: Вулиця Миколи Вороного. Вулиця ВороногоЛьвів Місцевість ЦентрРайон ГалицькийНазва на честь Миколи ВороногоКолишні назви Гоффманська, Крута, Сенкевича, Діхтерштрассе, Тимірязєвапольського періоду (польською) Kręta, Sienkiewic…
التغيرات السنوية لدليل تذبذب شمال المحيط الأطلسي خلال الفترة 1864-2015. تأثير الطورين الموجب والسالب لتذبذب شمال المحيط الأطلسي على عناصر الطقس والمناخ.تذبذب شمال المحيط الأطلسي هو تغير شبه دوري في شدة مركزي الضغط شبه الدائمين مرتفع الضغط الجوي فوق الآصور ومنخفض الضغط الجوي بي…
Military history This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (March 2022) The United States Coast Guard established Patrol Boat Squadrons to manage the 110-foot long Island-class patrol boats. Squadron ONE (renamed FOUR) was established in Miami Beach, Florida, and Squadron TWO was established in Roosevelt Roads, Puerto Rico. Their message traffic plain language addresses were COGAR…
Artikel ini perlu dikembangkan agar dapat memenuhi kriteria sebagai entri Wikipedia.Bantulah untuk mengembangkan artikel ini. Jika tidak dikembangkan, artikel ini akan dihapus. artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, silakan hapus templat ini. (Pelajari cara dan kapan saatnya untuk m…
Pertempuran Isonzo KeduaBagian dari Pertempuran blok Italia pada Perang Dunia ISebelas pertempuran Isonzo Juni 1915 — September 1917Tanggal18 Juli—3 Agustus 1915LokasiSungai Isonzo, Slovenia UtaraHasil Kemenangan Austria-HungariaPihak terlibat Italia Austria-HungariaTokoh dan pemimpin Luigi CadornaEmmanuel Philibert Conrad von Hötzendorf Svetozar BoroevićKekuatan 260 batalyon840 senjata 130 batalyon420 senjataKorban 42,000 terbunuh atau terluka 45,000 terbunuh atau terluka lbsBlok Ba…
المنظمة الأوربية للأرصاد الجوية المنظمة الأوربية للأرصاد الجوية البلد ألمانيا المقر الرئيسي دارمشتات تاريخ التأسيس 1986 الموقع الرسمي الموقع الرسمي تعديل مصدري - تعديل المنظمة الأوربية للأرصاد الجوية (اختصاراً EUMETSAT (ملاحظة 1)) هي منظمة حكومية دولية …
Iranian futsal player Shiva Amini Shiva Amini in 2022Personal informationFull name Shiva AminiDate of birth 1988 or 1989 (age 34–35)[1]Place of birth IranSenior career*Years Team Apps (Gls)2010-2011 Matin Varamin 35 (19)International career2010-2011 Iran 18 (6) *Club domestic league appearances and goals Shiva Amini is an Iranian women's futsal player formarly playing for Iran national team and Matin Varamin. She immigrated from Iran in 2017 and currently lives in Swit…
Financial institution in New Zealand BNZ redirects here. For other uses, see Bnz. Bank of New ZealandTypeSubsidiaryFounded2 July 1861; 162 years ago (2 July 1861)HeadquartersAuckland, New ZealandKey peopleDan Huggins (CEO)ProductsBanking, financial and saving servicesNumber of employees5,000ParentNational Australia BankRatingAA− (S&P)[1]Websitewww.bnz.co.nz Bank of New Zealand (BNZ) is one of New Zealand's big four banks and has been operating in the country since the …
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典が不足しています。存命人物の記事は特に、検証可能性を満たしている必要があります。(2022年11月) 一次資料や記事主題の関係者による情報源に頼って書かれています。(2022年11月) 人物の特筆性の基準を満たしていないおそれがあります。(2022年11月)出典検索?: 楠有栖…
Indian politician (born 1964) Eknath ShindeShinde in 202220th Chief Minister of MaharashtraIncumbentAssumed office 30 June 2022 (2022-06-30)Governor Bhagat Singh Koshyari Ramesh Bais Deputy Devendra Fadnavis Ajit Pawar (from 2 July 2023) Preceded byUddhav ThackerayCabinet Minister Government of MaharashtraIn office30 December 2019 – 27 June 2022Minister Urban Development. Public Works (Including Public Undertakings) State Border Defence GovernorBhagat Singh Koshyari…
Punta ArticaPunta Artica from the village of CalasimaHighest pointElevation2,327 m (7,635 ft)Coordinates42°15′53″N 08°58′14″E / 42.26472°N 8.97056°E / 42.26472; 8.97056GeographyPunta Artica CountryFranceDepartmentHaute-Corse Punta Artica or Monte Artica is a mountain in the department of Haute-Corse on the island of Corsica, France. It is in the Monte Rotondo massif. Location The peak of Punta Artica is in the commune of Casamaccioli just south …
Lokasi Pengunjung: 18.217.168.218