An examination of topics involved in statistical reasoning with imprecise probabilities. The book discusses assessment and elicitation, extensions, envelopes and decisions, the importance of imprecision, conditional previsions and coherent statistical models.

In the traditional decision theories the role of forecasts is to a large extent swept under the carpet. I believe that a recognition of the connections between forecasts and decisions will be of benefit both for decision theory and for the art of forecasting.In this paper I have tried to analyse which factors, apart from the utilities of the outcomes of the decision alternatives, determine the value of a decision. I have outlined two answers to the question why a decision (...) which is made on the basis of a forecast is better than a decision which is based on a guess. Neither of these answers is universally valid. An assumption which is necessary for the first answer, i.e. Good's result, is that Bayes' rule is accepted as a correct and generally applicable decision principle. The second answer, which was given with the aid of probability intervals, departed from a more general decision principle, the maximin criterion for expected utilities, which was formulated in order to evade some of the criticism against Bayes' rule. However, the argument leading to the ansser is based on the assumption that the probability intervals associated with the states of nature represent certain knowledge. For this reason this answer is only approximatively valid.As a number of quotations in the section on “the weight of evidence” show, it is not sufficient to describe the knowledge about the states of nature by a single number, representing the (subjective) probability of the state, but something else has to be invoked which measures the amount of information on which a decision is based. Several authors have tried to characterize this mysterious quantity, which here was called the weight of evidence. However, there seems to be little agreement as to how this quantity should be measured. (shrink)

Beyond Chance and Credence introduces a new way of thinking of probabilities in science that combines physical and epistemic considerations. Myrvold shows that conceiving of probabilities in this way solves puzzles associated with the use of probability and statistical mechanics.

There has been much recent interest in imprecise probabilities, models of belief that allow unsharp or fuzzy credence. There have also been some influential criticisms of this position. Here we argue, chiefly against Elga (2010), that subjective probabilities need not be sharp. The key question is whether the imprecise probabilist can make reasonable sequences of decisions. We argue that she can. We outline Elga's argument and clarify the assumptions he makes and the principles of rationality he is implicitly committed to. (...) We argue that these assumptions are too strong and that rational imprecise choice is possible in the absence of these overly strong conditions. (shrink)

Today’s most sophisticated simulation studies of future climate employ not just one climate model but a number of models. I explain why this “ensemble” approach has been adopted—namely, as a means of taking account of uncertainty—and why a comprehensive investigation of uncertainty remains elusive. I then defend a middle ground between two camps in an ongoing debate over the transformation of ensemble results into probabilistic predictions of climate change, highlighting requirements that I refer to as ownership, justification, and robustness.

Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as a (...) system one can use to understand the human mind. In the first 12 chapters, he sets down the rules necessary to represent logic in this unique way. Then he analyses a variety of arguments and propositions of various writers from Aristotle to Spinoza. One of history's most insightful mathematicians, Boole is compelling reading for today's student of intellectual history and the science of the mind. (shrink)

Nebel argues for the Repugnant Conclusion via the “Intrapersonal Repugnant Conclusion,” on which certainty of a mediocre life is better for individuals than a sufficiently small chance of an excellent life. In this article, I deny that acceptance of the Intrapersonal Repugnant Conclusion leads us to the Repugnant Conclusion. I point out that on many views which avoid the Repugnant Conclusion we should discount very small probabilities down to zero. If we do, then Nebel’s crucial premise of Ex Ante Pareto (...) fails, because discounting at the individual level can fail to match up with discounting at the population level. (shrink)

In recent years, the psychology of reasoning has been undergoing a paradigm shift, with general Bayesian, probabilistic approaches replacing the older, much more restricted binary logic paradigm. At the same time, dual processing theories have been gaining influence. We argue that these developments should be integrated and moreover that such integration is already underway. The new reasoning paradigm should be grounded in dual processing for its algorithmic level of analysis just as it uses Bayesian theory for its computational level of (...) analysis. Moreover, we propose that, within the new paradigm, these levels of analysis reflect on each other. Bayesianism suggests a specific theoretical understanding of dual processing. Just as importantly, the duality in processing carries over to duality in function; although both types of processes compute degrees of belief, they generate different functions. (shrink)

