Talk:Principle of explosion
|WikiProject Philosophy / Logic||(Rated Start-class, Mid-importance)|
|WikiProject Mathematics||(Rated Start-class, Mid-priority)|
|Principle of explosion has been listed as a level-5 vital article in an unknown topic. If you can improve it, please do. This article has been rated as Start-Class.|
How can the proof be a proof when it is so obviously false?
It begins be asserting two things which cannot both be true. "All lemons or yellow" and "Not all lemons are yellow" must be false.
Having asserted two things which cannot be both true it goes on to use both mutually exclusive statements together in a second appeal to an absurd reasoning.
The statement "'All lemons are yellow' or 'Unicorns exist'" is only true if one of the statements it comprises is true. If "All lemons are yellow" then the statement is true.
It then goes on to say "Not all lemons are yellow". If this is true then we haven't proven the preceding statement about unicorns, we've only proven the half of the statement we'd relied upon previously is false.
I'm all for examining the Law of Excluded Middle, but until you have used a reasonable axiomatic system to prove two contradictory statements then you don't have a starting point for reasoning as in the example presented. The whole point of the negating statements definition is "P and not P" must be false and "P inclusive-or not P" must be true.
santa example and paraconsistency
is the santa example really correct? There are many cases in AI and philosophy where both X and ¬X can both be proved true, but don't lead to the explosion. The argument, AFAIK, would be that step (3) doesn't work, because (“All lemons are yellow" OR "Santa Claus exists”) can be satified by the proven "All lemons are yellow". It's doesn't matter that "not all lemons are yellew" has also been proved. AFAIK languages like Prolog work in this way.
1We know that "All lemons are yellow" as it is defined to be true. 2 Therefore the statement that (“All lemons are yellow" OR "Santa Claus exists”) must also be true, since the first part is true. 3However, if "Not all lemons are yellow" (and this is also defined to be true), Santa Claus must exist - otherwise statement 2 would be false. It has thus been "proven" that Santa Claus exists. The same could be applied to any assertion, including the statement "Santa Claus does not exist". — Preceding unsigned comment added by 126.96.36.199 (talk) 18:07, 28 January 2015 (UTC)
doubts of origin of term
I've never heard the "principle of explosion" so named before; I know this as "Ex falso quodlibet" and the "absurdity law". Where does "principle of explosion" come from? ---- Charles Stewart 07:27, 26 Aug 2004 (UTC)
- I've also learned this as "Ex falso quod libet," I don't really think "principle of explosion" is a good name for this article; it sounds like something about stoichiometric combustion ratios. Shiggity (talk) 21:00, 23 October 2008 (UTC)
"Ex falso quodlibet" is certainly the formal name, "Explosion Principle" is a more informal, colloquial term thrown around by philosophers. The idea is that if a contradiction is true, then the world explodes, and so anything can be true. —Preceding unsigned comment added by 188.8.131.52 (talk) 04:18, 5 March 2009 (UTC)
While I'm not sure of the origin of "principle of explosion", it was the term used in my undergraduate logic course and is used, at least colloquially, by logicians. To clarify the comment above, the thought behind the term has little to do with an actual explosion so much as an explosion in what is provable once a contradiction is introduced. While this term may not be familiar or intuitive to you, it seems to be trending upwards in use, currently garners far more google results than "Ex falso quodlibet", and has appeared in popular culture references (XKCD). It seems most likely then that "Ex falso quodlibet" is the less common term, and the current title should be left as is. 184.108.40.206 (talk) 20:10, 19 May 2012 (UTC)R.J. Connor
- Google search confirms that the name "principle of explosion" was introduced into academic publications in (or around) 1998, either by Graham Priest in the Stanford Encyclopedia of Philosophy, in the article entitled Dialetheism, where it is used without any explanation of what it is, or by Walter Carnielli and Joao Marcos in "A Taxonomy of C-systems", where it is explained as being the same as the Principle of Pseudo-Scotus and abbreviated as (PPS).Flosfa (talk) 16:47, 29 October 2017 (UTC)
There are many people, myself included, that are convinced that the logic necessary for "The Principle of Explosion" (or "ex contradictione (sequitur) quodlibet") is inherently flawed.
Each such argument makes use of some logical rule which, itself, depends upon the assumption that contradictions cannot occur.
For example, any proof of "disjunctive syllogism" depends upon an assumption that all statements of the form "Both A and (NOT A)" are false. Likewise, every other "proof" of this sort depends upon a logic rule whose truth requires this.
If one constructs any argument that includes a statement of the form "Both A and (NOT A)" as a premise and then makes use of a rule which depends upon statements of that form being false in all cases, then the argument is inherently flawed.
So, the fact of the assumption of a contradiction necessarily invalidates all arguments that could demonstrate arbitrary conclusions. Not to mention that defining a means for categorizing statements as "true" or "false" becomes equally problematic.
In general, any presumption of a contradiction invalidates logic itself.
- One of the motivations for investigating paraconsistency is that people often have inconsistent beliefs but are still able to reason. Paraconsistent logics are interesting to philosophers and in AI. Take a look at the SEP article on paraconsistent logic to find out more about them. Wikipedia could do with more of this information being written up here. --- Charles Stewart 21:14, 18 May 2005 (UTC)
- I would like to add to the first comment that, yes, "any presumption of a contradiction invalidates logic itself." That's the Principle of Explosion. Once you assume a contradiction, you break your logical system. From the "Tolerating the impossible" section of the logic article, "... the principle of explosion, which means that the logic collapses if it is capable of deriving a contradiction."  Perhaps a similar statement should be made in this article. -- Ben-Arba 07:57, 4 December 2006 (UTC)
- The anonymous original poster writes: "If one constructs any argument that includes a statement of the form 'Both A and (NOT A)' as a premise and then makes use of a rule which depends upon statements of that form being false in all cases, then the argument is inherently flawed."
- Not so. In classical logic, a line of reasoning may be correct even if the premises are false (or contradictory, which amounts to the same thing). In fact this is a common thing to do. A proof by contradiction starts by assuming something that you know is untrue. --Jorend 18:22, 7 February 2007 (UTC)
- Using an example from classical logic to argue against him holds no value because he doesn't accept classical logic (classical logic affirms the principle of explosion); I take the original poster's point to be about what should be the case in a logic, not what is currently done; you need to argue from what, intuitively, follows. As a minor side note, the claim that false and contradictory premises are the same seems rather dubious. 220.127.116.11 (talk) 20:19, 19 May 2012 (UTC)R.J. Connor
- I agree with the poster that the principle of explosion is wrong.
- 1) It is both blue and not blue
- 2) It is blue
- 3) It is not blue
- 4) It is either blue or red
- 5) Use disjunctive syllogism
- 6) Uses LNC, it cannot be both blue and not blue
- 7) 6) contradicts 1), invalid proof
- Also, it can flash between blue and off within the time period of the proof to satisfy 1-3) and render 4) false. Any proof here must define for itself, an instantaneous time period. Such an impossible period is identical to nothing and cannot be defined otherwise it would be something. There can never be a proof of the principle of explosion. The law of non-contradiction also needs to define the meaning of "at the same time". Should it not be "over the same time period". John Middlemas (talk) 23:25, 18 June 2014 (UTC)
- Although there are some forms of logic in which the principle is incorrect, that argument is not one of them. However, if it can be found in a published work which qualifies as a reliable source, it could be included in the article, even though apparently meaningless. — Arthur Rubin (talk) 11:36, 5 September 2014 (UTC)
The second and third "Proof theoretic" arguments lead to a vicious circle. In the second argument, the circle comes from assumptions 1. 2. and the conclusion. The same kind of problem arises in the third proof. Please fix or remove. —The preceding unsigned comment was added by 18.104.22.168 (talk) 19:57, 2 May 2007 (UTC).
There are accessibility issues for this article. A WP article should be informative but self-contained. In other words, while it makes good sense to me, I can see how it would be incomprehensible to some, and there are no links to relevant theoretical material to make the contents of the article express any understandable meaning. Either the article should contain more plain-language explanation, or at the very least should make proper use of segue to other articles. - May 19, 2007
I agree. I can make absolutely no sense out of this article as it contains far too much symbolism and jargon. This article needs to be flagged as it doesnt conform to Wikipedia standards. - Tiwaking Augus 11, 2007
I second all this. I don't consider myself a genius, nor an idiot, by any standards, and reading this, and re-reading this, I had no idea what this theory purports. Perhaps one of the Simple English wiki writers should add a summary paragraph? —Preceding unsigned comment added by 22.214.171.124 (talk) 02:41, 18 December 2007 (UTC)
- I think I have improved the intro. However, more work could be done on the body of the article; perhaps with an entire "lay" paragraph under each of the two arguments. So I have left the "confusing" tag in place. — Epastore (talk) 04:37, 20 December 2007 (UTC)
I deleted this proof (shown above) on the grounds that it begs the question when it uses a reductio ad absurdium (RAA). Since a reductio ad absurdium is (almost invariably, to my knowledge) justified on the grounds that it leads to the principle of explosion, the principle of explosion can't be justified from it. That argument would be summed up like so: Contradictions allow one to justify everything, so we shouldn't assert them (this last bit is the RAA); We shouldn't assert them (i.e., the RAA), and so contradictions allow one to justify everything. Since the proof begs the principle of explosion, it isn't explanatory or helpful in justifying the principle of explosion.
I hope I'm being clear, but I wouldn't be surprised if I'm not. In any case, I thought I'd explain my actions in more detail here so as to avoid a revert war or whatever, and because I felt bad, since the proof probably took some time to write out, and because someone might come up with a good reason for putting the proof back in! :)--Heyitspeter (talk) 08:37, 23 June 2008 (UTC)
- Why must reductio ad absurdum be justified by explosion? How about: contradictions are impossible (law of non-contradiction), so we shouldn't assert them (RAA); we shouldn't assert them (RAA), so contradictions allow one to justify everything (explosion). The first is allegedly one of the "laws of thought", so this wouldn't be circular. (I have also used the law of the excluded middle, as explained in the reductio article. This is also allegedly a law of thought.) --Unzerlegbarkeit (talk) 14:55, 23 June 2008 (UTC)
- Yeah, it was late and I was hasty. I'm with C.I. Lewis in believing that no possible future world is a priori impossible; that the a priori doesn't limit reality; however you want to word it - so I often don't jump to that axiom explicitly. It's been re-added.--Heyitspeter (talk) 19:12, 23 June 2008 (UTC)
- Well, if it matters, I don't accept that justification myself either. I'm with L.E.J. Brouwer in believing that mathematics precedes logic and that the law of the excluded middle is not generally valid. But of course most people accept it. There is an alternate justification which is alluded to in the BHK interpretation article: the principle of explosion is formally valid because in most formal systems, even if you leave out negation entirely, you can still come up with a proposition BOT that already implies everything expressible in that system (e.g. 0=1 in arithmetic) - so define "not A" as "if A, then BOT". This may or may not be worth mentioning here. --Unzerlegbarkeit (talk) 21:02, 24 June 2008 (UTC)
Yes, I believe that the title in not the right one!
Hewitt has propsed the name IGOR for "Inconsistency in Garbage Out Redux"
- In place of the Latin that nobody knows these days, Carl Hewitt has proposed the principle be named IGOR for "Inconsistency in Garbage Out Redux". --126.96.36.199 (talk) 20:01, 5 March 2009 (UTC)
- Hewitt, Carl. "Common sense for concurrency and strong paraconsistency using unstratified inference and reflection". ArXiv. December 30, 2008.
- Hewitt, Carl (2008), "Large-scale Organizational Computing requires Unstratified Reflection and Strong Paraconsistency", in Sichman, Jaime; Noriega, Pablo; Padget, Julian; Ossowski, Sascha (eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems III, Springer-Verlag
- Yes, it is absolutely necessary to give an XKCD warning on something like this. This page hadn't been edited since September of 2009, and suddenly it's already been through nine edits today. Coincidence? No. Any time an obscure topic/person/idea is mentioned in the comic, it is pretty much inevitable that the corresponding wikipedia page will come under some heat. 188.8.131.52 (talk) 20:16, 19 February 2010 (UTC)
- xkcd links do not belong here. See Talk:Tautology_(rhetoric)#XKCD_link_does_not_belong for a recent discussion about this problem. Snied (talk) 21:40, 19 February 2010 (UTC)
I moved the so-called "informal proof" to the top so readers can see what it's about, after which 99.9% of them will realise it's not of interest to them. The mathematical or pseudo-mathematical proofs can't be made clearer to a non-expert. IMO the subject is a bit like the algebraic "proof" that 2=1, following a division by 0, i.e. that formal methods can be applied to a meaningless statement or operation, to yield a startling but spurious "result". But who cares, it amuses philosophers and keeps them out of mischief Chrismorey (talk) 21:17, 23 August 2013 (UTC)
The example offered as a “demonstration of the principle” proves that Santa Claus exists, not “that Santa Claus both exists and does not exist.” — Preceding unsigned comment added by 184.108.40.206 (talk) 15:26, 28 August 2013 (UTC)
- The example stated that,"The same could be applied to any assertion, including the statement "Santa Claus does not exist".", meaning that the example could have read "Santa Claus does not exist", and that the resulting proof would have been "Santa Clause does not exist". Since the figments of imagination are not relevant to the principle it must simply depend on what has been asserted as to what conclusion is drawn. Otr500 (talk) 03:55, 6 September 2013 (UTC)
Re: "in rigor, given that at least one lemon exists"
- Congratulations, you just discovered the pitfalls of existential import. 😉 Paradoctor (talk) 22:39, 16 January 2018 (UTC)
- Hmm, I can not seem to find those pitfalls! The issue seems to be rather simpler than what is implied by the page (section) that you linked to. (Incidentally, its claims of significant ambiguity are not supported by any citations.) Terms like "all", "none", "not all", "some", &c. have uncontroversial meanings that are fairly well-understood by ordinary people. Even if there are differences between formal and informal use (eg. in informal discourse, we may rephrase to avoid use of "all" to refer to empty quantities), there is never any confusion about the meaning. People use such terms correctly and consistently all the time, in formal and informal contexts, without having to call their local philosopher or logician for guidance.
- Regarding the original point, "Not all lemons are yellow" implies the existence of at least one counter-example. In contrast, "No lemons are yellow" would allow for the possibility of no lemons existing at all. Since the former is used in the article, and has a well-defined formal meaning, it is not necessary to specify this further. Indeed, the article already describes "All lemons are yellow" and "Not all lemons are yellow" as being two contradictory statements. The parenthesized caveat is thus redundant. It adds nothing. I propose deleting it.
The principle of explosion cannot be proved
William of Soissons appearantly proved the principle. But it was later, in the 15e century, rejected by a school of Cologne. In the 19th century C. I Lewis mathematically seemed to proof the principle. Known logicians like Boole, Frege and Russell have taken this proof for granted but the proof has to be rejected (see the article on William of Soissons). The Principle of Explosion could be taken as an (unprovable) axiom. The priciple is not proved but also not rejected. Aristotle, in his book Metaphysics Gamma, did reject a contradiction but doesn't name the principle of explosion as a reason for it. — Preceding unsigned comment added by Zevensprongen (talk • contribs) 15:09, 8 February 2020 (UTC)
This article seems to be about two completely different concepts
This article seems to me to be about two completely different concepts:
firstly, the fact that, given the propositions P and Not P, then the propositions "if P then Q" and "If not P then Q" will both yield the same outcome
Ex falso sequitur quodlibet.
The example doesn't make sense
The example at the beginning of the article doesn't make sense. The statement "All lemons are yellow OR unicorns exist" is, by itself, significantly more pathological than the contradiction 2600:1002:B0CA:447F:7164:4ADD:5803:EB55 (talk) 18:37, 30 March 2021 (UTC)