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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

28 May 2025

diffhist Formal semantics (natural language) 09:23 +167 Phlsph7 talk contribs (add source)
diffhist List of paradoxes 04:48 +123 WikiNukalito talk contribs (→Biology: Added Washburn's paradox)
diffhist Critical thinking 04:40 0 Richard-of-Earth talk contribs (Remove extra line break)
diffhist Name 00:20 −23 Lancer-lot-X talk contribs (→See also) Tags: Mobile edit Mobile web edit

27 May 2025

diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
diffhist m Formal semantics (natural language) 16:22 +8 Phlsph7 talk contribs (ce)
diffhist Formal semantics (natural language) 16:21 +28 Phlsph7 talk contribs (→References: add template "notelist")
diffhist Formal semantics (natural language) 16:20 +422 Phlsph7 talk contribs (→Definition: add footnote on synonyms)
diffhist m Ingebrigt Johansson 12:56 −31 Deb talk contribs (bring intro into line with bio standards)
diffhist m Probability 08:57 −123 Materialscientist talk contribs (Reverted edits by 157.49.134.237 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
diffhist Probability 08:56 +123 157.49.134.237 talk (→meaning of problaty) Tags: Reverted Mobile edit Mobile web edit
diffhist Formal semantics (natural language) 08:49 +137 Phlsph7 talk contribs (→Definition: reformulate per talk page)

26 May 2025

diffhist Law of identity 19:22 −1 2001:b07:ae6:7855:299b:3646:90a5:7dc3 talk (→Modern philosophy: Typo) Tags: Mobile edit Mobile web edit
diffhist Reason 18:58 +455 MrRestre11 talk contribs (reference to neuroscience of reasoning) Tags: Visual edit Newcomer task Newcomer task: references
diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
diffhist Contradiction 10:58 −1 125.237.210.249 talk (fixed syntax. "when", implying time, is not relevant)

25 May 2025

diffhist Formal semantics (natural language) 22:45 +39 Botterweg talk contribs (fixing von fintel ref)
diffhist Formal semantics (natural language) 22:43 +1,150 Botterweg talk contribs (restoring some old text, adapted and now with citations) Tag: harv or sfn error
diffhist Formal semantics (natural language) 22:21 −31 Botterweg talk contribs (→Definition: not necessarily)
diffhist Formal semantics (natural language) 22:20 −593 Botterweg talk contribs (→Definition: Removing text that's potentially misleading (happy to discuss))
diffhist Formal semantics (natural language) 22:09 −226 Botterweg talk contribs (→Definition: oops, making the change that I intended to make before)
diffhist m Formal semantics (natural language) 22:08 0 Botterweg talk contribs (→Definition: fixing link)
diffhist Formal semantics (natural language) 22:07 −91 Botterweg talk contribs (→Definition: More economical text + changing characterization since "semantics" isn't really a field at least sociologically)
diffhist Formal semantics (natural language) 21:49 −415 Botterweg talk contribs (→Definition: These terms don't describe precisely the same thing (and in general, if useage of a term requires that much hedging it's probably not useful to the reader))
diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
diffhist Formal semantics (natural language) 17:25 +30 Phlsph7 talk contribs (→Sources: sort alphabetically, layout)
diffhist Formal semantics (natural language) 17:24 +187 Phlsph7 talk contribs (fix reference error)
diffhist Formal semantics (natural language) 17:23 +3,704 Phlsph7 talk contribs (→References: add sources)
diffhist Formal semantics (natural language) 17:22 +2,191 Phlsph7 talk contribs (→Overview: expand section "Overview", add sources for unreferenced claims, and rename to "Definition"; for previous drafts, see User:Phlsph7/Formal semantics - Definition; for a discussion, see Talk:Formal_semantics_(natural_language)#Changes_to_the_article) Tag: harv or sfn error
diffhist List of paradoxes 16:45 +148 Paradoctor talk contribs (→Biology: +Charlesworth's paradox)
diffhist Cambridge University Press 03:45 −9 Nedrutland talk contribs (→Publications: "Easter Wings" et al.)
diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
diffhist m Material conditional 02:32 0 Marc Schroeder talk contribs (→Syntactical properties)
diffhist Critical thinking 01:57 −1,048 OldeMaker talk contribs (→Functions: Removed digressions about specific professions (re: nurses, and re: academics); moved their references to retain the relevant citations. The preceding paragraphs had already explained the importance of critical thinking to ALL professions.) Tags: Mobile edit Mobile app edit Android app edit App section source

24 May 2025

diffhist m Material conditional 21:48 −567 Marc Schroeder talk contribs (→Syntactical properties: Now things are stated once instead of twice.)
diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
diffhist m Calculus of constructions 17:38 −83 Jet Pilot talk contribs (Reverted edits by 102.208.96.70 (talk) to last version by AnomieBOT: nonconstructive edits) Tags: Rollback SWViewer [1.6]
diffhist Calculus of constructions 17:37 +83 102.208.96.70 talk (ABSTAA224679181.fuahad) Tags: Reverted Mobile edit Mobile web edit
diffhist m Logic 15:05 −4 Remsense talk contribs (Reverted 1 edit by Quality Sign (talk) to last revision by Phlsph7) Tags: Twinkle Undo
diffhist Reason 15:05 −21 Remsense talk contribs (Undid revision 1291983455 by Quality Sign (talk): useless) Tag: Undo
diffhist Reason 15:04 +21 Quality Sign talk contribs Tag: Reverted
diffhist Logic 14:47 +4 Quality Sign talk contribs Tag: Reverted
diffhist Argumentation theory 13:15 −2,380 Cognsci talk contribs (→Approaches to argumentation in communication and informal logic: removed section with no citations)

22 May 2025

diffhist Informal logic 16:42 +190 LWG talk contribs (→History: clarify and resolve undue weight tag)

21 May 2025

diffhist Material conditional 19:12 +714 Marc Schroeder talk contribs (→A selection of theorems (classical logic): added ND of Vacuous conditional)
diffhist De Morgan's laws 18:32 +60 DBooth talk contribs (Clarified how De Morgan's laws are used to optimize performance in modern programming languages)
diffhist m Material conditional 13:07 −6 Marc Schroeder talk contribs