The purpose of this paper is to show that if one adopts conditional probabilities as the primitive concept of probability, one must deal with the fact that even in very ordinary circumstances at least some probability values may be imprecise, and that some probability questions may fail to have numerically precise answers.

Forty years ago, Bayesian philosophers were just catching a new wave of technical innovation, ushering in an era of scoring rules, imprecise credences, and infinitesimal probabilities. Meanwhile, down the hall, Gettier’s 1963 paper [28] was shaping a literature with little obvious interest in the formal programs of Reichenbach, Hempel, and Carnap, or their successors like Jeffrey, Levi, Skyrms, van Fraassen, and Lewis. And how Bayesians might accommodate the discourses of full belief and knowledge was but a glimmer in the eye (...) of Isaac Levi. Forty years later, scoring rules, imprecise credences, and infinitesimal probabilities are all the rage. And the formal and “informal” traditions are increasingly coming together as Bayesian arguments spill over into debates about the foundations of empirical knowledge, skepticism, and more. Relatedly, Bayesian interest in full belief and knowledge has never been greater. Much more besides has happened in the last forty years of Bayesian philosophy, .. (shrink)

Inference to the Best Explanation (IBE) and Bayesianism are our two most prominent theories of scientific inference. Are they compatible? Van Fraassen famously argued that they are not, concluding that IBE must be wrong since Bayesianism is right. Writers since then, from both the Bayesian and explanationist camps, have usually considered van Fraassen’s argument to be misguided, and have plumped for the view that Bayesianism and IBE are actually compatible. I argue that van Fraassen’s argument is actually not so misguided, (...) and that it causes more trouble for compatibilists than is typically thought. Bayesianism in its dominant, subjectivist form, can only be made compatible with IBE if IBE is made subservient to conditionalization in a way that robs IBE of much of its substance and interest. If Bayesianism and IBE are to be fit together, I argue, a strongly objective Bayesianism is the preferred option. I go on to sketch this objectivist, IBE-based Bayesianism, and offer some preliminary suggestions for its development. (shrink)

The bootstrapping problem poses a general challenge, afflicting even strongly internalist theories. Even if one must always know that one’s source is reliable to gain knowledge from it, bootstrapping is still possible. I survey some solutions internalists might offer and defend the one I find most plausible: that bootstrapping involves an abuse of inductive reasoning akin to generalizing from a small or biased sample. I also argue that this solution is equally available to the reliabilist. The moral is that the (...) issues raised by bootstrapping are orthogonal to questions about internalism and basic knowledge, having more to do with the nature of good inductive reasoning. (shrink)

Sometimes, we think of belief as a phenomenon that comes in degrees – that is, in the many different levels of confidence that a thinker might have in various different propositions. Sometimes, we think of belief as a simple two-place relation that holds between a thinker and a proposition – that is, as what I shall here call "outright belief".

In a recent article, Adam Elga outlines a strategy for “Defeating Dr Evil with Self-Locating Belief”. The strategy relies on an indifference principle that is not up to the task. In general, there are two things to dislike about indifference principles: adopting one normally means confusing risk for uncertainty, and they tend to lead to incoherent views in some ‘paradoxical’ situations. I argue that both kinds of objection can be levelled against Elga’s indifference principle. There are also some difficulties with (...) the concept of evidence that Elga uses, and these create further difficulties for the principle. (shrink)

Where there are infinitely many possible [equiprobable] basic states of the world, a standard probability function must assign zero probability to each state—since any finite probability would sum to over one. This generates problems for any decision theory that appeals to expected utility or related notions. For it leads to the view that a situation in which one wins a million dollars if any of a thousand of the equally probable states is realized has an expected value of zero (since (...) each such state has probability zero). But such a situation dominates the situation in which one wins nothing no matter what (which also has an expected value of zero), and so surely is more desirable. I formulate and defend some principles for evaluating options where standard probability functions cannot strictly represent probability—and in particular for where there is an infinitely spread, uniform distribution of probability. The principles appeal to standard probability functions, but overcome at least some of their limitations in such cases. (shrink)

This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (shrink)

