What is the relation or connection between formalizations of induction and the actual inductive inferences of scientists? Building from recent works in the philosophy of logic, this paper argues that these formalizations of induction are best viewed as models and not literal descriptions of inductive inferences in science. Three arguments are put forward to support this claim. First, I argue that inductive support is the kind of phenomenon that can be justifiably modeled. Second, I argue that these formalizations have the (...) features that define models—that they have representors, artefacts, and idealizations. Third, I argue that these formalizations being models explains their plurality and revisability. (shrink)

Some epistemologists think that the Bayesian ideals matter because we can approximate them. That is, our attitudes can be more or less close to the ones of our ideal Bayesian counterpart. In this paper, I raise a worry for this justification of epistemic ideals. The worry is this: In order to correctly compare agents to their ideal counterparts, we need to imagine idealized agents who have the same relevant information, knowledge, or evidence. However, there are cases in which one’s ideal (...) counterpart cannot have one’s information, knowledge, or evidence. In these situations, agents cannot compare themselves to their ideal counterpart. (shrink)

Structural requirements of rationality prohibit various things, like having inconsistent combinations of attitudes, having means-end incoherent combinations of attitudes, and so on. But what is the distinctive feature of structural requirements of rationality? And do we fall under an obligation to be structurally rational? These issues have been at the heart of significant debates over the past fifteen years. Some philosophers have recently argued that we can unify the structural requirements of rationality by analyzing what is constitutive of our attitudes (...) (Lee, 2020; Worsnip, 2018a). It has also been suggested that, in the course of good first-personal deliberation, agents should treat structurally irrational combinations of attitudes as off-limits (Worsnip, 2021). In this paper, I raise a worry for these two theses concerning structural rationality. Roughly, I argue that some imperfect epistemic agents (like us) can be disposed to have structurally irrational combinations of attitudes. Also, when these imperfect agents deliberate, they should not treat structurally irrational combinations of attitudes as off-limits. Given our imperfections, being structurally irrational can very well be the best option we have. More generally, these observations reveal that structural rationality should not always be theorized independently from more “substantive” norms, like responsiveness to reasons or expected value optimization. (shrink)

What is structural rationality? Specifically, what is the distinctive feature of structural requirements of rationality? Some philosophers have argued, roughly, that the distinctive feature of structural requirements is coherence. But what does coherence mean, exactly? Or, at least, what do structuralists about rationality have in mind when they claim that structural rationality is coherence? This issue matters for making progress in various active debates concerning rationality. In this paper, I analyze three strategies for figuring out what coherence means in the (...) debates on structural rationality. I argue that these strategies face problems. (shrink)

Fodor argued that learning a concept by hypothesis testing would involve an impossible circularity. I show that Fodor's argument implicitly relies on the assumption that actually φ-ing entails an ability to φ. But this assumption is false in cases of φ-ing by luck, and just such luck is involved in testing hypotheses with the kinds of generative random sampling methods that many cognitive scientists take our minds to use. Concepts thus can be learned by hypothesis testing without circularity, and it (...) is plausible that this is how humans in fact acquire at least some of their concepts. (shrink)

– We offer a new motivation for imprecise probabilities. We argue that there are propositions to which precise probability cannot be assigned, but to which imprecise probability can be assigned. In such cases the alternative to imprecise probability is not precise probability, but no probability at all. And an imprecise probability is substantially better than no probability at all. Our argument is based on the mathematical phenomenon of non-measurable sets. Non-measurable propositions cannot receive precise probabilities, but there is a natural (...) way for them to receive imprecise probabilities. The mathematics of non-measurable sets is arcane, but its epistemological import is far-reaching; even apparently mundane propositions are liable to be affected by non-measurability. The phenomenon of non-measurability dramatically reshapes the dialectic between critics and proponents of imprecise credence. Non-measurability offers natural rejoinders to prominent critics of imprecise credence. Non-measurability even reverses some of the critics’ arguments—by the very lights that have been used to argue against imprecise credences, imprecise credences are better than precise credences. (shrink)

