Related changes

25 June 2025

• diffhist Outline of logic 23:00 +16 Paradoctor talk contribs (→Set theory: MOS:NOSECTIONLINKS)
• diffhist Outline of logic 22:58 +10 Paradoctor talk contribs (Undid revision 1297382402 by Gabriel Wang 12333 (talk): MOS:NOSECTIONLINKS)
• diffhist Outline of logic 22:58 −4 Paradoctor talk contribs (Undid revision 1297382364 by Gabriel Wang 12333 (talk): MOS:NOSECTIONLINKS) Tag: Undo
• diffhist Outline of logic 22:57 +29 Paradoctor talk contribs (Undid revision 1297382335 by Gabriel Wang 12333 (talk): MOS:NOSECTIONLINKS)
• diffhist Outline of logic 22:56 −4 Paradoctor talk contribs (Undid revision 1297382281 by Gabriel Wang 12333 (talk): MOS:NOSECTIONLINKS) Tag: Undo
• diffhist Outline of logic 22:55 −11 Paradoctor talk contribs (MOS:NOSECTIONLINKS) Tag: Undo
• diffhist Outline of logic 21:23 +1 Gabriel Wang 12333 talk contribs (→Set theory)
• diffhist Outline of logic 21:22 −17 Gabriel Wang 12333 talk contribs (→Set theory)
• diffhist Outline of logic 21:22 −18 Gabriel Wang 12333 talk contribs (→Predicate logic)
• diffhist Outline of logic 21:21 +4 Gabriel Wang 12333 talk contribs (→Boolean logic) Tag: Reverted
• diffhist Outline of logic 21:21 −21 Gabriel Wang 12333 talk contribs (→Propositional logic)
• diffhist Outline of logic 21:20 +4 Gabriel Wang 12333 talk contribs (→Logical connectives) Tag: Reverted
• diffhist Outline of logic 21:20 −26 Gabriel Wang 12333 talk contribs (→Logical symbols) Tag: Reverted
• diffhist Outline of logic 21:19 +37 Gabriel Wang 12333 talk contribs (→Logical symbols) Tag: Reverted
• diffhist Outline of logic 21:15 +4 Gabriel Wang 12333 talk contribs (→Books)
• diffhist Outline of logic 21:14 +6 Gabriel Wang 12333 talk contribs (→Non-classical logic)
• diffhist Outline of logic 21:14 −1 Gabriel Wang 12333 talk contribs (→Classical logic)
• diffhist m Mathematical object 20:40 −12 Cyfal talk contribs (spelling (WP:Typo Team))
• diffhist Semantics 13:05 +80 Dr Oldekop talk contribs
• diffhist Necessity and sufficiency 03:07 +32 Goodphy talk contribs (Added adverb "necessarily" and "sufficiently" to intuitively understand the terms necessary and sufficient conditions.) Tag: Visual edit

24 June 2025

• diffhist Mathematical notation 21:01 +1 IlGius3 talk contribs (falacy -> falLacy) Tags: Visual edit Mobile edit Mobile web edit
• diffhist m Set (mathematics) 17:42 −1 Nimbru talk contribs (typo: supposes → suppose)
• diffhist m Set (mathematics) 17:36 +2 Nimbru talk contribs (typo: be → been)
• diffhist Turing machine 16:46 +27 FatalSubjectivities talk contribs (→See also: Calculus ratiocinator) Tags: Mobile edit Mobile web edit
• diffhist List of logicians 15:55 0 98.7.199.103 talk (→B)
• diffhist List of logicians 14:37 0 98.7.199.103 talk (→A: sourced from their wikip pages)
• diffhist Abstraction 13:59 +18 WallAdhesion talk contribs (→top: Partially undid revision 1293934245 by re-disambiguating link to rules.)
• diffhist Element (mathematics) 03:56 +37 Lottamiata talk contribs (→Sets)
• diffhist Element (mathematics) 03:52 0 Lottamiata talk contribs (→Sets)
• diffhist Element (mathematics) 03:52 +22 Lottamiata talk contribs (→Sets) Tag: Disambiguation links added
• diffhist Element (mathematics) 03:49 +893 Lottamiata talk contribs (→Sets)

23 June 2025

• diffhist Necessity and sufficiency 23:50 +2 Goodphy talk contribs (Soften a sentence.) Tag: Visual edit
• diffhist Computational linguistics 21:49 +206 Wikideas1 talk contribs (→Software: section added)
• diffhist Truth 18:10 −87 Pichpich talk contribs (undo) Tag: Manual revert
• diffhist Truth 17:52 +87 ExTiberiu talk contribs (The truth related to the concept of "egregore" as a collective thought-form or emergent consciousness created by shared belief and attention) Tags: Reverted draft or userpage link Visual edit
• diffhist Truth 14:10 −406 Patrick Welsh talk contribs (Undid revision 1296985294 by ExTiberiu (talk) pls. use the talk page to get consensus for disputed content) Tag: Undo
• diffhist Truth 13:59 +406 ExTiberiu talk contribs (Truth in the Age of AI) Tags: Reverted draft or userpage link Visual edit
• diffhist Ontology 13:22 −679 MrOllie talk contribs (Reverted 1 edit by Nettalk83 (talk): Thanks, but we really can't use selfpublished materials like zenodo preprints on Wikipedia) Tags: Twinkle Undo
• diffhist Ontology 13:20 +679 Nettalk83 talk contribs (Added “Existence = My’s All-of-Me” as a recent speculative unified field hypothesis (with Zenodo reference) in ontology section.) Tag: Reverted
• diffhist Formal semantics (natural language) 12:31 −19 Phlsph7 talk contribs (→Syntax-semantics interface: better image: the example sentence is very odd for people without a background in philosophy of language)
• diffhist Kolmogorov complexity 12:09 −3 Rich Smith talk contribs (→History and context: CheckWiki Fixes (and other AWB fixes)) Tag: AWB
• diffhist Formal semantics (natural language) 10:13 +317 Phlsph7 talk contribs (→Interfaces: short introduction)
• diffhist Formal semantics (natural language) 09:51 −54 Phlsph7 talk contribs (→Methodology: ce)
• diffhist Formal semantics (natural language) 09:47 +52 Phlsph7 talk contribs (→Methodology: clarify term)
• diffhist Formal semantics (natural language) 09:38 +12 Phlsph7 talk contribs (→Lambda calculus: consistent use of article)
• diffhist Formal semantics (natural language) 09:32 −41 Phlsph7 talk contribs (→Lambda calculus: ce to avoid repetitive language and simplify)
• diffhist m Von Neumann universe 04:27 +30 Barçaforlife talk contribs (→Finite and low cardinality stages of the hierarchy)
• diffhist m Proposition 03:20 −42 GoingBatty talk contribs (General fixes & manual cleanup) Tag: AWB

22 June 2025

• diffhist Saturated model 23:15 +9 2a02:8440:3340:fcee:4de2:3e75:9edb:27b0 talk (Added "strictly" before "less than k" for the definition of k-saturation for a given model.)
• diffhist m Formal semantics (natural language) 19:50 +3 Botterweg talk contribs (→Syntax-semantics interface: spacing)