Law of excluded middle: 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 03:4003:40, 29 March 2024‎ Virtuecount talk contribs‎ m 38,693 bytes −1‎ Fixed a typo: replaced "valuess" with "value" undo Tag: Visual edit

curprev 15:1315:13, 23 March 2024‎ Davide King talk contribs‎ 38,694 bytes +17‎ ce undo Tag: Visual edit

curprev 07:5607:56, 19 March 2024‎ WikiCleanerBot talk contribs‎ m 38,677 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 17:3717:37, 13 March 2024‎ Citation bot talk contribs‎ 38,677 bytes +57‎ Alter: issue, pages. Add: doi, publisher. Formatted dashes. | Use this bot. Report bugs. | Suggested by Jay8g | Category:CS1 errors: extra text: issue | #UCB_Category 1/2 undo
curprev 13:3813:38, 13 March 2024‎ 185.145.221.236 talk‎ 38,620 bytes +567‎ →‎In mathematical logic undo

curprev 18:3818:38, 26 December 2023‎ 88.116.27.230 talk‎ 38,053 bytes 0‎ →‎See also undo
curprev 18:3718:37, 26 December 2023‎ 88.116.27.230 talk‎ 38,053 bytes 0‎ →‎See also: Alphabetical order in See also undo

curprev 09:5909:59, 23 December 2023‎ SoundEnman1 talk contribs‎ 38,053 bytes +2‎ No edit summary undo

curprev 21:4621:46, 16 December 2023‎ 178.165.193.122 talk‎ 38,051 bytes −26‎ →‎Aristotle: Break long sentence and fix and 'of' undo

curprev 04:1504:15, 13 December 2023‎ Aurodea108 talk contribs‎ 38,077 bytes +13‎ →‎Criticisms: Inserted "(tetralemma)" as a gloss on catuṣkoṭi undo
curprev 04:0804:08, 13 December 2023‎ Aurodea108 talk contribs‎ 38,064 bytes +316‎ →‎Criticisms: Inserted brief description of the catuṣkoṭi. undo

curprev 19:5519:55, 10 September 2023‎ Countercheck talk contribs‎ 37,748 bytes +116‎ light copyedit undo Tag: Visual edit

curprev 12:0812:08, 14 August 2023‎ 217.208.121.237 talk‎ 37,632 bytes −4‎ →‎Law of the weak excluded middle undo
curprev 12:0712:07, 14 August 2023‎ 217.208.121.237 talk‎ 37,636 bytes −2‎ →‎Law of the weak excluded middle undo
curprev 12:0612:06, 14 August 2023‎ 217.208.121.237 talk‎ 37,638 bytes +65‎ →‎Law of the weak excluded middle undo
curprev 12:0312:03, 14 August 2023‎ 217.208.121.237 talk‎ 37,573 bytes +527‎ →‎Analogous laws: added a reference to WLEM/De Morgan's laws undo

curprev 23:1223:12, 20 July 2023‎ Drevolt talk contribs‎ 37,046 bytes +29‎ It’s only a tautology in classical logic undo Tags: Mobile edit Mobile web edit

curprev 10:5910:59, 6 April 2023‎ Dancing Dollar talk contribs‎ 37,017 bytes +5‎ →‎Aristotle: Added Blockquote undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 07:2307:23, 28 March 2023‎ Juventiuscinna talk contribs‎ m 37,012 bytes +28‎ Standardized quotation marks as per MOS:QWQ undo

curprev 05:4105:41, 27 January 2023‎ Doremo talk contribs‎ 36,984 bytes +12‎ regardless that → regardless of the fact that undo

curprev 14:2914:29, 4 October 2022‎ Joost Oysterhodler talk contribs‎ 36,972 bytes −35‎ move category "Latin logical phrases" to the page "Tertium non datur" undo

curprev 02:1602:16, 30 September 2022‎ 158.135.132.80 talk‎ 37,007 bytes +64‎ No edit summary undo

curprev 16:3416:34, 29 September 2022‎ Joost Oysterhodler talk contribs‎ 36,943 bytes +35‎ add to category "Latin logical phrases" undo

curprev 07:4007:40, 4 August 2022‎ GünniX talk contribs‎ m 36,908 bytes +22‎ unbalanced curley brackets undo Tag: AWB

curprev 20:1520:15, 31 May 2022‎ BB10000 talk contribs‎ 36,886 bytes +125‎ I have made a point of contention of the claim that the "Liar Paradox" can not be True or False. undo Tag: Visual edit

curprev 14:4414:44, 25 May 2022‎ 194.80.232.21 talk‎ 36,761 bytes +4‎ included link to De Morgan's laws page undo

curprev 11:0611:06, 24 May 2022‎ LaundryPizza03 talk contribs‎ 36,757 bytes −4‎ standardize not symbol undo

