<?xml version="1.0" encoding="utf-8"?>
<feed version="0.3" xmlns="http://purl.org/atom/ns#" xmlns:dc="http://purl.org/dc/elements/1.1/" xml:lang="en">
<title>halfacanuck</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/" />
<modified>2008-03-21T22:09:56Z</modified>
<tagline>Now twice the Canuckiness</tagline>
<id>tag:blog.halfacanuck.com,2008:/vanilla//1</id>
<generator url="http://www.movabletype.org/" version="3.2">Movable Type</generator>
<copyright>Copyright (c) 2008, ross</copyright>
<entry>
<title>High, Dr Nick</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2008/03/high_dr_nick.html" />
<modified>2008-03-21T22:09:56Z</modified>
<issued>2008-03-21T22:03:59Z</issued>
<id>tag:blog.halfacanuck.com,2008:/vanilla//1.177</id>
<created>2008-03-21T22:03:59Z</created>
<summary type="text/plain">From Doctor Feelgood, the Observer magazine, regarding George &quot;Dr Nick&quot; Nichopoulos, personal physician to Elvis Presley: This petulant hunger for drugs was such that, when Dr Nick thought Elvis was claiming symptoms he didn&apos;t have, he began to administer placebos....</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p>From <a href="http://observer.guardian.co.uk/magazine/story/0,11913,772041,00.html">Doctor Feelgood</a>, the Observer magazine, regarding George "Dr Nick" Nichopoulos, personal physician to Elvis Presley:</p>

<blockquote>This petulant hunger for drugs was such that, when Dr Nick thought Elvis was claiming symptoms he didn't have, he began to administer placebos.

<p>'On the road,' he says, 'he was so afraid that he wouldn't get enough sleep to do a good show the next night that he would end up asking you for an extra pill or two. So those extra pill or twos would be placebos.'</p>

<p>Dr Nick and the guys would while away their spare hours on tour by making counterfeit pills for the King. 'We'd sit around,' he says, 'and, instead of playing cards, we'd make placebos. Ha!' Using syringes, they'd suck the liquid out of capsules and refill them with saline solution. When Elvis asked for a shot that he didn't need, Dr Nick would wait until his back was turned, squirt the liquid on the floor, and then 'inject' his patient with the emptied syringe. Tablets were trickier. Eventually, Dr Nick managed to persuade Knoll, the manufacturers of Dilaudid, Elvis's favourite painkiller, to press a special batch of a thousand pills without any active ingredients. It took a year of letter-writing and legal wrangling. But they looked just like the real thing. They cost him $5.98 apiece.</blockquote></p>]]>

</content>
</entry>
<entry>
<title>NERD ALERT: Lest We Remember</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2008/02/nerd_alert_lest_we_remember.html" />
<modified>2008-02-23T00:11:25Z</modified>
<issued>2008-02-22T23:56:32Z</issued>
<id>tag:blog.halfacanuck.com,2008:/vanilla//1.176</id>
<created>2008-02-22T23:56:32Z</created>
<summary type="text/plain">Very interesting research out of Princeton University: a computer&apos;s RAM can be dumped up to an hour after it is shut down, allowing keys for encrypted drives, passwords, etc. to be correctly recovered. They even have a fully automated proof-of-concept...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p><a href="http://citp.princeton.edu/memory/">Very interesting research</a> out of Princeton University: a computer's RAM can be dumped up to an hour after it is shut down, allowing keys for encrypted drives, passwords, etc. to be correctly recovered. They even have a fully automated proof-of-concept against one particular encrypted drive product, as can be seen in this pretty cool video:</p>

<p><object width="425" height="355"><param name="movie" value="http://www.youtube.com/v/JDaicPIgn9U&rel=1&border=0"></param><param name="wmode" value="transparent"></param><embed src="http://www.youtube.com/v/JDaicPIgn9U&rel=1&border=0" type="application/x-shockwave-flash" wmode="transparent"width="425" height="355"></embed></object></p>

<p>(And in case you were wondering, here's how two of the co-authors <a href="http://citp.princeton.edu/memory-content/memory_9.jpg">celebrated</a> submitting <a href="http://citp.princeton.edu.nyud.net/pub/coldboot.pdf">their paper</a>.)</p>]]>

</content>
</entry>
<entry>
<title>Job creation spurs flagging economy</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2008/01/job_creation_spurs_flagging_ec_1.html" />
<modified>2008-02-01T07:25:51Z</modified>
<issued>2008-02-01T05:38:19Z</issued>
<id>tag:blog.halfacanuck.com,2008:/vanilla//1.175</id>
<created>2008-02-01T05:38:19Z</created>
<summary type="text/plain">In 2002 President George W. Bush did solemnly sign into law the Notification and Federal Employee Anti-discrimination and Retaliation (No FEAR) Act (which, given the grammatical and semantical crime scene that is its title, makes me wonder whether he also...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p>In 2002 President George W. Bush did solemnly sign into law <a href="http://www.dotcr.ost.dot.gov/asp/nofear.asp">the Notification and Federal Employee Anti-discrimination and Retaliation (No FEAR) Act</a> (which, given the grammatical and semantical crime scene that is its title, makes me wonder whether he also had a hand in naming it), requiring every federal agency to publish, quarterly, a lengthy report of statistics relating to complaints filed against it under some Equal Employment Opportunity program or other. Complaints are grouped into thought-provokingly specific categories ("appointment/hire", "termination", "reinstatement", "medical examination", etc.).</p>

<p>Check out <a href="http://www.usda.gov/nofear/allusda/2007.html">this example from the Department of Agriculture</a>. Is this governmental accountability in action or is this a rampantly scandalous waste of taxpayers' money? I don't know whether to laugh, cry, or sexually harass a Negress. Which should it be? You decide!</p>]]>

