Principle of explosion: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 06:2606:26, 3 July 2024‎ ComeAndHear talk contribs‎ m 9,762 bytes +106‎ List alternative names in footnotes to enhance readability. undo Tags: Visual edit Disambiguation links added

curprev 22:3622:36, 28 February 2024‎ Krinndnz talk contribs‎ 9,656 bytes −74‎ copyediting: concision/clarity undo

curprev 21:1721:17, 23 January 2024‎ Yitzilitt talk contribs‎ 9,730 bytes +113‎ Changed the wording of the example given in the introduction to be more easily understandable to those not already familiar with formal logic. undo Tag: Visual edit

curprev 16:3816:38, 23 December 2023‎ Zeyn1 talk contribs‎ m 9,617 bytes −8‎ I removed "from it" at the end of sentence. It looked redundant to me: That is, from a contradiction, any proposition (including its negation) can be inferred from it; undo

curprev 10:2810:28, 10 December 2023‎ Phosphorvs talk contribs‎ m 9,625 bytes +271‎ explaining the term "explosion" within the lemons\unicorns example undo
curprev 10:2410:24, 10 December 2023‎ Phosphorvs talk contribs‎ m 9,354 bytes +152‎ Adding a link to the Disjunctive syllogism, expanding on its refutation in paraconsistent logics undo

curprev 14:0614:06, 11 October 2023‎ Demoxica talk contribs‎ m 9,202 bytes +1‎ No edit summary undo
curprev 14:0614:06, 11 October 2023‎ Demoxica talk contribs‎ m 9,201 bytes −2‎ No edit summary undo

curprev 09:2509:25, 11 August 2023‎ Dezaxa talk contribs‎ 9,203 bytes +615‎ Added four references undo

