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
8 June 2025
- diffhist Probability 12:17 0 2402:a00:168:11f2:daa:5821:de26:fc88 talk Tags: Mobile edit Mobile web edit
- diffhist First-order logic 10:18 −4 Absolutiva talk contribs (Removing link(s) to "Paris": MOS:OVERLINK.) Tag: Twinkle
- diffhist Talk:Entitative graph 04:18 −52 Psychastes talk contribs (Assessment: banner shell, Mathematics, −Philosophy (Rater))
- diffhist m Logic 02:56 −1 ERcheck talk contribs (→Formal logic: plural)
7 June 2025
- diffhist Charles Sanders Peirce 16:11 −32 Psychastes talk contribs (removed Category:Critical theorists using HotCat not a critical theorist, anachronistic)
- diffhist Formal semantics (natural language) 12:55 −14 Phlsph7 talk contribs (→Definite and indefinite descriptions: rename to also cover "names")
- diffhist m Formal semantics (natural language) 12:50 +2 Phlsph7 talk contribs (fix reference error)
- diffhist Formal semantics (natural language) 12:49 +1 Phlsph7 talk contribs (fix reference error)
- diffhist Formal semantics (natural language) 12:48 +314 Phlsph7 talk contribs (→Sources: add source)
- diffhist m Formal semantics (natural language) 12:44 +8 Phlsph7 talk contribs (fix reference error)
- diffhist Formal semantics (natural language) 12:42 +8,199 Phlsph7 talk contribs (→Sources: add sources)
- diffhist Formal semantics (natural language) 12:41 +19 Phlsph7 talk contribs (→Phenomena: rename to "Studied linguistic phenomena" to make the topic more concrete)
- diffhist Formal semantics (natural language) 12:40 +18,460 Phlsph7 talk contribs (→Phenomena: section "Phenomena" expanded to discuss various other linguistic phenomena studied in formal semantics; the previous sections were integrated into the new material, such as the discussion of scope in the section on quantifiers; for previous drafts, see User:Phlsph7/Formal semantics - Studied linguistic phenomena and theories; for a discussion, see Talk:Formal_semantics_(natural_language)#Changes_to_the_article)
- diffhist Talk:Formal system 07:51 +623 Ancheta Wis talk contribs (→What do you mean by "A formal language is a language that is defined by a formal system".: note the contributor)
6 June 2025
- diffhist Talk:Formal system 23:44 +61 Yesterday, all my dreams... talk contribs (→What do you mean by "A formal language is a language that is defined by a formal system".)
- diffhist Talk:Formal system 23:42 −1 Yesterday, all my dreams... talk contribs (not prime<time)
- diffhist Antinomy 18:48 −518 Fedjmike talk contribs (Revert changes by User:Cathysinoz. These citations do not corroborate the material they have been added to.) Tags: Manual revert Visual edit
- diffhist m Formal semantics (natural language) 17:12 +25 Don Stroud talk contribs (→See also: * Semantics of logic)
- diffhist Formal semantics (natural language) 16:54 −121 Remsense talk contribs (Reverted 1 edit by Don Stroud (talk): See WP:NOHAT) Tags: Twinkle Undo
- diffhist Formal semantics (natural language) 16:52 +121 Don Stroud talk contribs (hatnote) Tags: Reverted Disambiguation links added
- diffhist Young's lattice 15:51 +63 Tc14Hd talk contribs (Added short description) Tags: Mobile edit Mobile app edit Android app edit App description add
- diffhist William Stanley Jevons 11:02 +11 Keith D talk contribs (→Background: Date format)
- diffhist John Venn 03:59 +111 Julipero talk contribs (Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) Tag: IABotManagementConsole [1.3]
- diffhist Lexicographic order 01:02 +5 Headbomb talk contribs (Altered journal. | Use this tool. Report bugs. | #UCB_Gadget)
5 June 2025
- diffhist List of paradoxes 22:46 +129 Plastixfy talk contribs (add) Tag: Visual edit
- diffhist Truth 15:22 +24 150.221.50.138 talk (Added hyperlinks to philosophical skepticism section regarding Pontius Pilate/Quid est Veritas)
- diffhist Truth 15:18 +1,287 150.221.50.138 talk (Added a referenced paragraph under ‘Philosophical skepticism’ highlighting Pontius Pilate’s ‘What is truth?’ (John 18:38) as an early literary expression of epistemological skepticism, citing Plummer and Bacon.)
- diffhist Informal logic 03:36 −33 Psychastes talk contribs (removed Category:Philosophical logic using HotCat in grandparent, more appropriate there)
4 June 2025
- diffhist Completeness (order theory) 19:45 +28 Duckmather talk contribs (tag with {{noinline}}) Tag: Visual edit
- diffhist m Boolean satisfiability problem 16:22 +1,080 Ftiercel talk contribs (→XOR-satisfiability: Rename the variables ''a'', ''b'', ''c'' and ''d'' to ''x<sub>1</sub>'', ''x<sub>2</sub>'', ''x<sub>3</sub>'' and ''x<sub>4</sub>'' to disambiguate with the names of the lines ''A'', ''B'', ''C'', ...)
- diffhist Total order 10:51 −24 Jochen Burghardt talk contribs (→Examples: rm example that would require AC, cf. talk)
- diffhist Formal semantics (natural language) 09:22 −52 Phlsph7 talk contribs (→Methodology: not necessary for this explanation)
- diffhist Formal semantics (natural language) 09:21 −63 Phlsph7 talk contribs (already explained later)
- diffhist m Formal semantics (natural language) 09:18 −1 Phlsph7 talk contribs (ce)
- diffhist Formal semantics (natural language) 09:17 +62 Phlsph7 talk contribs (I think we need to include somewhere that models are supposed to represent reality)
- diffhist Formal semantics (natural language) 09:14 +11 Phlsph7 talk contribs (clarify for general reader)
- diffhist Formal semantics (natural language) 09:10 −3 Phlsph7 talk contribs (this could be too strong)
- diffhist m Truth 03:18 +281 ZachH007 talk contribs (Reverted 1 edit by Bigdickrandy27 (talk) to last revision by Omnipaedista) Tags: Twinkle Undo
- diffhist m Truth 03:18 −281 Bigdickrandy27 talk contribs (small punctuational change) Tags: Reverted Visual edit
- diffhist Net (mathematics) 01:37 −2 Tc14Hd talk contribs (Updated short description) Tags: Mobile edit Mobile app edit Android app edit App description change
3 June 2025
- diffhist m Formal semantics (natural language) 23:05 +1 Botterweg talk contribs (→Methodology: bracket)
- diffhist Formal semantics (natural language) 22:53 −1,163 Botterweg talk contribs (→Methodology: Removing this paragraph, though something along these lines should be rebuilt. Stokhof is talking about a different notion of LF than the one semanticists are usually concerned about, and Montague's rule-to-rule idea has been pretty much universally superseded by type-driven interpretation so that part isn't describing the present day field either. I'll leave a note on the talk page)
- diffhist Formal semantics (natural language) 22:47 +9 Botterweg talk contribs (different word as an example)
- diffhist Formal semantics (natural language) 22:46 +549 Botterweg talk contribs (Various rephrasings, corrections, and additional citations) Tag: harv or sfn error
- diffhist m Talk:Boolean satisfiability problem 16:19 +341 Ftiercel talk contribs (→Changes in XOR-SAT example: Renaming?)
- diffhist Talk:Implicant 15:57 +3 Psychastes talk contribs (Assessment: banner shell (Rater))
- diffhist m Logic 07:34 −46 PEPSI697 talk contribs (Rollback edit(s) by 2409:4085:ECB:87C:0:0:5ECB:4A10 (talk): No reliable source (UV 0.1.6)) Tags: Ultraviolet Rollback
- diffhist Logic 07:33 +46 2409:4085:ecb:87c::5ecb:4a10 talk (→top: using some creative knowledge and great ideas) Tags: Reverted Mobile edit Mobile app edit Android app edit App section source
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 m Talk:Boolean satisfiability problem 18:25 +1,389 Ftiercel talk contribs (→Changes in XOR-SAT example: Answers)