</content>
</entry>
<entry>
<title>Harris vs Sullivan</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/06/harris_vs_sullivan.html" />
<modified>2007-06-08T07:23:14Z</modified>
<issued>2007-06-08T07:09:43Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.174</id>
<created>2007-06-08T07:09:43Z</created>
<summary type="text/plain"> It is not my intention to go on at tiresome length, but your last post has opened so many doors to the winds of unreason that I can&apos;t resist running from room to room trying to settle things down....</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<blockquote>
It is not my intention to go on at tiresome length, but your last post has opened so many doors to the winds of unreason that I can't resist running from room to room trying to settle things down. <i>&ndash; Sam Harris</i>
</blockquote>
<p><a href="http://www.beliefnet.com/story/209/story_20904_1.html">A wonderful "blogalogue"</a> between pugnacious atheist <a href="http://www.samharris.org/">Sam Harris</a> and gay Catholic libertarian <a href="http://andrewsullivan.theatlantic.com/">Andrew Sullivan</a> on the validity of faith-based religion.</p>]]>

</content>
</entry>
<entry>
<title>Happiness is...</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/05/happiness_is.html" />
<modified>2007-05-09T14:16:33Z</modified>
<issued>2007-05-09T14:07:22Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.173</id>
<created>2007-05-09T14:07:22Z</created>
<summary type="text/plain"></summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p><a href="http://news.yahoo.com/photos/ss/441/im:/070412/photos_us_rank_afp/355c22934fa0b1c364b1d20ec2635e28;_ylt=Au5Vzl70Aa6CTiikAVmAqwtiWscF"><img border="0" alt="White-handed gibbon sits on giant fruit display" src="http://blog.halfacanuck.com/vanilla/i/gibbon_has_many_bananas.jpg" width="259" height="345" /></a></p>]]>

</content>
</entry>
<entry>
<title>O, beware, my lord of jealousy</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/04/o_beware_my_lord_of_jealousy.html" />
<modified>2007-04-20T20:59:24Z</modified>
<issued>2007-04-20T20:44:56Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.172</id>
<created>2007-04-20T20:44:56Z</created>
<summary type="text/plain">The Smoking Gun has obtained a copy of a one-act play written by VTech shooter Cho Seung-Hui in which a teen boy simmers with resentment at his step-father whom he believes murdered his father in order to nail his mom....</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p><i>The Smoking Gun</i> has obtained a copy of a <a href="http://www.thesmokinggun.com/archive/years/2007/0417071vtech1.html">one-act play</a> written by VTech shooter Cho Seung-Hui in which a teen boy simmers with resentment at his step-father whom he believes murdered his father in order to nail his mom. Thank god Shakespeare didn't have access to semi-automatic handguns.</p>]]>

</content>
</entry>
<entry>
<title>Life in the trenches</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/03/life_in_the_trenches_1.html" />
<modified>2007-03-22T13:31:21Z</modified>
<issued>2007-03-22T10:58:10Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.171</id>
<created>2007-03-22T10:58:10Z</created>
<summary type="text/plain">In case you&apos;ve not seen it already, here&apos;s the BBC/Discovery Channel documentary Blue Planet: The Deep. The ubiquity and tenacity of life never fails to leave me breathless, and some of these creatures are so exquisitely repellent it&apos;s almost a...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p>In case you've not seen it already, here's the BBC/Discovery Channel documentary <i>Blue Planet: The Deep</i>. The ubiquity and tenacity of life never fails to leave me breathless, and some of these creatures are so exquisitely repellent it's almost a shame that we never get the chance to fear them. Watch it before YouTube gets <a href="http://www.wired.com/news/technology/0,73029-0.html?tw=wn_technology_2" title="Wired News story about Viacom suing YouTube">sued out of existence</a>.</p>

