Related changes

10 June 2025

• diffhist Logical connective 19:28 −1 Maxeto0910 talk contribs (no sentence) Tag: Visual edit
• diffhist Linguistics 19:26 +1 Maxeto0910 talk contribs (→Major subdisciplines: period after sentence) Tag: Visual edit
• diffhist Logic 19:10 +1 Maxeto0910 talk contribs (→Fallacies) Tag: Visual edit
• diffhist Formal semantics (natural language) 12:42 +1 Phlsph7 talk contribs (→Methodology: ce)
• diffhist m Formal semantics (natural language) 12:40 −1 Phlsph7 talk contribs (→Methodology: ce)
• diffhist Formal semantics (natural language) 12:40 +592 Phlsph7 talk contribs (→Methodology: some extra information since the part on empirical validation may have been too condensed)
• diffhist Formal semantics (natural language) 12:27 +913 Phlsph7 talk contribs (→Sources: add sources)
• diffhist Formal semantics (natural language) 12:25 +34 Phlsph7 talk contribs (→Methodology: clarify)
• diffhist Formal semantics (natural language) 12:23 +1,815 Phlsph7 talk contribs (→Methodology: add paragraph about methodological divide per talk page) Tag: harv or sfn error

9 June 2025

• diffhist Logic 21:43 +7 Trovatore talk contribs (→Formal logic: I suspect the other editor was confused by the language; the rule of inference isn't something that applies to the premises and also to the conclusion, but rather to the path from the former to the latter)
• diffhist Logic 19:40 +5 ERcheck talk contribs (→Formal logic: per Trovatore, not a compound subject, so adding word to avoid any ambiguity)
• diffhist Logic 17:53 +1 Trovatore talk contribs (Undid revision 1294502182 by ERcheck (talk) the subject of "follows" is "logical structure", which is singular) Tag: Undo
• diffhist m Existence 15:14 +58 BardRapt talk contribs (→Sources: Guyer & Horstmann)
• diffhist First-order logic 15:09 +192 BardRapt talk contribs (→Terms: G. Takeuti)
• diffhist Rule of inference 08:42 +457 Phlsph7 talk contribs (mention term "deductive explosion" per DYK discussion)

8 June 2025

• diffhist m Existence 21:56 +20 Plastixfy talk contribs (copy editing) Tag: Visual edit
• diffhist Proposition 21:38 +96 68.132.122.6 talk (Fix/improve citation for Hurley (2014); add page number and direct quote for definition.) Tag: Visual edit
• diffhist Proposition 21:19 −63 68.132.122.6 talk (Added a definition of proposition from the "A Concise Introduction to Logic 12th Edition" by Hurley and added that as a citation, and shortened some portions of the introduction to make it easier for beginners to understand.) Tag: Visual edit
• diffhist Rule of inference 17:04 +8 Phlsph7 talk contribs (→Others: slight reformulation per DYK discussion)
• diffhist Prolog 15:03 +173 Vvrq talk contribs (13211-3 added)
• diffhist First-order logic 10:18 −4 Absolutiva talk contribs (Removing link(s) to "Paris": MOS:OVERLINK.) Tag: Twinkle
• diffhist m Logic 02:56 −1 ERcheck talk contribs (→Formal logic: plural) Tag: Reverted

7 June 2025

• diffhist Mereology 17:36 −462 Remsense talk contribs (Reverted 1 edit by Tolsai (talk): Per WP:DUE' 0 citations in other scholarship means 0 citations on wiki) Tags: Twinkle Undo
• diffhist Mereology 17:32 +462 Tolsai talk contribs Tag: Reverted
• diffhist Pragmatics 16:27 +2 Thiagovscoelho talk contribs (Section merge)
• diffhist Pragmatics 16:21 −2,434 Thiagovscoelho talk contribs (→Nonreferential uses of language: Tangential, not mentioned in RS on pragmatics)
• diffhist m Pragmatics 16:10 −12 Thiagovscoelho talk contribs (→History: curly apostrophes cf MOS)
• diffhist m Pragmatics 16:09 −4 Thiagovscoelho talk contribs (→History: curly quotes cf MOS)
• diffhist m Pragmatics 16:09 −12 Thiagovscoelho talk contribs (→History: MOS discourages curly quotes)
• diffhist Pragmatics 15:57 +19 Thiagovscoelho talk contribs (Better text flow to account for the aside on Watzlawick) Tag: Visual edit
• diffhist Pragmatics 15:56 +4,159 Thiagovscoelho talk contribs (Clarification about Watzlawick) Tag: Visual edit
• diffhist m Pragmatics 15:51 0 Bagumba talk contribs (→History: dab)
• diffhist m Pragmatics 15:16 −8 Thiagovscoelho talk contribs Tag: Visual edit
• diffhist Pragmatics 15:16 +15,515 Thiagovscoelho talk contribs (Better history section) Tags: Visual edit Disambiguation links added
• 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 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 m Algorithm 17:27 +28 Remsense talk contribs (Reverted 1 edit by 161.248.241.33 (talk) to last revision by AHBaha) Tags: Twinkle Undo
• diffhist Algorithm 17:21 −28 161.248.241.33 talk (→Etymology) Tags: Reverted Mobile edit Mobile web 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