It is widely thought that chance should be understood in reductionist terms: claims about chance should be understood as claims that certain patterns of events are instantiated. There are many possible reductionist theories of chance, differing as to which possible pattern of events they take to be chance-making. It is also widely taken to be a norm of rationality that credence should defer to chance: special cases aside, rationality requires that one’s credence function, when conditionalized on the chance-making facts, should (...) coincide with the objective chance function. It is a shortcoming of a theory of chance if it implies that this norm of rationality is unsatisfiable. The primary goal of this paper is to show, on the basis of considerations concerning computability and inductive learning, that this shortcoming is more common than one would have hoped. (shrink)

There are many things—call them ‘experts’—that you should defer to in forming your opinions. The trouble is, many experts are modest: they’re less than certain that they are worthy of deference. When this happens, the standard theories of deference break down: the most popular (“Reflection”-style) principles collapse to inconsistency, while their most popular (“New-Reflection”-style) variants allow you to defer to someone while regarding them as an anti-expert. We propose a middle way: deferring to someone involves preferring to make any decision (...) using their opinions instead of your own. In a slogan, deferring opinions is deferring decisions. Generalizing the proposal of Dorst (2020a), we first formulate a new principle that shows exactly how your opinions must relate to an expert’s for this to be so. We then build off the results of Levinstein (2019) and Campbell-Moore (2020) to show that this principle is also equivalent to the constraint that you must always expect the expert’s estimates to be more accurate than your own. Finally, we characterize the conditions an expert’s opinions must meet to be worthy of deference in this sense, showing how they sit naturally between the too-strong constraints of Reflection and the too-weak constraints of New Reflection. (shrink)

This paper explains and defends a belief-first view of the relationship between belief and credence. On this view, credences are a species of beliefs, and the degree of credence is determined by the content of what is believed. We begin by developing what we take to be the most plausible belief-first view. Then, we offer several arguments for it. Finally, we show how it can resist objections that have been raised to belief-first views. We conclude that the belief-first view is (...) more plausible than many have previously supposed. (shrink)

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...) and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations. (shrink)

Some philosophers have claimed that it is meaningless or paradoxical to consider the probability of a probability. Others have however argued that second-order probabilities do not pose any particular problem. We side with the latter group. On condition that the relevant distinctions are taken into account, second-order probabilities can be shown to be perfectly consistent. May the same be said of an infinite hierarchy of higher-order probabilities? Is it consistent to speak of a probability of a probability, and of a (...) probability of a probability of a probability, and so on, {\em ad infinitum}? We argue that it is, for it can be shown that there exists an infinite system of probabilities that has a model. In particular, we define a regress of higher-order probabilities that leads to a convergent series which determines an infinite-order probability value. We demonstrate the consistency of the regress by constructing a model based on coin-making machines. (shrink)

How should our beliefs change over time? The standard answer to this question is the Bayesian one. But while the Bayesian account works well with respect to beliefs about the world, it breaks down when applied to self-locating or de se beliefs. In this work I explore ways to extend Bayesianism in order to accommodate de se beliefs. I begin by assessing, and ultimately rejecting, attempts to resolve these issues by appealing to Dutch books and chance-credence principles. I then propose (...) and examine several accounts of the dynamics of de se beliefs. These examinations suggest that an extension of Bayesianism to de se beliefs will require some uncomfortable choices. I conclude by laying out the options available, and assessing the prospects of each. (shrink)

[1] You have a crystal ball. Unfortunately, it’s defective. Rather than predicting the future, it gives you the chances of future events. Is it then of any use? It certainly seems so. You may not know for sure whether the stock market will crash next week; but if you know for sure that it has an 80% chance of crashing, then you should be 80% confident that it will—and you should plan accordingly. More generally, given that the chance of a (...) proposition A is x%, your conditional credence in A should be x%. This is a chance-credence principle: a principle relating chance (objective probability) with credence (subjective probability, degree of belief). Let’s call it the Minimal Principle (MP). (shrink)

David Lewis (1980) proposed the Principal Principle (PP) and a “reformulation” which later on he called ‘OP’ (Old Principle). Reacting to his belief that these principles run into trouble, Lewis (1994) concluded that they should be replaced with the New Principle (NP). This conclusion left Lewis uneasy, because he thought that an inverse form of NP is “quite messy”, whereas an inverse form of OP, namely the simple and intuitive PP, is “the key to our concept of chance”. I argue (...) that, even if OP should be discarded, PP need not be. Moreover, far from being messy, an inverse form of NP is a simple and intuitive Conditional Principle (CP). Finally, both PP and CP are special cases of a General Principle (GP); it follows that so are PP and NP, which are thus compatible rather than competing. (shrink)