<p>
<a href="http://www.youtube.com/watch?v=k-a6gVg2BRE" title="Blue Planet: The Deep, part 1">Part one</a>
<br />
<a href="http://www.youtube.com/watch?v=-BiCVp_8-KQ" title="Blue Planet: The Deep, part 2">Part two</a>
<br />
<a href="http://www.youtube.com/watch?v=DaEHbBV4IGg" title="Blue Planet: The Deep, part 3">Part three</a>
<br />
<a href="http://www.youtube.com/watch?v=Bx7Ht9O2g_k" title="Blue Planet: The Deep, part 4">Part four</a>
<br />
<a href="http://www.youtube.com/watch?v=UtwI6gLZBfE" title="Blue Planet: The Deep, part 5">Part five</a>
</p>]]>

</content>
</entry>
<entry>
<title>Derail for me, baby</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/03/derail_for_me_baby.html" />
<modified>2007-03-12T01:47:46Z</modified>
<issued>2007-03-12T01:34:02Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.170</id>
<created>2007-03-12T01:34:02Z</created>
<summary type="text/plain">So you think erotic asphyxiation is kinky? Check out what this guy was into....</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p>So you think <a href="http://en.wikipedia.org/wiki/Erotic_asphyxiation">erotic asphyxiation</a> is kinky? Check out what <a href="http://en.wikipedia.org/wiki/Sylvestre_Matuschka">this guy was into</a>.</p>]]>

</content>
</entry>
<entry>
<title>Holy capriciousness</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/01/jesus_christ.html" />
<modified>2007-01-19T09:44:48Z</modified>
<issued>2007-01-19T09:30:04Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.169</id>
<created>2007-01-19T09:30:04Z</created>
<summary type="text/plain"> Thomas Cranmer ... had believed, with a fervor that many people today will find hard to understand, that it is the duty of every Christian to obey the monarch, and that &quot;the powers that be are ordained of God&quot;...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<blockquote>
Thomas Cranmer ... had believed, with a fervor that many people today will find hard to understand, that it is the duty of every Christian to obey the monarch, and that "the powers that be are ordained of God" (Romans 13).

<p>As long as the monarch was ordering things that Cranmer thought good, it was easy for Cranmer to believe that the king was sent by God's providence to guide the people in the path of true religion, and that disobedience to the king was disobedience to God. Now Mary was Queen, and commanding him to return to the Roman obedience.</p>

<p>Cranmer five times wrote a letter of submission to the Pope and to Roman Catholic doctrines, and four times he tore it up. In the end, he submitted. However, Mary was unwilling to believe that the submission was sincere, and he was ordered to be burned at Oxford on 21 March 1556.</p>

<p>At the very end, he repudiated his final letter of submission, and announced that he died a Protestant. He said, "I have sinned, in that I signed with my hand what I did not believe with my heart. When the flames are lit, this hand shall be the first to burn." And when the fire was lit around his feet, he leaned forward and held his right hand in the fire until it was charred to a stump. Aside from this, he did not speak or move, except that once he raised his left hand to wipe the sweat from his forehead.<br />
</blockquote></p>

<p>From <a href="http://satucket.com/lectionary/Latimer_Ridley_Cranmer.htm">Hugh Latimer, Nicholas Ridley, &amp; Thomas Cranmer</a>.</p>]]>

