CINXE.COM

<!DOCTYPE html> <html xmlns='http://www.w3.org/1999/xhtml' xmlns:b='http://www.google.com/2005/gml/b' xmlns:data='http://www.google.com/2005/gml/data' xmlns:expr='http://www.google.com/2005/gml/expr'> <head> <link href='https://www.blogger.com/static/v1/widgets/55013136-widget_css_bundle.css' rel='stylesheet' type='text/css'/> <meta content='text/html; charset=UTF-8' http-equiv='Content-Type'/> <meta content='blogger' name='generator'/> <link href='https://gafter.blogspot.com/favicon.ico' rel='icon' type='image/x-icon'/> <link href='http://gafter.blogspot.com/2016/02/' rel='canonical'/> <link rel="alternate" type="application/atom+xml" title="Neal Gafter's blog - Atom" href="https://gafter.blogspot.com/feeds/posts/default" /> <link rel="alternate" type="application/rss+xml" title="Neal Gafter's blog - RSS" href="https://gafter.blogspot.com/feeds/posts/default?alt=rss" /> <link rel="service.post" type="application/atom+xml" title="Neal Gafter's blog - Atom" href="https://www.blogger.com/feeds/7803021/posts/default" />  <meta content='http://gafter.blogspot.com/2016/02/' property='og:url'/> <meta content='Neal Gafter's blog' property='og:title'/> <meta content='Thoughts about Programming Languages, Science and Philosophy.' property='og:description'/> <title>Neal Gafter's blog: February 2016</title> <style id='page-skin-1' type='text/css'></style> <link href='https://www.blogger.com/dyn-css/authorization.css?targetBlogID=7803021&zx=320dc9d6-3705-4c62-b5c8-53b2c61cc0a1' media='none' onload='if(media!='all')media='all'' rel='stylesheet'/><noscript><link href='https://www.blogger.com/dyn-css/authorization.css?targetBlogID=7803021&zx=320dc9d6-3705-4c62-b5c8-53b2c61cc0a1' rel='stylesheet'/></noscript> <meta name='google-adsense-platform-account' content='ca-host-pub-1556223355139109'/> <meta name='google-adsense-platform-domain' content='blogspot.com'/> </head> <body> <div class='navbar section' id='navbar'><div class='widget Navbar' data-version='1' id='Navbar1'><script type="text/javascript"> function setAttributeOnload(object, attribute, val) { if(window.addEventListener) { window.addEventListener('load', function(){ object[attribute] = val; }, false); } else { window.attachEvent('onload', function(){ object[attribute] = val; }); } } </script> <div id="navbar-iframe-container"></div> <script type="text/javascript" src="https://apis.google.com/js/platform.js"></script> <script type="text/javascript"> gapi.load("gapi.iframes:gapi.iframes.style.bubble", function() { if (gapi.iframes && gapi.iframes.getContext) { gapi.iframes.getContext().openChild({ url: 'https://www.blogger.com/navbar.g?targetBlogID\x3d7803021\x26blogName\x3dNeal+Gafter\x27s+blog\x26publishMode\x3dPUBLISH_MODE_BLOGSPOT\x26navbarType\x3dBLUE\x26layoutType\x3dLAYOUTS\x26searchRoot\x3dhttps://gafter.blogspot.com/search\x26blogLocale\x3den\x26v\x3d2\x26homepageUrl\x3dhttps://gafter.blogspot.com/\x26vt\x3d9028559674743070826', where: document.getElementById("navbar-iframe-container"), id: "navbar-iframe", messageHandlersFilter: gapi.iframes.CROSS_ORIGIN_IFRAMES_FILTER, messageHandlers: { 'blogger-ping': function() {} } }); } }); </script><script type="text/javascript"> (function() { var script = document.createElement('script'); script.type = 'text/javascript'; script.src = '//pagead2.googlesyndication.com/pagead/js/google_top_exp.js'; var head = document.getElementsByTagName('head')[0]; if (head) { head.appendChild(script); }})(); </script> </div></div> <div id='outer-wrapper'><div id='wrap2'>  <span id='skiplinks' style='display:none;'> <a href='#main'>skip to main </a> | <a href='#sidebar'>skip to sidebar</a> </span> <div id='header-wrapper'> <div class='header section' id='header'><div class='widget Header' data-version='1' id='Header1'> <div id='header-inner'> <div class='titlewrapper'> <h1 class='title'> <a href='https://gafter.blogspot.com/'> Neal Gafter's blog </a> </h1> </div> <div class='descriptionwrapper'> <p class='description'><span>Thoughts about Programming Languages, Science and Philosophy.</span></p> </div> </div> </div></div> </div> <div id='content-wrapper'> <div id='main-wrapper'> <div class='main section' id='main'><div class='widget Blog' data-version='1' id='Blog1'> <div class='blog-posts hfeed'> <div class="date-outer"> <h2 class='date-header'><span>Sunday, February 14, 2016</span></h2> <div class="date-posts"> <div class='post-outer'> <div class='post'> <a name='417049473683427009'></a> <h3 class='post-title'> <a href='https://gafter.blogspot.com/2016/02/necessary-and-sufficient-causes.html'>Necessary and Sufficient Causes</a> </h3> <div class='post-header-line-1'></div> <div class='post-body'> <p>One of the common formulations of <i>determinism</i> is (quoting from <a href="https://en.wikipedia.org/wiki/Determinism">Wikipedia</a>)<br /> <blockquote> <b>Determinism</b> is the philosophical position that for every event, including human interactions, there exist conditions that could cause no other event.</blockquote> A world that satisfies this definition of determinism can evolve in only a single way over time. This definition is stonger than merely saying that the event's causes are <a href="https://en.wikipedia.org/wiki/Causality"><em>necessary</em>, <em>sufficient</em>, or even <em>necessary and sufficient</em></a>. To see why that is so, I will demonstrate a series of model worlds each of which is an intentionally flawed <a href="https://en.wikipedia.org/wiki/Interpretation_(logic)"><em>Interpretation</em></a> of <a href="https://en.wikipedia.org/wiki/Determinism">"Determinism"</a>. Each model will be a very simple imaginary "world"; it is not intended to reflect the real world, but is rather just an abstract thing that helps us understand the implications of the definition. Through this series of models, we'll see that the definition of determinism above is stronger than even saying that every cause <em>necessary and sufficient</em> for its effect.<br /> <br /> For these models we have the following concepts:<br /> <ul> <li><b>Variable: </b>Some fact or condition about the state of the world. In our example will use a letter to designate each abstract fact about the world.</li> <li><b>State: </b>The set of variables designating the state of the world at some time. In our example we will use a set of letters to designate the state of the world, but it will always happen to be a single variable at any given time.</li> <li><b>Cause: </b>Some variable or variables that lead to an Event occurring (resulting in the specific Effect of that Event)</li> <li><b>Event: </b>Something that can occur from one moment to the next and has a specific Effect</li> <li><b>Effect: </b>A change in the state of the world</li> <li><b>Initial Condition: </b>The state of the world at the beginning of some time of interest</li> </ul> <h3> Every cause being <em>necessary</em> does not imply determinism.</h3> <br /> First lets us examine <em>necessary causes</em>. <a href="https://en.wikipedia.org/wiki/Causality">According to Wikipedia</a><br /> <blockquote> If <i>x </i>is a necessary cause of <i>y</i>, then the presence of <i>y </i>necessarily implies the presence of <i>x</i>. The presence of <i>x</i>, however, does not imply that <i>y </i>will occur.</blockquote> A good example of a necessary cause in nature is <a href="https://en.wikipedia.org/wiki/Particle_decay">particle decay</a>. A particle that can decay is a necessary cause of the particle's decay, because the particle's decay necessarily implies that there <i>was a particle there</i> that could decay. The presence of a particle that can decay, however, does not imply that the particle's decay will occur. While the presence of a particle that can decay is <em>necessary</em> in order for the decay to occur, it is not <em>sufficient</em> for the decay to occur. The laws of physics (as best we understand them today) do not say that there is any <em>sufficient</em> condition for the particle to decay.<br /> <br /> One might imagine that the claim that there is no sufficient condition for particle decay is merely a limitation of our knowledge, rather than a fundamental feature of nature. Perhaps there are <em>hidden variables</em> that cause the decay to occur at some particular time, but we simply do not know how to (or even cannot) measure these variables? That is not the case. It has been shown that the assumption that there are local (i.e. consistent with relativity) hidden variables underlying quantum indeterminacy contradicts observations of entanglement in experiments like the <a href="https://en.wikipedia.org/wiki/Double-slit_experiment">double-slit experiment</a> and those demonstrating <a href="https://en.wikipedia.org/wiki/Bell%27s_theorem">Bell's inequality</a>. In any case, the point of our discussion here is to understand the implications of the definitions of causality, not to determine which of them are satisfied by nature.<br /> <br /> Our first model simplifies the behavior of the K<sub>S</sub> meson, which can decay in more than one way. For simplicity we shall pretend that it can decay in precisely two ways. At any given moment it might not decay, or it might decay in one of these two ways. We describe our simplified model of the world as follows:<br /> <blockquote> Initial condition: K (meaning the K<sub>S</sub> meson is present)<br /> Possible events:<br />   E1: precondition: K is present<br />       change in state: no change in state (K does not decay)<br />   E2: precondition: K is present<br />       change in state: remove K from the state, and add P (decay to particle P)<br />   E3: precondition: K is present<br />       change in state: remove K from the state, and add Q (decay to particle Q)</blockquote> There are more than one ways in which this world can evolve. We can have an unending series of occurrences of E1 (meaning the particle never decays). We can either have zero or more occurrences of E1 (meaning nothing happens for a time), followed by E2. Finally, we can have zero or more occurrences of E1, followed by E3. These latter two possibilities result in a different final state. This model world is thus a counterexample to the proposition that "every event has a necessary cause" implies that the world is deterministic.<br /> <br /> <h3> Every cause being <em>necessary and sufficient</em> does not imply determinism.</h3> <br /> Let us examine <em>sufficient causes</em>. <a href="https://en.wikipedia.org/wiki/Causality">According to Wikipedia</a><br /> <blockquote> If <i>x </i>is a sufficient cause of <i>y</i>, then the presence of <i>x </i>necessarily implies the presence of <i>y</i>. However, another cause <i>z </i>may alternatively cause <i>y</i>. Thus the presence of <i>y </i>does not imply the presence of <i>x</i>.</blockquote> We can imagine an example of <em>sufficient cause</em> being the burning of a book. It would be sufficient for the book to be thrown into an incinerator for the book to burn. However, that is not <em>necessary</em>, as there are other sufficient conditions for it to burn (for example, being thrown on a bonfire). Being a <em>sufficient cause</em> is neither stronger nor weaker than being a <em>necessary cause</em>. It is worth asking: what if every cause is both <em>necessary and sufficient</em> for its effect? Would that be enough to imply that the world is deterministic? We can demonstrate that this is not so by another model world, as follows:<br /> <blockquote> Initial condition: [A,B] (two different facts about the world are true: A and B)<br /> Possible events:<br />   E1: precondition: A is present<br />       change in state: remove A from the state, remove Z from the state if it is present, and add X<br />   E2: precondition: B is present<br />       change in state: remove B from the state, and add Y and Z</blockquote> In this example, the cause A is both necessary and sufficient for its effects (it always leads to E1 occurring). The cause B is both necessary and sufficient for its effects too. There are two ways in which this world can evolve. We can have an event produced by the first rule, followed by an event produced by the second rule. In that case the final state of the world is [X,Y,Z]. Or we can have an event produced by the second rule, followed by an event produced by the first rule. In that case the final state of the world is [X,Y]. As we can see, this world is not deterministic. This model world is thus a counterexample to the proposition that "every event has a necessary and sufficient cause" implies that the world is deterministic.<br /> <br /> We can now see why the <a href="https://en.wikipedia.org/wiki/Determinism">usual philosophical definition</a> of determinism is stronger:<br /> <blockquote> <b>Determinism</b> is the philosophical position that for every event, including human interactions, there exist conditions that could cause no other event.</blockquote> It is worth asking whether or not any of these definitions might correspond to the real world we live in. As far as we know, time is <em>continuous</em>, rather than <em>discrete</em>. Since these models require discrete time, they don't fit the real world, though there are tantalizing theories (yet to be tested) that time might be quantized. In addition, the usual philosophical definition of determinism requires a fixed ordering of all events throughout the universe. <i><a href="https://en.wikipedia.org/wiki/Theory_of_relativity">Relativity</a> </i>teaches us that there is no objective order of the occurrence of events: event ordering varies from one (subjective) inertial reference frame to another. These two facts make it nearly impossible to reconcile any widely accepted modern theory of the physical world with philosophy's concept of "determinism". A more useful definition might be found in the physicist's use of the term "deterministic" to describe a system that is capable of having only one possible future evolution. The most widely held scientific theories that explain the results of quantum measurement are not deterministic in that sense.<br /> <br /> <h3> Some other definitions do not imply determinism</h3> <br /> There are other definitions of determinism that one might find discussed on the web. It is sometimes hard to determine if they are stronger, weaker, or equivalent to the usual philosophical definition. For example, there is a model frequently discussed on <a href="http://breakingthefreewillillusion.com/determinism-indeterminism-confusions/">http://breakingthefreewillillusion.com/</a>. As far as I can tell the author's intended definition does not correspond to any of the definitions above. He has told me that the definition does not include <em>sufficient causality</em>, as that is logically inferred from his definition, and he has directed my attention to his proofs at <a href="http://breakingthefreewillillusion.com/must-lead-to-causality/">http://breakingthefreewillillusion.com/must-lead-to-causality/</a> and <a href="http://breakingthefreewillillusion.com/otherwise-causal-contradiction/">http://breakingthefreewillillusion.com/otherwise-causal-contradiction/</a>. Similarly, his definition does not include <em>necessary causality</em>: see <a href="http://breakingthefreewillillusion.com/necessary-sufficient-causality/">http://breakingthefreewillillusion.com/necessary-sufficient-causality/</a>. As I was unable to find a concise description of the definition he was using, I engaged with him over the course of a few weeks to draw up a definition to use for analysis. This is what we came up with:<br /> <blockquote> <ul> <li><b>Event</b>: A change in state from one moment to the next, described by its <i>State Change</i>.</li> <li><b>Causal event</b>: An event that is caused by some set of <i>Variables </i>and whose <i>Effect </i>is derived entirely from those <i>Variables</i>.</li> <li><b>Cause</b>: a set of pre-existing variables that derives (causes) the <i>Effect </i>in it's entirety (of a causal event). The variables of a cause includes all physical parts and physical laws that are described by formulas, which in the case of a causal event, force the output of the effect.</li> <li><b>Variables</b>: The "parts" of a specific physical configuration (parts of the state). We shall indicate each variable by a letter like "A"; or a letter, and equals sign, and a number like "x=10". </li> <li><b>State Change</b>: The ontological change in the state that results from an event. For State Change we need not include in the change mention of variables that are not changed, but the variables that do not change may play a role in the variables that do.</li> <li><b>Effect</b>: A <i>State Change</i> for a <i>Causal Event</i>.</li> <li><b>State</b>: The "whole" encompassing all variables in a specific physical configuration. We shall indicate a state by a list of variables between square brackets, for example "[x=10,A]"</li> <li><b>Scenario</b>: Specific sequence of causes and effects that can be contrasted with other scenarios. We shall indicate a scenario notationally by a sequence of states, starting with the <i>Initial State</i>, indicating for reference the law of physics that describes the event between each pair of states.</li> <li><b>Initial State</b>: The first state in a scenario.</li> <li><b>Laws of Physics (LoP)</b>: The constraining behavior of the universe, which is also inherent in all existing physical variables in the universe.</li> <li><b>Formulas for LoP</b>: We shall represent the laws of physics using Equations, formulas, mathematics, or any sort of symbolic language.</li> <li><b>Determinism</b>: "every event is causal" </li> </ul> A scenario starts with a given <i>Initial State</i>, and evolves through a sequence of steps by <i>Events </i>produced according to the world's <i>Laws of Physics</i>, each step producing a new <i>State</i>.<br /> <br /> The scenario must continue until no further events are possible.<br /> <br /> Our goal is to evaluate the following hypothesis:<br /> <b>Hypothesis</b>: Given a particular <i>Initial State</i>, if a <i>Scenario </i>that begins with that <i>Initial State</i> satisfies <i>Determinism</i>, then every <i>Scenario </i>that begins with that <i>Initial State</i> is the same.</blockquote> The author asked me to add this comment to this set of definitions:<br /> <blockquote> "These definitions are one's that Trick [the author] and I, after much deliberation, have agreed to for the assessment I will make. It isn't the case that, for example, Trick's regular usage of the concept of causality requires an entirely physicalist account, but for the sake of our discussion we are both agreeing on a physical universe only. There are also some words that Trick normally wouldn't use, but for the sake of clarity we added them."</blockquote> Now we can try the model world from our analysis of <em>necessary and sufficient</em> causes:<br /> <blockquote> Initial state: [A,B]<br /> The laws of physics permit the following possible events:<br />   E1: precondition: A is present<br />       change in state: remove A from the state, remove Z from the state if it is present, and add X<br />   E2: precondition: B is present<br />       change in state: remove B from the state, and add Y and Z<br /> Scenario S1: [A,B] E1 [X,B] E2 [X,Y,Z]<br /> Scenario S2: [A,B] E2 [A,Y,Z] E1 [X,Y]</blockquote> To evaluate the hypothesis, we will analyze S1. There are two events. The first, E1, is a causal event with cause [A]. The second, E2, is a causal event with cause [B]. Thus this scenario satisfies the definition of Determinism. Similarly scenario S2 satisfies the definition of Determinism. However, we can see that scenarios S1 and S2 are different from each other. Moreover, they end with different world states. Thus this counterexample disproves the hypothesis. We can therefore conclude that this definition is <em>weaker</em> than the usual philosophical definition of Determinism, and the definition discussed at <a href="http://breakingthefreewillillusion.com/">http://breakingthefreewillillusion.com/</a>, if satisfied by a world, does not imply that the world's timeline "could not have been otherwise".<br /> <br /> One might ask what causes one event to occur before the other in one scenario but vice-versa in the other scenario; what causes the ordering of events? In the ontology of this definition of determinism, an event (a change in state from one moment to the next) or an effect (a change in state for a causal event) can be caused, but the "order" of these changes is not something that can be caused. So the question does not make sense. The whole point of this example is to surface the fact that this definition of determinism does not require events to be ordered in any particular way. That is how it differs from the usual philosophical definition of determinism.<br /> <br /> In his defense, the author has not evaluated my argument in detail, but has explained to me that I must be either<br /> <ol> <li>Asserting a variable with self-contradictory properties; or</li> <li>Smuggling in an acausal event (an event without any cause)</li> </ol> though I do not know of any variable that is contradictory, or any event does not have a cause in this example.<br /> <br /> <hr /> <br /> This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.<br /> See http://creativecommons.org/licenses/by-sa/4.0/</p> <div style='clear: both;'></div> </div> <div class='post-footer'> <p class='post-footer-line post-footer-line-1'><span class='post-comment-link'> <a class='comment-link' href='https://www.blogger.com/comment/fullpage/post/7803021/417049473683427009' onclick=''>5 comments</a> </span> <span class='post-icons'> </span> <span class='post-backlinks post-comment-link'> </span> </p> <p class='post-footer-line post-footer-line-2'></p> <p class='post-footer-line post-footer-line-3'></p> </div> </div> </div> </div></div> </div> <div class='blog-pager' id='blog-pager'> <span id='blog-pager-newer-link'> <a class='blog-pager-newer-link' href='https://gafter.blogspot.com/search?updated-max=2019-11-03T18:03:00-08:00&max-results=2&reverse-paginate=true' id='Blog1_blog-pager-newer-link' title='Newer Posts'>Newer Posts</a> </span> <span id='blog-pager-older-link'> <a class='blog-pager-older-link' href='https://gafter.blogspot.com/search?updated-max=2016-02-14T10:52:00-08:00&max-results=2' id='Blog1_blog-pager-older-link' title='Older Posts'>Older Posts</a> </span> <a class='home-link' href='https://gafter.blogspot.com/'>Home</a> </div> <div class='clear'></div> <div class='blog-feeds'> <div class='feed-links'> Subscribe to: <a class='feed-link' href='https://gafter.blogspot.com/feeds/posts/default' target='_blank' type='application/atom+xml'>Posts (Atom)</a> </div> </div> </div></div> </div> <div id='sidebar-wrapper'> <div class='sidebar section' id='sidebar'><div class='widget BlogArchive' data-version='1' id='BlogArchive1'> <h2>Blog Archive</h2> <div class='widget-content'> <div id='ArchiveList'> <div id='BlogArchive1_ArchiveList'> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2024/'> 2024 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2024/09/'> September </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2023/'> 2023 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2023/08/'> August </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2020/'> 2020 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2020/12/'> December </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2019/'> 2019 </a> <span class='post-count' dir='ltr'>(2)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2019/11/'> November </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2019/08/'> August </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2017/'> 2017 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2017/06/'> June </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate expanded'> <a class='toggle' href='javascript:void(0)'> <span class='zippy toggle-open'> ▼  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2016/'> 2016 </a> <span class='post-count' dir='ltr'>(7)</span> <ul class='hierarchy'> <li class='archivedate expanded'> <a class='toggle' href='javascript:void(0)'> <span class='zippy toggle-open'> ▼  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2016/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='posts'> <li><a href='https://gafter.blogspot.com/2016/02/necessary-and-sufficient-causes.html'>Necessary and Sufficient Causes</a></li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2016/01/'> January </a> <span class='post-count' dir='ltr'>(6)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2015/'> 2015 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2015/12/'> December </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2014/'> 2014 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2014/11/'> November </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2010/'> 2010 </a> <span class='post-count' dir='ltr'>(2)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2010/08/'> August </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2010/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2009/'> 2009 </a> <span class='post-count' dir='ltr'>(2)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2009/03/'> March </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2009/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/'> 2008 </a> <span class='post-count' dir='ltr'>(4)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/08/'> August </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/03/'> March </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2008/01/'> January </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/'> 2007 </a> <span class='post-count' dir='ltr'>(18)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/12/'> December </a> <span class='post-count' dir='ltr'>(2)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/11/'> November </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/10/'> October </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/07/'> July </a> <span class='post-count' dir='ltr'>(2)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/05/'> May </a> <span class='post-count' dir='ltr'>(2)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/04/'> April </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/03/'> March </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/02/'> February </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2007/01/'> January </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/'> 2006 </a> <span class='post-count' dir='ltr'>(20)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/12/'> December </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/11/'> November </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/10/'> October </a> <span class='post-count' dir='ltr'>(3)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/09/'> September </a> <span class='post-count' dir='ltr'>(5)</span> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2006/08/'> August </a> <span class='post-count' dir='ltr'>(4)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2005/'> 2005 </a> <span class='post-count' dir='ltr'>(2)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2005/02/'> February </a> <span class='post-count' dir='ltr'>(2)</span> </li> </ul> </li> </ul> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2004/'> 2004 </a> <span class='post-count' dir='ltr'>(1)</span> <ul class='hierarchy'> <li class='archivedate collapsed'> <a class='toggle' href='javascript:void(0)'> <span class='zippy'> ►  </span> </a> <a class='post-count-link' href='https://gafter.blogspot.com/2004/09/'> September </a> <span class='post-count' dir='ltr'>(1)</span> </li> </ul> </li> </ul> </div> </div> <div class='clear'></div> </div> </div><div class='widget Profile' data-version='1' id='Profile1'> <h2>About Me</h2> <div class='widget-content'> <dl class='profile-datablock'> <dt class='profile-data'> <a class='profile-name-link g-profile' href='https://www.blogger.com/profile/08579466817032124881' rel='author' style='background-image: url(//www.blogger.com/img/logo-16.png);'> Neal Gafter </a> </dt> <dd class='profile-textblock'>Neal Gafter is a Computer Programming Language Designer and Implementer, Amateur Scientist and Philosopher. He works on the Rel compiler at Relational.AI. He previously worked for Microsoft on C#, for Google on Calendar, and for Sun Microsystems on Java. Neal was granted an OpenJDK Community Innovators' Challenge award for his design and implementation of lambda expressions for Java. He is coauthor of <em>Java Puzzlers: Traps, Pitfalls, and Corner Cases</em> (Addison Wesley, 2005). He was a member of the C++ Standards Committee and led the development of C and C++ compilers at Sun Microsystems, Microtec Research, and Texas Instruments. He holds a Ph.D. in computer science from the University of Rochester.</dd> </dl> <a class='profile-link' href='https://www.blogger.com/profile/08579466817032124881' rel='author'>View my complete profile</a> <div class='clear'></div> </div> </div></div> </div>  <div class='clear'> </div> </div>  <div id='footer-wrapper'> <div class='footer no-items section' id='footer'></div> </div> </div></div>  <script src="//www.google-analytics.com/urchin.js" type="text/javascript"> </script> <script type='text/javascript'> _uacct = "UA-605497-1"; urchinTracker(); </script> <script type="text/javascript" src="https://www.blogger.com/static/v1/widgets/984859869-widgets.js"></script> <script type='text/javascript'> window['__wavt'] = 'AOuZoY58Ml9svX79azh8PIcp1qQNpYFbFA:1732813774945';_WidgetManager._Init('//www.blogger.com/rearrange?blogID\x3d7803021','//gafter.blogspot.com/2016/02/','7803021'); _WidgetManager._SetDataContext([{'name': 'blog', 'data': {'blogId': '7803021', 'title': 'Neal Gafter\x27s blog', 'url': 'https://gafter.blogspot.com/2016/02/', 'canonicalUrl': 'http://gafter.blogspot.com/2016/02/', 'homepageUrl': 'https://gafter.blogspot.com/', 'searchUrl': 'https://gafter.blogspot.com/search', 'canonicalHomepageUrl': 'http://gafter.blogspot.com/', 'blogspotFaviconUrl': 'https://gafter.blogspot.com/favicon.ico', 'bloggerUrl': 'https://www.blogger.com', 'hasCustomDomain': false, 'httpsEnabled': true, 'enabledCommentProfileImages': true, 'gPlusViewType': 'FILTERED_POSTMOD', 'adultContent': false, 'analyticsAccountNumber': '', 'encoding': 'UTF-8', 'locale': 'en', 'localeUnderscoreDelimited': 'en', 'languageDirection': 'ltr', 'isPrivate': false, 'isMobile': false, 'isMobileRequest': false, 'mobileClass': '', 'isPrivateBlog': false, 'isDynamicViewsAvailable': false, 'feedLinks': '\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22Neal Gafter\x26#39;s blog - Atom\x22 href\x3d\x22https://gafter.blogspot.com/feeds/posts/default\x22 /\x3e\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/rss+xml\x22 title\x3d\x22Neal Gafter\x26#39;s blog - RSS\x22 href\x3d\x22https://gafter.blogspot.com/feeds/posts/default?alt\x3drss\x22 /\x3e\n\x3clink rel\x3d\x22service.post\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22Neal Gafter\x26#39;s blog - Atom\x22 href\x3d\x22https://www.blogger.com/feeds/7803021/posts/default\x22 /\x3e\n', 'meTag': '', 'adsenseHostId': 'ca-host-pub-1556223355139109', 'adsenseHasAds': false, 'adsenseAutoAds': false, 'boqCommentIframeForm': true, 'loginRedirectParam': '', 'view': '', 'dynamicViewsCommentsSrc': '//www.blogblog.com/dynamicviews/4224c15c4e7c9321/js/comments.js', 'dynamicViewsScriptSrc': '//www.blogblog.com/dynamicviews/2fafd358a4bcb2b4', 'plusOneApiSrc': 'https://apis.google.com/js/platform.js', 'disableGComments': true, 'interstitialAccepted': false, 'sharing': {'platforms': [{'name': 'Get link', 'key': 'link', 'shareMessage': 'Get link', 'target': ''}, {'name': 'Facebook', 'key': 'facebook', 'shareMessage': 'Share to Facebook', 'target': 'facebook'}, {'name': 'BlogThis!', 'key': 'blogThis', 'shareMessage': 'BlogThis!', 'target': 'blog'}, {'name': 'X', 'key': 'twitter', 'shareMessage': 'Share to X', 'target': 'twitter'}, {'name': 'Pinterest', 'key': 'pinterest', 'shareMessage': 'Share to Pinterest', 'target': 'pinterest'}, {'name': 'Email', 'key': 'email', 'shareMessage': 'Email', 'target': 'email'}], 'disableGooglePlus': true, 'googlePlusShareButtonWidth': 0, 'googlePlusBootstrap': '\x3cscript type\x3d\x22text/javascript\x22\x3ewindow.___gcfg \x3d {\x27lang\x27: \x27en\x27};\x3c/script\x3e'}, 'hasCustomJumpLinkMessage': false, 'jumpLinkMessage': 'Read more', 'pageType': 'archive', 'pageName': 'February 2016', 'pageTitle': 'Neal Gafter\x27s blog: February 2016'}}, {'name': 'features', 'data': {}}, {'name': 'messages', 'data': {'edit': 'Edit', 'linkCopiedToClipboard': 'Link copied to clipboard!', 'ok': 'Ok', 'postLink': 'Post Link'}}, {'name': 'template', 'data': {'name': 'custom', 'localizedName': 'Custom', 'isResponsive': false, 'isAlternateRendering': false, 'isCustom': true}}, {'name': 'view', 'data': {'classic': {'name': 'classic', 'url': '?view\x3dclassic'}, 'flipcard': {'name': 'flipcard', 'url': '?view\x3dflipcard'}, 'magazine': {'name': 'magazine', 'url': '?view\x3dmagazine'}, 'mosaic': {'name': 'mosaic', 'url': '?view\x3dmosaic'}, 'sidebar': {'name': 'sidebar', 'url': '?view\x3dsidebar'}, 'snapshot': {'name': 'snapshot', 'url': '?view\x3dsnapshot'}, 'timeslide': {'name': 'timeslide', 'url': '?view\x3dtimeslide'}, 'isMobile': false, 'title': 'Neal Gafter\x27s blog', 'description': 'Thoughts about Programming Languages, Science and Philosophy.', 'url': 'https://gafter.blogspot.com/2016/02/', 'type': 'feed', 'isSingleItem': false, 'isMultipleItems': true, 'isError': false, 'isPage': false, 'isPost': false, 'isHomepage': false, 'isArchive': true, 'isLabelSearch': false, 'archive': {'year': 2016, 'month': 2, 'rangeMessage': 'Showing posts from February, 2016'}}}]); _WidgetManager._RegisterWidget('_NavbarView', new _WidgetInfo('Navbar1', 'navbar', document.getElementById('Navbar1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HeaderView', new _WidgetInfo('Header1', 'header', document.getElementById('Header1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogView', new _WidgetInfo('Blog1', 'main', document.getElementById('Blog1'), {'cmtInteractionsEnabled': false, 'lightboxEnabled': true, 'lightboxModuleUrl': 'https://www.blogger.com/static/v1/jsbin/2646514562-lbx.js', 'lightboxCssUrl': 'https://www.blogger.com/static/v1/v-css/1964470060-lightbox_bundle.css'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogArchiveView', new _WidgetInfo('BlogArchive1', 'sidebar', document.getElementById('BlogArchive1'), {'languageDirection': 'ltr', 'loadingMessage': 'Loading\x26hellip;'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_ProfileView', new _WidgetInfo('Profile1', 'sidebar', document.getElementById('Profile1'), {}, 'displayModeFull')); </script> </body> </html>