Related changes

10 June 2025

• diffhist Large cardinal 23:17 −28 24.130.134.205 talk (→Hierarchy of consistency strength: If ZFC is inconsistent, then the two extensions will obviously be both inconsistent, and the statement still holds true.)
• diffhist m Cardinality 23:01 0 Farkle Griffen talk contribs (Alphabetical) Tags: Mobile edit Mobile app edit iOS app edit App section source
• 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 List of fallacies 16:21 −10 2601:2c6:4600:1ab0:8c2d:91f2:cbe9:7332 talk Tag: Manual revert
• diffhist List of fallacies 16:20 +10 2601:2c6:4600:1ab0:8c2d:91f2:cbe9:7332 talk Tag: Reverted
• diffhist Cardinality 14:08 +31 Nick19520 talk contribs (→See also)
• 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
• 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)

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 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 List of paradoxes 16:52 −256 Paradoctor talk contribs (Undid revision 1294755424 by 205.222.250.234 (talk): unsourced) Tag: Undo
• diffhist List of paradoxes 16:30 +256 205.222.250.234 talk (→Time travel) Tag: Reverted
• 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 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 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 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 Probability 21:26 0 Ttmms talk contribs (Undid revision 1294557609 by 2402:A00:168:11F2:DAA:5821:DE26:FC88 (talk)) Tag: Undo
• 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 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
• diffhist Cardinality 18:28 +1,657 Farkle Griffen talk contribs (→Ancient history: Expanded paragraph on greeks) Tag: Visual edit
• diffhist Probability 12:17 0 2402:a00:168:11f2:daa:5821:de26:fc88 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist m Set (mathematics) 08:59 0 Cyfal talk contribs (spelling (WP:Typo Team))
• diffhist m Logic 02:56 −1 ERcheck talk contribs (→Formal logic: plural) Tag: Reverted

7 June 2025

• diffhist m Fuzzy concept 18:32 +4 DJJB621 talk contribs
• diffhist Cardinality 16:08 +11 D.Lazard talk contribs (→top: clearer)
• diffhist Zermelo–Fraenkel set theory 13:43 0 2600:1702:6eba:8200:4c4f:ff2e:8eeb:c7e0 talk (Changed "amount" to "number" for grammar.)
• diffhist Willard Van Orman Quine 13:09 +51 116.106.96.64 talk (Undid revision 1294384783 by Remsense (talk)) Tag: Undo
• diffhist Willard Van Orman Quine 13:09 −51 116.106.96.64 talk (Undid revision 1294384954 by Remsense (talk)) Tag: Undo