It is well known that a degree-of-belief function P is coherent if and only if it satisfies the probability calculus. In this paper, we show that the notion of coherence can be extended to higher order probabilities such as P(P(h)=p)=q, and that a higher order degree-of-belief function P is coherent if and only if it satisfies the probability calculus plus the following axiom: P(h)=p iff P(P(h)=p)=1. Also, a number of lemmata which extend an incomplete probability function to a complete one (...) are established. (shrink)

Quantum mechanical entangled configurations of particles that do not satisfy Bell’s inequalities, or equivalently, do not have a joint probability distribution, are familiar in the foundational literature of quantum mechanics. Nonexistence of a joint probability measure for the correlations predicted by quantum mechanics is itself equivalent to the nonexistence of local hidden variables that account for the correlations (for a proof of this equivalence, see Suppes and Zanotti, 1981). From a philosophical standpoint it is natural to ask what sort of (...) concept can be used to provide a “joint” analysis of such quantum correlations. In other areas of application of probability, similar but different problems arise. A typical example is the introduction of upper and lower probabilities in the theory of belief. A person may feel uncomfortable assigning a precise probability to the occurrence of rain tomorrow, but feel comfortable saying the probability should be greater than ½ and less than ⅞. Rather extensive statistical developments have occurred for this framework. A thorough treatment can be found in Walley (1991) and an earlier measurement-oriented development in Suppes (1974). It is important to note that this focus on beliefs, or related Bayesian ideas, is not concerned, as we are here, with the nonexistence of joint probability distributions. Yet earlier work with no relation to quantum mechanics, but focused on conditions for existence has been published by many people. For some of our own work on this topic, see Suppes and Zanotti (1989). Still, this earlier work naturally suggested the question of whether or not upper and lower measures could be used in quantum mechanics, as a generalization of.. (shrink)

Classical real-valued probabilities come at a philosophical cost: in many infinite situations, they assign the same probability value—namely, zero—to cases that are impossible as well as to cases that are possible. There are three non-classical approaches to probability that can avoid this drawback: full conditional probabilities, qualitative probabilities and hyperreal probabilities. These approaches have been criticized for failing to preserve intuitive symmetries that can be preserved by the classical probability framework, but there has not been a systematic study of the (...) conditions under which these symmetries can and cannot be preserved. This paper fills that gap by giving complete characterizations under which symmetries understood in a certain “strong” way can be preserved by these non-classical probabilities, as well as by offering some results to make it plausible that the strong notion of symmetry here is the right one. Philosophical implications are briefly discussed, but the main purpose of the paper is to offer technical results to help make further philosophical discussion more sophisticated. (shrink)

The field of of imprecise probability has matured, in no small part because of Teddy Seidenfeld’s decades of original scholarship and essential contributions to building and sustaining the ISIPTA community. Although the basic idea behind imprecise probability is (at least) 150 years old, a mature mathematical theory has only taken full form in the last 30 years. Interest in imprecise probability during this period has also grown, but many of the ideas that the mature theory serves can be difficult to (...) apprehend to those new to the subject. Although these fundamental ideas are common knowledge in the ISIPTA community, they are expressed, when they are expressed at all, obliquely, over the course of years with students and colleagues. -/- A single essay cannot convey the store of common knowledge from any research community, let alone the ISIPTA community. But, this essay nevertheless is an attempt to guide those familiar with the basic Bayesian framework to appreciate some of the elegant and powerful ideas that underpin the contemporary theory of lower previsions, which is the theory that most people associate with the term ‘imprecise probabilities’. (shrink)

