<?xml version="1.0"?>
<?xml-stylesheet href="/transform" type="text/xsl"?>
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:bs="http://purl.org/ontology/bibo/status/" xmlns:ci="https://vocab.methodandstructure.com/content-inventory#" xmlns:dct="http://purl.org/dc/terms/" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:xhv="http://www.w3.org/1999/xhtml/vocab#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" lang="en" prefix="bibo: http://purl.org/ontology/bibo/ bs: http://purl.org/ontology/bibo/status/ ci: https://vocab.methodandstructure.com/content-inventory# dct: http://purl.org/dc/terms/ foaf: http://xmlns.com/foaf/0.1/ rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# xhv: http://www.w3.org/1999/xhtml/vocab# xsd: http://www.w3.org/2001/XMLSchema#" vocab="http://www.w3.org/1999/xhtml/vocab#" xml:lang="en">
  <head>
    <title property="dct:title">Biconditionalism and Teratology</title>
    <base href="https://doriantaylor.com/biconditionalism-and-teratology"/>
    <link href="document-stats#EN2byaxo1m_JLb2HOkbFlK" rev="ci:document"/>
    <link href="elsewhere" rel="alternate bookmark" title="Elsewhere"/>
    <link href="this-site" rel="alternate index" title="This Site"/>
    <link href="http://purl.org/ontology/bibo/status/published" rel="bibo:status"/>
    <link href="" rel="ci:canonical" title="Biconditionalism and Teratology"/>
    <link href="lexicon/#Er25AsP7lDnL8trRRAsODJ" rel="dct:audience" title="Digital Media Theorist"/>
    <link href="person/dorian-taylor#me" rel="dct:creator" title="Dorian Taylor"/>
    <link href="hand-deformity" rel="dct:hasPart"/>
    <link href="//www.amazon.com/dp/0061353248" rel="dct:references"/>
    <link href="person/dorian-taylor" rel="meta" title="Who I Am"/>
    <link about="./" href="3f36c30c-6096-454a-8a22-c062100ae41f" rel="alternate" type="application/atom+xml"/>
    <link about="./" href="f07f5044-01bc-472d-9079-9b07771b731c" rel="alternate" type="application/atom+xml"/>
    <link about="./" href="this-site" rel="alternate"/>
    <link about="./" href="elsewhere" rel="alternate"/>
    <link about="./" href="e341ca62-0387-4cea-b69a-cdabc7656871" rel="alternate" type="application/atom+xml"/>
    <link about="verso/" href="3f36c30c-6096-454a-8a22-c062100ae41f" rel="alternate" type="application/atom+xml"/>
    <link about="verso/" href="this-site" rel="alternate"/>
    <link about="verso/" href="elsewhere" rel="alternate"/>
    <meta content="biconditionalism-and-teratology" datatype="xsd:token" property="ci:canonical-slug"/>
    <meta content="While we are illogical animals, logic is what enables us to be what we are." name="description" property="dct:abstract"/>
    <meta content="2011-07-03T20:24:55+00:00" datatype="xsd:dateTime" property="dct:created"/>
    <meta content="biconditionalism-and-teratology" property="dct:identifier"/>
    <meta content="2011-07-03T20:24:29+00:00" datatype="xsd:dateTime" property="dct:issued"/>
    <meta content="2011-07-14T00:47:34+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2022-05-31T04:18:52+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta about="person/dorian-taylor#me" content="Dorian Taylor" name="author" property="foaf:name"/>
    <meta content="summary" name="twitter:card"/>
    <meta content="@doriantaylor" name="twitter:site"/>
    <meta content="Biconditionalism and Teratology" name="twitter:title"/>
    <meta content="While we are illogical animals, logic is what enables us to be what we are." name="twitter:description"/>
    <object>
      <nav>
        <ul>
          <li>
            <a href="user-experience-design-the-mirror-image-of-marketing" rev="dct:references" typeof="bibo:Article">
              <span property="dct:title">User Experience Design: The Mirror Image of Marketing</span>
            </a>
          </li>
          <li>
            <a href="document-stats#EN2byaxo1m_JLb2HOkbFlK" rev="ci:document" typeof="qb:Observation">
              <span>urn:uuid:3766f26b-1a35-49bf-a24b-6f61ce91b165</span>
            </a>
          </li>
        </ul>
      </nav>
    </object>
  </head>
  <body about="" id="ECCGBfJ-Sb7hdaLY-TCo1K" typeof="bibo:Article">
    <p>In logic it is a mistake to assume that because one condition implies another (P &#x2192; Q), that the truth (or falsity) of the second implies the truth (or falsity) of the first (Q &#x2192; P). This is a formal fallacy called <a href="http://www.fallacyfiles.org/afthecon.html" title="Logical Fallacy: Affirming the Consequent" rel="dct:references">affirming the consequent</a> or <a href="http://www.fallacyfiles.org/denyante.html" title="Logical Fallacy: Denying the Antecedent" rel="dct:references">denying the antecedent</a>. In order to express this symmetrical relation, we need to <a href="http://en.wikipedia.org/wiki/Biconditional_introduction" title="Biconditional introduction &#x2014; Wikipedia" rel="dct:references">supply additional information</a>. This is a discipline, and the tendency on the part of those who do not exercise it is one that I have begun to call <dfn>biconditionalism</dfn>.</p>
    <p><img style="float: right;" src="hand-deformity;scale=160,200" alt=""/>In <em>biology</em>, however, the opposite appears to be true. Biological systems are biased <em>toward</em> symmetry and need extra information to <em>break</em> from it. For evidence of this phenomenon, consider the birth defects that occur in the extremities. Deformation of the hands, when it happens in certain places, tends toward either a lobster-like claw or an even number of fanned-out fingers, but nothing like the familiar and decidedly asymmetrical four fingers and a thumb.</p>
    <p>To examine how this happens, we can think about an individual cell as running the same program over and over, to grow and divide, until it <a href="http://en.wikipedia.org/wiki/Cell_signaling" title="Cell signaling &#x2014; Wikipedia" rel="dct:references">gets a message</a> to do something different, like <a href="http://en.wikipedia.org/wiki/Cellular_differentiation" title="Cellular differentiation &#x2014; Wikipedia" rel="dct:references">change into something else</a> or <a href="http://en.wikipedia.org/wiki/Apoptosis" title="Apoptosis &#x2014; Wikipedia" rel="dct:references">retire itself</a>. It's this process that gives shape to living things. But if a cell misses a message for whatever reason, it continues along in the wrong direction, just like missing an exit on a highway.</p>
    <p>It's strange, though. Why does symmetry in logic work the opposite way from symmetry in us, the ones who invented it?</p>
    <p>I wonder often if it's just a side effect of biological&#x2014;and ultimately physical&#x2014;parsimony. In other words, what if it's just so much more convenient to encode the symmetrical form in our brains and deviate selectively from it than the other way around&#x2014;just like the process of the development of our bodies?</p>
    <p>This question is itself an example of the utility of such a structure. We <em>like</em> logical biconditionals because they provide us with enormously powerful heuristics for reasoning, imagery and communication. You might know them by a more familiar name such as <a href="idioms-analogues-and-metaphors-in-the-language-of-design" title="Idioms, Analogues and Metaphors in the Language of Design" rel="dct:references"><em>analogy</em> or <em>metaphor</em></a>.</p>
    <p>The problem with analogies and metaphors, however, is that they aren't especially accurate. There are always edge cases. <em>Where there's smoke, there's fire</em> is a convenient rule to remember, but it won't apply to flames (like gas or chemical) that don't produce smoke. Nevertheless these constructs usually enable us to make quick and usually satisfactory, and therefore evolutionarily expedient, assessments of our environments.</p>
    <p>When the rigour matters is when we really need to know what happened, like in science and forensics, and when we need to assert what ought to happen, like with public policy and technology. Screw up the logic in the wrong place and start a war, send the wrong person to prison or topple a skyscraper (assuming it could even be built in the first place). And that <em>never</em> happens, right?</p>
    <p>I've been thinking about this idea because I've been considering our relationship, as humans and as mammals, with logic and with reason. The Enlightenment-age delusion of rationality as an ideal form seems finally to be wearing off. The verdict is that we're irrational, emotional creatures&#x2014;<a href="http://www.amazon.com/gp/product/0061353248?ie=UTF8&amp;tag=doriantaylor-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0061353248" title="Amazon.com: Predictably Irrational, Revised and Expanded Edition: The Hidden Forces That Shape Our Decisions (9780061353246): Dan Ariely: Books">and predictably so</a>. Recent research suggests that even <a href="http://www.dan.sperber.fr/" title="Dan Sperber" rel="dct:references">reasoning itself evolved as a rhetorical tool</a> rather than a forensic one. If this is true, it would appear that logic is a mere side effect.</p>
    <p>To this I'd like to add another animalistic intuition: logic <em>works</em>, or rather it demarcates the difference between <em>works</em> and <em>doesn't work</em>. If you create a system which is logically consistent, the only way it can behave unexpectedly is by interference from the outside. If you pick a durable enough medium, it is possible to preserve the reliable behaviour of the system indefinitely. In other words, solve a problem once and you'll have a solution that lasts forever, or at least as long as the problem does. Half-solve it and it'll be as if you never put any effort into solving it at all.</p>
    <p>Perhaps when we contort ourselves into the straitjacket of logic, which is an extremely unnatural and costly process, we do it so we can take things with us when we crawl out. We exit logic's crystal palace and return to the mud puddle of primate intelligence carrying a gem that we can use over and over. Day to day, we don't have to worry about how it works, we just have to know <em>that</em> it works. It's only when we forget how to make more like it that we get into trouble.</p>
  </body>
</html>