curprev 15:5915:59, 20 May 2022‎ 24.167.45.252 talk‎ 36,761 bytes +7‎ Removed trailing Whitespace, swapped Ellipses where relevant, requires Empirical Review to ensure grammar accuracy (I am not a specialist on this subject) undo
curprev 15:3115:31, 20 May 2022‎ 24.167.45.252 talk‎ 36,754 bytes +74‎ →‎Formalists versus Intuitionists: I didn't research these interactions personally (I can only fix so much, requires additional editing from informed user), I fixed typos when possible, I swapped in Ellipses where relevant, increased readability, fixed grammar undo

curprev 03:1003:10, 16 April 2022‎ Drevolt talk contribs‎ 36,680 bytes 0‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 05:4305:43, 19 March 2022‎ Citation bot talk contribs‎ 36,680 bytes +81‎ Alter: template type. Add: date, isbn, authors 1-1. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 80/409 undo

curprev 17:3417:34, 23 February 2022‎ AnomieBOT talk contribs‎ m 36,599 bytes +19‎ Dating maintenance tags: {{Cn}} undo
curprev 15:3315:33, 23 February 2022‎ 80.111.232.39 talk‎ 36,580 bytes +6‎ →‎In mathematical logic undo
curprev 15:3115:31, 23 February 2022‎ 80.111.232.39 talk‎ 36,574 bytes +9‎ →‎In mathematical logic undo
curprev 15:3015:30, 23 February 2022‎ 80.111.232.39 talk‎ 36,565 bytes +1‎ →‎In mathematical logic undo

curprev 11:3611:36, 9 February 2022‎ LilyKitty talk contribs‎ 36,564 bytes +31‎ about dichotomy undo

curprev 23:0923:09, 8 February 2022‎ Saolof talk contribs‎ 36,533 bytes +126‎ →‎In mathematical logic undo

curprev 21:5821:58, 14 January 2022‎ Richrat4 talk contribs‎ m 36,407 bytes +1‎ purely grammatical - early "none ... provides" i changed "provide" to "provides" since "none" is singular noun undo
curprev 04:1804:18, 14 January 2022‎ Rlink2 talk contribs‎ m 36,406 bytes +27‎ Fixing bare references Wikipedia:Bare_URLs undo Tag: AWB

curprev 07:4007:40, 2 January 2022‎ AnomieBOT talk contribs‎ m 36,379 bytes +18‎ Dating maintenance tags: {{Cn}} undo
curprev 07:1907:19, 2 January 2022‎ Tea2min talk contribs‎ 36,361 bytes +83‎ →‎Intuitionist definitions of the law (principle) of excluded middle: The "335" appears to be a page number? The source however is unclear. undo
curprev 07:1807:18, 2 January 2022‎ Tea2min talk contribs‎ 36,278 bytes +21‎ Undid revision 1063111700 by 589q (talk): This really is about a double negation. undo Tag: Undo

curprev 07:5007:50, 1 January 2022‎ 589q talk contribs‎ 36,257 bytes −21‎ →‎Intuitionist definitions of the law (principle) of excluded middle undo Tag: Reverted

curprev 22:2022:20, 29 December 2021‎ Mgkrupa talk contribs‎ m 36,278 bytes +24‎ Added {{Mathematical logic}} undo

curprev 22:2322:23, 18 December 2021‎ Citation bot talk contribs‎ 36,254 bytes +21‎ Add: doi. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

curprev 12:3412:34, 10 December 2021‎ AukusRuckus talk contribs‎ 36,233 bytes +19‎ →‎In mathematical logic: Disambiguated: self-contradiction → Self-refuting idea undo

curprev 07:5107:51, 19 November 2021‎ SedamMora talk contribs‎ 36,214 bytes −14‎ Undid revision 1056021012 by 184.144.41.100 (talk) undo Tags: Undo Non-autoconfirmed user rapidly reverting edits
curprev 06:5806:58, 19 November 2021‎ 184.144.41.100 talk‎ 36,228 bytes +14‎ →‎Formalists versus Intuitionists undo Tag: Reverted
curprev 06:5706:57, 19 November 2021‎ 184.144.41.100 talk‎ 36,214 bytes +1‎ →‎Logicians versus Intuitionists undo

curprev 05:3705:37, 13 October 2021‎ Scyrme talk contribs‎ m 36,213 bytes +4‎ →‎Reichenbach undo

29 March 2024

23 March 2024

19 March 2024

13 March 2024

26 December 2023

23 December 2023

16 December 2023

13 December 2023

10 September 2023

14 August 2023

20 July 2023

6 April 2023

28 March 2023

27 January 2023

4 October 2022

30 September 2022

29 September 2022

4 August 2022

31 May 2022

25 May 2022

24 May 2022

20 May 2022

16 April 2022

19 March 2022

23 February 2022

9 February 2022

8 February 2022

14 January 2022

2 January 2022

1 January 2022

29 December 2021

18 December 2021

10 December 2021

19 November 2021

13 October 2021