</content>
</entry>
<entry>
<title>Businesses are starting to get it</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/01/businesses_are_starting_to_get_1.html" />
<modified>2007-01-16T15:39:10Z</modified>
<issued>2007-01-16T14:59:57Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.168</id>
<created>2007-01-16T14:59:57Z</created>
<summary type="text/plain">UK retail chain Marks &amp; Spencer is more than just dramatically reviving its flagging financial fortunes: CEO Stuart Rose says the entire company is going to be carbon-neutral within five years. That&apos;s equivalent, they say, of taking 100,000 cars off...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p>UK retail chain <a href="http://www.marksandspencer.com/">Marks & Spencer</a> is more than just <a href="http://news.bbc.co.uk/2/hi/business/5007290.stm">dramatically reviving</a> its flagging financial fortunes: CEO Stuart Rose says the entire company is going to be <a href="http://news.bbc.co.uk/2/hi/business/6261939.stm">carbon-neutral within five years</a>. That's equivalent, they say, of taking 100,000 cars off the roads each year.</p>]]>
<![CDATA[<p>The plan, which will cost an estimated £200m (US$390m), will only use <a href="http://en.wikipedia.org/wiki/Carbon_offset">offsetting</a> as a last resort. Instead they're going to:</p>

<ul>
<li>Source as much food as possible from the UK and Ireland to reduce transport emissions, with labels to identify food that's been flown into the country</li>
<li>Ensure all of their clothing and packaging is recyclable</li>
<li>Manufacture polyester clothing from recycled plastic bottles instead of oil</li>
<li>Trial the use of food waste to power its stores</li>
<li>Stop sending any waste to landfill</li>
</ul>

<p>And they're going to do all this without passing the cost on to their customers.</p>

<p>(Their <a href="http://www2.marksandspencer.com/thecompany/mediacentre/pressreleases/2007/com2007-01-15-00.shtml">press release</a> has lots of details.)</p>

<p>They're calling this mammoth project "<a href="http://www2.marksandspencer.com/thecompany/plana/index.shtml">Plan A</a>" because, says Rose, "there is no plan B." He also notes that "this is a deliberately ambitious and, in some areas, difficult plan. We don't have all the answers but we are determined to work with our suppliers, partners and Government to make this happen. Doing anything less is not an option."</p>

<p>Sure, I expect they're hoping to cash in on the increasing concern expressed for environmental issues, but who cares? That's what businesses do. And far from just dumping cash into offsets (though that is of course much better than doing nothing) M&S is actually putting some <em>effort</em> into this. A whole shitload of effort, in fact. What a fantastic demonstration of the corporate sector leading by example. May many follow.</p>

<p>Mr. Rose, I'm proud to announce that you're the first ever recipient of the <strong>Halfacanuck Prize for Being Cool as Fuck</strong>. I'm not sure what the prize actually is yet, but I guarantee it'll be recyclable.</p>]]>
</content>
</entry>
<entry>
<title>Irreducible illogicality</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/01/irreducible_illogicality.html" />
<modified>2007-01-15T07:01:53Z</modified>
<issued>2007-01-15T01:54:11Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.167</id>
<created>2007-01-15T01:54:11Z</created>
<summary type="text/plain"> Have you ever used predicate calculus to prove the validity or invalidity of an argument? It&apos;s fun, in a nerdy kind of way, and a lot less terrifying and tedious than it sounds. Let&apos;s give it a try! How...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p><img src="/vanilla/i/derek_the_hacksaw.jpg" width="150" height="123" alt="Derek the hacksaw" align="right" style="margin-left: 1em" /> Have you ever used <a href="http://en.wikipedia.org/wiki/First-order_logic">predicate calculus</a> to prove the validity or invalidity of an argument? It's fun, in a nerdy kind of way, and a lot less terrifying and tedious than it sounds. Let's give it a try! How about we test the argument "the <a href="http://en.wikipedia.org/wiki/Irreducible_complexity">irreducibly complex</a> nature of the eye proves God's existence"?</p>