The rule of adjunction is intuitively appealing and uncontroversial for deductive inference, but in situations where information can be uncertain, the rule is neither needed nor wanted for rational acceptance, as illustrated by the lottery paradox. Practical certainty is the acceptance of statements whose chances of error are smaller than a prescribed threshold parameter, when evaluated against an evidential corpus. We examine the failure of adjunction in relation to the threshold parameter for practical certainty, with an eye towards reinstating the (...) rule of adjunction in some restricted forms, by observing the conditions under which the overall chance of error of the joint statements can be variously bounded. (shrink)

The Theory of theory change has contraction and revision as its central notions. Of these, contraction is the more fundamental. The best-known theory, due to Alchourrón, Gärdenfors, and Makinson, is based on a few central postulates. The most fundamental of these is the principle of recovery: if one contracts a theory with respect to a sentence, and then adds that sentence back again, one recovers the whole theory. Recovery is demonstrably false. This paper shows why, and investigates how one can (...) nevertheless characterize contraction in a theoretically fruitful way. The theory proposed lends itself to implementation, which in turn could yield new theoretical insights. The Main proposal is a ‘staining algorithm’ which identifies which sentences to reject when contracting a theory. The algorithm requires one to be clear about the structure of reasons one has for including sentences within one's theory. (shrink)

It is a familiar argument that advocates accommodating the so-called paradoxes of decision theory by abandoning the “independence” postulate. After all, if we grant that choice reveals preference, the anomalous choice patterns of the Allais and Ellsberg problems violate postulate P2 of Savage's system. The strategy of making room for new preference patterns by relaxing independence is adopted in each of the following works: Samuelson, Kahneman and Tversky's “Prospect Theory”, Allais and Hagen, Fishburn, Chew and MacCrimmon, McClennen, and in closely (...) argued essays by Machina. (shrink)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

The author uses a series of potential counterexamples to argue against attempts by Bergmann and Plantinga to articulate a distinction between malignant and benign epistemic circularity and, more radically, to argue that epistemic circularity per se is no fallacy, and the concept of epistemic circularity plays no role in the explanation of why some instances of epistemic circularity are irrational. The author contrasts an inferential framework, in which circularity is a problem, with an equilibrium framework, in which the concept of (...) circularity plays no useful role and argues that defeasible reasoning can only be understood in an equilibrium, not an inferential, framework. The author uses an example of reasoning about the reliability of one’s own memory to explain how seemingly malignant epistemic circularity can be rational in an equilibrium framework. The author discusses the relevance of this conclusion to two contemporary issues: the cogency of Plantinga’s Evolutionary Argument against Naturalism and the evolutionary naturalists’ challenges to non-naturalist moral realism—and, indeed, to all forms of non-naturalist normative realism. (shrink)

The author uses a series of examples to illustrate two versions of a new, nonprobabilist principle of epistemic rationality, the special and general versions of the metacognitive, expected relative frequency principle. These are used to explain the rationality of revisions to an agent’s degrees of confidence in propositions based on evidence of the reliability or unreliability of the cognitive processes responsible for them—especially reductions in confidence assignments to propositions antecedently regarded as certain—including certainty-reductions to instances of the law of excluded (...) middle or the law of noncontradiction in logic or certainty-reductions to the certainties of probabilist epistemology. The author proposes special and general versions of the MERF principle and uses them to explain the examples, including the reasoning that would lead to thoroughgoing fallibilism—that is, to a state of being certain of nothing. The author responds to the main defenses of probabilism: Dutch Book arguments, Joyce’s potential accuracy defense, and the potential calibration defenses of Shimony and van Fraassen by showing that, even though they do not satisfy the probability axioms, degrees of belief that satisfy the MERF principle minimize expected inaccuracy in Joyce’s sense; they can be externally calibrated in Shimony and van Fraassen’s sense; and they can serve as a basis for rational betting, unlike probabilist degrees of belief, which, in many cases, human beings have no rational way of ascertaining. The author also uses the MERF principle to subsume the various epistemic akrasia principles in the literature. Finally, the author responds to Titelbaum’s argument that epistemic akrasia principles require that we be certain of some epistemological beliefs, if we are rational. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts in essentially the (...) same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

