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

7 June 2025

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 Calculus of constructions 12:35 +22 202.40.180.88 talk Tags: Mobile edit Mobile web edit
diffhist Lambda calculus 11:14 +4 WillNess talk contribs (→Arithmetic in lambda calculus: correct minor omission of italics in formula)
diffhist Lambda calculus 11:11 +269 WillNess talk contribs (→Arithmetic in lambda calculus: c/e)
diffhist Lambda calculus 10:53 +934 WillNess talk contribs (→Arithmetic in lambda calculus: wiki-links; style; clarity)

6 June 2025

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 Natural deduction 09:00 −1 Periklismant talk contribs (→Gentzen-style example proofs)

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)
diffhist m Calculus of constructions 02:59 −4 Squeakachu talk contribs (Reverted edit by 85.140.7.62 (talk) to last version by 175.100.7.120) Tag: Rollback
diffhist Calculus of constructions 02:45 +4 85.140.7.62 talk Tags: Reverted Visual edit Mobile edit Mobile web edit Disambiguation links added

4 June 2025

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

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 Double-negation translation 09:32 +1,740 Marc Schroeder talk contribs (cleaned up)
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
diffhist m Frege's theorem 03:58 0 Wyverald talk contribs (→Frege's theorem in propositional logic: fix wording)

7 June 2025

6 June 2025

5 June 2025

4 June 2025

3 June 2025

2 June 2025

1 June 2025

31 May 2025