curprev 17:0817:08, 10 August 2023‎ InternetArchiveBot talk contribs‎ 8,588 bytes +74‎ Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.9.5) (Whoop whoop pull up - 14407 undo

curprev 11:0611:06, 7 August 2023‎ Dezaxa talk contribs‎ 8,514 bytes −6‎ →‎Proof: Replaced 'Assumption' with 'Premise' - the use of 'assumption' is potentially misleading undo

curprev 01:3301:33, 1 July 2023‎ BalinKingOfMoria talk contribs‎ 8,520 bytes −13‎ No edit summary undo Tag: Visual edit
curprev 01:3301:33, 1 July 2023‎ BalinKingOfMoria talk contribs‎ 8,533 bytes +9‎ No edit summary undo Tag: Visual edit

curprev 21:5221:52, 25 May 2023‎ Dezaxa talk contribs‎ 8,524 bytes −475‎ Reverted to last version edited by Rotideypoc41352. The changes to the lede made by the unknown author are incorrect. undo Tag: Manual revert

curprev 17:5517:55, 6 April 2023‎ Rotideypoc41352 talk contribs‎ m 8,524 bytes +13‎ Undid revision 1147967354 by Materialscientist (talk): remove self-redirect, article on tag editor is at page with parenthetical dab undo Tags: Undo Mobile edit Mobile web edit Advanced mobile edit

curprev 08:1608:16, 3 April 2023‎ Materialscientist talk contribs‎ m 8,511 bytes −13‎ Reverted edits by Sidefer (talk) (HG) (3.4.12) undo Tags: Rollback Reverted
curprev 08:1408:14, 3 April 2023‎ Sidefer talk contribs‎ m 8,524 bytes +13‎ fix redirect undo Tag: Reverted

curprev 13:4113:41, 15 March 2023‎ Fgnievinski talk contribs‎ 8,511 bytes +50‎ No edit summary undo Tag: 2017 wikitext editor

curprev 06:5706:57, 8 December 2022‎ RDBrown talk contribs‎ 8,461 bytes −45‎ citeseerx→cite journal undo

curprev 05:1605:16, 29 July 2022‎ Hellacioussatyr talk contribs‎ 8,506 bytes −5‎ →‎Symbolic representation undo Tag: 2017 wikitext editor

curprev 17:1517:15, 3 June 2022‎ 73.168.5.183 talk‎ 8,511 bytes +3‎ No edit summary undo

curprev 02:2102:21, 15 April 2022‎ The Eloquent Peasant talk contribs‎ 8,508 bytes +97‎ Importing Wikidata short description: "Theorem which states that any statement can be proven from a contradiction" (Shortdesc helper) undo

curprev 20:2620:26, 18 March 2022‎ 63.227.221.214 talk‎ 8,411 bytes +1‎ →‎Proof: added period undo

curprev 01:0501:05, 21 February 2022‎ Hairy Dude talk contribs‎ 8,410 bytes +3‎ alternate -> alternative undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 15:2115:21, 20 November 2021‎ WillNess talk contribs‎ 8,407 bytes 0‎ what is and/or? was it vandalism? changing to "or". if I'm in error, apologies, but then the symbolic proof uses disjunction, which is "or". undo Tag: 2017 wikitext editor

curprev 23:2323:23, 17 November 2021‎ Citation bot talk contribs‎ 8,407 bytes +15‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 1725/2173 undo

curprev 12:1012:10, 15 November 2021‎ 118.211.120.62 talk‎ 8,392 bytes +4‎ The or in the sentence “All lemons are yellow OR unicorns exist” is meant to be an inclusive rather than exclusive or. Because inclusive or is common in logic, but rarely used in natural language, a layperson stumbling across this statement could get confused, and think that the statement is an either/or rather than an and/or statement. So I altered it to make it more understandable to the reader. undo Tags: Mobile edit Mobile web edit

curprev 06:5306:53, 4 October 2021‎ Renamed user 23o2iqy4ewqoiudh talk contribs‎ m 8,388 bytes −90‎ No edit summary undo

curprev 01:3501:35, 30 July 2021‎ Goodphy talk contribs‎ 8,478 bytes +27‎ No edit summary undo Tag: Visual edit
curprev 01:3401:34, 30 July 2021‎ Goodphy talk contribs‎ 8,451 bytes +94‎ Improved an example of the principle of explosion to easily understand this. undo Tag: Visual edit

curprev 00:0900:09, 8 June 2021‎ Smjg talk contribs‎ m 8,357 bytes −2‎ MOS:LQ; straighten quotes undo

curprev 12:4312:43, 27 February 2021‎ Raycheng200 talk contribs‎ m 8,359 bytes 0‎ →‎Proof undo

curprev 15:1915:19, 10 December 2020‎ Monkbot talk contribs‎ m 8,359 bytes −12‎ Task 18 (cosmetic): eval 3 templates: del empty params (2×); hyphenate params (1×); undo Tag: AWB

curprev 01:1601:16, 28 October 2020‎ 96.241.99.48 talk‎ 8,371 bytes 0‎ grammar fix undo

curprev 06:5406:54, 25 October 2020‎ FrescoBot talk contribs‎ m 8,371 bytes −21‎ Bot: link syntax undo

curprev 02:1002:10, 6 August 2020‎ Guavabutter talk contribs‎ 8,392 bytes +189‎ No edit summary undo Tag: Visual edit

curprev 06:1606:16, 29 June 2020‎ Nyook talk contribs‎ m 8,203 bytes −66‎ Rollback edit(s) by 117.234.41.219 (talk): Vandalism (RedWarn rev14) undo Tags: RW Rollback
curprev 06:1606:16, 29 June 2020‎ 117.234.41.219 talk‎ 8,269 bytes +66‎ →‎References undo Tags: Mobile edit Mobile web edit

curprev 04:2304:23, 24 June 2020‎ ParthikS8 talk contribs‎ 8,203 bytes +79‎ Fixing (il)logical proof, adding hidden assumption explicitly. undo

curprev 00:0600:06, 8 May 2020‎ LaundryPizza03 talk contribs‎ m 8,124 bytes +8‎ No edit summary undo

curprev 10:4810:48, 12 March 2020‎ Citation bot talk contribs‎ m 8,116 bytes +32‎ Alter: template type. Add: isbn, volume. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2. undo

curprev 12:5312:53, 9 March 2020‎ DanGrayson talk contribs‎ 8,084 bytes +12‎ Undid revision 944687257 by Zevensprongen (talk) -- William's proof was rejected just by one school, and the appendix on his page makes no sense. undo Tag: Undo
curprev 09:5509:55, 9 March 2020‎ Zevensprongen talk contribs‎ 8,072 bytes −12‎ William of Soissons was the first one who tried to proof the principle. (His proof was rejected (see page of William of Soissons)). undo Tag: Visual edit

3 July 2024

28 February 2024

23 January 2024

23 December 2023

10 December 2023

11 October 2023

11 August 2023

10 August 2023

7 August 2023

1 July 2023

25 May 2023

23 May 2023

6 April 2023

3 April 2023

15 March 2023

8 December 2022

29 July 2022

3 June 2022

15 April 2022

18 March 2022

21 February 2022

20 November 2021

17 November 2021

15 November 2021

4 October 2021

30 July 2021

8 June 2021

27 February 2021

10 December 2020

28 October 2020

25 October 2020

6 August 2020

29 June 2020

24 June 2020

8 May 2020

12 March 2020

9 March 2020