{"id":6370,"date":"2014-03-26T00:09:39","date_gmt":"2014-03-26T08:09:39","guid":{"rendered":"http:\/\/www.oeconomist.com\/blogs\/daniel\/?p=6370"},"modified":"2017-12-06T21:27:02","modified_gmt":"2017-12-07T05:27:02","slug":"notions-of-probability","status":"publish","type":"post","link":"https:\/\/www.oeconomist.com\/blogs\/daniel\/?p=6370","title":{"rendered":"Notions of Probability"},"content":{"rendered":"<p>I've previously touched on the matter of there being mark&egrave;dly differing notions all associated with the word <q>probability<\/q>.  Various attempts have been made by various writers to catalogue and to co&ouml;rdinate these notions; this will be one of my own attempts.<\/p> <span style=\"font-weight: bolder ;\"><!--more &#91;an attempt to discuss conceptions of probability&#93; --><\/span> <p>The word <q>probable<\/q> and cognates used to carry the notion of <span style=\"font-style: italic ;\">plausible<\/span>.  And, with just one or two exceptions, it was not <em>arithmetized<\/em> until about 1660.<span style=\"vertical-align: top ; font-size: smaller ;\">&#91;1&#93;<\/span>  That arithmetization was developed to address a problem of dicing,<span style=\"vertical-align: top ; font-size: smaller ;\">&#91;2&#93;<\/span> but a broad range of activities (<span style=\"font-style: italic ;\"><abbr title=\"exempli gratia\" style=\"font-size: inherit ;\">eg<\/abbr><\/span> insurance) could be seen as or believed to be essentially similar.<\/p> <p>The original arithmetization was essentially <span style=\"font-style: italic ;\">combinatorial<\/span>; in each of the cases, it was assumed or presumed that underlying possible outcomes of <em>equal likelihood<\/em> could be found (as with a <q>fair<\/q> coin or <em>unbiased<\/em> die), and all further probabilites computed therefrom.  There are a couple of sources for discomfort here.  First, there is the problem of <em>identifying<\/em> equally likely cases.  A recurring proposal is to use what is sometimes called <q>the law of indifference<\/q>, and sometimes called <q>the principle of insufficient reason<\/q>; it says that if one has possible outcomes with no reason to think any one of them more probable than any other, then each should be assigned equal probability.  The problem with this alleged law is that probabilities then become artefacts of taxonomy.  If you categorize things one way, then you get one set of results; if you categorize them another then you get a different set of results.  Second, there is the issue that the question of the essence of <span style=\"font-style: italic ;\">probability<\/span> is not answered by telling us that probabilities are computed from cases of equal probability (nor by describing probability in terms of an undefined <q>likelihood<\/q>).  None-the-less, an awful lot of pedagogy to this day continues to teach probability in terms of combinatoric manipulation of equally likely case.<\/p> <p><strong><span style=\"font-style: italic ;\">Logicism<\/span><\/strong> and <strong><span style=\"font-style: italic ;\">subjectivism<\/span><\/strong> are two important notions of probability that are often confused.  They start with similar foundations.  A logicist sees any probability as an objective relationship between some body of evidence and the believability of some proposition; but data-sets themselves can be privately held, so that potentially no two individuals would use the same probabilities, though each is perfectly rational.  A subjectivist sees probability as a ranking or measure of how much a proposition is believed; but subjectivists insist that these rankings or measures should not be formed contrary to principles of effective decision-making.  When it comes to <em>qualitative<\/em> probability &mdash; ranking without quantifications<span style=\"vertical-align: top ; font-size: smaller ;\">&#91;3&#93;<\/span> &mdash; the subjectivists look very much like the logicists; both the logicists and the subjectivists believe rules such as that <span style=\"font-style: italic ;\">if <var>X<\/var> is more probable than <var>Y<\/var>, and <var>Y<\/var> more probable than <var>Z<\/var>, then <var>X<\/var> is more probable than <var>Z<\/var><\/span>.<span style=\"vertical-align: top ; font-size: smaller ;\">&#91;4&#93;<\/span> &#91;E<span style=\"font-variant: small-caps ;\">dit<\/span> (2014:04\/19): Because logicism treats probability as a relationship between evidence and propositions, technically logicism must regard <em>all<\/em> probabilities as <em>conditional<\/em>, where&auml;s subjectivists typically begin with <em>un<\/em>conditional probabilities; however, unconditional probabilities could be re&iuml;magined as conditioned on tautologies.&#93;<\/p> <p>When pushing onward from qualitative probability to quantitative probability, subjectivism becomes more discernibly distinct from logicism.  Logicists have been more apt than have been subjectivists to allow that qualitative probabilites may not represent a complete pre&ouml;rdering, so that, for some pairs of outcomes, a person is neither able to say that one is the more likely, nor that the two are <em>equally<\/em> likely; and this incompleteness would preclude assigning a particular quantity to the probability of some events.  And, when quantities <em>may<\/em> be fitted, subjectivists are more apt to interpret <em>chosen<\/em> quantities as <em>measures<\/em> of belief.<\/p> <p>Some subjectivists have proposed to proceed to quantification by way of <strong><span style=\"font-style: italic ;\">betting quotients<\/span><\/strong>.   Imagine a gamble in which a bettor receives (1 - <var>q<\/var>)&middot;<var>S<\/var> if an outcome is realized, and -<var>q<\/var>&middot;<var>S<\/var> if the outcome is not realized; and imagine that the bettor gets to choose the <var>q<\/var>, which is called the <q>betting quotient<\/q>, but <var>S<\/var> will be chosen after this, by whomever gambles against the choser of <var>q<\/var>.  Obviously, if the bettor is rational, then the bet will <em>conform<\/em> to his-or-her beliefs concerning the <em>qualitative<\/em> probability of the possible outcome (in relation to its opposite).  Further, if the bettor is compelled to <em>commit<\/em> to betting quotients across some <em>set<\/em> of potential gambles, and is not careful in choosing them, then he or she could be guaranteed to lose money to anyone else who chose the right subset of gambles; the mathematical rules to choose betting quotients where that guarantee won't hold are exactly of the sort that are normally said to apply to quantitative probabilities. (It has been objected that the aforementioned <em>commitment<\/em> is contrived; people don't normally have to chose the equivalent of a full set of betting quotients in advance.<span style=\"vertical-align: top ; font-size: smaller ;\">&#91;5&#93;<\/span>)<\/p> <p>But I insist that <em>betting quotients are the map, and the map is not the country<\/em>.  That is to say that betting quotients must conform to qualitative probabilities, and thus <em>proxy<\/em> qualitative probability, but they may be <em>nothing more<\/em> than proxies; their distinctly quantitative aspect may be no more than <em>an artefact of the person's being somehow forced to place quantitative bets<\/em>.  And, not only do betting quotients fail to do more definitively than proxy purely qualitative relationships of belief; they would proxy purely qualitative logicistic relationships just as well!  Some who sees themselves as subjectivists do so on the grounds that the logico-mathematical principles of their doctrines do not uniquely determine probabilities, and people are left free to choose any betting quotients that conform; but its only by identifying these quotients as somehow having an <em>additional content of belief<\/em> that a subjectivism is introduced here.<\/p> <p>One should not be greatly exercised over whether probability is an attribute of propositions or of events; any proposition corresponds to the event that the proposition is true, and any event corresponds to the proposition that the event has occurred.  But it's worth noting that logicism and subjectivism typically conceptualize probability as a characteristic of <em>propositions<\/em>; however, bets tend to be conceptualized in terms of <em>events<\/em>.  And other efforts to give fundamental meaning to the word <q>probability<\/q> are generally cast in terms of events.<\/p> <p><strong><span style=\"font-style: italic ;\">Frequentism<\/span><\/strong> is most often expressed in terms of events.  Most people, whatever they might mean by <q>probability<\/q>, would agree that, across cases, the proposition or event that <em>had been<\/em> most <q>probable<\/q> is most often the thing that <em>did<\/em> in fact prove true or happen.  Frequentism proposes to <em>define<\/em> <q>probability<\/q> exactly as <em>frequency<\/em>.<\/p> <p>A couple of real difficulties may be seen.  First, there is the problem of identifying frequencies.  We learn frequencies by observation, but a frequency of occurrence over some observations may not be maintained over additional observations.  One is compelled, then, to think and to speak of <em>probable<\/em> frequencies, and a dire regress results if that probability is itself to be a frequency.  In some cases, we face uncertainty where, as a practical matter, we have <em>no<\/em> observations.  For example, it is neither perfectly certain nor impossible that Russia will invade those parts of the Ukraine that it does not already occupy; the relevant configuration is meaningfully different from every previous situation in which an invasion were possible; and decomposition into components for which we have observations of any length would be intractably complex even if possible; the frequentist must tell us <q>No <strike>soup<\/strike> probability for you!<\/q> and we are left without a rational means of making decisions.  Second, frequentism is in sore need of a justification for attempting to use frequencies that describe some population in <em>making choices<\/em> concerning an as yet unobserved population of smaller size, even when the smaller population is a subset of the larger.  Emphatically stamping one's foot and declaring that it is <em>obvious<\/em> that one should weight decisions concerning <em>single<\/em> cases based upon frequencies for large populations does not make it so.<\/p> <p>Most of those who subscribe to alternative interpretations of probability do agree that <span style=\"font-style: italic;\">the probable is what most often happens<\/span>, that probabilities (or estimates of probabilities) should be affected by observed frequencies, and that the mathematics of frequencies tell us something about the mathematics of probabilities.<\/p> <p>A <strong><span style=\"font-style: italic;\">propensity<\/span><\/strong> interpretation considers a probability to be a relationship between some two events or between an object and an event such that a <em>law<\/em> associates the production of one by or from the other.  At one extreme would be simple causation; at the other would be perfect preclusion; in between would be the rest of the probabilities.  One can see then that a propensity interpretation treats probability as a generalization of <em>causation<\/em> or as the inverse thereof.  Probabilities interpretted as propensities are most often expressed as attributes of events.<\/p> <p>It is often noted that the logicist interpretation can be conceptualized as attempting to generalize from traditional logic (in which all propositions are either true or false) to a logic in which <em>known<\/em> truths and <em>known<\/em> falsehoods are extremes of probability, with other probabilities for <em>intermediate<\/em> states.  <span style=\"font-style: italic;\">Logic<\/span> and <span style=\"font-style: italic;\">causality<\/span> are more intimately related than is ordinarily recognized,<span style=\"vertical-align: top ; font-size: smaller ;\">&#91;6&#93;<\/span> and I have my doubts as to whether a propensity interpretation is not ultimately a logicist intepretation, with the representation in terms of events disguising the underlying identity.<\/p> <p>Before I quit this entry, I'd like to return to the issue of what was <em>meant<\/em> by <q>probability<\/q> in the <strong><span style=\"font-style: italic ;\">classical<\/span><\/strong> era of combinatorial manipulation and a presumption of underlying equally likely cases.  This question has been mulled and debated, and I think that any simple answer is almost surely false.  But I'm inclined to see the classical probabilists as, for the most part, na&iuml;ve logicists.  My inclination is informed by their adoption of the word <q>probability<\/q>, which had a prior meaning of <span style=\"font-style: italic ;\">plausibility<\/span> and which continued to carry that meaning for a long time; they did not typically distinguish their subject from that of plausibility.  A failure to define <q>probability<\/q> is more easily explained if they believed themselves to be simply using a <em>conception<\/em> of a pre&euml;xisting <em>concept<\/em>.   I don't see that subscribing to a propensity interpretation would actually put them in a different camp.  As I've noted, almost everyone agrees that there is a relationship between frequency of occurrence and whatever <q>probability<\/q> might mean, so working with frequencies as such isn't much evidence for being frequentists.  And the presumption of underlying equally likely cases undermines any attempt to read classical probabilists as subjectivists.<\/p> <hr width=\"50%\" align=\"center\" \/> <p>Important logicists include George Boole, Johannes von Kries, William Ernest Johnson, John Maynard Keynes, Harold Jeffreys, Bernard Osgood Koopman, and Carl Gustav Hempel.  Modern subjectivism in probability theory began with Frank Plumpton Ramsey; other important subjectivists include Bruno di Finetti, Leonard Jimmie Savage, and Robert Osher Schlaifer.  Richard Charles Jeffrey counted himself as a subjectivist and is generally considered such by others, but an unacknowledged logicism tended to creep into his work when he confronted some of the peculiar difficulties of subjectivism.  Frequentism is perhaps first clearly seen in the work of Robert Leslie Ellis; other frequentists include John Venn, Charles Sanders Peirce in his earlier work, Richard Edler von Mises, and Hans Reichenbach.  Peirce later became an advocate of a propensity interpretation.  Largely or completely independent of Peirce, Karl Raimund Popper adopted and argued for a propensity interpretation.<\/p> <hr width=\"50%\" align=\"left\" \/> <p><span style=\"vertical-align: top ; font-size: smaller ;\">&#91;1&#93;<\/span> One exception was an anonymous paper written about <abbr title=\"Anno Domini\" style=\"font-size: smaller ;\">AD<\/abbr>1400, which seems to have drawn no attention in its day.  There is also some evidence that, in India, an arithmetic notion of probability was developed and then lost.  The paper of <abbr title=\"Anno Domini\" style=\"font-size: smaller ;\">AD<\/abbr>1400 is reproduced in <q>Il <q>problema delle parti<\/q> in manoscritti del XIV e XV secolo<\/q> by Laura Toti Rigatelli (in <cite>Mathemata: Festschrift f&uuml;r Helmuth Gericke<\/cite>), and discussed in <cite>The Science of Conjecture<\/cite> by James Franklin.  The Indian evidence is presented in <q>A historical perspective of the recent developments in the theory of sampling from actual populations<\/q> by Vidyadhar Prabhakar Godambe (in <cite>Journal of the Indian Society of Agricultural Statistics<\/cite> v38 #1), and discussed in <cite>The Emergence of Probability: A Philosophical Study of Early Ideas about Probability, Induction and Statistical Inference<\/cite> by Ian Hacking.<\/p> <p><span style=\"vertical-align: top ; font-size: smaller ;\">&#91;2&#93;<\/span> As had been the anonymous effort of <span style=\"font-style: italic ;\">circa<\/span> 1400.<\/p> <p><span style=\"vertical-align: top ; font-size: smaller ;\">&#91;3&#93;<\/span> A characteristic is <span style=\"font-style: italic ;\">quantified<\/span> exactly and only to the extent that arithmetic manipulation of it is <em>meaningful<\/em>.<\/p> <p><span style=\"vertical-align: top ; font-size: smaller ;\">&#91;4&#93;<\/span> The paper on which I am most immediately working notes one difference between logicism and subjectivism that I find very interesting; but intrigued readers will have to wait to be disappointed.<\/p> <p><span style=\"vertical-align: top ; font-size: smaller ;\">&#91;5&#93;<\/span> See <q>Subjective Probability: Criticisms, Reflections and Problems<\/q> by Henry Ely Kyburg (in <cite>Journal of Philosophical Logic<\/cite> v7 #1).<\/p> <p><span style=\"vertical-align: top ; font-size: smaller ;\">&#91;6&#93;<\/span> I discussed this relationship in my LiveJournal, back when I still had a LiveJournal.  I might write of it here some day.<\/p>","protected":false},"excerpt":{"rendered":"I've previously touched on the matter of there being mark&egrave;dly differing notions all associated with the word probability. Various attempts have been made by various writers to catalogue and to co&ouml;rdinate these notions; this will be one of my own attempts.","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_bbp_topic_count":0,"_bbp_reply_count":0,"_bbp_total_topic_count":0,"_bbp_total_reply_count":0,"_bbp_voice_count":0,"_bbp_anonymous_reply_count":0,"_bbp_topic_count_hidden":0,"_bbp_reply_count_hidden":0,"_bbp_forum_subforum_count":0,"footnotes":""},"categories":[6,117,36,720,719,175,4],"tags":[790,299,788,1217,785,412,1218,1216,786,413,787,1006,1219],"class_list":["post-6370","post","type-post","status-publish","format-standard","hentry","category-commentary","category-communication","category-economics","category-epistemology","category-metaphysics","category-philosophy","category-public","tag-betting-quotient","tag-decision-theory","tag-di-finetti","tag-frequentism","tag-karl-popper","tag-keynes","tag-logicism","tag-plausibility","tag-popper","tag-probability","tag-propensities","tag-quantification","tag-subjectivism"],"_links":{"self":[{"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=\/wp\/v2\/posts\/6370","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=6370"}],"version-history":[{"count":0,"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=\/wp\/v2\/posts\/6370\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=6370"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=6370"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.oeconomist.com\/blogs\/daniel\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=6370"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}