It would be good to have a Bayesian decision theory that assesses our decisions and thinking according to everyday standards of rationality — standards that do not require logical omniscience (Garber 1983, Hacking 1967). To that end we develop a “fragmented” decision theory in which a single state of mind is represented by a family of credence functions, each associated with a distinct choice condition (Lewis 1982, Stalnaker 1984). The theory imposes a local coherence assumption guaranteeing that as an agent's (...) attention shifts, successive batches of "obvious" logical information become available to her. A rule of expected utility maximization can then be applied to the decision of what to attend to next during a train of thought. On the resulting theory, rationality requires ordinary agents to be logically competent and to often engage in trains of thought that increase the unification of their states of mind. But rationality does not require ordinary agents to be logically omniscient. (shrink)

Classic inductive skepticism–the epistemological claim that we have no good reason to believe that the unobserved resembles the observed–is plausibly everyone’s lot, whether or not they embrace Hume’s metaphysical claim that distinct existents are “entirely loose and separate”. But contemporary advocates of a Humean metaphysic accept a metaphysical claim stronger than Hume’s own. I argue that their view plausibly gives rise to a radical inductive skepticism–according to which we are downright irrational in believing as we do about the unobserved–that we (...) don’t otherwise have reason to accept. The Metaphysical Neo-Humean is in an epistemological quagmire all her own. (shrink)

Plausibly, how much is at stake in some salient practical task can affect how generously people ascribe knowledge of task-relevant facts. There is a metaphysical puzzle about this phenomenon, and an empirical puzzle. Metaphysically: there are competing theories about when and how practical stakes affect whether it is correct to ascribe knowledge. Which of these theories is the right one? Empirically: experimental philosophy has struggled to find a stakes-effect on people’s knowledge ascriptions. Is the alleged phenomenon just a philosopher’s fantasy? (...) I propose a new psychological account of when and why people’s knowledge ascriptions are sensitive to stakes. My hypothesis is motivated by empirical research on how people’s judgements are sensitive to their social context. Specifically, people’s evaluations are sensitive to their ‘psychological distance’ from the scenarios they are considering. When using ‘fixed-evidence probes’, experimental philosophy has found that what’s at stake for a fictional character in a made-up scenario has little or no effect on how participants ascribe knowledge to them. My hypothesis predicts this finding: the scenarios are too ‘psychologically distant’ to participants. Our empirical puzzle is resolved: the stakes-effect often present in the wild won’t be present in vignette studies. (This illustrates a widespread problem with X-phi vignette studies: if people might judge differently in other social contexts, we can’t generalize from the results of these experiments. That is, vignette studies are of doubtful ‘external validity’.) The hypothesis also resolves our metaphysical puzzle. It predicts that people do not ascribe knowledge in a way deemed correct by any of the standard philosophical views, namely classical invariantism, interest-relative invariantism, and contextualism. Our knowledge ascriptions shift around in the way that’s most useful for social beings like us, and this pattern in our judgements can only be endorsed by a genuinely relativist metaphysics for knowledge. (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...) a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (shrink)

How should we reason in science? Jan Sprenger and Stephan Hartmann offer a refreshing take on classical topics in philosophy of science, using a single key concept to explain and to elucidate manifold aspects of scientific reasoning. They present good arguments and good inferences as being characterized by their effect on our rational degrees of belief. Refuting the view that there is no place for subjective attitudes in 'objective science', Sprenger and Hartmann explain the value of convincing evidence in terms (...) of a cycle of variations on the theme of representing rational degrees of belief by means of subjective probabilities (and changing them by Bayesian conditionalization). In doing so, they integrate Bayesian inference—the leading theory of rationality in social science—with the practice of 21st century science. Bayesian Philosophy of Science thereby shows how modeling such attitudes improves our understanding of causes, explanations, confirming evidence, and scientific models in general. It combines a scientifically minded and mathematically sophisticated approach with conceptual analysis and attention to methodological problems of modern science, especially in statistical inference, and is therefore a valuable resource for philosophers and scientific practitioners. (shrink)

The Capgras delusion is a condition in which a person believes that an imposter has replaced some close friend or relative. Recent theorists have appealed to Bayesianism to help explain both why a subject with the Capgras delusion adopts this delusional belief and why it persists despite counter-evidence. The Bayesian approach is useful for addressing these questions; however, the main proposal of this essay is that Capgras subjects also have a delusional conception of epistemic possibility, more specifically, they think more (...) things are possible, given what is known, than non-delusional subjects do. I argue that this is a central way in which their thinking departs from ordinary cognition and that it cannot be characterized in Bayesian terms. Thus, in order to fully understand the cognitive processing involved in the Capgras delusion, we must move beyond Bayesianism. 1 The Simple Bayesian Model2 Anomalous Evidence and the Capgras Delusion3 Impaired Reasoning4 Setting Priors5 Epistemic Modality6 Delusions of Possibility7 Delusions of Possibility in Different Contexts8 How Many Factors? (shrink)