<p>Aw, come on. What would Jesus do?</p>]]>
<![CDATA[<p>Leaving aside the abject pseudo-scientific fatalism of declaring (usually without a shred of evidence other than the claimant's own bewilderment) any naturally occurring structure as beyond naturalistic explanation, and also the question of whether the eye really <em>is</em> irreducibly complex (for our purposes it makes no difference), let's approach this from a strictly logical point of view. Is the argument logically valid? Essentially we can boil it down to this:</p>

<ul>
<li>The eye evolved or was created, but not both</li>
<li>If it did not evolve then it was created</li>
<li>If it was created then there is a creator</li>
<li>The eye is irreducibly complex and thus did not evolve</li>
<li>Therefore there is a creator</li>
</ul>

<p>Seems fairly sound, on the face of it. But that's why we have formal systems of logical analysis: natural language can sometimes fool us into thinking things that only <em>seem</em> to be correct. So as a first step, let's assign a label to each of the claims it makes (known as "predicates"):</p>

<table border="0" cellpadding="2" cellspacing="1" bgcolor="gray">
<tr bgcolor="white" align="center">
<th>Label</th>
<th>Predicate</th>
</tr>
<tr bgcolor="white">
<td align="center">a</td>
<td>The eye evolved</td>
</tr>
<tr bgcolor="white">
<td align="center">b</td>
<td>The eye was created</td>
</tr>
<tr bgcolor="white">
<td align="center">c</td>
<td>A creator exists</td>
</tr>
</table>

<p>Now we need to connect those predicates together to restate the argument in a formal way. We'll need four of the symbols defined by predicate calculus to do this, and those symbols are:</p>

<table border="0" cellpadding="2" cellspacing="1" bgcolor="gray">
<tr bgcolor="white" align="center">
<th>Symbol</th>
<th>Meaning</th>
</tr>
<tr bgcolor="white">
<td align="center"><img src="/vanilla/i/symbols/wedge.png" alt="and" /></td>
<td>And (true if both predicates are true)</td>
</tr>
<tr bgcolor="white">
<td align="center"><img src="/vanilla/i/symbols/plus.png" alt="xor" /></td>
<td>Exclusive-or (true if one predicate is true and the other false, but not both)</td>
</tr>
<tr bgcolor="white">
<td align="center"><img src="/vanilla/i/symbols/lnot.png" alt="not" /></td>
<td>Not (true if the predicate is false)</td>
</tr>
<tr bgcolor="white">
<td align="center"><img src="/vanilla/i/symbols/to.png" alt="implies" /></td>
<td>Implies (we'll get to this in a moment)</td>
</tr>
</table>

<p>The meanings of these symbols, or "operators," follow pretty closely to the "natural" sense we use them. The only slightly tricky part is <img src="/vanilla/i/symbols/to.png" alt="implies" /> (implies), which has one somewhat counter-intuitive aspect until you think about it for a bit. The statement "a <img src="/vanilla/i/symbols/to.png" alt="implies" /> b" is considered false if a is true and b is false, but true in all other circumstances. This is the mathematical meaning of "implies" rather than the natural one: the only time an implication can be proven false is when the hypothesis (a) is true but the conclusion (b) is not. Makes sense, right?</p>

<p>Okay, so this is where the real nerdiness begins. Let's take those predicates (a, b and c) and the operators and begin stating the argument formally, line by line:</p>

<blockquote>
a <img src="/vanilla/i/symbols/plus.png" alt="xor" /> b
</blockquote>

<p>The eye evolved (a) or the eye was created (b) but not both.</p>

<blockquote>
<img src="/vanilla/i/symbols/lnot.png" alt="not" />a <img src="/vanilla/i/symbols/to.png" alt="implies" /> b
</blockquote>

<p>If the eye didn't evolve then it was created.</p>

<blockquote>
b <img src="/vanilla/i/symbols/to.png" alt="implies" /> c
</blockquote>

<p>If the eye was created then there is a creator (c).</p>

<blockquote>
<img src="/vanilla/i/symbols/lnot.png" alt="not" />a
</blockquote>

<p>The eye did not evolve.</p>

<p>Since all these have to be true in order for the final line (the conclusion &ndash; that a creator exists) also to be true, we join them together with ands:</p>

<blockquote>
(a <img src="/vanilla/i/symbols/plus.png" alt="xor" /> b) <img src="/vanilla/i/symbols/wedge.png" alt="and" /> (<img src="/vanilla/i/symbols/lnot.png" alt="not" />a <img src="/vanilla/i/symbols/to.png" alt="implies" /> b) <img src="/vanilla/i/symbols/wedge.png" alt="and" /> (b <img src="/vanilla/i/symbols/to.png" alt="implies" /> c) <img src="/vanilla/i/symbols/wedge.png" alt="and" /> (<img src="/vanilla/i/symbols/lnot.png" alt="not" />a)
</blockquote>

<p>The parenthesis around them is to clarify which operators are affecting which predicates. There are rules to it but in this case it's pretty straightforward, since I've already gone through it step by step.</p>

<p>Next we join this (the hypothesis) with the conclusion using another <img src="/vanilla/i/symbols/to.png" alt="implies" /> (implies):</p>

<blockquote>
((a <img src="/vanilla/i/symbols/plus.png" alt="xor" /> b) <img src="/vanilla/i/symbols/wedge.png" alt="and" /> (<img src="/vanilla/i/symbols/lnot.png" alt="not" />a <img src="/vanilla/i/symbols/to.png" alt="implies" /> b) <img src="/vanilla/i/symbols/wedge.png" alt="and" /> (b <img src="/vanilla/i/symbols/to.png" alt="implies" /> c) <img src="/vanilla/i/symbols/wedge.png" alt="and" /> (<img src="/vanilla/i/symbols/lnot.png" alt="not" />a)) <img src="/vanilla/i/symbols/to.png" alt="implies" /> c
</blockquote>

<p>In other words, we're saying that the hypothesis is <em>logically equivalent</em> to the conclusion, since that's another meaning of <img src="/vanilla/i/symbols/to.png" alt="implies" />. If the two do turn out to be logically equivalent then we say the argument is logically valid. If they're not, it isn't.</p>

<p>That's all well and good (and deliciously nerdy), but what do we do now? Well, we could deduce an elegant formal proof using the fundamental axioms of predicate calculus, but I don't have the faintest idea how to do that and, let's be honest, nor do you, so let's take the brute-force approach: we'll construct what's called a <em>truth table</em>.</p>

<p>Truth tables allow us to test all combinations of true and false for all the predicates in the statement. The truth table for <img src="/vanilla/i/symbols/lnot.png" alt="not" /> (not) looks like this:</p>

<table border="0" cellpadding="2" cellspacing="1" bgcolor="gray">
<tr bgcolor="white">
<th>a</th>
<th><img src="/vanilla/i/symbols/lnot.png" alt="not" />a</th>
</tr>
<tr bgcolor="white" align="center">
<td>T</td>
<td>F</td>
</tr>
<tr bgcolor="white" align="center">
<td>F</td>
<td>T</td>
</tr>
</table>

<p>Thus when a is true, <img src="/vanilla/i/symbols/lnot.png" alt="not" />a is false, and when a is false, <img src="/vanilla/i/symbols/lnot.png" alt="not" />a is true. Let's look at the truth table for <img src="/vanilla/i/symbols/wedge.png" alt="and" /> (and) as another example:</p>

<table border="0" cellpadding="2" cellspacing="1" bgcolor="gray">
<tr bgcolor="white">
<th>a</th>
<th>b</th>
<th>a <img src="/vanilla/i/symbols/wedge.png" alt="and" /> b</th>
</tr>
<tr bgcolor="white" align="center">
<td>T</td>
<td>T</td>
<td>T</td>
</tr>
<tr bgcolor="white" align="center">
<td>T</td>
<td>F</td>
<td>F</td>
</tr>
<tr bgcolor="white" align="center">
<td>F</td>
<td>T</td>
<td>F</td>
</tr>
<tr bgcolor="white" align="center">
<td>F</td>
<td>F</td>
<td>F</td>
</tr>
</table>

<p>Easy, yes? You betcha. But it gets even easier! We can use instead what's called an <em>abbreviated truth table</em>, which represents the same information more compactly. Again for <img src="/vanilla/i/symbols/wedge.png" alt="and" /> it looks like this:</p>

<table border="0" cellpadding="2" cellspacing="1" bgcolor="gray">
<tr bgcolor="white">
<th>a</th>
<th><img src="/vanilla/i/symbols/wedge.png" alt="and" /></th>
<th>b</th>
</tr>
<tr bgcolor="white" align="center">
<td>T</td>
<td>T</td>
<td>T</td>
</tr>
<tr bgcolor="white" align="center">
<td>T</td>
<td>F</td>
<td>F</td>
</tr>
<tr bgcolor="white" align="center">
<td>F</td>
<td>F</td>
<td>T</td>
</tr>
<tr bgcolor="white" align="center">
<td>F</td>
<td>F</td>
<td>F</td>
</tr>
</table>

<p>As you can see, the third column of the "full" <img src="/vanilla/i/symbols/wedge.png" alt="and" /> truth table is now the second column of the abbreviated version. We simply write the outcome of applying the operator to the two predicates underneath the operator itself.</p>

<p>Remember how I said "this is where the real nerdiness begins"? Well, <em>this</em> is where we get into the <em>totally cool shit</em>, which is actually demonstrating the validity or invalidity of the argument! I know you're just as excited as I am.</p>

<p>Now we make another truth table, except this one represents the entire argument as constructed above. It might look a little daunting, and you have two options: try to follow along with the truth values (and my explanation is, admittedly, probably not adequate for that, but with <a href="http://www.mathsci.appstate.edu/~jlh/primer/hirst.pdf">this primer</a> at hand you should have no problems) or scroll past in horror and trust I'm honest. Either works for me, though I recommend the latter.</p>

<p>So here it is, in all its majesty:</p>

<table border="0" cellpadding="2" cellspacing="1" bgcolor="gray">
<tr align="center" bgcolor="white">
<th>((</th>
<th>a</th>
<th><img src="/vanilla/i/symbols/plus.png" alt="xor" /></th>
<th>b</th>
<th>)</th>
<th><img src="/vanilla/i/symbols/wedge.png" alt="and" /></th>
<th>(</th>
<th><img src="/vanilla/i/symbols/lnot.png" alt="not" /></th>
<th>a</th>
<th><img src="/vanilla/i/symbols/to.png" alt="implies" /></th>
<th>b</th>
<th>)</th>
<th><img src="/vanilla/i/symbols/wedge.png" alt="and" /></th>
<th>(</th>
<th>b</th>
<th><img src="/vanilla/i/symbols/to.png" alt="implies" /></th>
<th>c</th>
<th>)</th>
<th><img src="/vanilla/i/symbols/wedge.png" alt="and" /></th>
<th>(</th>
<th><img src="/vanilla/i/symbols/lnot.png" alt="not" /></th>
<th>a</th>
<th>))</th>
<th><img src="/vanilla/i/symbols/to.png" alt="implies" /></th>
<th>c</th>
</tr>
<tr align="center" bgcolor="white"><td></td><td>T</td><td>F</td><td>T</td><td></td><td>F</td><td></td><td>F</td><td>T</td><td>T</td><td>T</td><td></td><td>F</td><td></td><td>T</td><td>T</td><td>T</td><td></td><td>F</td><td></td><td>F</td><td>T</td><td></td><td bgcolor="yellow">T</td><td>T</td></tr>
<tr align="center" bgcolor="white"><td></td><td>T</td><td>F</td><td>T</td><td></td><td>F</td><td></td><td>F</td><td>T</td><td>T</td><td>T</td><td></td><td>F</td><td></td><td>T</td><td>F</td><td>F</td><td></td><td>F</td><td></td><td>F</td><td>T</td><td></td><td bgcolor="yellow">T</td><td>F</td></tr>
<tr align="center" bgcolor="white"><td></td><td>T</td><td>T</td><td>F</td><td></td><td>T</td><td></td><td>F</td><td>T</td><td>T</td><td>F</td><td></td><td>T</td><td></td><td>F</td><td>T</td><td>T</td><td></td><td>F</td><td></td><td>F</td><td>T</td><td></td><td bgcolor="yellow">T</td><td>T</td></tr>
<tr align="center" bgcolor="white"><td></td><td>T</td><td>T</td><td>F</td><td></td><td>T</td><td></td><td>F</td><td>T</td><td>T</td><td>F</td><td></td><td>T</td><td></td><td>F</td><td>T</td><td>F</td><td></td><td>F</td><td></td><td>F</td><td>T</td><td></td><td bgcolor="yellow">T</td><td>F</td></tr>
<tr align="center" bgcolor="white"><td></td><td>F</td><td>T</td><td>T</td><td></td><td>T</td><td></td><td>T</td><td>F</td><td>T</td><td>T</td><td></td><td>T</td><td></td><td>T</td><td>T</td><td>T</td><td></td><td>T</td><td></td><td>T</td><td>F</td><td></td><td bgcolor="yellow">T</td><td>T</td></tr>
<tr align="center" bgcolor="white"><td></td><td>F</td><td>T</td><td>T</td><td></td><td>T</td><td></td><td>T</td><td>F</td><td>T</td><td>T</td><td></td><td>F</td><td></td><td>T</td><td>F</td><td>F</td><td></td><td>F</td><td></td><td>T</td><td>F</td><td></td><td bgcolor="yellow">T</td><td>F</td></tr>
<tr align="center" bgcolor="white"><td></td><td>F</td><td>F</td><td>F</td><td></td><td>F</td><td></td><td>T</td><td>F</td><td>F</td><td>F</td><td></td><td>F</td><td></td><td>F</td><td>T</td><td>T</td><td></td><td>F</td><td></td><td>T</td><td>F</td><td></td><td bgcolor="yellow">T</td><td>T</td></tr>
<tr align="center" bgcolor="white"><td></td><td>F</td><td>F</td><td>F</td><td></td><td>F</td><td></td><td>T</td><td>F</td><td>F</td><td>F</td><td></td><td>F</td><td></td><td>F</td><td>T</td><td>F</td><td></td><td>F</td><td></td><td>T</td><td>F</td><td></td><td bgcolor="yellow">T</td><td>F</td></tr>
</table>

<p>The things I do for you.</p>

<p>Okay. <em>Now</em> what? Look at the column highlighted in yellow (the second from the right). The rules say that when testing logical equivalence in this way, if that column is all true, then the hypothesis <em>is</em> logically equivalent to the conclusion. And in this case, indeed, we can see it is.</p>

<p>So wait. The argument <em>is</em> logically valid? Yup. Weren't expecting that, were you?</p>

<p>But that says nothing about the <em>truth</em> of the argument. Formal logic is silent on that matter: all it can tell you is that the conclusion is true <em>if and only if</em> all the predicates in the hypothesis are true as well.</p>

<p>That is to say, provided a and b above are both true (in the real, everyday sense) then c is also true. In this argument, however, that's not the case. The problem lies with this part of the hypothesis:</p>

<blockquote>
(a <img src="/vanilla/i/symbols/plus.png" alt="xor" /> b) <img src="/vanilla/i/symbols/wedge.png" alt="and" /> (<img src="/vanilla/i/symbols/lnot.png" alt="not" />a <img src="/vanilla/i/symbols/to.png" alt="implies" /> b)
</blockquote>

<p>Remember, this is saying "the eye evolved (a) or the eye was created (b) but not both, and if the eye didn't evolve then it was created."</p>

<p>But a moment's thought (which is a moment longer than most <a href="http://en.wikipedia.org/wiki/Creationism">creationists</a> and supporters of "<a href="http://en.wikipedia.org/wiki/Intelligent_design">intelligent design</a>" give it) reveals this is not true. Even if the eye didn't evolve, that doesn't necessarily mean it was created. What this amounts to, as <a href="http://en.wikipedia.org/wiki/Richard_Dawkins">Richard Dawkins</a> (amongst many others) says, is nothing more than falling back on a default: god. But the default was chosen arbitrarily. I could just as easily say "if the eye didn't evolve then it was brought to Earth in the belly of a faster-than-light fruit bat by Derek the generous but slightly shy hacksaw." The argument would still be logically valid, but it would also remain utterly arbitrary and thus preposterous to anyone with half a brain.</p>

<p> If creationists (or even proper scientists, for that matter) do ever find something in the realm of biology that is genuinely irreducibly complex, i.e. which could not have evolved by gradual steps (and this is looking less and less likely with every passing news report of <a href="http://www.biologynews.net/archives/2007/01/13/hofmeyr_skull_supports_the_out_of_africa_theory.html">yet another discovery</a> that reinforces evolutionary theory), all they'll have proven is that evolution is wrong, not that creationism (nor, sadly, Derekism) is right. There's a big difference.</p>

<p>Despite being absolutely convinced that not a single one of you is still reading, I'll sum up by saying that, first of all, logic is a beautiful, beautiful thing, but its beauty is no guarantee against it being abused by the demented. Also, yes, I'm fully aware that I need to get out more.</p>]]>
</content>
</entry>
<entry>
<title>Don&apos;t burn those Christmas accoutrements</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/01/dont_burn_those_christmas_acco.html" />
<modified>2007-01-14T18:03:17Z</modified>
<issued>2007-01-14T17:59:23Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.166</id>
<created>2007-01-14T17:59:23Z</created>
<summary type="text/plain">Sage and timely advice from Cecil Adams of The Straight Dope: My assistant Una had an Uncle Bob, a manly man who felt throwing the Christmas tree away was a waste of good firewood. So he tossed it in the...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p><a href="http://www.straightdope.com/columns/061208.html">Sage and timely advice</a> from Cecil Adams of <a href="http://www.straightdope.com/index.html">The Straight Dope</a>:</p>

<blockquote>
My assistant Una had an Uncle Bob, a manly man who felt throwing the Christmas tree away was a waste of good firewood. So he tossed it in the fireplace — gave him a nice warm glow. Unfortunately what was glowing was the roof, presumably ignited by embers. Fortunately the fire was small and anybody with a hose could have put it out. Unfortunately the hose was frozen solid and the fire department had trouble getting the nearest hydrant to work. Fortunately the firefighters were able to throw a ladder up against the house and put out the fire with a chemical extinguisher. They then hacked off a small hunk of charred roof with axes, peered into the crawl space, and declared the fire out. Unfortunately, having by now found an operational hydrant, the firemen declared they needed to hose down the roof "as policy," sending a torrent of water through the hole and collapsing the living room ceiling. Really unfortunately, the house that all this happened in belonged not to Uncle Bob but his in-laws. Bob bought them an RV and matters were pronounced square, but it was a lesson he won't soon forget, and neither should you.
</blockquote>]]>

