Related changes

9 April 2025

• diffhist Second-order logic 17:30 −43 David Eppstein talk contribs (Undid revision 1284736451 by Chalst (talk) out-of-context phrasing: what classical variant? Do you expect readers to have any idea what that is supposed to mean?) Tag: Undo
• diffhist Second-order logic 11:56 +43 Chalst talk contribs (Lead gives the impression that SOL only covers classical logic) Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source

8 April 2025

• diffhist Wikipedia:Stub 10:14 +90 GhostInTheMachine talk contribs (→See also: links on own lines, add a little detail)

7 April 2025

• diffhist m Propositional calculus 21:22 −99 Marc Schroeder talk contribs (→Frege's Begriffsschrift: uniform notation throughout the article)
• diffhist m Propositional calculus 20:53 +57 Marc Schroeder talk contribs
• diffhist Propositional calculus 19:30 +3,760 Marc Schroeder talk contribs (Put the references into a list. List will be alphabetically sorted at a some later moment.)
• diffhist m First-order logic 16:28 −8 BardRapt talk contribs (→Algebraizations: mce)
• diffhist m Propositional calculus 12:35 +124 Marc Schroeder talk contribs (→External links: added link to article 'Propositional Logic' on Stanford Encyclopedia of Philosophy)
• diffhist Georg Cantor 01:54 −6 Remsense talk contribs (Restored revision 1282790393 by Turtlens (talk): Rv wholly artificial imposition, as English is not Latin—even among the most formalist of English speakers, nearly all have given up the "shouldn't end a sentence with a preposition" thing.) Tags: Twinkle Undo
• diffhist Georg Cantor 01:50 +6 BandoTook talk contribs Tags: Reverted Mobile edit Mobile web edit
• diffhist m Jan Łukasiewicz 01:21 −3 Marc Schroeder talk contribs
• diffhist m Jan Łukasiewicz 01:18 +138 Marc Schroeder talk contribs (→Papers: completed a ref)

6 April 2025

• diffhist Modus ponens 22:49 +54 Loverthehater talk contribs (→Justification via truth table: renamed header, added some links. see talk page.)
• diffhist Ludwig Wittgenstein 11:28 +112 Taibhsin talk contribs (Requested a better source for the claim that there were 2,100 applications for Mischling status in 1939) Tag: Visual edit
• diffhist m Jan Łukasiewicz 09:22 +167 Marc Schroeder talk contribs (→Papers: completed a ref)
• diffhist Term logic 08:52 −10 Remsense talk contribs (→Basics)
• diffhist m Rule of inference 08:50 0 Remsense talk contribs (forgive me but LQ means this here, right? #MiniEdit)
• diffhist Rule of inference 07:46 +16 Phlsph7 talk contribs (fix link)
• diffhist Wikipedia:Stub 05:44 0 Yelps talk contribs (Up to date now) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist De Morgan's laws 04:12 +550 Gamma Delphini talk contribs (Undid revision 1284016770 by 201.175.219.109 (talk) Revert unnecessary deletion) Tags: Undo Mobile edit Mobile app edit Android app edit App undo
• diffhist Ludwig Wittgenstein 03:03 0 Maurice Magnus talk contribs (→Other posthumous publications: corrected quotation by adding hyphen)
• diffhist Charles Sanders Peirce 02:08 −21 ThaesOfereode talk contribs (WP:SD40) Tag: Shortdesc helper

5 April 2025

• diffhist De Morgan's laws 02:41 −550 201.175.219.109 talk (→Text searching) Tags: Reverted Mobile edit Mobile web edit

4 April 2025

• diffhist Ludwig Wittgenstein 02:36 −8 Nikkimaria talk contribs (dl)
• diffhist m Theorem 00:49 −1 Steel1943 talk contribs (→Terminology: fix common MOS:REFSPACE spacing errors, replaced: {{efn → {{efn) Tag: AWB
• diffhist m Ludwig Wittgenstein 00:27 +1 Keystone18 talk contribs (ce)
• diffhist m Ludwig Wittgenstein 00:27 +26 Keystone18 talk contribs (ce)

3 April 2025

• diffhist First-order logic 15:12 −9 Remsense talk contribs (idiomatic)
• diffhist First-order logic 15:12 +10 Remsense talk contribs
• diffhist Ludwig Wittgenstein 13:28 +2 Maurice Magnus talk contribs (→Cambridge Moral Sciences Club and Apostles: inserted quotation marks around what had been block quotes)
• diffhist Ludwig Wittgenstein 13:21 −28 Maurice Magnus talk contribs (→Cambridge Moral Sciences Club and Apostles: No reason for such short block quotes)
• diffhist Rule of inference 11:54 +1 Phlsph7 talk contribs (adjust lead image: less height)
• diffhist Rule of inference 11:46 +287 Phlsph7 talk contribs (→Propositional logic: expand table per GA suggestion)
• diffhist Rule of inference 11:32 +93 Phlsph7 talk contribs (→Propositional logic: expand list per GA suggestion)
• diffhist Kurt Gödel 02:54 −35 Remsense talk contribs (restore but without all the other problems)
• diffhist Kurt Gödel 02:53 +71 Cerebrality talk contribs (Undid revision 1283670993 by Remsense (talk): restored per talk page) Tag: Undo
• diffhist m Ludwig Wittgenstein 01:33 −11 Beland talk contribs (convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB))

2 April 2025

• diffhist Kurt Gödel 23:23 −71 Remsense talk contribs (Undid revision 1283670818 by Cerebrality (talk): per previous reversion, WP:GEOLINK etc.) Tags: Undo Reverted
• diffhist Kurt Gödel 23:21 +71 Cerebrality talk contribs (Undid revision 1283542450 by Nikkimaria (talk) see talk page) Tags: Undo Reverted
• diffhist m Term logic 23:00 −10 Paradoctor talk contribs (→Aristotle's system: MOS:NOPIPE)
• diffhist m Term logic 21:56 +14 Oneequalsequalsone talk contribs (→Aristotle's system) Tag: Visual edit
• diffhist Charles Sanders Peirce 20:44 0 74.104.188.30 talk (→Death and legacy: cap noun in title)
• diffhist Charles Sanders Peirce 20:30 −1 74.104.188.30 talk (→Personal life: verb to agree with plural subject)
• diffhist Willard Van Orman Quine 18:39 +3 74.101.228.225 talk (→Confirmation holism and ontological relativity: punctuation)
• diffhist Willard Van Orman Quine 18:34 +1 74.101.228.225 talk (→Rejection of the analytic–synthetic distinction: punctuation and s-v agreement)
• diffhist Willard Van Orman Quine 18:30 0 74.101.228.225 talk (→Work: punctuation)