We discuss two general issues concerning diverging sets of Bayesian (conditional) probabilities—divergence of “posteriors”—that can result with increasing evidence. Consider a setof probabilities typically, but not always, based on a set of Bayesian “priors.” Incorporating sets of probabilities, rather than relying on a single probability, is a useful way to provide a rigorous mathematical framework for studying sensitivity and robustness in Classical and Bayesian inference. See: Berger (1984, 1985, 1990); Lavine (1991); Huber and Strassen (1973); Walley (1991); and Wasserman and (...) Kadane (1990). Also, sets of probabilities arise in group decision problems. See: Levi (1982); and Seidenfeld, Kadane, and Schervish (1989). Third, sets of probabilities are one consequence of weakening traditional axioms for uncertainty. See: Good (1952); Smith (1961); Kyburg (1961); Levi (1974); Fishburn (1986); Seidenfeld, Schervish, and Kadane (1990); and Walley (1991). (shrink)

The propensity interpretation of probability, bred by Popper in 1957(K. R. Popper, in Observation and Interpretation in the Philosophy of Physics,S. Körner, ed. (Butterworth, London, 1957, and Dover, New York, 1962), p. 65; reprinted in Popper Selections,D. W. Miller, ed. (Princeton University Press, Princeton, 1985), p. 199) from pure frequency stock, is the only extant objectivist account that provides any proper understanding of single-case probabilities as well as of probabilities in ensembles and in the long run. In Sec. 1 of (...) this paper I recall salient points of the frequency interpretations of von Mises and of Popper himself, and in Sec. 2 I filter out from Popper's numerous expositions of the propensity interpretation its most interesting and fertile strain. I then go on to assess it. First I defend it, in Sec. 3, against recent criticisms(P. Humphreys, Philos. Rev.94,557 (1985); P. Milne, Erkenntnis25,129 (1986)) to the effect that conditional [or relative] probabilities, unlike absolute probabilities, can only rarely be made sense of as propensities. I then challenge its predominance, in Sec. 4, by outlining a rival theory: an irreproachably objectivist theory of probability, fully applicable to the single case, that interprets physical probabilities asinstantaneous frequencies. (shrink)

We define a model for computing probabilities of right-nested conditionals in terms of graphs representing Markov chains. This is an extension of the model for simple conditionals from Wójtowicz and Wójtowicz. The model makes it possible to give a formal yet simple description of different interpretations of right-nested conditionals and to compute their probabilities in a mathematically rigorous way. In this study we focus on the problem of the probabilities of conditionals; we do not discuss questions concerning logical and metalogical (...) issues such as setting up an axiomatic framework, inference rules, defining semantics, proving completeness, soundness etc. Our theory is motivated by the possible-worlds approach ; however, our model is generally more flexible. In the paper we focus on right-nested conditionals, discussing them in detail. The graph model makes it possible to account in a unified way for both shallow and deep interpretations of right-nested conditionals. In particular, we discuss the status of the Import-Export Principle and PCCP. We briefly discuss some methodological constraints on admissible models and analyze our model with respect to them. The study also illustrates the general problem of finding formal explications of philosophically important notions and applying mathematical methods in analyzing philosophical issues. (shrink)

Quantum mechanics may be formulated as Sensible Quantum Mechanics (SQM) so that it contains nothing probabilistic except conscious perceptions. Sets of these perceptions can be deterministically realized with measures given by expectation values of positive-operator-valued awareness operators. Ratios of the measures for these sets of perceptions can be interpreted as frequency- type probabilities for many actually existing sets. These probabilities gener- ally cannot be given by the ordinary quantum “probabilities” for a single set of alternatives. Probabilism, or ascribing probabilities to (...) unconscious aspects of the world, may be seen to be an aesthemamorphic myth. (shrink)

Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...) logics as well. Finally, we discuss how our basic update rule can be parameterized for different update policies, or learning methods. (shrink)