According to Williamson , the difference between empirical subjective Bayesians and objective Bayesians is that, while both hold reasonable credence to be calibrated to evidence, the objectivist also takes such credence to be as equivocal as such calibration allows. However, Williamson’s prescription for equivocation generates constraints on reasonable credence that are objectionable. Herein Williamson’s calibration norm is explicated in a novel way that permits an alternative equivocation norm. On this alternative account, evidence calibrated probability functions are recognised as implications of (...) evidence calibrated density functions defined over chance hypotheses. The objective Bayesian equivocates between these calibrated density functions rather than between the calibrated probability functions themselves. The result is an objective Bayesianism that avoids the main problem afflicting Williamson’s original proposal. (shrink)

According to principles of probability coordination, such as Miller's Principle or Lewis's Principal Principle, you ought to set your subjective probability for an event equal to what you take to be the objective probability of the event. For example, you should expect events with a very high probability to occur and those with a very low probability not to occur. This paper examines the grounds of such principles. It is argued that any attempt to justify a principle of probability coordination (...) encounters the same difficulties as attempts to justify induction. As a result, no justification can be found. (shrink)

Common probability theories only allow the deduction of probabilities by using previously known or presupposed probabilities. They do not, however, allow the derivation of probabilities from observed data alone. The question thus arises as to how probabilities in the empirical sciences, especially in medicine, may be arrived at. Carnap hoped to be able to answer this question byhis theory of inductive probabilities. In the first four sections of the present paper the above mentioned problem is discussed in general. After a (...) short presentation of Carnap''s theory it is then shown that this theory cannot claim validity for arbitrary random processes. It is suggested that the theory be only applied to binomial and multinomial experiments. By application of de Finetti''s theorem Carnap''s inductive probabilities are interpreted as consecutive probabilities of the Bayesian kind. Through the introduction of a new axiom the decision parameter can be determined even if no a priori knowledge is given. Finally, it is demonstrated that the fundamental problem of Wald''s decision theory, i.e., the determination of a plausible criterion where no a priori knowledge is available, can be solved for the cases of binomial and multinomial experiments. (shrink)

The Reflection principle expresses a kind of epistemic deference to one's future self. There is a plausible intuitive argument to the effect that, if one believes one will reason well and gain information over time, then one ought to satisfy Reflection. There are also associated formal arguments that show that, if one's beliefs about one's current and future selves meet certain criteria, then one is committed by the axioms of probability to satisfy Reflection. The formal arguments, however, rely on an (...) assumption that has no apparent relevance to the intuitive argument: the assumption that one has perfect access to one's beliefs. This paper explains why it is advantageous to replace the perfect access assumption with a self-trust assumption. The self-trust assumption is superior from a formal point of view, since it is formally weaker than the perfect access assumption, and from an intuitive point of view, since it leads to an improved formulation of the intuitive argument. (shrink)

Is it coherent to speak of the probability of a probability, and the probability of a probability of a probability, and so on? We show that it is, in the sense that a regress of higher-order probabilities can lead to convergent sequences that determine all these probabilities. By constructing an implementable model which is based on coin-making machines, we demonstrate the consistency of our regress.

Research programs regularly compete to achieve the same goal, such as the discovery of the structure of DNA or the construction of a TEA laser. The more the competing programs share information, the faster the goal is likely to be reached, to society’s benefit. But the “priority rule”-the scientific norm according to which the first program to reach the goal in question must receive all the credit for the achievement-provides a powerful disincentive for programs to share information. How, then, is (...) the clash between social and individual interest resolved in scientific practice? This chapter investigates what Robert Merton called science’s “communist” norm, which mandates universal sharing of knowledge, and uses mathematical models of discovery to argue that a communist regime may be on the whole advantageous and fair to all parties, and so might be implemented by a social contract that all scientists would be willing to sign. (shrink)

The paper takes thePrincipal Principle to be a norm demanding that subjective degrees of belief of a Bayesian agent be equal to the objective probabilities once the agent has conditionalized his subjective degrees of beliefs on the values of the objective probabilities, where the objective probabilities can be not only chances but any other quantities determined objectively. Weak and strong consistency of the Abstract Principal Principle are defined in terms of classical probability measure spaces. It is proved that the Abstract (...) Principal Principle is weakly consistent and that it is strongly consistent in the category of probability measure spaces where the Boolean algebra representing the objective random events is finite. It is argued that it is desirable to strengthen the Abstract Principal Principle by adding a stability requirement to it. Weak and strong consistency of the resulting Stable Abstract Principal Principle are defined, and the strong consistency of the Abstract Principal Principle is interpreted as necessary for a non-omniscient Bayesian agent to be able to have rational degrees of belief in all epistemic situations. It is shown that the Stable Abstract Principal Principle is weakly consistent, but the strong consistency of the Stable Abstract Principal principle remains an open question. We conclude that we do not yet have proof that Bayesian agents can have rational degrees of belief in every epistemic situation. (shrink)

To clarify and illuminate the place of probability in science Ellery Eells and James H. Fetzer have brought together some of the most distinguished philosophers ...

