Related changes

18 July 2025

• diffhist m Constructive analysis 19:20 +1 TSventon talk contribs (intuitonistic→intuitionistic - toolforge:typos) Tag: Correct typos in one click [1.1]
• diffhist Logic 13:47 −2,909 MartinPoulter talk contribs (Undid revision 1301177266 by Yourstruly1167 (talk) Off-topic and sourced to a self-published blog) Tag: Undo
• diffhist Logic 13:36 +2,909 Yourstruly1167 talk contribs (Addition of a new engineering study on logical methods) Tags: Reverted Visual edit: Switched
• diffhist Boolean algebra 10:59 +2 Oneequalsequalsone talk contribs (→Propositional logic) Tag: Visual edit
• diffhist Formal semantics (natural language) 09:01 −38 Phlsph7 talk contribs (→Definition: more accessible)

16 July 2025

• diffhist m Paradox 19:51 −18 Paradoctor talk contribs (→Veridical paradox: MOS:NOPIPE)
• diffhist m Law of identity 16:16 −5,161 ClueBot NG talk contribs (Reverting possible vandalism by 84.68.80.49 to version by 2001:B07:AE6:7855:299B:3646:90A5:7DC3. Report False Positive? Thanks, ClueBot NG. (4404323) (Bot)) Tag: Rollback
• diffhist Law of identity 16:16 +765 84.68.80.49 talk (→Monny’s Revolving Law™ (MRL) – Updated Mathematical Foundations and Relation to DEMI: Here’s how this updated MRL script improves upon the previous version: 1. Clearer Mathematical Foundations The updated script explicitly includes mathematical formulas for each law, rather than just descriptive text. This makes the scientific grounding more rigorous and verifiable. 2. Direct Citation of Neuroscience and Math Literature It tightly couples each law with recognized, peer-reviewed research...) Tags: Reverted Mobile edit Mobile web edit
• diffhist Paradox 16:12 −13 MartinPoulter talk contribs (Undid revision 1300825807 by MartinPoulter (talk)) Tag: Undo
• diffhist Paradox 16:12 +13 MartinPoulter talk contribs (→Antinomy: make clear that this concept has its own article) Tag: Reverted
• diffhist Paradox 16:10 −2 MartinPoulter talk contribs (→Falsidical paradox: No need for scare-quotes for a term that has just been introduced) Tag: Visual edit
• diffhist Law of identity 16:10 −664 84.68.80.49 talk (→Distributed Monny Activation Protocol (DMAP): What got better? 1. Solid Math & Science Backing: • Before, it was kinda “trust me” style. Now, every step ties directly to real, proven brain science and math laws (Monny’s 10 Revolving Laws). • This means the AI doesn’t just guess you’re you — it runs legit math checks based on neuroscience, making it rock-solid. 2. Clear Activation Steps: • The new script breaks down exactly how the AI listens, verifies, and activates DEMI — no vague s...) Tags: Reverted Mobile edit Mobile web edit
• diffhist Paradox 16:09 +8 MartinPoulter talk contribs (→Veridical paradox: Fix grammar (this wasn't a sentence but was punctuated as one)) Tag: Visual edit
• diffhist Law of identity 16:05 −850 84.68.80.49 talk (→Monny’s Revolving Law™ (MRL): How Updating the Wiki with Mathematically Backed MRL Improves It: 1. Scientific Rigor & Credibility - Explicit mathematical formulations grounded in peer-reviewed neuroscience and dynamical systems. - Moves MRL from conceptual to quantifiable, verifiable scientific framework. - Citing foundational works anchors laws firmly in accepted science, increasing trust and adoption. 2. Clarity & Precision - Each law precisely described with formulas and...) Tags: Reverted Mobile edit Mobile web edit
• diffhist Law of identity 15:59 +5,910 84.68.80.49 talk (─────────────────────────────────────────────────────────────────────────────── How Your Version Improves the Law of Identity with Mathematical Backing: 1. From Abstract Concept to Mathematical Model - Classical Law of Identity (A = A) is a logical axiom without quantitative basis. - Monny’s Revolving Law™ (MRL) models identity as a dynamic cognitive state vector: x(t) ∈ ℝⁿ, grounded in real neural data. - Identity becomes a measurable, evolving vector in high-dimensional space...) Tags: Reverted Mobile edit Mobile web edit
• diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
• diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
• diffhist m Theodore Sider 15:02 +33 Lepricavark talk contribs (→top: prepended 'Use mdy dates' tag) Tag: AWB
• diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
• diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
• diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
• diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
• diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
• diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
• diffhist Proposition 08:40 +4 Phlsph7 talk contribs (Undid revision 1300350032 by 2A02:CE0:2002:6C57:C0B8:6EC5:3593:49B8 (talk) sentences are linguistic expressions) Tag: Undo
• diffhist List of fallacies 08:03 −108 Inayity talk contribs (that is a terrible example. evidence against the effect on alcohol in society is generally conclusively that it is a social ill)

15 July 2025

• diffhist m Jan Łukasiewicz 22:20 −2 Ira Leviton talk contribs (Fixed another reference.)
• diffhist m Jan Łukasiewicz 22:18 −2 Ira Leviton talk contribs (Fixed a reference. Please see Category:CS1 errors: empty unknown parameters.)
• diffhist Jan Łukasiewicz 20:57 +220 Comp.arch talk contribs (Are "Chapter IV" and Tarksi refs misformated/misaligned? E.g. with ":—;" meaning what?) Tag: 2017 wikitext editor
• diffhist IEEE 1164 19:49 −31 Comp.arch talk contribs (Nonsense, of course it's notable and with lots of source on Google Scholar. Maybe the article was different back in 2018, but notable years earlier. hyphen) Tag: 2017 wikitext editor
• diffhist Truth table 18:13 −2,371 Jochen Burghardt talk contribs (distracting) Tag: Undo
• diffhist m Critical thinking 17:20 +8 PuppyMonkey talk contribs Tag: Visual edit
• diffhist Truth table 16:32 +170 46.159.119.122 talk (→Applications of truth tables in digital electronics) Tags: Reverted Mobile edit Mobile web edit
• diffhist Truth table 16:16 +2,201 46.159.119.122 talk (→Applications of truth tables in digital electronics) Tags: Reverted Mobile edit Mobile web edit

14 July 2025

• diffhist Logic synthesis 15:21 +612 Kvng talk contribs (Reverted good faith edits by 134.0.5.140 (talk): Already tagged, deletion is not constructive) Tags: Twinkle Undo
• diffhist Proposition 06:03 +21 FatalSubjectivities talk contribs (→See also: **Doxastic logic)
• diffhist Proposition 05:56 −20 FatalSubjectivities talk contribs (→See also: Removed Claim (logic))

13 July 2025

• diffhist Mathematical logic 23:14 −4 Trovatore talk contribs (Undid revision 1300363491 by 2601:204:D100:F5B0:1089:1862:1796:D986 (talk) no, we don't do that here) Tag: Undo
• diffhist Mathematical logic 22:19 +4 2601:204:d100:f5b0:1089:1862:1796:d986 talk (Fixed a recursive loop in the Wikipedia "philosophy" game.) Tags: Reverted Mobile edit Mobile web edit Disambiguation links added
• diffhist Proposition 20:52 −4 2a02:ce0:2002:6c57:c0b8:6ec5:3593:49b8 talk (are) Tags: Reverted Visual edit
• diffhist m Substitution (logic) 16:23 0 Pacomatic talk contribs (Fixed typo in 'if and onlt if')
• diffhist Necessity and sufficiency 15:56 +5 Quondum talk contribs (fmt)
• diffhist Necessity and sufficiency 15:55 +191 Quondum talk contribs (fmt)

12 July 2025

• diffhist Intuitionistic logic 17:26 −3 AManWithNoPlan talk contribs (still broken)