Motivated by problems that arise in computing degrees of belief, we consider the problem of computing asymptotic conditional probabilities for first-order sentences. Given first-order sentences φ and θ, we consider the structures with domain {1,..., N} that satisfy θ, and compute the fraction of them in which φ is true. We then consider what happens to this fraction as N gets large. This extends the work on 0-1 laws that considers the limiting probability of first-order sentences, by considering asymptotic conditional (...) probabilities. As shown by Liogon'kii [24], if there is a non-unary predicate symbol in the vocabulary, asymptotic conditional probabilities do not always exist. We extend this result to show that asymptotic conditional probabilities do not always exist for any reasonable notion of limit. Liogon'kii also showed that the problem of deciding whether the limit exists is undecidable. We analyze the complexity of three problems with respect to this limit: deciding whether it is well-defined, whether it exists, and whether it lies in some nontrivial interval. Matching upper and lower bounds are given for all three problems, showing them to be highly undecidable. (shrink)

Evidential reasoning is hard, and errors can lead to miscarriages of justice with serious consequences. Analytic methods for the correct handling of evidence come in different styles, typically focusing on one of three tools: arguments, scenarios or probabilities. Recent research used Bayesian networks for connecting arguments, scenarios, and probabilities. Well-known issues with Bayesian networks were encountered: More numbers are needed than are available, and there is a risk of misinterpretation of the graph underlying the Bayesian network, for instance as a (...) causal model. The formalism presented here models presumptive arguments about coherent hypotheses that are compared in terms of their strength. No choice is needed between qualitative or quantitative analytic styles, since the formalism can be interpreted with and without numbers. The formalism is applied to key concepts in argumentative, scenario and probabilistic analyses of evidential reasoning, and is illustrated with a fictional crime investigation example based on Alfred Hitchcock’s film ‘To Catch A Thief’. (shrink)

In his paper, “Should the Numbers Count?" John Taurek imagines that we are in a position such that we can either save a group of five people, or we can save one individual, David. We cannot save David and the five. This is because they each require a life-saving drug. However, David needs all of the drug if he is to survive, while the other five need only a fifth each.Typically, people have argued as if there was a choice to (...) be made: either numbers matter, in which case we should save the greater number, or numbers don't matter, but rather there is moral value in giving each person an equal chance of survival, and therefore we should toss a coin. My claim is that we do not have to make a choice in this way. Rather, numbers do matter, but it doesn't follow that we should always save the greater number. And likewise, there is moral value in giving each person an equal chance of survival, but it doesn't follow that we should always toss a coin. (shrink)

We consider a setting where a decision maker’s uncertainty is represented by a set of probability measures, rather than a single measure. Measure-by-measure updating of such a set of measures upon acquiring new information is well known to suffer from problems. To deal with these problems, we propose using weighted sets of probabilities: a representation where each measure is associated with a weight, which denotes its significance. We describe a natural approach to updating in such a situation and a natural (...) approach to determining the weights. We then show how this representation can be used in decision making, by modifying a standard approach to decision making—minimizing expected regret—to obtain minimax weighted expected regret. We provide an axiomatization that characterizes preferences induced by MWER both in the static and dynamic case. (shrink)

Since utilities and probabilities jointly determine choices, event-dependent utilities complicate the elicitation of subjective event probabilities. However, for the usual purpose of obtaining the information embodied in agent beliefs, it is sufficient to elicit objective probabilities, i.e., probabilities obtained by updating a known common prior with that agent’s further information. Bayesians who play a Nash equilibrium of a certain insurance game before they obtain relevant information will afterward act regarding lottery ticket payments as if they had event-independent risk-neutral utility and (...) a known common prior. Proper scoring rules paid in lottery tickets can then elicit objective probabilities. (shrink)

We suggest a rigorous theory of how objective single-case transition probabilities fit into our world. The theory combines indeterminism and relativity in the “branching space–times” pattern, and relies on the existing theory of causae causantes (originating causes). Its fundamental suggestion is that (at least in simple cases) the probabilities of all transitions can be computed from the basic probabilities attributed individually to their originating causes. The theory explains when and how one can reasonably infer from the probabilities of one “chance (...) set-up” to the probabilities of another such set-up that is located far away. (shrink)