I analyse critically what I regard as the most accomplished empiricist account of propensities, namely the long run propensity theory developed by Donald Gillies . Empiricist accounts are distinguished by their commitment to the ‘identity thesis’: the identification of propensities and objective probabilities. These theories are intended, in the tradition of Karl Popper’s influential proposal, to provide an interpretation of probability that renders probability statements directly testable by experiment. I argue that the commitment to the identity thesis leaves empiricist theories, (...) including Gillies’ version, vulnerable to a variant of what is known as Humphreys’ paradox. I suggest that the tension may be resolved only by abandoning the identity thesis, and by adopting instead an understanding of propensities as explanatory properties of chancy objects. (shrink)

It is sometimes suggested that there are two kinds of reasoning: inferential reasoning and non-inferential reasoning. However, it is not entirely clear what the difference between these two kinds of reasoning is. In this paper, I try to answer the question what this difference is. I first discuss three answers to this question that I argue are unsatisfactory. I then give a different answer to this question, and I argue that this answer is satisfactory. I end by showing that this (...) answer can help to resolve some disagreements in which the difference between inferential and noninferential reasoning plays a role. (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)

Satisficing is a central concept in both individual and social multiagent decision making. In this paper we first extend the notion of satisficing by formally modeling the tradeoff between costs and decision failure. Second, we extend this notion of “neo”-satisficing into the context of social or multiagent decision making and interaction, and model the social conditioning of preferences in a satisficing framework.

Given the role consensus is supposed to play in the social aspects of inquiry and deliberation, it is important that we may always identify a consensus as the basis of joint inquiry and deliberation. However, it turns out that if we think of an agent revising her beliefs to reach a consensus, then, on the received view of belief revision, AGM belief revision theory, certain simple and compelling consensus positions are not always available.

Epistemic states of uncertainty play important roles in ethical and political theorizing. Theories that appeal to a “veil of ignorance,” for example, analyze fairness or impartiality in terms of certain states of ignorance. It is important, then, to scrutinize proposed conceptions of ignorance and explore promising alternatives in such contexts. Here, I study Lerner’s probabilistic egalitarian theorem in the setting of imprecise probabilities. Lerner’s theorem assumes that a social planner tasked with distributing income to individuals in a population is “completely (...) ignorant” about which utility functions belong to which individuals. Lerner models this ignorance with a certain uniform probability distribution, and shows that, under certain further assumptions, income should be equally distributed. Much of the criticism of the relevance of Lerner’s result centers on the representation of ignorance involved. Imprecise probabilities provide a general framework for reasoning about various forms of uncertainty including, in particular, ignorance. To what extent can Lerner’s conclusion be maintained in this setting? (shrink)

Why is common priors are implicit or explicit in the vast majority of the differential information literature in economics and game theory? Why has the economic community been unwilling, in practice, to accept and actually use the idea of truly personal probabilities in much the same way that it did accept the idea of personal utility functions? After all, in, both the utilities and probabilities are derived separately for each decision maker. Why were the utilities accepted as personal, and the (...) probabilities not? (shrink)

The question of how the probabilistic opinions of different individuals should be aggregated to form a group opinion is controversial. But one assumption seems to be pretty much common ground: for a group of Bayesians, the representation of group opinion should itself be a unique probability distribution, 410–414, [45]; Bordley Management Science, 28, 1137–1148, [5]; Genest et al. The Annals of Statistics, 487–501, [21]; Genest and Zidek Statistical Science, 114–135, [23]; Mongin Journal of Economic Theory, 66, 313–351, [46]; Clemen and (...) Winkler Risk Analysis, 19, 187–203, [7]; Dietrich and List [14]; Herzberg Theory and Decision, 1–19, [28]). We argue that this assumption is not always in order. We show how to extend the canonical mathematical framework for pooling to cover pooling with imprecise probabilities by employing set-valued pooling functions and generalizing common pooling axioms accordingly. As a proof of concept, we then show that one IP construction satisfies a number of central pooling axioms that are not jointly satisfied by any of the standard pooling recipes on pain of triviality. Following Levi, 3–11, [39]), we also argue that IP models admit of a much better philosophical motivation as a model of rational consensus. (shrink)