Say that an agent is "epistemically humble" if she is less than certain that her opinions will converge to the truth, given an appropriate stream of evidence. Is such humility rationally permissible? According to the orgulity argument : the answer is "yes" but long-run convergence-to-the-truth theorems force Bayesians to answer "no." That argument has no force against Bayesians who reject countable additivity as a requirement of rationality. Such Bayesians are free to count even extreme humility as rationally permissible.

Many philosophers have argued that "degree of belief" or "credence" is a more fundamental state grounding belief. Many other philosophers have been skeptical about the notion of "degree of belief", and take belief to be the only meaningful notion in the vicinity. This paper shows that one can take belief to be fundamental, and ground a notion of "degree of belief" in the patterns of belief, assuming that an agent has a collection of beliefs that isn't dominated by some other (...) collection in terms of the overall balance of truth and falsity that it could contain. (shrink)

The Sleeping Beauty Problem attracts so much attention because it connects to a wide variety of unresolved issues in formal epistemology, decision theory, and the philosophy of science. The problem raises unanswered questions concerning relative frequencies, objective chances, the relation between self-locating and non-self-locating information, the relation between self-location and updating, Dutch Books, accuracy arguments, memory loss, indifference principles, the existence of multiple universes, and many-worlds interpretations of quantum mechanics. After stating the problem, this article surveys its connections to all (...) of these areas. (shrink)

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I I will first present the AGM theory of belief revision (Alchourrón & Gärdenfors & Makinson 1985). Then I will focus on the problem of iterated belief revisions.

Epistemology is the study of knowledge and justified belief. Belief is thus central to epistemology. It comes in a qualitative form, as when Sophia believes that Vienna is the capital of Austria, and a quantitative form, as when Sophia's degree of belief that Vienna is the capital of Austria is at least twice her degree of belief that tomorrow it will be sunny in Vienna. Formal epistemology, as opposed to mainstream epistemology (Hendricks 2006), is epistemology done in a formal way, (...) that is, by employing tools from logic and mathematics. The goal of this entry is to give the reader an overview of the formal tools available to epistemologists for the representation of belief. A particular focus will be the relation between formal representations of qualitative belief and formal representations of quantitative degrees of belief. (shrink)

Number theory abounds with conjectures asserting that every natural number has some arithmetic property. An example is Goldbach’s Conjecture, which states that every even number greater than 2 is the sum of two primes. Enumerative inductive evidence for such conjectures usually consists of small cases. In the absence of supporting reasons, mathematicians mistrust such evidence for arithmetical generalisations, more so than most other forms of non-deductive evidence. Some philosophers have also expressed scepticism about the value of enumerative inductive evidence in (...) arithmetic. But why? Perhaps the best argument is that known instances of an arithmetical conjecture are almost always small: they appear at the start of the natural number sequence. Evidence of this kind consequently suffers from size bias. My essay shows that this sort of scepticism comes in many different flavours, raises some challenges for them all, and explores their respective responses. (shrink)

In this paper, I provide a new argument in support of a concessive response to the Ravens Paradox. The argument I offer stems from Mark Schroeder's Gricean explanation for why existential judgments about normative reasons for action are unreliable. In short, I argue that Schroeder's work suggests that, in the case of the Ravens Paradox, people are running together the issue of what's assertible about evidence with what's true about evidence. Once these issues are pulled apart, we have reason to (...) think that the negative existential judgment about evidence that drives the Ravens Paradox is mistaken, and thus that there is in fact no paradox here at all. (shrink)

This paper explains what’s wrong with a Hume-inspired argument for skepticism about induction. Hume’s argument takes as a premise that inductive reasoning presupposes that the future will resemble the past. I explain why that claim is not plausible. The most plausible premise in the vicinity is that inductive reasoning from E to H presupposes that if E then H. I formulate and then refute a skeptical argument based on that premise. Central to my response is a psychological explanation for how (...) people judge that if E then H without realizing that they thereby settled the matter rationally. (shrink)