</content>
</entry>
<entry>
<title>Malfunction in the Denial Engine?</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/01/malfunction_in_the_denial_mach.html" />
<modified>2007-01-14T06:55:55Z</modified>
<issued>2007-01-14T06:16:22Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.165</id>
<created>2007-01-14T06:16:22Z</created>
<summary type="text/plain">President Bush is set to make a historic shift in his position on global warming, apparently. Tony Blair&apos;s knees must be very sore....</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p>President Bush is set to make <a href="http://www.washingtonmonthly.com/archives/individual/2007_01/010558.php">a historic shift</a> in his position on global warming, apparently. Tony Blair's knees must be very sore.</p>

<p><!-- ckey="17C3CFB1" --></p>]]>

</content>
</entry>
<entry>
<title>Time well spent</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/01/time_well_spent.html" />
<modified>2007-01-14T06:05:18Z</modified>
<issued>2007-01-14T05:57:14Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.164</id>
<created>2007-01-14T05:57:14Z</created>
<summary type="text/plain">So you want to be the first person ever to build a scale replica of the battle of Helms Deep in the medium of candy? Too late. Favorite quote: &quot;If you look closely you can see [Gandalf] with a wizard’s...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p>So you want to be the first person ever to build a scale replica of the battle of Helms Deep in the medium of candy?</p>