We explore which types of probabilistic updating commute with convex IP pooling. Positive results are stated for Bayesian conditionalization, imaging, and a certain parameterization of Jeffrey conditioning. This last observation is obtained with the help of a slight generalization of a characterization of externally Bayesian pooling operators due to Wagner :336–345, 2009). These results strengthen the case that pooling should go by imprecise probabilities since no precise pooling method is as versatile.

I focus my discussion on the well-known Ellsberg paradox. I find good normative reasons for incorporating non-precise belief, as represented by sets of probabilities, in an Ellsberg decision model. This amounts to forgoing the completeness axiom of expected utility theory. Provided that probability sets are interpreted as genuinely indeterminate belief, such a model can moreover make the “Ellsberg choices” rationally permissible. Without some further element to the story, however, the model does not explain how an agent may come to have (...) unique preferences for each of the Ellsberg options. Levi holds that the extra element amounts to innocuous secondary “risk” or security considerations that are used to break ties when more than one option is rationally permissible. While I think a lexical choice rule of this kind is very plausible, I argue that it involves a greater break with xpected utility theory than mere violation of the ordering axiom. (shrink)

Bayesians often appeal to “merging of opinions” to rebut charges of excessive subjectivity. But what happens in the short run is often of greater interest than what happens in the limit. Seidenfeld and coauthors use this observation as motivation for investigating the counterintuitive short run phenomenon of dilation, since, they allege, dilation is “the opposite” of asymptotic merging of opinions. The measure of uncertainty relevant for dilation, however, is not the one relevant for merging of opinions. We explicitly investigate the (...) short run behavior of the metric relevant for merging, and show that dilation is independent of the opposite of merging. (shrink)

This article critically examines a recent philosophical debate on the role of values in climate change forecasts, such as those found in assessment reports of the Intergovernmental Panel on Climate Change. On one side, several philosophers insist that the argument from inductive risk, as developed by Rudner and Douglas among others, applies to this case. AIR aims to show that ethical value judgments should influence decisions about what is sufficient evidence for accepting scientific hypotheses that have implications for policy issues. (...) Advocates of extending AIR to climate science claim that values are deeply... (shrink)

Ideal agents are role models whose perfection in some normative domain we try to approximate. But which form should this striving take? It is well known that following ideal rules of practical reasoning can have disastrous results for non-ideal agents. Yet, this issue has not been explored with respect to rules of theoretical reasoning. I show how we can extend Bayesian models of ideally rational agents in order to pose and answer the question of whether non-ideal agents should form new (...) degrees of belief in the same way as their ideal counterparts. I demonstrate that the epistemic and the practical case are parallel: following ideal rules does not always lead to optimal outcomes for non-ideal agents. (shrink)

Since rationality is a normative ideal, it is difficult to see how a theory of rationality might be subjected to empirical evaluation. This paper explores various aspects of this problem in relation to the work of L. J. Cohen, Amos Tversky and Daviel Kahneman, Ellery Eells, Isaac Levi, and Henry Kyburg. Special consideration is given to its significance for testing systems of inductive logic.

The received model of degrees of belief represents them as probabilities. Over the last half century, many philosophers have been convinced that this model fails because it cannot make room for the idea that an agent’s degrees of belief should respect the available evidence. In its place they have advocated a model that represents degrees of belief using imprecise probabilities (sets of probability functions). This paper presents a model of degrees of belief based on Dempster–Shafer belief functions and then presents (...) arguments for belief functions over imprecise probabilities as a model of evidence-respecting degrees of belief. The arguments cover three kinds of issue: theoretical virtues (simplicity, interpretability and flexibility); motivations; and problem cases (dilation and belief inertia). (shrink)

The traditional solutions to the Sleeping Beauty problem say that Beauty should have either a sharp 1/3 or sharp 1/2 credence that the coin flip was heads when she wakes. But Beauty’s evidence is incomplete so that it doesn’t warrant a precise credence, I claim. Instead, Beauty ought to have a properly imprecise credence when she wakes. In particular, her representor ought to assign \(R(H\!eads)=[0,1/2]\) . I show, perhaps surprisingly, that this solution can account for the many of the intuitions (...) that motivate the traditional solutions. I also offer a new objection to Elga’s restricted version of the principle of indifference, which an opponent may try to use to collapse the imprecision. (shrink)