Related changes

10 June 2025

• diffhist Cardinality 23:49 +35 Farkle Griffen talk contribs (→Countable sets: Specificity) Tag: Visual edit
• diffhist Axiomatic system 23:44 +19 Yesterday, all my dreams... talk contribs (lnk)
• diffhist Axiomatic system 23:43 +4 Yesterday, all my dreams... talk contribs (lnk)
• 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 Immanuel Kant 22:26 −827 MrOllie talk contribs (Restored revision 1294964627 by Patrick Welsh (talk): WP:ONUS is on the one seeking to include content) Tags: Twinkle Undo
• diffhist If and only if 22:12 +830 ScalarFactor talk contribs (Reverting edit(s) by 154.184.216.6 (talk) to rev. 1292628994 by ZergTwo: Unexplained content removal (UV 0.1.6)) Tags: Ultraviolet Undo
• diffhist Immanuel Kant 22:10 +827 BauhausFan89 talk contribs (Undid revision 1294964627 by Patrick Welsh (talk). please seek consenus before you remove a part of the lead which has been there for months.) Tags: Undo Reverted
• diffhist Immanuel Kant 21:37 −827 Patrick Welsh talk contribs (Undid revision 1294962163 by BauhausFan89 (talk) the wp:lead is a summary of the body; pls. follow wp:brd procedure and avoid introducing peacock terms) Tags: Undo Reverted
• diffhist If and only if 21:33 −830 154.184.216.6 talk Tags: Reverted section blanking Mobile edit Mobile web edit
• diffhist Immanuel Kant 21:21 +827 BauhausFan89 talk contribs (Undid revision 1294952537 by Patrick Welsh (talk) you are free to improve the body of the article. the lead has to be improved too, as stated via wiki guidelines.) Tags: Undo Reverted
• diffhist Immanuel Kant 20:11 −827 Patrick Welsh talk contribs (Undid revision 1294942348 by BauhausFan89 (talk) your contributions to the body of the article upon such lines would be very much welcome) Tags: Undo Reverted
• 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 Immanuel Kant 18:51 +827 BauhausFan89 talk contribs (Describing Kant as the "father of modern philosophy" is valid when properly attributed, per Wikipedia:Attribution. This phrase reflects a significant viewpoint in scholarship and, per WP:NPOV, can be included if presented with balance. It is not puffery when sourced and contextualized. Including the phrase in the introduction is appropriate per WP:LEAD, which states the lead should summarize the most important aspects of the subject. Kant’s status as a central figure in the mentioned subjects is) Tag: Reverted
• 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 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 New York City 14:29 −26 Zacwill talk contribs (Undid revision 1294427853 by GamerKlim9716 (talk) it was named after York in honour of the Duke of York, which isn't the same thing) Tag: Undo
• diffhist Cardinality 14:08 +31 Nick19520 talk contribs (→See also)
• diffhist Immanuel Kant 13:32 −1,369 Patrick Welsh talk contribs (Undid revision 1294779107 by BauhausFan89 (talk) still puffery) Tag: Undo
• diffhist Ampersand 12:49 −392 Spitzak talk contribs (Undid revision 1294894062 by 149.167.140.52 (talk)) Tag: Undo
• diffhist Ampersand 12:42 +392 149.167.140.52 talk (→Etymology) Tag: Reverted
• 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 XOR gate 10:40 0 Nyq talk contribs (lc common nouns) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Forcing (mathematics) 10:39 +5 SchwartzYosale talk contribs (→The countable chain condition: fixed grammar)
• diffhist m XOR gate 10:38 0 Nyq talk contribs (switched to SVG version of the diagram) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m XOR gate 10:33 +9 Nyq talk contribs (lc common nouns, adjusted wikilinks) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m XOR gate 10:31 −6 Nyq talk contribs (removed stray HTML tag) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m XOR gate 10:30 0 Nyq talk contribs (lc common nouns) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m XOR gate 10:19 −1 Nyq talk contribs (lc common noun) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• 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 Dordrecht 21:55 −5 HarukaAmaranth talk contribs (→Events and festivals: sentence structure)
• 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