Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
2 June 2025
- diffhist Deductive closure 21:55 −39 Psychastes talk contribs (Removed {{More citations needed}} tag: it's a stub, one source is fine) Tag: Twinkle
- diffhist Clause (logic) 21:22 −15 Psychastes talk contribs (>1500B, not stub)
- diffhist Set (mathematics) 19:22 −103 Macrakis talk contribs (remove redundant language; simplify) Tag: Visual edit
- diffhist First-order logic 13:50 +23 BardRapt talk contribs (→External links: S. Shapiro)
- diffhist Boolean-valued model 11:15 +86 2a02:1812:110c:dc00:3480:c7e4:ad1c:6b2a talk
- diffhist Exclusive or 10:28 −614 IrisChronomia talk contribs (Undid revision 1293552530 by IrisChronomia (talk): Research article suspected to be published by a predatory / unfamiliar publisher.) Tag: Undo
- diffhist Exclusive or 10:14 +614 IrisChronomia talk contribs (→Computer science: +citation w/ quotation in request of cn tag; removed tag.) Tags: Reverted Visual edit
- diffhist Forcing (mathematics) 10:02 −25 2a01:e0a:d5f:6400:8f5:bf0c:75ca:c5dd talk (The link points to another Timothy Chow)
- diffhist Principia Mathematica 08:25 −423 203.30.15.49 talk Tags: Mobile edit Mobile web edit
- diffhist Inference 04:35 −1 2601:346:580:4160:eb2d:b3f6:8d4c:3883 talk Tags: Mobile edit Mobile web edit
1 June 2025
- diffhist Cardinal number 23:33 −6 Chanukya13 talk contribs
- diffhist Cardinal number 23:27 +10 Chanukya13 talk contribs
- diffhist Infinity 22:27 +8 Stepwise Continuous Dysfunction talk contribs (bypass the Greek mathematics -> Ancient Greek mathematics redirect)
- diffhist Infinity 22:26 +18 Stepwise Continuous Dysfunction talk contribs (Undid revision 1293453689 by Logic Decimal (talk): pointing directly to the mathematics of ancient Greece specifically makes more sense here) Tag: Undo
- diffhist Antinomy 21:08 +323 Cathysinoz talk contribs (added citation #1Lib1Ref) Tags: Contest or editathon Visual edit
- diffhist Antinomy 20:53 +195 Cathysinoz talk contribs (added citation #1Lib1Ref) Tags: Contest or editathon Visual edit
- diffhist Infinity 20:28 −18 Logic Decimal talk contribs (different subject to display words) Tag: Reverted
- diffhist Inquiry 13:31 +19 GhostInTheMachine talk contribs (removed Category:Wikipedia articles with ASCII art; added Category:Wikipedia articles with ASCII art needing conversion using HotCat)
- diffhist Categories (Aristotle) 10:51 −6 Remsense talk contribs
- diffhist m Bracket (mathematics) 08:05 −6 D.Lazard talk contribs (Reverted 1 edit by 2409:40E3:3C5:D625:80C7:31FF:FE3A:6AAA (talk) to last revision by Voproshatel) Tags: Twinkle Undo
- diffhist Bracket (mathematics) 05:53 +6 2409:40e3:3c5:d625:80c7:31ff:fe3a:6aaa talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m Analysis 02:20 −34 Joyous! talk contribs (Reverted 1 edit by 41.198.158.186 (talk) to last revision by Drmies) Tags: Twinkle Undo
- diffhist Analysis 02:20 +34 41.198.158.186 talk Tag: Reverted
31 May 2025
- diffhist Rule of inference 22:59 +25 Psychastes talk contribs (→Definition: add linked template)
- diffhist m Formal semantics (natural language) 19:35 +15 Davemck talk contribs (Clean up duplicate template arguments using findargdups)
- diffhist First-order logic 19:08 +7 Anerdw talk contribs (MOS:GNL - “man” and “human” get the same point across. Also, punctuation.) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist m Formal semantics (natural language) 17:15 +2 Phlsph7 talk contribs (→Propositional and predicate logic: ce)
- diffhist Formal semantics (natural language) 17:13 0 Phlsph7 talk contribs (fix date)
- diffhist Formal semantics (natural language) 17:11 +2,086 Phlsph7 talk contribs (→Sources: add sources)
- diffhist Formal semantics (natural language) 17:10 +11,924 Phlsph7 talk contribs (add section "Formal systems and theories"; for previous drafts, see User:Phlsph7/Formal semantics - Formal systems and theories; for a discussion, see Talk:Formal_semantics_(natural_language)#Changes_to_the_article) Tag: harv or sfn error
- diffhist Reductio ad absurdum 07:20 +29 Psychastes talk contribs (template)
- diffhist Tetralemma 02:12 −15 Psychastes talk contribs (not about skepticism, topic in logic)
- diffhist Partition of a set 01:18 −1 174.138.213.2 talk (→Definition and notation: grammar)
- diffhist Source criticism 00:58 +10 Psychastes talk contribs (Moving from Category:Skepticism to Category:Religious skepticism diff using Cat-a-lot)
30 May 2025
- diffhist Law of excluded middle 16:29 +77 Peter G Werner talk contribs (→See also) Tag: Visual edit
- diffhist m Expert 16:15 −15 Như Gây Mê talk contribs (Reverted edits by 2409:40C2:5011:C0FD:8000:0:0:0 (talk) to last version by OAbot: nonconstructive edits) Tags: Rollback SWViewer [1.6]
- diffhist Expert 16:15 +15 2409:40c2:5011:c0fd:8000:: talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
- diffhist m Pragmatism 14:46 +27 Ivey talk contribs (Disambiguating links to Perfectionism (link changed to Perfectionism (philosophy)) using DisamAssist.)
- diffhist Cognitive bias 14:08 −122 MrOllie talk contribs (Reverted 1 edit by YDaantje1234 (talk): Unsourced and redundant) Tags: Twinkle Undo
- diffhist Cognitive bias 14:07 +122 YDaantje1234 talk contribs Tags: Reverted Visual edit
- diffhist Axiomatic system 09:51 0 Yesterday, all my dreams... talk contribs (→Axioms and models: categoricity)
- diffhist Analytic–synthetic distinction 04:11 −6 2a00:23c7:2bd2:ab01:207c:d759:7327:9c66 talk (→Mathematics and Synthetic Apriori Propositions.)
- diffhist Analytic–synthetic distinction 04:11 −6 2a00:23c7:2bd2:ab01:207c:d759:7327:9c66 talk (→The Importance of Synthetic Apriori Propositions to Kant's metaphysics)
- diffhist m Computability theory 03:45 −2 Bringingthewood talk contribs (Undid revision 1293009499 by 2401:D800:37B:F790:5575:319C:FD38:2F7 (talk)) Tag: Undo
- diffhist Computability theory 03:41 +2 2401:d800:37b:f790:5575:319c:fd38:2f7 talk Tags: Reverted Mobile edit Mobile web edit
29 May 2025
- diffhist Critical thinking 23:39 −64 Allforrous talk contribs (−Category:Analysis; −Category:Skepticism OVERCAT.)
- diffhist Law of excluded middle 23:20 +4 LucasBrown talk contribs (Changing short description from "Logic theorem" to "Logical principle") Tag: Shortdesc helper
- diffhist Computability theory 19:42 −51 Remsense talk contribs (superfluous)
- diffhist m Possible world 17:38 −30 Remsense talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source