<p><a href="http://missedmanners.wordpress.com/2007/01/12/what-i-did-over-christmas-vacation/">Too late</a>.</p>

<p>Favorite quote: "If you look closely you can see [Gandalf] with a wizard’s staff just wrecking shit in the middle of orcs who are getting fucking pwnt."</p>]]>

</content>
</entry>
<entry>
<title>After</title>
<link rel="alternate" type="text/html" href="http://blog.halfacanuck.com/vanilla/2007/01/after.html" />
<modified>2007-01-14T06:57:22Z</modified>
<issued>2007-01-14T04:15:49Z</issued>
<id>tag:blog.halfacanuck.com,2007:/vanilla//1.163</id>
<created>2007-01-14T04:15:49Z</created>
<summary type="text/plain">If you pour oil into water and stir vigorously the result is an opalescent liquid that, from a distance, appears to be uniform in composition. But if you look closer you can see that far from being uniform the two...</summary>
<author>
<name>Ross Thomas</name>

<email>ross@halfacanuck.com</email>
</author>

<content type="text/html" mode="escaped" xml:lang="en" xml:base="http://blog.halfacanuck.com/vanilla/">
<![CDATA[<p>If you pour oil into water and stir vigorously the result is an opalescent liquid that, from a distance, appears to be uniform in composition. But if you look closer you can see that far from being uniform the two liquids are in fact still quite separate; it's just that one of them has been torn into billions of tiny spheres, suspended within the other (indeed, it is partly because of the influence of the latter that the former takes its shape).</p>

<p>If you let the mixture sit for a while, the liquid that had become manifoldly fragmented gradually organizes itself back into one. Individual units that, from a subatomic perspective, may as well be considered as distant from each other as I am from you, slowly but surely drift downwards and find each other, kiss, touch, come together. Then more join them. Then more. And eventually, after the evaporation, what remains is all-encompassing.</p>]]>

</content>
</entry>

</feed>