<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>https://www.explainxkcd.com/wiki/index.php?action=history&amp;feed=atom&amp;title=Talk%3A703%3A_Honor_Societies</id>
		<title>Talk:703: Honor Societies - Revision history</title>
		<link rel="self" type="application/atom+xml" href="https://www.explainxkcd.com/wiki/index.php?action=history&amp;feed=atom&amp;title=Talk%3A703%3A_Honor_Societies"/>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;action=history"/>
		<updated>2026-05-23T20:47:07Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.30.0</generator>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=379302&amp;oldid=prev</id>
		<title>FaviFake: spam</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=379302&amp;oldid=prev"/>
				<updated>2025-06-12T13:07:05Z</updated>
		
		<summary type="html">&lt;p&gt;spam&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 13:07, 12 June 2025&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l30&quot; &gt;Line 30:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 30:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;A tautology according to Merriam Webster is 1: needless repetition of an idea, statement, or word or 2: a statement that is true by virtue of its logical form alone. Strictly speaking all of these are tautologies. {{unsigned ip|162.158.33.252|22:11, 6 March 2025}}&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;A tautology according to Merriam Webster is 1: needless repetition of an idea, statement, or word or 2: a statement that is true by virtue of its logical form alone. Strictly speaking all of these are tautologies. {{unsigned ip|162.158.33.252|22:11, 6 March 2025}}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Euge.ca comic 28 is a reference to tautology. (The first line was actually &amp;quot;Sol, a needle pulling thread&amp;quot;) [[User:ExplainEuge.ca|ExplainEuge.ca]] ([[User talk:ExplainEuge.ca|talk]]) 06:51, 12 June 2025 (UTC)&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>FaviFake</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=379237&amp;oldid=prev</id>
		<title>ExplainEuge.ca at 06:51, 12 June 2025</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=379237&amp;oldid=prev"/>
				<updated>2025-06-12T06:51:56Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 06:51, 12 June 2025&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l30&quot; &gt;Line 30:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 30:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;A tautology according to Merriam Webster is 1: needless repetition of an idea, statement, or word or 2: a statement that is true by virtue of its logical form alone. Strictly speaking all of these are tautologies. {{unsigned ip|162.158.33.252|22:11, 6 March 2025}}&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;A tautology according to Merriam Webster is 1: needless repetition of an idea, statement, or word or 2: a statement that is true by virtue of its logical form alone. Strictly speaking all of these are tautologies. {{unsigned ip|162.158.33.252|22:11, 6 March 2025}}&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Euge.ca comic 28 is a reference to tautology. (The first line was actually &amp;quot;Sol, a needle pulling thread&amp;quot;) [[User:ExplainEuge.ca|ExplainEuge.ca]] ([[User talk:ExplainEuge.ca|talk]]) 06:51, 12 June 2025 (UTC)&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>ExplainEuge.ca</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=368148&amp;oldid=prev</id>
		<title>172.71.26.43: Unsigned reply was unsigned. (And unindented, so presuming not a direct reply cascading off what was above.)</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=368148&amp;oldid=prev"/>
				<updated>2025-03-07T01:46:03Z</updated>
		
		<summary type="html">&lt;p&gt;Unsigned reply was unsigned. (And unindented, so presuming not a direct reply cascading off what was above.)&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 01:46, 7 March 2025&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l5&quot; &gt;Line 5:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 5:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;The same goes for 'The first rule of the tautology club is the first rule of the tautology club' - It's just a long way of saying &amp;quot;This is the first rule of the tautology club' - which can be true or false.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;The same goes for 'The first rule of the tautology club is the first rule of the tautology club' - It's just a long way of saying &amp;quot;This is the first rule of the tautology club' - which can be true or false.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:No, it's saying that, whatever the first rule of the club is at any given moment, that's the first rule of the club. Which cannot be false. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:39, 11 February 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:No, it's saying that, whatever the first rule of the club is at any given moment, that's the first rule of the club. Which cannot be false. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:39, 11 February 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;A tautology according to Merriam Webster is 1: needless repetition of an idea, statement, or word or 2: a statement that is true by virtue of its logical form alone. Strictly speaking all of these are tautologies.&lt;/del&gt;&lt;/div&gt;&lt;/td&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Granted; the statements hold enough implied information that we will agree that they are true in a trivial sense, and they are much more fun than 'either there are 1.000.000 people in this group or there aren't 1.000.000 people in this group' and 'either this is the first rule of the tautology club or it isn't' [[Special:Contributions/193.88.197.67|193.88.197.67]] 22:15, 2 September 2013 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Granted; the statements hold enough implied information that we will agree that they are true in a trivial sense, and they are much more fun than 'either there are 1.000.000 people in this group or there aren't 1.000.000 people in this group' and 'either this is the first rule of the tautology club or it isn't' [[Special:Contributions/193.88.197.67|193.88.197.67]] 22:15, 2 September 2013 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l30&quot; &gt;Line 30:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 28:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''[[Hairbun]] vs. [[Science Girl]]''': should &amp;quot;Hairbun&amp;quot; in this comic be changed to &amp;quot;Science Girl&amp;quot;?&amp;#160; I know Science Girl is usually younger, and is usually associated with an interest in science, but IMHO, her appearance here is more characteristic of Science Girl (i.e. the curly ponytail hanging from the hairbun).&amp;#160; She may have been called &amp;quot;Hairbun&amp;quot; here because this comic was fairly early, before the &amp;quot;Science Girl&amp;quot; character became a regular; for example, even as late as [[1520: Degree-Off]], she was originally called &amp;quot;Hairbun&amp;quot;, but was later changed to &amp;quot;Science Girl&amp;quot;.&amp;#160; [https://store.xkcd.com/products/opinions-bumper-sticker Opinions]?&amp;#160; (Also, same for [[1511: Spice Girl]]?)&amp;#160; – [[User:Yfmcpxpj|Yfmcpxpj]] ([[User talk:Yfmcpxpj|talk]]) 00:22, 21 September 2020 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''[[Hairbun]] vs. [[Science Girl]]''': should &amp;quot;Hairbun&amp;quot; in this comic be changed to &amp;quot;Science Girl&amp;quot;?&amp;#160; I know Science Girl is usually younger, and is usually associated with an interest in science, but IMHO, her appearance here is more characteristic of Science Girl (i.e. the curly ponytail hanging from the hairbun).&amp;#160; She may have been called &amp;quot;Hairbun&amp;quot; here because this comic was fairly early, before the &amp;quot;Science Girl&amp;quot; character became a regular; for example, even as late as [[1520: Degree-Off]], she was originally called &amp;quot;Hairbun&amp;quot;, but was later changed to &amp;quot;Science Girl&amp;quot;.&amp;#160; [https://store.xkcd.com/products/opinions-bumper-sticker Opinions]?&amp;#160; (Also, same for [[1511: Spice Girl]]?)&amp;#160; – [[User:Yfmcpxpj|Yfmcpxpj]] ([[User talk:Yfmcpxpj|talk]]) 00:22, 21 September 2020 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:For what it's worth, I think that's Science Girl. [[User:Nitpicking|Nitpicking]] ([[User talk:Nitpicking|talk]]) 13:00, 17 January 2022 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:For what it's worth, I think that's Science Girl. [[User:Nitpicking|Nitpicking]] ([[User talk:Nitpicking|talk]]) 13:00, 17 January 2022 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;A tautology according to Merriam Webster is 1: needless repetition of an idea, statement, or word or 2: a statement that is true by virtue of its logical form alone. Strictly speaking all of these are tautologies. {{unsigned ip|162.158.33.252|22:11, 6 March 2025}}&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>172.71.26.43</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=368146&amp;oldid=prev</id>
		<title>162.158.33.252: The initial statement in discussion uses an unsourced definition of tautology and treats it as defacto the only definition of a tautology.</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=368146&amp;oldid=prev"/>
				<updated>2025-03-06T22:11:22Z</updated>
		
		<summary type="html">&lt;p&gt;The initial statement in discussion uses an unsourced definition of tautology and treats it as defacto the only definition of a tautology.&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 22:11, 6 March 2025&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l6&quot; &gt;Line 6:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 6:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:No, it's saying that, whatever the first rule of the club is at any given moment, that's the first rule of the club. Which cannot be false. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:39, 11 February 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:No, it's saying that, whatever the first rule of the club is at any given moment, that's the first rule of the club. Which cannot be false. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:39, 11 February 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;A tautology according to Merriam Webster is 1: needless repetition of an idea, statement, or word or 2: a statement that is true by virtue of its logical form alone. Strictly speaking all of these are tautologies.&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Granted; the statements hold enough implied information that we will agree that they are true in a trivial sense, and they are much more fun than 'either there are 1.000.000 people in this group or there aren't 1.000.000 people in this group' and 'either this is the first rule of the tautology club or it isn't' [[Special:Contributions/193.88.197.67|193.88.197.67]] 22:15, 2 September 2013 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Granted; the statements hold enough implied information that we will agree that they are true in a trivial sense, and they are much more fun than 'either there are 1.000.000 people in this group or there aren't 1.000.000 people in this group' and 'either this is the first rule of the tautology club or it isn't' [[Special:Contributions/193.88.197.67|193.88.197.67]] 22:15, 2 September 2013 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>162.158.33.252</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=340292&amp;oldid=prev</id>
		<title>172.71.223.91 at 01:57, 22 April 2024</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=340292&amp;oldid=prev"/>
				<updated>2024-04-22T01:57:23Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 01:57, 22 April 2024&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l11&quot; &gt;Line 11:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 11:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:: How is that not a tautology? For any proposition A, if the proposition is true, then A; if not, then ~A. Logic doesn't allow for a proposition to be both true AND false, nor does it allow for a proposition to be neither true NOR false, so the only remaining possibilities are A and ~A; ergo, A v ~A. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:44, 11 February 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:: How is that not a tautology? For any proposition A, if the proposition is true, then A; if not, then ~A. Logic doesn't allow for a proposition to be both true AND false, nor does it allow for a proposition to be neither true NOR false, so the only remaining possibilities are A and ~A; ergo, A v ~A. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:44, 11 February 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;::Not in all forms of logic and mathematics.&amp;#160; Intuitionism, in particular (check Wikipedia) treats &amp;quot;true&amp;quot; as equivalent to &amp;quot;provable&amp;quot; and &amp;quot;false&amp;quot; as equivalent to &amp;quot;disprovable,&amp;quot; since math is not an abstract Platonic ideal, but a human construction. Even under conventional math, &amp;quot;The current King of France is bald&amp;quot; is neither true nor is it false, because there is no current King of France.&amp;#160; x \elem S is neither true nor false if x is not well-defined. 02:13, 17 March 2022 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;::Not in all forms of logic and mathematics.&amp;#160; Intuitionism, in particular (check Wikipedia) treats &amp;quot;true&amp;quot; as equivalent to &amp;quot;provable&amp;quot; and &amp;quot;false&amp;quot; as equivalent to &amp;quot;disprovable,&amp;quot; since math is not an abstract Platonic ideal, but a human construction. Even under conventional math, &amp;quot;The current King of France is bald&amp;quot; is neither true nor is it false, because there is no current King of France.&amp;#160; x \elem S is neither true nor false if x is not well-defined. 02:13, 17 March 2022 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;:::re current King of France: isn't the proper term for that “vacuously true”? {{User:PoolloverNathan/Signature}}&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:Unnecessary nitpick aside, then, there are more serious things. I presume the sentence, &amp;quot;It would also be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it,&amp;quot; should be, &amp;quot;It would also '''not''' be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it.&amp;quot; (Otherwise, the &amp;quot;also&amp;quot; is used incorrectly, and the sentence is useless.) Unfortunately, this would make it wrong; a statement of the form &amp;quot;if A then B&amp;quot; is not false if B is true and A isn't. (This is the difficulty of making formal logic: the traditional conditional leads to bizarre, vacuous truths.) Also, more seriously, you say that &amp;quot;if A then A&amp;quot; is a longer way of saying &amp;quot;A&amp;quot;, or, more formally, that &amp;quot;A → A&amp;quot; is logically equivalent to &amp;quot;A.&amp;quot; Unfortunately, this is not the case. The statement &amp;quot;if A then A&amp;quot; is always true, and hence a tautology. You also assert that &amp;quot;A = A&amp;quot; (or &amp;quot;A ↔ A&amp;quot;) is logically equivalent to &amp;quot;A&amp;quot;, where &amp;quot;A&amp;quot; is &amp;quot;The first rule of tautology club.&amp;quot; This is even more obviously false. Even if &amp;quot;The first rule of tautology club&amp;quot; yields falsehood, it is still equivalent to itself.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:Unnecessary nitpick aside, then, there are more serious things. I presume the sentence, &amp;quot;It would also be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it,&amp;quot; should be, &amp;quot;It would also '''not''' be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it.&amp;quot; (Otherwise, the &amp;quot;also&amp;quot; is used incorrectly, and the sentence is useless.) Unfortunately, this would make it wrong; a statement of the form &amp;quot;if A then B&amp;quot; is not false if B is true and A isn't. (This is the difficulty of making formal logic: the traditional conditional leads to bizarre, vacuous truths.) Also, more seriously, you say that &amp;quot;if A then A&amp;quot; is a longer way of saying &amp;quot;A&amp;quot;, or, more formally, that &amp;quot;A → A&amp;quot; is logically equivalent to &amp;quot;A.&amp;quot; Unfortunately, this is not the case. The statement &amp;quot;if A then A&amp;quot; is always true, and hence a tautology. You also assert that &amp;quot;A = A&amp;quot; (or &amp;quot;A ↔ A&amp;quot;) is logically equivalent to &amp;quot;A&amp;quot;, where &amp;quot;A&amp;quot; is &amp;quot;The first rule of tautology club.&amp;quot; This is even more obviously false. Even if &amp;quot;The first rule of tautology club&amp;quot; yields falsehood, it is still equivalent to itself.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>172.71.223.91</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=228583&amp;oldid=prev</id>
		<title>172.70.110.209: Defining intuitionism</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=228583&amp;oldid=prev"/>
				<updated>2022-03-18T01:15:01Z</updated>
		
		<summary type="html">&lt;p&gt;Defining intuitionism&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 01:15, 18 March 2022&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l10&quot; &gt;Line 10:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 10:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;: While I do understand what you're getting at, you are surprisingly wrong on a few accounts. First, A or not A (i.e. A V ~A) is not always a tautology. I've spent enough painful time around intuitionists to say this whenever I can.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;: While I do understand what you're getting at, you are surprisingly wrong on a few accounts. First, A or not A (i.e. A V ~A) is not always a tautology. I've spent enough painful time around intuitionists to say this whenever I can.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:: How is that not a tautology? For any proposition A, if the proposition is true, then A; if not, then ~A. Logic doesn't allow for a proposition to be both true AND false, nor does it allow for a proposition to be neither true NOR false, so the only remaining possibilities are A and ~A; ergo, A v ~A. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:44, 11 February 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:: How is that not a tautology? For any proposition A, if the proposition is true, then A; if not, then ~A. Logic doesn't allow for a proposition to be both true AND false, nor does it allow for a proposition to be neither true NOR false, so the only remaining possibilities are A and ~A; ergo, A v ~A. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:44, 11 February 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;::Not in all forms of logic and mathematics.&amp;#160; Intuitionism, in particular (check Wikipedia) treats &amp;quot;true&amp;quot; as equivalent to &amp;quot;provable&amp;quot; and &amp;quot;false&amp;quot; as equivalent to &amp;quot;disprovable,&amp;quot; since math is not an abstract Platonic ideal, but a human construction. Even under conventional math, &amp;quot;The current King of France is bald&amp;quot; is neither true nor is it false, because there is no current King of France.&amp;#160; x \elem S is neither true nor false if x is not well-defined. 02:13, 17 March 2022 (UTC)&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:Unnecessary nitpick aside, then, there are more serious things. I presume the sentence, &amp;quot;It would also be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it,&amp;quot; should be, &amp;quot;It would also '''not''' be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it.&amp;quot; (Otherwise, the &amp;quot;also&amp;quot; is used incorrectly, and the sentence is useless.) Unfortunately, this would make it wrong; a statement of the form &amp;quot;if A then B&amp;quot; is not false if B is true and A isn't. (This is the difficulty of making formal logic: the traditional conditional leads to bizarre, vacuous truths.) Also, more seriously, you say that &amp;quot;if A then A&amp;quot; is a longer way of saying &amp;quot;A&amp;quot;, or, more formally, that &amp;quot;A → A&amp;quot; is logically equivalent to &amp;quot;A.&amp;quot; Unfortunately, this is not the case. The statement &amp;quot;if A then A&amp;quot; is always true, and hence a tautology. You also assert that &amp;quot;A = A&amp;quot; (or &amp;quot;A ↔ A&amp;quot;) is logically equivalent to &amp;quot;A&amp;quot;, where &amp;quot;A&amp;quot; is &amp;quot;The first rule of tautology club.&amp;quot; This is even more obviously false. Even if &amp;quot;The first rule of tautology club&amp;quot; yields falsehood, it is still equivalent to itself.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:Unnecessary nitpick aside, then, there are more serious things. I presume the sentence, &amp;quot;It would also be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it,&amp;quot; should be, &amp;quot;It would also '''not''' be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it.&amp;quot; (Otherwise, the &amp;quot;also&amp;quot; is used incorrectly, and the sentence is useless.) Unfortunately, this would make it wrong; a statement of the form &amp;quot;if A then B&amp;quot; is not false if B is true and A isn't. (This is the difficulty of making formal logic: the traditional conditional leads to bizarre, vacuous truths.) Also, more seriously, you say that &amp;quot;if A then A&amp;quot; is a longer way of saying &amp;quot;A&amp;quot;, or, more formally, that &amp;quot;A → A&amp;quot; is logically equivalent to &amp;quot;A.&amp;quot; Unfortunately, this is not the case. The statement &amp;quot;if A then A&amp;quot; is always true, and hence a tautology. You also assert that &amp;quot;A = A&amp;quot; (or &amp;quot;A ↔ A&amp;quot;) is logically equivalent to &amp;quot;A&amp;quot;, where &amp;quot;A&amp;quot; is &amp;quot;The first rule of tautology club.&amp;quot; This is even more obviously false. Even if &amp;quot;The first rule of tautology club&amp;quot; yields falsehood, it is still equivalent to itself.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>172.70.110.209</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=224593&amp;oldid=prev</id>
		<title>Nitpicking: Science!</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=224593&amp;oldid=prev"/>
				<updated>2022-01-17T13:00:42Z</updated>
		
		<summary type="html">&lt;p&gt;Science!&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 13:00, 17 January 2022&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l26&quot; &gt;Line 26:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 26:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''[[Hairbun]] vs. [[Science Girl]]''': should &amp;quot;Hairbun&amp;quot; in this comic be changed to &amp;quot;Science Girl&amp;quot;?&amp;#160; I know Science Girl is usually younger, and is usually associated with an interest in science, but IMHO, her appearance here is more characteristic of Science Girl (i.e. the curly ponytail hanging from the hairbun).&amp;#160; She may have been called &amp;quot;Hairbun&amp;quot; here because this comic was fairly early, before the &amp;quot;Science Girl&amp;quot; character became a regular; for example, even as late as [[1520: Degree-Off]], she was originally called &amp;quot;Hairbun&amp;quot;, but was later changed to &amp;quot;Science Girl&amp;quot;.&amp;#160; [https://store.xkcd.com/products/opinions-bumper-sticker Opinions]?&amp;#160; (Also, same for [[1511: Spice Girl]]?)&amp;#160; – [[User:Yfmcpxpj|Yfmcpxpj]] ([[User talk:Yfmcpxpj|talk]]) 00:22, 21 September 2020 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;'''[[Hairbun]] vs. [[Science Girl]]''': should &amp;quot;Hairbun&amp;quot; in this comic be changed to &amp;quot;Science Girl&amp;quot;?&amp;#160; I know Science Girl is usually younger, and is usually associated with an interest in science, but IMHO, her appearance here is more characteristic of Science Girl (i.e. the curly ponytail hanging from the hairbun).&amp;#160; She may have been called &amp;quot;Hairbun&amp;quot; here because this comic was fairly early, before the &amp;quot;Science Girl&amp;quot; character became a regular; for example, even as late as [[1520: Degree-Off]], she was originally called &amp;quot;Hairbun&amp;quot;, but was later changed to &amp;quot;Science Girl&amp;quot;.&amp;#160; [https://store.xkcd.com/products/opinions-bumper-sticker Opinions]?&amp;#160; (Also, same for [[1511: Spice Girl]]?)&amp;#160; – [[User:Yfmcpxpj|Yfmcpxpj]] ([[User talk:Yfmcpxpj|talk]]) 00:22, 21 September 2020 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;:For what it's worth, I think that's Science Girl. [[User:Nitpicking|Nitpicking]] ([[User talk:Nitpicking|talk]]) 13:00, 17 January 2022 (UTC)&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Nitpicking</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=197474&amp;oldid=prev</id>
		<title>Yfmcpxpj: Hairbun vs. Science Girl</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=197474&amp;oldid=prev"/>
				<updated>2020-09-21T00:22:30Z</updated>
		
		<summary type="html">&lt;p&gt;Hairbun vs. Science Girl&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 00:22, 21 September 2020&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l24&quot; &gt;Line 24:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 24:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;The [http://www.xkcd.com/703/info.0.json official transcript] actually identifies him as &amp;quot;a shorter male with glasses that bears a striking resemblance to Jason Fox&amp;quot;. I'd say the chances of it being him are a little more than &amp;quot;could be&amp;quot;. [[Special:Contributions/173.245.54.38|173.245.54.38]] 07:02, 15 February 2016 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;The [http://www.xkcd.com/703/info.0.json official transcript] actually identifies him as &amp;quot;a shorter male with glasses that bears a striking resemblance to Jason Fox&amp;quot;. I'd say the chances of it being him are a little more than &amp;quot;could be&amp;quot;. [[Special:Contributions/173.245.54.38|173.245.54.38]] 07:02, 15 February 2016 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;'''[[Hairbun]] vs. [[Science Girl]]''': should &amp;quot;Hairbun&amp;quot; in this comic be changed to &amp;quot;Science Girl&amp;quot;?&amp;#160; I know Science Girl is usually younger, and is usually associated with an interest in science, but IMHO, her appearance here is more characteristic of Science Girl (i.e. the curly ponytail hanging from the hairbun).&amp;#160; She may have been called &amp;quot;Hairbun&amp;quot; here because this comic was fairly early, before the &amp;quot;Science Girl&amp;quot; character became a regular; for example, even as late as [[1520: Degree-Off]], she was originally called &amp;quot;Hairbun&amp;quot;, but was later changed to &amp;quot;Science Girl&amp;quot;.&amp;#160; [https://store.xkcd.com/products/opinions-bumper-sticker Opinions]?&amp;#160; (Also, same for [[1511: Spice Girl]]?)&amp;#160; – [[User:Yfmcpxpj|Yfmcpxpj]] ([[User talk:Yfmcpxpj|talk]]) 00:22, 21 September 2020 (UTC)&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>Yfmcpxpj</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=111759&amp;oldid=prev</id>
		<title>173.245.54.38 at 07:02, 15 February 2016</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=111759&amp;oldid=prev"/>
				<updated>2016-02-15T07:02:38Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 07:02, 15 February 2016&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l22&quot; &gt;Line 22:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 22:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;I see that nobody's pointed out that the third figure from the left in the third panel appears to be Jason Fox (see [[824: Guest Week: Bill Amend (FoxTrot)]])- known to be one of those nerdy types who would join a tautology club. He is (to my knowledge) perpetually in the fifth grade, though, which does make me a little suspicious. --[[Special:Contributions/173.245.56.24|173.245.56.24]] 00:03, 2 January 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;I see that nobody's pointed out that the third figure from the left in the third panel appears to be Jason Fox (see [[824: Guest Week: Bill Amend (FoxTrot)]])- known to be one of those nerdy types who would join a tautology club. He is (to my knowledge) perpetually in the fifth grade, though, which does make me a little suspicious. --[[Special:Contributions/173.245.56.24|173.245.56.24]] 00:03, 2 January 2014 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;The [http://www.xkcd.com/703/info.0.json official transcript] actually identifies him as &amp;quot;a shorter male with glasses that bears a striking resemblance to Jason Fox&amp;quot;. I'd say the chances of it being him are a little more than &amp;quot;could be&amp;quot;. [[Special:Contributions/173.245.54.38|173.245.54.38]] 07:02, 15 February 2016 (UTC)&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>173.245.54.38</name></author>	</entry>

	<entry>
		<id>https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=59769&amp;oldid=prev</id>
		<title>108.162.216.38 at 16:44, 11 February 2014</title>
		<link rel="alternate" type="text/html" href="https://www.explainxkcd.com/wiki/index.php?title=Talk:703:_Honor_Societies&amp;diff=59769&amp;oldid=prev"/>
				<updated>2014-02-11T16:44:51Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr style=&quot;vertical-align: top;&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 16:44, 11 February 2014&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l9&quot; &gt;Line 9:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 9:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Granted; the statements hold enough implied information that we will agree that they are true in a trivial sense, and they are much more fun than 'either there are 1.000.000 people in this group or there aren't 1.000.000 people in this group' and 'either this is the first rule of the tautology club or it isn't' [[Special:Contributions/193.88.197.67|193.88.197.67]] 22:15, 2 September 2013 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;Granted; the statements hold enough implied information that we will agree that they are true in a trivial sense, and they are much more fun than 'either there are 1.000.000 people in this group or there aren't 1.000.000 people in this group' and 'either this is the first rule of the tautology club or it isn't' [[Special:Contributions/193.88.197.67|193.88.197.67]] 22:15, 2 September 2013 (UTC)&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;: While I do understand what you're getting at, you are surprisingly wrong on a few accounts. First, A or not A (i.e. A V ~A) is not always a tautology. I've spent enough painful time around intuitionists to say this whenever I can.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;: While I do understand what you're getting at, you are surprisingly wrong on a few accounts. First, A or not A (i.e. A V ~A) is not always a tautology. I've spent enough painful time around intuitionists to say this whenever I can.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td colspan=&quot;2&quot;&gt;&amp;#160;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;:: How is that not a tautology? For any proposition A, if the proposition is true, then A; if not, then ~A. Logic doesn't allow for a proposition to be both true AND false, nor does it allow for a proposition to be neither true NOR false, so the only remaining possibilities are A and ~A; ergo, A v ~A. [[Special:Contributions/108.162.216.38|108.162.216.38]] 16:44, 11 February 2014 (UTC)&lt;/ins&gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:Unnecessary nitpick aside, then, there are more serious things. I presume the sentence, &amp;quot;It would also be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it,&amp;quot; should be, &amp;quot;It would also '''not''' be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it.&amp;quot; (Otherwise, the &amp;quot;also&amp;quot; is used incorrectly, and the sentence is useless.) Unfortunately, this would make it wrong; a statement of the form &amp;quot;if A then B&amp;quot; is not false if B is true and A isn't. (This is the difficulty of making formal logic: the traditional conditional leads to bizarre, vacuous truths.) Also, more seriously, you say that &amp;quot;if A then A&amp;quot; is a longer way of saying &amp;quot;A&amp;quot;, or, more formally, that &amp;quot;A → A&amp;quot; is logically equivalent to &amp;quot;A.&amp;quot; Unfortunately, this is not the case. The statement &amp;quot;if A then A&amp;quot; is always true, and hence a tautology. You also assert that &amp;quot;A = A&amp;quot; (or &amp;quot;A ↔ A&amp;quot;) is logically equivalent to &amp;quot;A&amp;quot;, where &amp;quot;A&amp;quot; is &amp;quot;The first rule of tautology club.&amp;quot; This is even more obviously false. Even if &amp;quot;The first rule of tautology club&amp;quot; yields falsehood, it is still equivalent to itself.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;:Unnecessary nitpick aside, then, there are more serious things. I presume the sentence, &amp;quot;It would also be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it,&amp;quot; should be, &amp;quot;It would also '''not''' be true if there were somehow 1.000.000 members of the group without 1.000.000 people joining it.&amp;quot; (Otherwise, the &amp;quot;also&amp;quot; is used incorrectly, and the sentence is useless.) Unfortunately, this would make it wrong; a statement of the form &amp;quot;if A then B&amp;quot; is not false if B is true and A isn't. (This is the difficulty of making formal logic: the traditional conditional leads to bizarre, vacuous truths.) Also, more seriously, you say that &amp;quot;if A then A&amp;quot; is a longer way of saying &amp;quot;A&amp;quot;, or, more formally, that &amp;quot;A → A&amp;quot; is logically equivalent to &amp;quot;A.&amp;quot; Unfortunately, this is not the case. The statement &amp;quot;if A then A&amp;quot; is always true, and hence a tautology. You also assert that &amp;quot;A = A&amp;quot; (or &amp;quot;A ↔ A&amp;quot;) is logically equivalent to &amp;quot;A&amp;quot;, where &amp;quot;A&amp;quot; is &amp;quot;The first rule of tautology club.&amp;quot; This is even more obviously false. Even if &amp;quot;The first rule of tautology club&amp;quot; yields falsehood, it is still equivalent to itself.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>108.162.216.38</name></author>	</entry>

	</feed>