<?xml version="1.0" encoding="UTF-8" standalone="yes"?><oembed><version><![CDATA[1.0]]></version><provider_name><![CDATA[Carcinisation]]></provider_name><provider_url><![CDATA[http://carcinisation.com]]></provider_url><author_name><![CDATA[Matt Simpson]]></author_name><author_url><![CDATA[https://carcinisation.com/author/spoolinator/]]></author_url><title><![CDATA[The Old Evidence&nbsp;Problem]]></title><type><![CDATA[link]]></type><html><![CDATA[<p>I&#8217;m in the middle of writing up a post sketching a some ideas I have about Bayesian inference in order to stir up a <a title="http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=383267" href="http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=383267">hornet nest</a> &#8211; in particular to prod the <a title="http://gatherer.wizards.com/Pages/Card/Details.aspx?name=hornet+queen" href="http://gatherer.wizards.com/Pages/Card/Details.aspx?name=hornet+queen">hornet queen</a>, David Chapman. In the process, I ran across <a title="http://andrewgelman.com/2013/03/27/two-dogmas-of-strong-objective-bayesianism/" href="http://andrewgelman.com/2013/03/27/two-dogmas-of-strong-objective-bayesianism/">this</a> old blog post by Andrew Gelman discussing <a title="http://www.themattsimpson.com/wp-content/uploads/2014/09/CISP_447079.pdf" href="http://www.themattsimpson.com/wp-content/uploads/2014/09/CISP_447079.pdf">this</a> (pdf) paper by Bandyopadhyay and Brittan criticizing one form of Bayesianism &#8211; in particular the form espoused by E.T. Jaynes. One of the issues they bring up is called the old evidence problem:</p>
<blockquote><p>Perhaps the most celebrated case in the history of science in which old data have been used to construct and vindicate a new theory concerns Einstein. He used Mercury’s perihelion shift (M) to verify the general theory of relativity (GTR). The derivation of M is considered the strongest classical test for GTR. However, according to Clark Glymour’s old evidence problem, Bayesianism fails to explain why M is regarded as<br />
evidence for GTR. For Einstein, Pr(M) = 1 because M was known to be an anomaly for Newton’s theory long before GTR came into being. But Einstein derived M from GTR; therefore, Pr(M|GTR) = 1. Glymour contends that given equation (1), the<br />
conditional probability of GTR given M is therefore the same as the prior probability of GTR; hence, M cannot constitute evidence for GTR.</p></blockquote>
<p>Oh man, do I have some thoughts on this problem. I think I even wrote a philosophy paper in undergrad that touched on it after reading Jaynes. But I&#8217;m going to refrain from commenting until after I finish the main post because I think the old evidence problem illustrates several points that I want to make. In the mean time, what do *you* think of the problem? Is there a solution? What do you think of the solution Bandyopadhyay and Brittan propose in their paper?</p>
<p>Edit: Here&#8217;s a general statement of the problem. Suppose we have some well know piece of evidence E. Everyone is aware of this evidence and there is no doubt, so P(E)=1. Next, suppose someone invents a new theory T that perfectly accounts for the evidence &#8211; it predicts is with 100% accuracy so that P(E|T)=1. Then by Bayes&#8217; rule we have P(T|E)=P(E|T)P(T)/P(E) = P(T), so the posterior and prior are identical and the evidence doesn&#8217;t actually tell us anything about T.</p>
]]></html></oembed>