Related changes

10 June 2025

• diffhist Augustus De Morgan 19:30 −1 Maxeto0910 talk contribs (→Retirement and death: no sentence) Tag: Visual edit
• diffhist Logical connective 19:28 −1 Maxeto0910 talk contribs (no sentence) Tag: Visual edit
• diffhist Formal system 19:18 0 Maxeto0910 talk contribs (→Deductive system) Tag: Visual edit: Switched
• diffhist Set theory 19:15 +7 Maxeto0910 talk contribs (→Naive set theory: per MOS:CIRCA) Tag: Visual edit
• diffhist Set theory 19:14 −2 Maxeto0910 talk contribs (no sentences) Tag: Visual edit
• diffhist History of logic 19:13 −2 Maxeto0910 talk contribs (no sentences) Tag: Visual edit
• diffhist Mathematical logic 19:12 −1 Maxeto0910 talk contribs (→Symbolic logic: no sentence) Tag: Visual edit
• diffhist Logic 19:10 +1 Maxeto0910 talk contribs (→Fallacies) Tag: Visual edit
• diffhist Primitive recursive function 19:08 −9 Jochen Burghardt talk contribs (Undid revision 1294830678 by 103.58.110.6 (talk): looks pretty much the same; *all* occurrences should have the same source code) Tag: Undo
• diffhist Gottlob Frege 19:02 −3 Maxeto0910 talk contribs (removed unnecessary filling word) Tag: Visual edit
• diffhist Gottlob Frege 19:01 +7 Maxeto0910 talk contribs (per MOS:CIRCA) Tag: Visual edit
• diffhist Geometry 17:40 +2 54rt678 talk contribs
• diffhist Material conditional 15:03 +299 Robertas.Vilkas talk contribs (→History: For Bourbaki notation replaced the incorrect notation \to with \Rightarrow and added a reliable source (some time ago Wiki had the correct version, but someone messed it up))
• diffhist Cardinality 14:08 +31 Nick19520 talk contribs (→See also)
• diffhist Semantics 11:31 −21 Phlsph7 talk contribs (Undid revision 1294729471 by 86.31.178.164 (talk) was better before) Tag: Undo
• diffhist m Forcing (mathematics) 10:54 +1 SchwartzYosale talk contribs (→Internal definition: fixed typo)
• diffhist m Forcing (mathematics) 10:39 +5 SchwartzYosale talk contribs (→The countable chain condition: fixed grammar)
• diffhist m Module:Authority control/config 08:26 +28 MSGJ talk contribs (adjust pattern for 5736)
• diffhist Primitive recursive function 02:01 +9 103.58.110.6 talk (Correct spacing around binary operator →Predicate "Less or equal") Tags: Reverted Visual edit: Switched

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 Cardinality 21:35 0 Sheddow talk contribs (→Ancient history: Capitalize Jaina) Tags: Mobile edit Mobile web edit
• diffhist Strength (mathematical logic) 20:08 +46 742a talk contribs (Add short description) Tags: Mobile edit Mobile web edit
• 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 Aristotle 16:32 0 Odysseylover123 talk contribs (changed "thatb rood" to "that brood" because the space was clearly misplaced.) Tag: Visual edit
• diffhist m Associative property 15:11 +1 Ninjamin talk contribs (→top: (dummy edit) my previous edit also added the projection onto the first argument as another example of a commonly used associative noncommutative operator and removed the explicit definition of a cancellative operator from the intro) Tag: 2017 wikitext editor
• diffhist First-order logic 15:09 +192 BardRapt talk contribs (→Terms: G. Takeuti)
• diffhist Associative property 14:57 −135 Ninjamin talk contribs (→top: switch one HTML math formula to LaTeX for consistency within the article; continuity needs to hold for both arguments separately; call operators injective in both arguments instead of just unique operators (i.e. cancellative operators; in the source they were called reducible operators)) Tag: 2017 wikitext editor
• diffhist George Boole 14:06 +41 Apextrancelike talk contribs (→Family) Tag: Visual edit
• diffhist Fuzzy set 13:25 +1 SchwartzYosale talk contribs (Undid revision 1293950139 by 93.38.201.218 (talk) "iff" is a common term, short for "if and only if". in this case it's more appropriate than just "if") Tag: Undo
• diffhist Semantics 13:09 +21 86.31.178.164 talk (More ample =def used in philosophy.) Tag: Reverted
• diffhist Forcing (mathematics) 12:57 +16 SchwartzYosale talk contribs (→The countable chain condition: reformulated in a more similar way to the proof in the reference. it was unclear before, in my opinion, why the "finite set" should in fact be finite. answer: it's a finite partial function itself!)
• diffhist Axiom of choice 11:02 +99 Goodphy talk contribs (Added a note explaining what is S_i for straightforward understanding of what is the axiom of choice.) Tag: Visual edit
• diffhist Forcing (mathematics) 10:27 +185 SchwartzYosale talk contribs (→The countable chain condition: clarified the construction (because I had to go to the reference to understand it myself)) Tag: Visual edit: Switched
• diffhist Rule of inference 08:42 +457 Phlsph7 talk contribs (mention term "deductive explosion" per DYK discussion)
• diffhist Gottlob Frege 03:46 +147 Omnipaedista talk contribs (the official translation)
• diffhist m Cardinality 01:47 0 Farkle Griffen talk contribs (→Equivalence) Tag: Visual edit
• diffhist Cardinality 01:42 −163 Farkle Griffen talk contribs (→Uniqueness: This is a little easier to read, I think?) Tag: Visual edit
• diffhist m Cardinality 01:15 +44 Farkle Griffen talk contribs (→Ancient history: via) Tag: Visual edit
• diffhist Cardinality 01:11 +332 Farkle Griffen talk contribs (→Ancient history: Added ref) Tag: Visual edit
• diffhist Cardinality 01:01 +986 Farkle Griffen talk contribs (→Ancient history: Mentioned Jain mathematics) Tag: Visual edit

8 June 2025

• diffhist Giuseppe Peano 22:46 −4 Absolutiva talk contribs (Removing link(s) to "Paris": MOS:OVERLINK.) Tag: Twinkle
• diffhist m Cardinality 21:46 +37 Farkle Griffen talk contribs (→Prehistory) Tag: Visual edit
• diffhist Cardinality 21:39 +38 Farkle Griffen talk contribs (→Prehistory: Further information hatnote) 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 m Principle of bivalence 20:02 0 Gert7 talk contribs (→Relationship to the law of the excluded middle) Tag: 2017 wikitext editor
• diffhist m Cardinality 19:05 −44 Farkle Griffen talk contribs (not necessary) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Cardinality 18:41 +29 Farkle Griffen talk contribs (→Equivalence: I think I prefer this list style more) Tag: Visual edit
• diffhist m Cardinality 18:32 −4 Farkle Griffen talk contribs (→Ancient history) Tag: Visual edit