Bayesian confirmation theory—abbreviated to in these notes—is the predominant approach to confirmation in late twentieth century philosophy of science. It has many critics, but no rival theory can claim anything like the same following. The popularity of the Bayesian approach is due to its flexibility, its apparently effortless handling of various technical problems, the existence of various a priori arguments for its validity, and its injection of subjective and contextual elements into the process of confirmation in just the places where (...) critics of earlier approaches had come to think that subjectivity and sensitivity to context were necessary. (shrink)

Does the Bayesian theory of confirmation put real constraints on our inductive behavior? Or is it just a framework for systematizing whatever kind of inductive behavior we prefer? Colin Howson (Hume's Problem) has recently championed the second view. I argue that he is wrong, in that the Bayesian apparatus as it is usually deployed does constrain our judgments of inductive import, but also that he is right, in that the source of Bayesianism's inductive prescriptions is not the Bayesian machinery itself, (...) but rather what David Lewis calls the ``Principal Principle''. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

Consider someone whom you know to be an expert about some issue. She knows at least as much as you do and reasons impeccably. The issue is a straightforward case of statistical inference that raises no deep problems of epistemology. You happen to know the expert’s opinion on this issue. Should you defer to her by adopting her opinion as your own? An affirmative answer may appear mandatory. But this paper argues that a crucial factor in answering this question is (...) the description under which you identify the expert. Experts may be identified under various descriptions (e.g., “the expert appearing on Channel 7 at 5 pm”). Section 2 provides cases that illustrate how deference to a known expert may be appropriate under some descriptions, but not others. Section 3 proposes that, in these cases, the differentiating factor is self-identification: deference to an expert under a given description is appropriate when the expert self-identifies under that description. Section 4 presents a formal framework that demonstrates the sufficiency of self-identification for appropriate deference within a significant class of cases. Section 5 notes a way in which this phenomenon allows for a form of “agreeing to disagree” in Robert Aumann’s sense. Section 6 illustrates the practical application of these results to the case of testimonials. (shrink)

The orthodox view in statistics has it that frequentism and Bayesianism are diametrically opposed—two totally incompatible takes on the problem of statistical inference. This paper argues to the contrary that the two approaches are complementary and need to mesh if probabilistic reasoning is to be carried out correctly.

Objective Bayesians hold that degrees of belief ought to be chosen in the set of probability functions calibrated with one’s evidence. The particular choice of degrees of belief is via some objective, i.e., not agent-dependent, inference process that, in general, selects the most equivocal probabilities from among those compatible with one’s evidence. Maximising entropy is what drives these inference processes in recent works by Williamson and Masterton though they disagree as to what should have its entropy maximised. With regard to (...) the probability function one should adopt as one’s belief function, Williamson advocates selecting the probability function with greatest entropy compatible with one’s evidence while Masterton advocates selecting the expected probability function relative to the density function with greatest entropy compatible with one’s evidence. In this paper we discuss the significant relative strengths of these two positions. In particular, Masterton’s original proposal is further developed and investigated to reveal its significant properties; including its equivalence to the centre of mass inference process and its ability to accommodate higher order evidence. (shrink)

Expert probability forecasts can be useful for decision making . But levels of uncertainty escalate: however the forecaster expresses the uncertainty that attaches to a forecast, there are good reasons for her to express a further level of uncertainty, in the shape of either imprecision or higher order uncertainty . Bayesian epistemology provides the means to halt this escalator, by tying expressions of uncertainty to the propositions expressible in an agent’s language . But Bayesian epistemology comes in three main varieties. (...) Strictly subjective Bayesianism and empirically-based subjective Bayesianism have difficulty in justifying the use of a forecaster’s probabilities for decision making . On the other hand, objective Bayesianism can justify the use of these probabilities, at least when the probabilities are consistent with the agent’s evidence . Hence objective Bayesianism offers the most promise overall for explaining how testimony of uncertainty can be useful for decision making. Interestingly, the objective Bayesian analysis provided in Sect. 5 can also be used to justify a version of the Principle of Reflection. (shrink)

From a point of view like de Finetti's, what is the judgmental reality underlying the objectivistic claim that a physical magnitude X determines the objective probability that a hypothesis H is true? When you have definite conditional judgmental probabilities for H given the various unknown values of X, a plausible answer is sufficiency, i.e., invariance of those conditional probabilities as your probability distribution over the values of X varies. A different answer, in terms of conditional exchangeability, is offered for use (...) when such definite conditional probabilities are absent. (shrink)

When Hempel's "paradox of confirmation" is developed within the confines of conditional probability theory, it becomes apparent that two seemingly equivalent generalities ("laws") can have exactly the same class of observational refuters even when their respective classes of confirming observations are importantly distinct. Generalities which have the inductive supports we commonsensically construe them to have, however, must incorporate quasi-logical operators or connectives which cannot be defined truth-functionally. The origins and applications of these "modalic" concepts appear to be intimately linked with (...) a number of basic conundrums in the philosophy of science, such as causation and the nature of explanation. (shrink)