This article connects recent work in formal epistemology to work in economics and computer science. Analysing the Dutch Book Arguments, Epistemic Utility Theory and Objective Bayesian Epistemology we discover that formal epistemologists employ the same argument structure as economists and computer scientists. Since similar approaches often have similar problems and have shared solutions, opportunities for cross-fertilisation abound.

We present a conservative extension of a Bayesian account of confirmation that can deal with the problem of old evidence and new theories. So-called open-minded Bayesianism challenges the assumption—implicit in standard Bayesianism—that the correct empirical hypothesis is among the ones currently under consideration. It requires the inclusion of a catch-all hypothesis, which is characterized by means of sets of probability assignments. Upon the introduction of a new theory, the former catch-all is decomposed into a new empirical hypothesis and a new (...) catch-all. As will be seen, this motivates a second update rule, besides Bayes’ rule, for updating probabilities in light of a new theory. This rule conserves probability ratios among the old hypotheses. This framework allows for old evidence to confirm a new hypothesis due to a shift in the theoretical context. The result is a version of Bayesianism that, in the words of Earman, “keep[s] an open mind, but not so open that your brain falls out”. (shrink)

According to the Theory of the Second Best, in non-ideal circumstances, approximating ideals might be suboptimal (with respect to a specific interpretation of what “approximating an ideal” means). In this paper, I argue that the formal model underlying the Theory can apply to problems in epistemology. Two applications are discussed: First, in some circumstances, second-best problems arise in Bayesian settings. Second, the division of epistemic labour can be subject to second-best problems. These results matter. They allow us to evaluate the (...) claim, made by many philosophers, that second-best problems have import in epistemology (and the specific conditions under which the Theory finds applications). They also allow us to see that talk of “approximating an ideal” is ambiguous, and to clarify the conditions in which approximating an epistemic ideal might be beneficial. (shrink)

This paper seeks to explicate and analyze an alternative response to fine-tuning arguments from those that are typically given—namely, design or brute contingency. The response I explore is based on necessity, the necessitarian response. After showing how necessity blocks the argument, I explicate the reply I claim necessitarians can give and suggest how its three requirements can be met: firstly, that laws are metaphysically necessary; secondly, that constants are metaphysically necessary; and thirdly, that the fundamental properties that determine the laws (...) and constants are necessary. After discussing each in turn, I end the paper by assessing how the response fares when running the fine-tuning argument in two ways, as an inference to best explanation and as a Bayesian argument. (shrink)

We investigate the general properties of general Bayesian learning, where “general Bayesian learning” means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect to the probability measure. If (...) a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes’ rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)

The Bayes Blind Spot of a Bayesian Agent is, by definition, the set of probability measures on a Boolean σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}-algebra that are absolutely continuous with respect to the background probability measure of a Bayesian Agent on the algebra and which the Bayesian Agent cannot learn by a single conditionalization no matter what evidence he has about the elements in the Boolean σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma (...) $$\end{document}-algebra. It is shown that if the Boolean algebra is finite, then the Bayes Blind Spot is a very large set: it has the same cardinality as the set of all probability measures ; it has the same measure as the measure of the set of all probability measures ; and is a “fat” set in topological sense in the set of all probability measures taken with its natural topology. Features of the Bayes Blind Spot are determined from the perspective of repeated Bayesian learning when the Boolean algebra is finite. Open problems about the Bayes Blind Spot are formulated in probability spaces with infinite Boolean σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}-algebras. The results are discussed from the perspective of Bayesianism. (shrink)

Norms—that is, specifications of what we ought to do—play a critical role in the study of informal argumentation, as they do in studies of judgment, decision-making and reasoning more generally. Specifically, they guide a recurring theme: are people rational? Though rules and standards have been central to the study of reasoning, and behavior more generally, there has been little discussion within psychology about why (or indeed if) they should be considered normative despite the considerable philosophical literature that bears on this (...) topic. In the current paper, we ask what makes something a norm, with consideration both of norms in general and a specific example: norms for informal argumentation. We conclude that it is both possible and desirable to invoke norms for rational argument, and that a Bayesian approach provides solid normative principles with which to do so. (shrink)