<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Filipino Freethinkers &#187; logic</title>
	<atom:link href="http://filipinofreethinkers.org/tag/logic/feed/" rel="self" type="application/rss+xml" />
	<link>http://filipinofreethinkers.org</link>
	<description>A fellowship of atheists, agnostics, deists, humanists, skeptics, and freethinkers in the Philippines and around the world.</description>
	<lastBuildDate>Tue, 22 May 2012 23:49:54 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.2</generator>
		<item>
		<title>An Awesome Logic Primer (Part 2)</title>
		<link>http://filipinofreethinkers.org/2012/04/13/an-awesome-logic-primer-part-2/</link>
		<comments>http://filipinofreethinkers.org/2012/04/13/an-awesome-logic-primer-part-2/#comments</comments>
		<pubDate>Fri, 13 Apr 2012 05:00:10 +0000</pubDate>
		<dc:creator>Jessica Balaquit</dc:creator>
				<category><![CDATA[Science]]></category>
		<category><![CDATA[critical thinking]]></category>
		<category><![CDATA[Fallacies]]></category>
		<category><![CDATA[logic]]></category>

		<guid isPermaLink="false">http://filipinofreethinkers.org/?p=20309</guid>
		<description><![CDATA[In this part, we are going to move away from the tedium of proving everything with truth tables, going towards handy rules of inference. Think of these as shortcuts when trying to find out if someone’s statements make sense. ]]></description>
			<content:encoded><![CDATA[<p><center><a href="http://filipinofreethinkers.org/2012/04/13/an-awesome-logic-primer-part-2/sticker375x360/" rel="attachment wp-att-20347"><img class="aligncenter size-medium wp-image-20347" title="sticker,375x360" src="http://filipinofreethinkers.org/wp-content/uploads/2012/04/sticker375x360-300x288.png" alt="" width="300" height="288" /></a></center>&nbsp;</p>
<p>In the first part of the <a href="http://filipinofreethinkers.org/2012/04/11/an-awesome-logic-primer-part-1/">primer</a>, we discussed the form of a deductive argument, learned the difference between truth and validity, clarified the limits and benefits of logic, learned about logical operators, and were introduced to truth tables, a way of knowing all the truth values that a certain statement can have.</p>
<p>In this part, we are going to move away from the tedium of proving everything with truth tables, going towards handy rules of inference. Think of these as shortcuts when trying to find out if someone’s statements make sense. A list of common fallacies follows, and a short summary of everything in this primer.</p>
<p><strong>Common Properties and Identities (Rules of Inference)</strong></p>
<p>Proving an argument valid or invalid by truth tables becomes very tedious. In the case of more than two statements, for example:</p>
<p>&nbsp;</p>
<div dir="ltr">
<table>
<colgroup>
<col width="25" />
<col width="26" />
<col width="23" />
<col width="89" /></colgroup>
<tbody>
<tr>
<td>
<p dir="ltr">P</p>
</td>
<td>
<p dir="ltr">Q</p>
</td>
<td>
<p dir="ltr">R</p>
</td>
<td>
<p dir="ltr">P ∧Q ∧ R</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
</tbody>
</table>
</div>
<p>&nbsp;</p>
<p>To get all the possible combinations of truth values reflected in the table, we need eight rows. To generalize, we need 2n rows, where n is the number of statements. Of course, we all have lives outside of debating people on the internet, so making these god-fangled tables is not high on anyone’s priority.</p>
<p>Thankfully, logicians who have no life have compiled a list of argument forms which are valid, and these rules of inference(in impressive-sounding Latin!) will now be available to you so you can con your way into someone’s pants by pretending to be a lawyer.</p>
<p>Any argument which can be reduced to these forms must then also be valid.<br />
_________________________________________</p>
<blockquote><p><strong>Modus Ponens</strong></p>
<p>P→Q<br />
P<br />
∴ Q.</p></blockquote>
<p>Modus ponendo ponens, translated from Latin to Yoda-speak is, &#8220;the way that affirms by affirming&#8221;. If P is true, then Q is true. P, therefore Q. It is the subject of the above series of truth tables.</p>
<p>Don’t panic because of that weird-looking triangular dot formation sign there. It’s only a mathematical shorthand for &#8220;therefore&#8221;. It’s a convenient way to separate premises from the conclusion.<br />
_________________________________________</p>
<blockquote><p><strong>Modus Tollens</strong></p>
<p>P→Q<br />
~Q<br />
∴~P.</p></blockquote>
<p>Modus tollendo tollens, again in Yoda-speak is, &#8220;the way that denies by denying&#8221;. If P, then Q. Not Q, therefore not P. There are two ways to prove that this is valid. One is to use truth tables, and the other is to derive it from modus ponens. If you’re lazy, then just take it on faith. =P</p>
<blockquote><p>Example: If Alice has friends, she will get invited to the party. She isn’t invited to the party, so Alice must not have any friends.</p></blockquote>
<p>_________________________________________</p>
<blockquote><p><strong>Syllogism</strong></p>
<p>P→Q<br />
Q→R<br />
∴P→R.</p></blockquote>
<p>The syllogism can be spotted everywhere: from your arguments with stubborn kids, to seedy detective novels. It is, after all, the most common form that human reasoning takes.</p>
<blockquote><p>Example: If he was clobbered to death, the wrench was used to kill him. If the wrench was used to kill him, then the butler killed him. Therefore, if he was clobbered to death, the butler did it.</p></blockquote>
<p>_________________________________________</p>
<blockquote><p><strong>Reductio ad Absurdum(aka proof by contradiction, lit. &#8220;reduction to the absurd&#8221;)</strong></p>
<p>P→Q<br />
P→~Q<br />
∴~P.</p></blockquote>
<p>The general case of a proof by contradiction. If a statement implies another statement and the opposite of it, then the negation of that statement must be true. This is a staple of debates, and the best way to poke holes in your opponent’s argument.</p>
<p>In real life(Ha! Who are we kidding? On online forums…), P usually takes the form of many premises added together(this means P1∧P2∧P3∧… ), where the number of premises render the absurdity of conclusions obscure.</p>
<blockquote><p>Example: If there is an invisible pink unicorn, then it must be invisible. If there is an invisible pink unicorn, it must also be pink, and therefore, visible. Therefore, there is no such thing as an invisible pink unicorn.</p></blockquote>
<p>_________________________________________</p>
<p>This is an incomplete list. For a better one, check out the references at the end of this text.</p>
<p><strong>List of common fallacies</strong><br />
<em>Your face is a common fallacy!</em></p>
<p><strong>Formal fallacies vs. informal fallacies</strong></p>
<p>A formal fallacy is a mistake in an argument’s form, that is, someone who makes them has obviously skimmed to this part of the primer, missing out on the incredibly detailed and sensual description of lesbian sex between the definitions of the logical conjunction and the logical disjunction.</p>
<p>All formal fallacies stem from invalid arguments, and are actually special cases of non sequitur(Latin for &#8220;it does not follow&#8221;. Example: rabbits are awesome therefore I am having lunch right now ).</p>
<p>An informal fallacy, however, is usually committed because of false premises or hidden assumptions which are required for the argument to function. That is, it has something to do with an argument’s content.</p>
<p>Since by now you will have the proper tools to perceive formal fallacies, most of the elements of this list will contain informal fallacies. I will also list only a small portion of these fallacies, as easy-to-understand lists are readily available around the net.</p>
<p><strong>Ad Hominem (literally, &#8220;to the person&#8221;)</strong></p>
<p>Ad hominem attacks neither the form or the premise of the argument, but the person who is making that argument. Note that ad hominem is always a fallacy, but there is a form of attacking the premises which looks very similar to ad hominem- saying, for example, that a person has a vested interest in lying about a premise means that you put a premise in doubt, and not the person.</p>
<blockquote>
<p dir="ltr">Example:</p>
<p dir="ltr">A:&#8221;What you said about evolution isn’t true because you are a pervert.&#8221;</p>
<p dir="ltr">B:&#8221;I guess if I say you exist, that’s also not true, then?&#8221;</p>
<p>Ad Hominem Tu Quoque (well so is your face)</p></blockquote>
<p>Could be translated in spirit to &#8220;oh yeah? No, you!&#8221;, this is asserting that a person’s conclusion is false because it contradicts his actions or a previous statement. Of course, when a person says both Q and ~Q, that probably means that he’s an idiot or a lying shit-faced hypocrite, but unfortunately, it doesn’t say anything about the truth of his current statement.</p>
<blockquote>
<p dir="ltr">Example:</p>
<p dir="ltr">A: &#8220;Capitalism is evil!!!&#8221;</p>
<p dir="ltr">B: &#8220;But, you wear branded clothing, and eat at upscale restaurants.&#8221;</p>
<p>A: &#8220;Well your face is an upscale restaurant.&#8221;</p></blockquote>
<p>_________________________________________<br />
<strong>Appeal to Authority (Argumentum ad Verecundiam)<br />
</strong></p>
<p>Asserting that something is true because an expert(or someone pretending to be one) said it. This fallacy is akin to a double-edged sword, and it depends on whether the person is a valid authority in that exact subject he is being quoted in.</p>
<blockquote>
<p dir="ltr">Example:</p>
<p dir="ltr">A:&#8221;Isaac Newton believed in ghosts and occult stuff, so they must be true.&#8221;</p>
<p dir="ltr">B:&#8221;What.&#8221;</p>
</blockquote>
<p>_________________________________________<br />
<strong>Appeal to Ignorance (Argumentum ad Ignorantiam)<br />
</strong></p>
<p>Asserting that since something cannot be proven false, it is therefore true. One of the most rage-inducing fallacies to ever exist.</p>
<blockquote>
<p dir="ltr">Example:</p>
<p dir="ltr">A:&#8221;You cannot prove that I do not have an invisible dragon in my garage on planet Jupiter. Therefore, it exists.&#8221;</p>
<p dir="ltr">B:&#8221;My dragon-slaying girlfriend went to Jupiter and made its skin into a trendy purse. So there.&#8221;</p>
</blockquote>
<p>_________________________________________<br />
<strong>Argumentum Verbosium(the argument full of words. I kid not.)<br />
</strong></p>
<p>It involves raining down obscure jargon and multiple, often conflicting assertions with the intent to confuse opponents into submission.</p>
<blockquote>
<p dir="ltr">Example: Really? Go check the ff page.</p>
</blockquote>
<p>_________________________________________<br />
<strong>Equivocation</strong></p>
<p>An argument, usually in the form of a syllogism(did you read that part?), where a word with several different meanings is used with a different meaning for each implication. The usual victims of this treatment are abstract words like love, god, nature, etc.</p>
<blockquote>
<p dir="ltr">Example:</p>
<p dir="ltr">A:&#8221; Being stuck in traffic makes people mad. Mad people get sent to the mental hospital. Being stuck in traffic gets people sent to the mental hospital.&#8221;</p>
<p>B:&#8221;I don’t even.&#8221;</p></blockquote>
<p>_________________________________________<br />
<strong>Appeal to Consequence (Argumentum ad Consequentiam)</strong></p>
<p>Taking a claim to be true because otherwise you will be depressed/the world will end/you will never be loved/etc. A special form of appeal to emotion.</p>
<blockquote>
<p dir="ltr">Example:</p>
<p dir="ltr">A: &#8220;Being aware that women are still being oppressed in many parts of the world will make me depressed, so I’ll just believe that gender equality has been achieved so I can sleep better at night.&#8221;</p>
<p dir="ltr">B:&#8221;Good for you.&#8221;</p>
</blockquote>
<p>_________________________________________</p>
<p><strong>For the impossibly intellectually lazy: a TL;DR</strong><br />
<em>Or for the awesome people who took the time to read, a summary</em></p>
<ul>
<li>Logic is not a system of all-encompassing laws. It is a formalization of the reasoning that we use every day, kind of like high-level common sense.</li>
<li>To simplify things, we construct statements that are either true or false. In the real world, this value depends on many factors, such as semantics and perspective.</li>
<li>Even with this simplified system, we can still construct valid arguments and figure out if other people’s arguments are valid or not.</li>
<li>The only way for an argument to be invalid is if there’s a possible way that the conclusion is false when you hold all the premises true.</li>
<li>A valid argument does not mean the conclusion is true, that depends on the premises. Similarly, an invalid argument does not say anything about the truth of a conclusion.</li>
<li>The most important logical symbol is the implication(→), which means &#8220;therefore&#8221;. It is the usual connector of everyday reasoning.</li>
<li>For an argument to be right, it has to be sound- that is, it has to both have true premises and be valid.</li>
<li>The most common argument takes the form of a syllogism, which connects statements by implication. (P→Q→R, therefore P→R)</li>
<li>Truth tables provide a definitive(but tasking) way of finding out whether the argument is valid. Rules of inference are more efficient, but error-prone. You are prone to error, I mean. Not the rules.</li>
<li>Formal fallacies have to do with form, informal fallacies concern everything else.</li>
</ul>
<p><strong>Protips:</strong></p>
<ul>
<li>There are generally two ways to attack an argument, one is questioning validity, and the second is by questioning the premises.</li>
<li>To see if an argument is invalid, try to see a scenario where the conclusion is not true but the premises are. This needs wit and imagination.</li>
<li>Premises, especially complicated ones, usually can also be dissected and rendered into premises supporting a conclusion. Similarly, arguments which reduce to a tautology can be used as premises.</li>
</ul>
<p><strong>The Reference List</strong><br />
<em>And suggested readings</em></p>
<ul>
<li>The Nizkor Project’s list of fallacies:<a href="http://www.nizkor.org/features/fallacies/index.html">http://www.nizkor.org/features/fallacies/index.html</a></li>
<li>A site that actually has a shorter and probably easier to understand introduction, but fails to bridge the gap between common logic and formal resources, IMO: <a href="http://www.infidels.org/library/modern/mathew/logic.html">http://www.infidels.org/library/modern/mathew/logic.html</a></li>
<li>Wikipedia’s entry on logic: <a href="http://en.wikipedia.org/wiki/Logic">http://en.wikipedia.org/wiki/Logic</a></li>
<li>A site I personally like, with articles about rationality: <a href="http://lesswrong.com/">http://lesswrong.com/</a></li>
</ul>
<div id="crp_related"><h3>Related Posts:</h3><ul><li><a href="http://filipinofreethinkers.org/2012/04/11/an-awesome-logic-primer-part-1/" rel="bookmark" class="crp_title">An Awesome Logic Primer (Part 1)</a></li><li><a href="http://filipinofreethinkers.org/2010/12/10/its-only-a-fallacy-when-its-an-observable-fact/" rel="bookmark" class="crp_title">Its only a Fallacy when it&#039;s an Observable Fact</a></li><li><a href="http://filipinofreethinkers.org/2010/10/28/is-this-necessary/" rel="bookmark" class="crp_title">Is this Necessary?</a></li><li><a href="http://filipinofreethinkers.org/2011/12/23/ten-commonly-used-fallacies-against-lgbt-rights-activists-2/" rel="bookmark" class="crp_title">Ten Commonly Used Fallacies Against LGBT Rights Activists</a></li><li><a href="http://filipinofreethinkers.org/2010/03/11/dehumanizing-opponents/" rel="bookmark" class="crp_title">Dehumanizing Opponents</a></li></ul></div>]]></content:encoded>
			<wfw:commentRss>http://filipinofreethinkers.org/2012/04/13/an-awesome-logic-primer-part-2/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>An Awesome Logic Primer (Part 1)</title>
		<link>http://filipinofreethinkers.org/2012/04/11/an-awesome-logic-primer-part-1/</link>
		<comments>http://filipinofreethinkers.org/2012/04/11/an-awesome-logic-primer-part-1/#comments</comments>
		<pubDate>Wed, 11 Apr 2012 06:00:30 +0000</pubDate>
		<dc:creator>Jessica Balaquit</dc:creator>
				<category><![CDATA[Science]]></category>
		<category><![CDATA[critical thinking]]></category>
		<category><![CDATA[logic]]></category>

		<guid isPermaLink="false">http://filipinofreethinkers.org/?p=20268</guid>
		<description><![CDATA[The purpose of this two-part primer is to introduce you, the reader, into the wonderfully complicated and interesting world of logic, the language which every internet intellectual claims to know so much about. ]]></description>
			<content:encoded><![CDATA[<p><strong>Scope of the Primer</strong><br />
AKA the part with a subtle disclaimer about this not compensating for an actual course in logic</p>
<p>The purpose of this two-part primer is to introduce you, the reader, into the wonderfully complicated and interesting world of logic, the language which every internet intellectual claims to know so much about. Now, taunting others with the words “learn2logic, n00b” and “that’s a fallacy, you moron” will not only be their area of discourse, but also yours!</p>
<p>The basic elements of the part of logic that is discussed here are propositions. In logic, propositions are statements that can take two and only two truth values, true or false. You might say that this doesn’t look like most of the stuff we say in real life, but as this is meant to be an introduction to more complicated stuff which handle natural language [search term for the curious: argumentation theory], it is better to learn the basics and the terminology of logic first.</p>
<p>We also hope to tackle logical quantifiers [first-order logic] in a part 3, as it proves to be quite a handful, and understanding it requires the basic concepts introduced here.</p>
<p><strong>Deductive arguments</strong><br />
The opposite of constructive criticism</p>
<p>As mentioned earlier, a simple proposition is either true or false; it cannot be neither, nor can it be both. A deductive argument is a way of proving that a certain proposition, called the conclusion, follows necessarily from a given set of propositions which are called the premises.</p>
<p>For the sake of argument, we assume the premises to be totally true, forever. That is, given that we accept the premises to be true, then the conclusion must necessarily be true. Another way of viewing this is that if all the premises are true, then there is no way for the conclusion to be false.</p>
<p>To use a common example:</p>
<blockquote>
<p dir="ltr">P1: Men are mortal.</p>
<p dir="ltr">P2: Socrates is a man.</p>
<p dir="ltr">C: Therefore, Socrates is mortal.</p>
</blockquote>
<p>Propositions P1 and P2 are the premises. Here, the premises are that men are mortal, and Socrates is a man. If we accept these to be true, then Socrates must be mortal.</p>
<p>When it is impossible for the conclusion to be false when the premises are true, then the whole argument is said to be valid. There is a way to test this, which will be explained later on.</p>
<p><strong>Validity vs. Truth</strong></p>
<p>&#8230;and Truth vs. Truthiness</p>
<p>A valid argument does not automatically mean that the conclusion is true, as an invalid argument also does not mean that the conclusion is false.</p>
<p>There is a connection between validity and truth though: An argument whose conclusion turns out to be false when the premises are true must always be invalid. That is how we define invalid arguments.</p>
<p>Consider our earlier example, with revised premises:</p>
<blockquote><p>P1: Men are dinosaurs.<br />
P2: Socrates is a man.<br />
C: Therefore, Socrates is a dinosaur.</p></blockquote>
<p><a href="http://filipinofreethinkers.org/2012/04/11/an-awesome-logic-primer-part-1/dinocrates/" rel="attachment wp-att-20269"><img class="alignleft size-full wp-image-20269" title="dinocrates" src="http://filipinofreethinkers.org/wp-content/uploads/2012/04/dinocrates.jpg" alt="" width="160" height="160" /></a>Even if we can agree that Socrates is a man (P2), we know that men aren’t dinosaurs (P1). In other words, in a universe where the premises are true, we can conclude that Socrates is a dinosaur, but as we know, this is not that universe.</p>
<p>However, the argument is still a valid one because if we accept P1 and P2 to be true, then C must be true.</p>
<p>An example of an invalid argument with a true conclusion is:</p>
<blockquote><p>P1: Men are dinosaurs.<br />
P2: Socrates is a dinosaur.<br />
C: Therefore, Socrates is a man.</p></blockquote>
<p>Why is this invalid? Because it doesn’t say anywhere that all dinosaurs are men. Therefore, it doesn’t mean that just because Socrates is a dino, he’s a man.</p>
<p><strong>Soundness</strong></p>
<p>&#8230;which is totally different from sounding; no, don’t Google that.</p>
<p>Soundness is the property to which every argument aspires to. An argument is sound if and only if it is valid, and all its premises are true. Basically, if your argument is sound, then you are right. Go ahead and pat yourself on the back.</p>
<p>The structure of logic:</p>
<blockquote><p>P1: Oogwars are Tarlarks.<br />
P2: A Mugwarp is an Oogwar.<br />
C: A Mugwarp is a Tarlark.</p></blockquote>
<p>Notice that the above argument has the exact same form as the one concluding that Socrates is a dinosaur, only that this one consists of terms which could only be gibberish. Since it has the exact same form, it must follow that this argument is valid, given that the premises are true.</p>
<p>Logic isn’t about finding out whether something is true or false, but in finding out whether an argument is valid or invalid. Thus, we are mainly concerned about the form of an argument. Even if I replace the term “Socrates” with “your face”, the argument would still be valid. Arguments by themselves don’t need to even be connected to each other!  We will see this later in the examples.</p>
<p>How do we do this? How do we know that a conclusion logically follows from the premises?</p>
<p>From the above definition of a deductive argument, we say that a conclusion follows from the premises if, and only if the conclusion is true whenever the premises are true. Therefore, you only need to find out if there is a way that the conclusion is false even when the premises are true.</p>
<p>But this is kind of difficult, isn’t it? Aren’t we using the argument to prove the truth of the conclusion in the first place?</p>
<p>Well, the most common way of proving an argument to be invalid is to use one’s IMAGINATION to think of a situation where the opposite of the conclusion is true, but all the premises are also true. In an above example, can Socrates be immortal even if he’s a man and all men are mortal? There is a formal statement of this, which comes up in the examples from discourse.</p>
<p><strong>Logical Operators</strong></p>
<p>&#8230;as opposed to smooth ones.</p>
<p>Logical operators are symbols which we use to define relationships between statements. Naively, we are familiar with them in everyday usage, but their definitions in logic are a tad more formal.</p>
<blockquote><p><strong>The material implication [If…then, therefore]</strong></p>
<p dir="ltr">Symbol: →, as in P → Q.</p>
<p dir="ltr">True if and only if whenever P is true, Q is true. The basic logical symbol. Note that when P is false, Q can take on any value and the implication is still true.</p>
<p dir="ltr">P: Wheatley is smart.<br />
Q: I’m a potato.</p>
<p dir="ltr">P→Q: If Wheatley is smart, then I’m a potato.</p>
<p dir="ltr">P→Q: Wheatley is smart, therefore I am a potato.</p>
</blockquote>
<p>_______________________________________</p>
<blockquote><p><strong>The material equivalence [If and only if]</strong><br />
Symbol: ↔, as in P  ↔ Q.</p>
<p dir="ltr">A material implication that goes both ways. Also known to all math lovers(snicker) as the equals sign. This means that whenever P is true, Q is true, and whenever P is false, Q is false, and vice versa.</p>
<p dir="ltr">P: I am a creationist.<br />
Q: I fail science forever.</p>
<p dir="ltr">P ↔ Q: Obviously.</p>
</blockquote>
<p>_______________________________________</p>
<blockquote><p><strong>The negation [NOT operator]</strong></p>
<p dir="ltr">Symbol: ~, as in ~P.</p>
<p dir="ltr">It negates the statement. When P is true, ~P is false, when P is false, ~P is true.</p>
<p dir="ltr">P: I eat leaves.</p>
<p dir="ltr">~P: I do not eat leaves.</p>
</blockquote>
<p>_______________________________________</p>
<blockquote><p><strong>The logical conjunction [AND operator]</strong></p>
<p dir="ltr">Symbol: ∧, as in P ∧ Q.<br />
Connects two statements together. True if and only if both statements are true.</p>
<p dir="ltr">P: I love music.<br />
Q: I love books.</p>
<p dir="ltr">P ∧Q: I love music and books.</p>
</blockquote>
<p>_______________________________________</p>
<blockquote><p><strong>The logical disjunction [OR operator]<br />
</strong></p>
<p dir="ltr">Symbol: ∨, as in P ∨Q.</p>
<p dir="ltr">Connects two statements together. False if and only if both statements are false. Note here that this is different from the common usage of ‘or’ in language, where you cannot choose both choices. This usage is known as the exclusive disjunction, or XOR.</p>
<p dir="ltr">P: I can talk to you in English.</p>
<p dir="ltr">Q: I can talk to you in Russian.</p>
<p dir="ltr">P ∨Q: I can talk to you in English or in Russian.</p>
</blockquote>
<p>_______________________________________</p>
<blockquote><p><strong>The tautology [T, or 1 in binary]<br />
</strong></p>
<p dir="ltr">Symbol: T</p>
<p dir="ltr">A statement that is always true. Note that this and the contradiction aren’t operators, they are pre-defined statements.</p>
<p>The contradiction [F, or 0 in binary]</p>
<p dir="ltr">Symbol: F</p>
<p dir="ltr">A statement that is always false.</p>
</blockquote>
<p>Got all that? Take a deep breath for a moment, or step out and get a snack. Shit is about to get real.</p>
<p><strong>Truth Tables</strong></p>
<p>“<em>You can’t handle the truth!</em>”</p>
<p style="text-align: center;"><a href="http://filipinofreethinkers.org/2012/04/11/an-awesome-logic-primer-part-1/cruisin/" rel="attachment wp-att-20271"><img class="size-full wp-image-20271 aligncenter" title="cruisin" src="http://filipinofreethinkers.org/wp-content/uploads/2012/04/cruisin.jpg" alt="" width="160" height="160" /></a></p>
<p>A truth table is a chart listing all possible combinations of truth values of a statement or statements. For example, the truth table of the NOT operator:</p>
<blockquote>
<div dir="ltr">
<table>
<colgroup>
<col width="30" />
<col width="35" /></colgroup>
<p><strong><br />
<tbody>
<table style="width: 480px; margin: 1px auto;" align="center">
<tr>
<td>P</td>
<td>~P</td>
</tr>
<tr>
<td>T</td>
<td>F</td>
</tr>
<tr>
<td>F</td>
<td>T</td>
</tr>
</tbody>
</table>
<p></strong>
</div>
</blockquote>
<p>It’s like a shortcut to saying that when P is true, ~P is false, and when P is false, ~P is true.</p>
<p>Now, the truth table of the AND operator:</p>
<blockquote>
<div dir="ltr">
<table>
<colgroup>
<col width="34" />
<col width="34" />
<col width="66" /></colgroup>
<table style="width: 480px; margin: 1px auto;" align="center">
<tbody>
<tr>
<td>
<p dir="ltr">P</p>
</td>
<td>
<p dir="ltr">Q</p>
</td>
<td>
<p dir="ltr">P ∧ Q</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
</tbody>
</table>
</div>
</blockquote>
<p>Is a clearer way of saying that the new statement made by connecting P and Q with an AND is only true when P and Q are both true.</p>
<p>This is a more interesting truth table, the one for material implication:</p>
<blockquote>
<div dir="ltr">
<table>
<colgroup>
<col width="33" />
<col width="33" />
<col width="73" /></colgroup>
<table style="width: 480px; margin: 1px auto;" align="center">
<tbody>
<tr>
<td>
<p dir="ltr">P</p>
</td>
<td>
<p dir="ltr">Q</p>
</td>
<td>
<p dir="ltr">P→Q</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
</tbody>
</table>
</div>
</blockquote>
<p>What does this mean? We can restate what the truth table is showing us by saying that the only way that the implication is false is if Q is false while P is true. Sound familiar? When we take P to be all the statements in the premise combined, and Q to be the conclusion, we can see that this is exactly how we determine if a conclusion is valid or invalid!</p>
<p>Time to put the truth table to good use. Let’s find out if this argument is valid or invalid. Consider this example:</p>
<blockquote><p>P→Q: If I am breathing, then I must be alive.<br />
P: I am breathing.<br />
Q: Therefore, I am alive.
</p></blockquote>
<p dir="ltr">First, the truth table for P→Q:</p>
<div dir="ltr">
<blockquote><table>
<colgroup>
<col width="33" />
<col width="33" />
<col width="73" /></colgroup>
<table style="width: 480px; margin: 1px auto;" align="center">
<tbody>
<tr>
<td>
<p dir="ltr">P</p>
</td>
<td>
<p dir="ltr">Q</p>
</td>
<td>
<p dir="ltr">P→Q</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
</tbody>
</table>
</blockquote>
</div>
<p>Then, the truth table for P ∧ (P→Q):</p>
<div dir="ltr">
<blockquote><table>
<colgroup>
<col width="34" />
<col width="56" />
<col width="84" /></colgroup>
<table style="width: 480px; margin: 1px auto;" align="center">
<tbody>
<tr>
<td>
<p dir="ltr">P</p>
</td>
<td>
<p dir="ltr">P→Q</p>
</td>
<td>
<p dir="ltr">P ∧(P→Q)</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
</tr>
</tbody>
</table>
</blockquote>
</div>
<p dir="ltr">At last, the truth table for [P ∧ (P→Q)] → Q, to see if the premises, when all together, imply the conclusion:</p>
<div dir="ltr">
<blockquote><table>
<colgroup>
<col width="97" />
<col width="24" />
<col width="156" /></colgroup>
<table style="width: 480px; margin: 1px auto;" align="center">
<tbody>
<tr>
<td>
<p dir="ltr">P ∧ (P→Q)</p>
</td>
<td>
<p dir="ltr">Q</p>
</td>
<td>
<p dir="ltr">[P ∧ (P→Q)] → Q</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
<tr>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">F</p>
</td>
<td>
<p dir="ltr">T</p>
</td>
</tr>
</tbody>
</table>
</blockquote>
</div>
<p>Tada! Look at that beautiful, beautiful last column with T’s on every row. <img src='http://filipinofreethinkers.org/wp-includes/images/smilies/icon_biggrin.gif' alt=':D' class='wp-smiley' /> </p>
<p>The above is an example of the rule of inference known as modus ponens. A useful exercise for you would be to construct truth tables for every one of the logical operators above, to get a feel for them.</p>
<p>Well, that’s it for part 1! I recommend taking a short break before going on to part 2, and of course, trying out some exercises.</p>
<div id="crp_related"><h3>Related Posts:</h3><ul><li><a href="http://filipinofreethinkers.org/2012/04/13/an-awesome-logic-primer-part-2/" rel="bookmark" class="crp_title">An Awesome Logic Primer (Part 2)</a></li><li><a href="http://filipinofreethinkers.org/2010/10/28/is-this-necessary/" rel="bookmark" class="crp_title">Is this Necessary?</a></li><li><a href="http://filipinofreethinkers.org/2010/02/27/three-primary-truths/" rel="bookmark" class="crp_title">Three Primary Truths</a></li><li><a href="http://filipinofreethinkers.org/2010/04/12/on-proof-and-evidence/" rel="bookmark" class="crp_title">On Proof and Evidence</a></li><li><a href="http://filipinofreethinkers.org/2011/02/10/freethinking-priest-pwns-cbcp-again/" rel="bookmark" class="crp_title">Freethinking Priest pwns CBCP – again!</a></li></ul></div>]]></content:encoded>
			<wfw:commentRss>http://filipinofreethinkers.org/2012/04/11/an-awesome-logic-primer-part-1/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Three Primary Truths</title>
		<link>http://filipinofreethinkers.org/2010/02/27/three-primary-truths/</link>
		<comments>http://filipinofreethinkers.org/2010/02/27/three-primary-truths/#comments</comments>
		<pubDate>Sat, 27 Feb 2010 07:56:36 +0000</pubDate>
		<dc:creator>Jong Atmosfera</dc:creator>
				<category><![CDATA[Others]]></category>
		<category><![CDATA[Religion]]></category>
		<category><![CDATA[logic]]></category>
		<category><![CDATA[The Filipino Freethinker]]></category>

		<guid isPermaLink="false">http://filipinofreethinkers.org/?p=3112</guid>
		<description><![CDATA[There are three truths which must be accepted at the beginning of any investigation into the problem of knowledge and truth:

The First Fact: The fact of our existence. "I exist."
The First Principle: The principle of contradiction. "A thing can not be and not-be at the same time in the same respect."
The First Condition: The essential capability of the mind to know truth. "My intellect can reason and discover truth."]]></description>
			<content:encoded><![CDATA[<p><img class="alignright size-medium wp-image-3124" title="three pansies" src="http://filipinofreethinkers.org/wp-content/uploads/2010/02/three-pansies-300x300.jpg" alt="three pansies" width="300" height="300" />I stumbled upon <a title="http://www.radicalacademy.com/epistom.htm" href="http://www.radicalacademy.com/epistom.htm" target="_blank"><span style="color: #000000;"><strong>this article</strong></span></a> and found this:</p>
<p style="padding-left: 30px;"><em><span style="color: #000000;">There are three truths which must be accepted at the beginning of any investigation into the problem of knowledge and truth:</span></em></p>
<ul style="padding-left: 30px;">
<li><strong><em><span style="color: #000000;">The First Fact:</span></em></strong><em><span style="color: #000000;"> The fact of our existence.      &#8220;I exist.&#8221;</span></em></li>
<li><strong><em><span style="color: #000000;">The First Principle:</span></em></strong><em><span style="color: #000000;"> The principle of contradiction.      &#8220;A thing cannot be and not-be at the same time in the same      respect.&#8221;</span></em></li>
<li><strong><em><span style="color: #000000;">The First Condition:</span></em></strong><em><span style="color: #000000;"> The essential capability of the      mind to know truth. &#8220;My intellect can reason and discover      truth.&#8221;</span></em></li>
</ul>
<p style="padding-left: 30px;"><em><span style="color: #000000;">These primary truths cannot be &#8220;proved&#8221; by a positive demonstration because they are presupposed and involved in every demonstration. They are so evident that any attempt to doubt or deny them would already mean they have been affirmed and accepted. They are, therefore, fully grounded in reason and no reasonable person can dispute them consistently.</span></em></p>
<p>To some it might sound like <a title="http://en.wikipedia.org/wiki/Circular_reasoning" href="http://en.wikipedia.org/wiki/Circular_reasoning" target="_blank">circular reasoning</a>, but these truths are indeed self-evident in any logical discussion. Let&#8217;s see:</p>
<ul style="padding-left: 30px;">
<li><strong><em><span style="color: #000000;">The First Fact:</span></em></strong><em><span style="color: #000000;"> The fact of our existence. &#8220;I exist.&#8221;</span></em></li>
</ul>
<p>The fact that we are able to read this proves the first fact. Now what more proof do we need in order to <em>know </em>that we are reading this indeed?</p>
<ul style="padding-left: 30px;">
<li><strong><em><span style="color: #000000;">The First Principle:</span></em></strong><em><span style="color: #000000;"> The principle of contradiction. &#8220;A thing cannot be and not-be at the same time in the same respect.&#8221;</span></em></li>
</ul>
<p>Of course. Otherwise, something can be both true and false at the same time <em>in the same respect</em>. If that&#8217;s the case, then there is no longer any point in logical discussions because anything can be right <em>and</em> wrong at the same time, so everybody is just wasting time. And this goes hand in hand with:</p>
<ul style="padding-left: 30px;">
<li><strong><em><span style="color: #000000;">The First Condition:</span></em></strong><em><span style="color: #000000;"> The essential capability of the mind to know truth. &#8220;My intellect can reason and discover truth.&#8221;</span></em></li>
</ul>
<p>And that&#8217;s why we are here at Filipino Freethinkers, to discover truth through Reason. (We appreciate theists who check their dogmas upon entering the site, because doctrine and &#8216;authority&#8217; have no influence here. But those who don&#8217;t believe in reason are wasting their time here and it would be better spent praying for divine enlightenment.)</p>
<p>On the other hand, religion only subscribes to the First Fact (our existence), but not to the First Principle (contradiction) and the First Condition (intellect&#8217;s ability to discover truth). Religious dogmas have so many contradictions that are conveniently answered by<em> &#8220;our minds are too finite to grasp God&#8217;s infinite wisdom&#8221;</em>.</p>
<p>As freethinkers, we know that belief is no longer a matter of choice, but of conclusion; no matter how the religious (including our parents) try to proselytize, as long as what they preach is unscientific, illogical, or irrational, they cannot force us to believe. Well the most they could do is to make us (falsely) <span style="font-style: italic; padding: 0px; margin: 0px;"><em>claim </em></span>belief. We do not choose to be atheists, agnostics, or deists; we just <span style="font-style: italic; padding: 0px; margin: 0px;">become</span>, most likely as a result of freethinking.</p>
<p>Now the question is, do we choose to become freethinkers? Is it a matter of choice when we base our beliefs on science, logic, and reason instead of authority, tradition, or dogma? Or is it a matter of conclusion (same with becoming atheists, agnostics, or deists)? I think it&#8217;s the latter, when we realize that science, logic, and reason are more reliable in terms of finding the truth than authority, tradition, or dogma, but I would like to hear other points of view. How do people become freethinkers in the first place?</p>
<p><span style="color: #3366ff;"><em><span style="color: #000000;"><span style="font-style: normal;">And with this we invite everyone to write. We&#8217;ve been coming up with fewer articles lately but that&#8217;s probably because of the film fest, after which there will be a lot to write about. <img src='http://filipinofreethinkers.org/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> </span></span></em></span></p>
<div id="crp_related"><h3>Related Posts:</h3><ul><li><a href="http://filipinofreethinkers.org/2009/11/24/revelations-in-the-reconversion-post/" rel="bookmark" class="crp_title">Revelations in the reconversion (post)</a></li><li><a href="http://filipinofreethinkers.org/2009/12/08/if-you-look-and-examine-really-close-you-might-just-find-out-something-about-the-common-judeo-christian-god-and-variations-of-it/" rel="bookmark" class="crp_title">If you look and examine really close, you might just find out something about the common, Judeo-Christian God and variations of it&#8230;</a></li><li><a href="http://filipinofreethinkers.org/2009/10/16/sorry-guys-im-reconverting/" rel="bookmark" class="crp_title">Sorry guys, I&#039;m reconverting&#8230;</a></li><li><a href="http://filipinofreethinkers.org/2010/11/13/can-you-scare-a-skeptic-into-believing/" rel="bookmark" class="crp_title">Can you scare a Skeptic into believing?</a></li><li><a href="http://filipinofreethinkers.org/2011/05/09/the-absurdity-of-saying-grace-before-meals/" rel="bookmark" class="crp_title">The absurdity of saying Grace before meals</a></li></ul></div>]]></content:encoded>
			<wfw:commentRss>http://filipinofreethinkers.org/2010/02/27/three-primary-truths/feed/</wfw:commentRss>
		<slash:comments>10</slash:comments>
		</item>
		<item>
		<title>Towards healthier skepticism: Correlation does not imply causation</title>
		<link>http://filipinofreethinkers.org/2009/10/09/towards-healthier-skepticism-correlation-does-not-imply-causation/</link>
		<comments>http://filipinofreethinkers.org/2009/10/09/towards-healthier-skepticism-correlation-does-not-imply-causation/#comments</comments>
		<pubDate>Fri, 09 Oct 2009 03:59:47 +0000</pubDate>
		<dc:creator>f241vc15</dc:creator>
				<category><![CDATA[Humor]]></category>
		<category><![CDATA[Science]]></category>
		<category><![CDATA[Society]]></category>
		<category><![CDATA[causality]]></category>
		<category><![CDATA[causation]]></category>
		<category><![CDATA[co-relation]]></category>
		<category><![CDATA[correlation]]></category>
		<category><![CDATA[healthy skpeticism]]></category>
		<category><![CDATA[logic]]></category>
		<category><![CDATA[scientific studies]]></category>
		<category><![CDATA[skepticism]]></category>

		<guid isPermaLink="false">http://filipinofreethinkers.org/?p=697</guid>
		<description><![CDATA[This post will attempt to repeat, clarify, and elucidate the need for the remembrance and understanding of the phrase &#8220;correlation does not imply causation&#8221;. Scientific studies will be given, and the words in the phrase, which vary in meaning depending on usage, will be defined accordingly. Scientific studies Please take a moment to go through [...]]]></description>
			<content:encoded><![CDATA[<p><!-- 		@page { size: 21.59cm 27.94cm; margin: 2cm } 		P { margin-bottom: 0.21cm } --></p>
<p style="margin-bottom: 0;">This post will attempt to repeat, clarify, and elucidate the need for the remembrance and understanding of the phrase &#8220;correlation does not imply causation&#8221;. Scientific studies will be given, and the words in the phrase, which vary in meaning depending on usage, will be defined accordingly.</p>
<h3 style="margin-bottom: 0;"><strong>Scientific studies</strong></h3>
<p style="margin-bottom: 0;">Please take a moment to go through the following actual, summarized scientific research results:</p>
<blockquote>
<p style="margin-bottom: 0;">1) In a previous scientific research using quantitative assessment, numerous epidemiological studies showed that women who were taking combined hormone replacement therapy (HRT) also had a lower-than-average incidence of coronary heart disease (CHD), leading doctors to propose that HRT was protective against CHD.</p>
</blockquote>
<blockquote>
<p style="margin-bottom: 0;">2) From a study at the University of Pennsylvania Medical Center, young children who sleep with the light on are much more likely to develop myopia in later life.</p>
</blockquote>
<p style="margin-bottom: 0;">We will get back to them in a moment. Now we focus on correlation or co-relation, and why scientists, statisticians and <em>skeptics</em>, at the very least,  should always try to maintain and promote the phrase “Correlation does not imply causation”.</p>
<p style="margin-bottom: 0;"><span id="more-697"></span></p>
<p style="margin-bottom: 0;"><img src="https://f241vc15.wordpress.com/wp-includes/js/tinymce/plugins/wordpress/img/trans.gif" alt="" /></p>
<h3 style="margin-bottom: 0;"><strong>Getting the words right</strong></h3>
<p style="margin-bottom: 0;">Now we&#8217;ll define the more important words in the phrase, so as to remove confusion. The definitions of the words will also help my point, which includes highlighting the confusion between correlation and causation.</p>
<p style="margin-bottom: 0;">First we review that correlation, according to merriam-webster.com is</p>
<blockquote>
<p style="margin-bottom: 0;">“a relation existing between phenomena or things or between mathematical or statistical variables which tend to vary, be associated, or occur together in a way not expected on the basis of chance alone”</p>
</blockquote>
<p style="margin-bottom: 0;">Which I will suppose is a fairly permissible definition of the word in casual discussions. Next, we will define what correlation means in mathematics, particularly in a statistical sense:</p>
<blockquote>
<p style="margin-bottom: 0;">“it indicates the strength and direction of a <em>linear</em> relationship between two <a href="http://en.wikipedia.org/wiki/Random_variables">random variables</a>.”</p>
</blockquote>
<p style="margin-bottom: 0;">and that</p>
<blockquote>
<p style="margin-bottom: 0;">“it refers to the departure of two random variables from independence”</p>
</blockquote>
<p style="margin-bottom: 0;">Which I again will suppose is fairly permissible in a mathematical discussion.</p>
<p style="margin-bottom: 0;">The casual or colloquial definition of correlation generally means the existence of a relationship which may not necessarily be, as defined by mathematics, linear in nature.</p>
<p style="margin-bottom: 0;">Now that we have those out of the way, we move to the definition of the word “imply”. The site merriam-webster.com gives the following as some of the definitions of the word “imply”:</p>
<blockquote>
<p style="margin-bottom: 0;">: to involve or indicate by inference, association, or necessary consequence rather than by direct 	statement</p>
</blockquote>
<blockquote>
<p style="margin-bottom: 0;">: to contain potentially</p>
</blockquote>
<p style="margin-bottom: 0;">And the word is listed as synonymous to “suggest” and “infer”. This is how we would normally use the word “imply” in casual discussions, and I will suppose that it will be acceptable for such usage.</p>
<p style="margin-bottom: 0;">Now we define what “imply” means in a mathematical sense, or when used in <a title="Logic" href="http://en.wikipedia.org/wiki/Logic">logic</a>:</p>
<blockquote>
<p style="margin-bottom: 0;">To be a <em>sufficient</em> circumstance.</p>
</blockquote>
<p>It is worth noting that, especially in mathematics and logic, correlation is a requirement for causation. But the reverse is not necessarily so, as we shall soon see. Correlation therefore is not the same as saying, in mathematics and logic, that <em>if p then q</em>, or rather that if <em>p</em> is true, then <em>q </em>must necessarily be true as well.</p>
<p>It is very  important therefore to note the difference between the casual use of the words from their scientific or mathematical use. In this article we refer to the mathematical or logical definitions of the words.</p>
<h3 style="margin-bottom: 0;"><strong>I repeat, correlation does not imply causation</strong></h3>
<p>The fallacy comes from the fact that people, including even seasoned scientists, often fall prey to the mistake of immediately  assigning causality between two correlated objects or events. Of course, when two objects or events are correlated, it cannot also be dismissed that there is no causal link between them. But the point still stands, that we tend to overlook other variables which, unseen or improperly observed, can be mistakenly dismissed, thus committing the fallacy.</p>
<p>I think one reason why a lot of us, again including even some scientists themselves, fall into this messy problem of causality and correlation is that, to a varying degree our brains are &#8220;biologically wired&#8221; to interpret patters. When we see a linear looking object between or beneath two rounded objects we more or less immediately see a face (happy, sad, whatever). When we look at clouds we are quite likely to see patterns. Same thing happens with correlation. We immediately infer and &#8220;jump to conclusions&#8221; that since object/event A is correlated with object/event B, they must be causally linked.</p>
<p>In fact the two types of correlation, positive  (when one variable increases/decreases, so does the other one) and negative (when one increases, the other decreases and vice versa) correlation I think does not make it easier to see through the fallacy of outrightly assigning causality when only correlation exists.</p>
<p>To further prove the point up to the point of absurdity, consider the correlation of your feet size and your intelligence. One could foolishly assume that, since feet size is correlated with intelligence, that the larger your feet size the smarter you are. Imagine what a surprise that would entail if it were really true. The fact is that as we do grow older and our feet size grow larger, we more or less become more intelligent, usually relative to what our intelligence was when we were babies for example. This is an example of a positive correlation with no reasonable causation.</p>
<p>An example of negative correlation with no reasonable causation is stating that the decrease in hair i.e. hair loss is met with an increase in senility. As your hair count goes down, your senility goes up. The fact that you get old and you lose hair does not necessarily cause senility, but that they just happen to happen together, correlated in a negative way.</p>
<h3>Why not causation? (plus the scientific studies at the start of this article)</h3>
<p>We now move to the  obvious reasons as to why correlation does not necessarily imply causation. One reason is that there may be a 3rd, 4th, and so on number of variables involved, and which were overlooked by the experiment or research. These variables then turn out to actually cause the causation betwen the correlated variables A and B. Another reason, which is actually an extension of the first one, is coincidence. By this we mean that the relationship of A and B are so complex and &#8220;un-unravelable&#8221; so as to consider them coincidental. Another reason is that A contributes to the occurrence of B, but is not the sole cause of B. In other words, if variables or occurrences such as these cannot be known or  studied more closely, the observation data alone cannot justify a causation between A and B.</p>
<p>Scientific example 1 (above) turns out to be a correlation but not a causal event. Re-examining the data, it was found out that the women who underwent HRT were more likely to come from higher socio-economic status, thus they tended to live a relatively healthier lifestyle via better diet and exercise opportunities.</p>
<p>Example 2 (above) regarding myopia on children, was later re-examined at the Ohio State University wherein they didn&#8217;t find a causal link between having the light on during bedtime and the occurrence of myopia later on. The newer study however found a strong link between myopia in the children&#8217;s parents and the development of myopia in their children. The study noted that the parents with myopia were more likely to leave a light on in their children&#8217;s bedroom, further elucidating the source of the correlation and confusion. Thus it was finally found out that the case of child myopia and the leaving of light/s on in the children&#8217;s bedroom are caused by parental myopia.</p>
<h3 style="margin-bottom: 0;"><strong>What&#8217;s the point of all this again?</strong></h3>
<p>But then you ask, if even seasoned scientists fall prey to this mistake i.e. immediately jumping from correlation to causation, how should a regular guy/gal like me fare otherwise? The point of this article is to promote healthy skepticism, which starts by not taking every word that comes from an authority figure, no matter how professional or experienced that figure is, as the gospel truth. I&#8217;m quite sure that, since you can read this article on the web, you can quite surely read other articles, my resources and references below, search the Internet and so on regarding a certain scientific topic or discovery or research result you just read.</p>
<p>I think this is a very important but easily overlooked phrase, since it could lead to confusion, fear, anxiety, hysteria and so on. The scientific examples given above probably only gave women and parents something to worry about. But consider for example a scientific study correlating the color red and child aggression. If improperly informed, parents, teachers etc. could storm their children or their children&#8217;s belongings, scaring or worrying children in the process, based only on correlation and not causation.</p>
<h3>Resources, references, and further reading:</h3>
<ul>
<li>Technical Brief on the 1999 Statistical Model, InfoWorks on &#8220;Correlation does not imply causation&#8221;: <a href="http://www.infoworks.ride.uri.edu/1999/techbrief/techbrief_8.htm">http://www.infoworks.ride.uri.edu/1999/techbrief/techbrief_8.htm</a></li>
<li>Beyond The Rhetoric article on the phrase: <a href="http://btr.michaelkwan.com/2009/01/10/correlation-does-not-imply-causation/">http://btr.michaelkwan.com/2009/01/10/correlation-does-not-imply-causation/</a></li>
<li>Types of correlations, from <a href="http://books.google.com.ph/books?id=M6McoqmCptYC&amp;pg=PA121&amp;dq=types+of+correlation+positive#v=onepage&amp;q=types%20of%20correlation%20positive&amp;f=false">&#8220;SPSS Survival Manual: A step by step guide to data analysis using SPSS&#8221; by Julie Pallant, Google books</a>.</li>
<li>Nice Wikipedia article on the phrase: <a href="http://en.wikipedia.org/wiki/Correlation_does_not_imply_causation">http://en.wikipedia.org/wiki/Correlation_does_not_imply_causation</a></li>
<li>On the correlation of HRT and CHD, International Journal of Epidemiology,  33 (3): 464–7.<span><span><a rel="nofollow" href="http://dx.doi.org/10.1093%2Fije%2Fdyh124">10.1093/ije/dyh124</a></span>. <a href="http://www.ncbi.nlm.nih.gov/pubmed/15166201">PMID 15166201</a></span></li>
<li>CNN, May 13, 1999. Night-light may lead to nearsightedness: <a href="http://www.cnn.com/HEALTH/9905/12/children.lights/index.html">http://www.cnn.com/HEALTH/9905/12/children.lights/index.html</a></li>
<li>Ohio State University Research News, March 9, 2000. Night lights don&#8217;t lead to nearsightedness, study suggests: <a rel="nofollow" href="http://researchnews.osu.edu/archive/nitelite.htm"> http://researchnews.osu.edu/archive/nitelite.htm</a></li>
</ul>
<div style="overflow: hidden; width: 1px; height: 1px;"><span style="color: #6666cc;"><big><strong>Technical Brief on the 1999 Statistical ModelTechnical Brief on the 1999 Statistical Model</strong></big></span></div>
<div id="crp_related"><h3>Related Posts:</h3><ul><li><a href="http://filipinofreethinkers.org/2009/12/08/if-you-look-and-examine-really-close-you-might-just-find-out-something-about-the-common-judeo-christian-god-and-variations-of-it/" rel="bookmark" class="crp_title">If you look and examine really close, you might just find out something about the common, Judeo-Christian God and variations of it&#8230;</a></li><li><a href="http://filipinofreethinkers.org/2009/12/14/ff-winter-solstice-celebration/" rel="bookmark" class="crp_title">FF Winter Solstice Celebration</a></li><li><a href="http://filipinofreethinkers.org/2009/10/30/the-boss/" rel="bookmark" class="crp_title">The Boss</a></li><li><a href="http://filipinofreethinkers.org/2009/11/09/the-doubter/" rel="bookmark" class="crp_title">The Doubter</a></li><li><a href="http://filipinofreethinkers.org/2009/12/05/dont-associate-me-with-%e2%80%9cthose%e2%80%9d-critical-thinkers/" rel="bookmark" class="crp_title">Don&#039;t Associate Me with “Those” Critical Thinkers.</a></li></ul></div>]]></content:encoded>
			<wfw:commentRss>http://filipinofreethinkers.org/2009/10/09/towards-healthier-skepticism-correlation-does-not-imply-causation/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
	</channel>
</rss>

