What norm governs how an agent should change their beliefs when they encounter a completely new possibility? Orthodox Bayesianism has no answer, as it takes all learning to involve updating prior beliefs. A partial proposal is Reverse Bayesianism, which mandates the preservation of ratios of prior probabilities, but it faces counterexamples introduced by Mahtani (2021). I propose to separate awareness growth into two stages: awareness revision and belief extension. I argue that Mahtani’s cases highlight that we need to theorize awareness (...) revision before we can define a proposal for belief extension, such as Reverse Bayesianism. I provide a formal model of awareness revision which makes explicit how propositions are distinguished within awareness states and identified across them. Reformulating Reverse Bayesianism to take input from my model allows it to navigate Mahtani-style cases. My model leaves open how agents choose to identify propositions across awareness states, and I propose that they ought to do so conservatively: preserving undisturbed prior reasoning about the structure of their awareness. I then spell out this proposal in a special case. This is a partial proposal, and I close with a discussion of how to elaborate on it and how to advance research into awareness revision. (shrink)

Putnam construed the aim of Carnap’s program of inductive logic as the specification of a “universal learning machine,” and presented a diagonal proof against the very possibility of such a thing. Yet the ideas of Solomonoff and Levin lead to a mathematical foundation of precisely those aspects of Carnap’s program that Putnam took issue with, and in particular, resurrect the notion of a universal mechanical rule for induction. In this paper, I take up the question whether the Solomonoff–Levin proposal is (...) successful in this respect. I expose the general strategy to evade Putnam’s argument, leading to a broader discussion of the outer limits of mechanized induction. I argue that this strategy ultimately still succumbs to diagonalization, reinforcing Putnam’s impossibility claim. (shrink)

I evaluate Schurz's proposed meta-inductive justification of induction, a refinement of Reichenbach's pragmatic justification that rests on results from the machine learning branch of prediction with expert advice. My conclusion is that the argument, suitably explicated, comes remarkably close to its grand aim: an actual justification of induction. This finding, however, is subject to two main qualifications, and still disregards one important challenge. The first qualification concerns the empirical success of induction. Even though, I argue, Schurz's argument does not need (...) to spell out what inductive method actually consists in, it does need to postulate that there is something like the inductive or scientific prediction strategy that has so far been significantly more successful than alternative approaches. The second qualification concerns the difference between having a justification for inductive method and for sticking with induction for now. Schurz's argument can only provide the latter. Finally, the remaining challenge concerns the pool of alternative strategies, and the relevant notion of a meta-inductivist's optimality that features in the analytic step of Schurz's argument. Building on the work done here, I will argue in a follow-up paper that the argument needs a stronger dynamic notion of a meta-inductivist's optimality. (shrink)

Bayesian probability is normally defined over a fixed language or eventspace. But in practice language is susceptible to change, and thequestion naturally arises as to how Bayesian degrees of belief shouldchange as language changes. I argue here that this question poses aserious challenge to Bayesianism. The Bayesian may be able to meet thischallenge however, and I outline a practical method for changing degreesof belief over changes in finite propositional languages.

In criminal trials, judges or jurors have to decide whether the facts described in the indictment are proven beyond a reasonable doubt. However, these decision-makers cannot always imagine every relevant sequence of events—there may be unconceived alternatives. The possibility of unconceived alternatives is an overlooked source of reasonable doubt. I argue that decision-makers should not consider the defendant’s guilt proven if they have good reasons to believe that plausible, unconceived scenarios exist. I explore this thesis through the lens of the (...) two most influential accounts of rational criminal proof—Bayesian and explanation-based approaches. I draw on related ideas from the philosophy of science to show why and when unconceived alternatives lead to reasonable doubt on either account. (shrink)

Hierarchical Bayesian models (HBMs) provide an account of Bayesian inference in a hierarchically structured hypothesis space. Scientific theories are plausibly regarded as organized into hierarchies in many cases, with higher levels sometimes called ‘paradigms’ and lower levels encoding more specific or concrete hypotheses. Therefore, HBMs provide a useful model for scientific theory change, showing how higher‐level theory change may be driven by the impact of evidence on lower levels. HBMs capture features described in the Kuhnian tradition, particularly the idea that (...) higher‐level theories guide learning at lower levels. In addition, they help resolve certain issues for Bayesians, such as scientific preference for simplicity and the problem of new theories. *Received July 2009; revised October 2009. †To contact the authors, please write to: Leah Henderson, Massachusetts Institute of Technology, 77 Massachusetts Avenue, 32D‐808, Cambridge, MA 02139; e‐mail: [email protected]. (shrink)

This paper addresses the problem that Bayesian statistical inference cannot accommodate theory change, and proposes a framework for dealing with such changes. It first presents a scheme for generating predictions from observations by means of hypotheses. An example shows how the hypotheses represent the theoretical structure underlying the scheme. This is followed by an example of a change of hypotheses. The paper then presents a general framework for hypotheses change, and proposes the minimization of the distance between hypotheses as a (...) rationality criterion. Finally the paper discusses the import of this for Bayesian statistical inference. (shrink)

This paper addresses the problem that Bayesian statistical inference cannot accommodate theory change, and proposes a framework for dealing with such changes. It first presents a scheme for generating predictions from observations by means of hypotheses. An example shows how the hypotheses represent the theoretical structure underlying the scheme. This is followed by an example of a change of hypotheses. The paper then presents a general framework for hypotheses change, and proposes the minimization of the distance between hypotheses as a (...) rationality criterion. Finally the paper discusses the import of this for Bayesian statistical inference. (shrink)