This paper focuses on the normative analysis—in the sense of the classic decision-theoretic formulation—of decision problems that arise in connection with forensic expert reporting. We distinguish this analytical account from other common types of decision analyses, such as descriptive approaches. While decision theory is, since several decades, an extensively discussed topic in legal literature, its use in forensic science is more recent, and with an emphasis on goals such as the analysis of the logical structure of forensic expert conclusions regarding, (...) for example, propositions of common source of evidential and known materials. Typical examples are so-called identification decisions, especially categorical conclusions according to which fingermarks come from a particular a person of interest. We will present and compare ways of stating forensic identification decisions in decision-theoretic terms and explain their underlying rationale. In particular, we will emphasize the importance of viewing this analysis as normative in the sense of providing a reflective rather than a prescriptive reference point against which people in charge of forensic identification decisions may compare their otherwise intuitive and informal reasoning, before acting. Normative decision analysis in forensic science thus provides a vector through which current practice can be articulated, scrutinized and rethought. (shrink)

The paper considers the conjecture that forecasts from preferred economic models or theories d-separate forecasts from less preferred models or theories from the Actual realization of the variable for which a scientific explanation is sought. D-separation provides a succinct notion to represent forecast dominance of one set of forecasts over another; it provides, as well, a criterion for model preference as a fundamental device for progress in economic science. We demonstrate these ideas with examples from three areas of economic modeling.

We argue that there is a simple, unique, reason for all quantum paradoxes, and that such a reason is not uniquely related to quantum theory. It is rather a mathematical question that arises at the intersection of logic, probability, and computation. We give our ‘weirdness theorem’ that characterises the conditions under which the weirdness will show up. It shows that whenever logic has bounds due to the algorithmic nature of its tasks, then weirdness arises in the special form of negative (...) probabilities or non-classical evaluation functionals. Weirdness is not logical inconsistency, however. It is only the expression of the clash between an unbounded and a bounded view of computation in logic. We discuss the implication of these results for quantum mechanics, arguing in particular that its interpretation should ultimately be computational rather than exclusively physical. We develop in addition a probabilistic theory in the real numbers that exhibits the phenomenon of entanglement, thus concretely showing that the latter is not specific to quantum mechanics. (shrink)

Everett’s Relative State Interpretation has gained increasing interest due to the progress of understanding the role of decoherence. In order to fulfill its promise as a realistic description of the physical world, two postulates are formulated. In short they are for a system with continuous coordinates \, discrete variable j, and state \\), the density \=|\psi _j|^2\) gives the distribution of the location of the system with the respect to the variables \ and j; an equation of motion for the (...) state \. The first postulate connects the mathematical description to the physical reality, which has been missing in previous versions. The contents of the standard postulates are derived, including the appearance of Hilbert space and the Born rule. The approach to probabilities earlier proposed by Greaves replaces the classical probability concept in the Born rule. The new quantum probability concept, earlier advocated by Deutsch and Wallace, is void of the requirement of uncertainty. (shrink)

Hájek (Erkenntnis 70(2):211–235, 2009) argues that probabilities cannot be the limits of relative frequencies in counterfactual infinite sequences. I argue for a different understanding of these limits, drawing on Norton’s (Philos Sci 79(2):207–232, 2012) distinction between approximations (inexact descriptions of a target) and idealizations (separate models that bear analogies to the target). Then, I adapt Hájek’s arguments to this new context. These arguments provide excellent reasons not to use hypothetical frequencies as idealizations, but no reason not to use them as (...) approximations. (shrink)

The inaugural title in the new, Open Access series BSPS Open, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference. The fundamental burden of a theory of inductive inference is to determine which are the good inductive inferences or relations of inductive support and why it is that they are so. The traditional approach is modeled on that taken in accounts of deductive inference. It seeks universally applicable schemas or rules or a single (...) formal device, such as the probability calculus. After millennia of halting efforts, none of these approaches has been unequivocally successful and debates between approaches persist. The Material Theory of Induction identifies the source of these enduring problems in the assumption taken at the outset: that inductive inference can be accommodated by a single formal account with universal applicability. Instead, it argues that that there is no single, universally applicable formal account. Rather, each domain has an inductive logic native to it. Which that is, and its extent, is determined by the facts prevailing in that domain. Paying close attention to how inductive inference is conducted in science and copiously illustrated with real-world examples, The Material Theory of Induction will initiate a new tradition in the analysis of inductive inference. (shrink)

An aspect of Peirce’s thought that may still be underappreciated is his resistance to what Levi calls _pedigree epistemology_, to the idea that a central focus in epistemology should be the justification of current beliefs. Somewhat more widely appreciated is his rejection of the subjective view of probability. We argue that Peirce’s criticisms of subjectivism, to the extent they grant such a conception of probability is viable at all, revert back to pedigree epistemology. A thoroughgoing rejection of pedigree in the (...) context of probabilistic epistemology, however, _does_ challenge prominent subjectivist responses to the problem of the priors. (shrink)

Traditionally, epistemologists have distinguished between epistemic and pragmatic goals. In so doing, they presume that much of game theory is irrelevant to epistemic enterprises. I will show that this is a mistake. Even if we restrict attention to purely epistemic motivations, members of epistemic groups will face a multitude of strategic choices. I illustrate several contexts where individuals who are concerned solely with the discovery of truth will nonetheless face difficult game theoretic problems. Examples of purely epistemic coordination problems and (...) social dilemmas will be presented. These show that there is a far deeper connection between economics and epistemology than previous appreciated. (shrink)

Recent work has formally linked the traditional axiomatisation of incomplete preferences à la Anscombe-Aumann with the theory of desirability developed in the context of imprecise probability, by showing in particular that they are the very same theory. The equivalence has been established under the constraint that the set of possible prizes is finite. In this paper, we relax such a constraint, thus de facto creating one of the most general theories of rationality and decision making available today. We provide the (...) theory with a sound interpretation and with basic notions, and results, for the separation of beliefs and values, and for the case of complete preferences. Moreover, we discuss the role of conglomerability for the presented theory, arguing that it should be a rationality requirement under very broad conditions. (shrink)

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of (...) ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively. (shrink)

This paper presents a new solution to the well-known exchange paradox, or what is sometimes referred to as the two-envelope paradox. Many recent commentators have analyzed the paradox in terms of the agent’s biased concern for the contents of his own arbitrarily chosen envelope, claiming that such bias violates the manifest symmetry of the situation. Such analyses, however, fail to make clear exactly how the symmetry of the situation is violated by the agent’s hypothetical conclusion that he ought to switch (...) envelopes on the assumption that his own envelope contains some specific amount of money. In this paper, I offer an explanation of this fact based on the idea that the agent’s deliberations are not only constrained by the epistemic symmetry reflected in the agent’s uniform ignorance as to the contents of the two envelopes, but also by a deeper methodological symmetry that manifests itself in the intuition that the two envelopes constitute equally legitimate sources of potential information. I interpret this intuition as implying that the agent’s final decision should reflect a point of rational equilibrium arrived at through an iterated process of counterfactual self-reflection, whereby the agent takes account of what he would have thought had he instead chosen the other envelope. I provide a formal model of this method of counterfactual self-reflection and show, in particular, that it cannot issue in the paradoxical conclusion that the agent ought to switch regardless of how much money is in his envelope. In this way, by correcting for the bias in the agent’s reasoning, the paradox is resolved. (shrink)

With Humean empiricism and its agnostic stance regarding the future as a foil, I take a bird’s eye view of the links between past and future prescribed by ordinary concepts of everyday things and processes, and by scientific models of phenomenal situations. I argue that they entitle us to claim knowledge of the future—including, where appropriate, its necessary course—in a humanly affordable sense of ‘knowledge’.

The use of the Bayes factor (BF) or likelihood ratio as a metric to assess the probative value of forensic traces is largely supported by operational standards and recommendations in different forensic disciplines. However, the progress towards more widespread consensus about foundational principles is still fragile as it raises new problems about which views differ. It is not uncommon e.g. to encounter scientists who feel the need to compute the probability distribution of a given expression of evidential value (i.e. a (...) BF), or to place intervals or significance probabilities on such a quantity. The article here presents arguments to show that such views involve a misconception of principles and abuse of language. The conclusion of the discussion is that, in a given case at hand, forensic scientists ought to offer to a court of justice a given single value for the BF, rather than an expression based on a distribution over a range of values. (shrink)

Recently, there has been some discussion of how Dutch Book arguments might be used to demonstrate the rational incoherence of certain hidden variable models of quantum theory. In this paper, we argue that the 'form of inconsistency' underlying this alleged irrationality is deeply and comprehensively related to the more familiar 'inconsistency' phenomenon of contextuality. Our main result is that the hierarchy of contextuality due to Abramsky and Brandenburger corresponds to a hierarchy of additivity/convexity-violations which yields formal Dutch Books of different (...) strengths. We then use this result to provide a partial assessment of whether these formal Dutch Books can be interpreted normatively. (shrink)

If we think, as Ramsey did, that a degree of belief that P is a stronger or weaker tendency to act as if P, then it is clear that not only uncertainty, but also vagueness, gives rise to degrees of belief. If I like hot coffee and do not know whether the coffee is hot or cold, I will have some tendency to reach for a cup; if I like hot coffee and know that the coffee is borderline hot, I (...) will have some tendency to reach for a cup. Suppose that we take degrees of belief arising from uncertainty to obey the laws of probability and that we model vagueness using degrees of truth. We then encounter a problem: it does not look as though degrees of belief arising from vagueness should obey the laws of probability. One response would be to countenance two different sorts of degrees of belief: degrees of belief arising from uncertainty, which obey the laws of probability; and degrees of belief arising from vagueness, which obey a different set of laws. I argue, however, that if a degree of belief that P is a stronger or weaker tendency to act as if P, then this option is not open. Instead, I propose an account of the behaviour of degrees of belief that integrates subjective probabilities and degrees of truth. On this account, degrees of belief are expectations of degrees of truth. The account explains why degrees of belief behave in accordance with the laws of probability in cases involving only uncertainty, while also allowing degrees of belief to behave differently in cases involving only vagueness, and in mixed cases involving both uncertainty and vagueness. Justifications of the account are given both via Dutch books and in terms of epistemic accuracy. (shrink)

A common objection to theories of vagueness based on fuzzy logics centres on the idea that assigning a single numerical degree of truth -- a real number between 0 and 1 -- to each vague statement is excessively precise. A common objection to Bayesian epistemology centres on the idea that assigning a single numerical degree of belief -- a real number between 0 and 1 -- to each proposition is excessively precise. In this paper I explore possible parallels between these (...) objections. In particular I argue that the only good objection along these lines to fuzzy theories of vagueness does not translate into a good objection to Bayesian epistemology. An important part of my argument consists in drawing a distinction between two different notions of degree of belief, which I call dispositional degree of belief and epistemic degree of belief. (shrink)

It is a common view that the axioms of probability can be derived from the following assumptions: probabilities reflect degrees of belief, degrees of belief can be measured as betting quotients; and a rational agent must select betting quotients that are coherent. In this paper, I argue that a consideration of reasonable betting behaviour, with respect to the alleged derivation of the first axiom of probability, suggests that and are incorrect. In particular, I show how a rational agent might assign (...) a ‘probability’ of zero to an event which she is sure will occur. (shrink)

Can scientific evidence outstretch what scientists have mentally entertained, or could ever entertain? This article focuses on the plausibility and consequences of an affirmative answer in a special case. Specifically, it discusses how we may treat automated scientific data-gathering systems—especially AI systems used to make predictions or to generate novel theories—from the point of view of confirmation theory. It uses AlphaFold2 as a case study.

Probabilistic argumentation and neuro-argumentative systems offer new computational perspectives for the theory and applications of argumentation, but their principled construction involves two entangled problems. On the one hand, probabilistic argumentation aims at combining the quantitative uncertainty addressed by probability theory with the qualitative uncertainty of argumentation, but probabilistic dependences amongst arguments as well as learning are usually neglected. On the other hand, neuro-argumentative systems offer the opportunity to couple the computational advantages of learning and massive parallel computation from neural networks (...) with argumentative reasoning and explanatory abilities, but the relation of probabilistic argumentation frameworks with these systems has been ignored so far. Towards the construction of neuro-argumentative systems based on probabilistic argumentation, we associate a model of abstract argumentation and the graphical model of Boltzmann machines in order to (i... (shrink)

Classical (Bayesian) probability (CP) theory has led to an influential research tradition for modeling cognitive processes. Cognitive scientists have been trained to work with CP principles for so long that it is hard even to imagine alternative ways to formalize probabilities. However, in physics, quantum probability (QP) theory has been the dominant probabilistic approach for nearly 100 years. Could QP theory provide us with any advantages in cognitive modeling as well? Note first that both CP and QP theory share the (...) fundamental assumption that it is possible to model cognition on the basis of formal, probabilistic principles. But why consider a QP approach? The answers are that (1) there are many well-established empirical findings (e.g., from the influential Tversky, Kahneman research tradition) that are hard to reconcile with CP principles; and (2) these same findings have natural and straightforward explanations with quantum principles. In QP theory, probabilistic assessment is often strongly context- and order-dependent, individual states can be superposition states (that are impossible to associate with specific values), and composite systems can be entangled (they cannot be decomposed into their subsystems). All these characteristics appear perplexing from a classical perspective. However, our thesis is that they provide a more accurate and powerful account of certain cognitive processes. We first introduce QP theory and illustrate its application with psychological examples. We then review empirical findings that motivate the use of quantum theory in cognitive theory, but also discuss ways in which QP and CP theories converge. Finally, we consider the implications of a QP theory approach to cognition for human rationality. (shrink)

Branden Fitelson and Alan Hájek have suggested that it is finally time for a “revolution” in which we jettison Kolmogorov’s axiomatization of probability, and move to an alternative like Popper’s. According to these authors, not only did Kolmogorov fail to give an adequate analysis of conditional probability, he also failed to give an adequate account of another central notion in probability theory: probabilistic independence. This paper defends Kolmogorov, with a focus on this independence charge. I show that Kolmogorov’s sophisticated theory (...) of conditional distributions, advocated by authors such as Kenny Easwaran but often overlooked by philosophers, has the resources to define the notion of independence Fitelson and Hájek seek. I then argue that Kolmogorov’s original definition of independence, once suitably reinterpreted as capturing a slight logical weakening of this notion, is not so problematic after all. Indeed, rather than discarding Kolmogorov’s definition, we should make room for two distinct notions of probabilistic independence, one stronger and one weaker, which play different theoretical roles. (shrink)

A diagnostic judgment of a teacher can be seen as an inference from manifest observable evidence on a student’s behavior to his or her latent traits. This can be described by a Bayesian model of in-ference: The teacher starts from a set of assumptions on the student (hypotheses), with subjective probabilities for each hypothesis (priors). Subsequently, he or she uses observed evidence (stu-dents’ responses to tasks) and knowledge on conditional probabilities of this evidence (likelihoods) to revise these assumptions. Many systematic (...) deviations from this model (biases, e.g. base-rate neglect, inverse fallacy) are reported in literature on Bayesian reasoning. In a teacher’s situation the information (hypotheses, priors, likelihoods) is usually not explicitly represented numerically (as in most research on Bayesian reasoning), but only by qualitative esti-mations in the mind of the teacher. In our study, we ask to which extent individuals (approximately) apply a rational Bayesian strategy or resort on other biased strategies of processing information for their diagnostic judgments. We explicitly pose this question with respect to non-numerical settings. To investigate this question, we developed a scenario that visually displays all relevant information (hypotheses, priors, likelihoods) in a graphically displayed hypothesis space (called “hypothegon”) – without recurring to numerical representations or mathematical procedures. 42 pre-service teach-ers were asked to judge the plausibility of different misconceptions of six students based on their responses to decimal comparison tasks (e.g. 3.39 > 3.4). Applying a Bayesian classification proce-dure, we identified three updating strategies: A Bayesian update strategy (BUS, processing all probabilities), a combined evidence strategy (CES, ignoring the prior probabilities but including all likelihoods), and a single evidence strategy (SES, only using the likelihood of the most probable hypothesis). In study 1, an instruction on the relevance of using all probabilities (priors and likelihoods) only weakly increased the processing of more information. In study 2, we found strong evidence that a visual explication of the prior-likelihood interaction led to an increase of processing the interaction of all relevant information. These results show that the phenomena found in general research on Bayesian reasoning in numerical settings extend to diagnostic judgments in non-numerical settings. (shrink)

Because intelligent agents employ physically embodied cognitive systems to reason about the world, their cognitive abilities are constrained by the laws of physics. Scientists have used digital computers to develop and validate theories of physically embodied cognition. Computational theories of intelligence have advanced our understanding of the nature of intelligence and have yielded practically useful systems exhibiting some degree of intelligence. However, the view of cognition as algorithms running on digital computers rests on implicit assumptions about the physical world that (...) are incorrect. Recently, the view is emerging of computing systems as goal-directed agents, evolving during problem solving toward improved world models and better task performance. A full realization of this vision requires a new logic for computing that incorporates learning from experience as an intrinsic part of the logic, and that permits full exploitation of the quantum nature of the physical world. This paper proposes a theory of physically embodied cognitive agents founded upon first-order logic, Bayesian decision theory, and quantum physics. An abstract architecture for a physically embodied cognitive agent is presented. The cognitive aspect is represented as a Bayesian decision theoretic agent; the physical aspect is represented as a quantum process; and these aspects are related through von Neumann’s principle of psycho-physical parallelism. Alternative metaphysical positions regarding the meaning of quantum probabilities and the role of efficacious choices by agents are discussed in relation to the abstract agent architecture. The concepts are illustrated with an extended example from the domain of science fiction. (shrink)

This paper rejects a traditional epistemic interpretation of conditional probability. Suppose some chance process produces outcomes X, Y,..., with probabilities P(X), P(Y),... If later observation reveals that outcome Y has in fact been achieved, then the probability of outcome X cannot normally be revised to P(X|Y) ['P&Y)/P(Y)]. This can only be done in exceptional circumstances - when more than just knowledge of Y-ness has been attained. The primary reason for this is that the weight of a piece of evidence varies (...) with the means by which it is provided, so knowledge of Y-ness does not have uniform impact on the probability of X. A better updating of the probability of X is provided by P(X|Y*), where Y* is not an outcome of the chance process being observed, but the sentence 'the outcome Y has been observed', an 'outcome' of the subsequent observation process. This alternative formula is widely endorsed in practice, but not well recognized in theory, where the oversight has generated some unsatisfactory consequences. (shrink)

We consider here an important family of conditional bets, those that proceed to settlement if and only if some agreed evidence is received that a condition has been met. Despite an opinion widespread in the literature, we observe that when the evidence is strong enough to generate certainty as to whether the condition has been met or not, using traditional conditional probabilities for such bets will NOT preserve a gambler from having a synchronic Dutch Book imposed upon him. On the (...) contrary (I show) the gambler can be Dutch-Booked if his betting ratios ever depart from a rather different probability, one that involves the probability of the agreed evidence being provided. We note furthermore that this same alternative probability assessment is necessary if the evidence is weaker (i.e. if it fails to provide knowledge whether or not the condition has been met.) By contrast, some of the (rather different) probability assessments proposed by Jeffrey, precisely for such situations, still expose the gambler to a Dutch-Book. (shrink)

This paper formally explores the common ground between mild versions of epistemological coherentism and infinitism; it proposes—and argues for—a hybrid, coherentist–infinitist account of epistemic justification. First, the epistemological regress argument and its relation to the classical taxonomy regarding epistemic justification—of foundationalism, infinitism and coherentism—is reviewed. We then recall recent results proving that an influential argument against infinite regresses of justification, which alleges their incoherence on account of probabilistic inconsistency, cannot be maintained. Furthermore, we prove that the Principle of Inferential Justification (...) has rather unwelcome consequences—formally resembling the Sorites paradox—as soon as it is iterated and combined with a natural Bayesian perspective on probabilistic inferences. We conclude that strong versions of foundationalism and infinitism should be abandoned. Positively, we provide a rough sketch for a graded formal coherence notion, according to which infinite regresses of epistemic justification will often have more than a minimal degree of coherence. (shrink)

The problem of how to rationally aggregate probability measures occurs in particular when a group of agents, each holding probabilistic beliefs, needs to rationalise a collective decision on the basis of a single ‘aggregate belief system’ and when an individual whose belief system is compatible with several probability measures wishes to evaluate her options on the basis of a single aggregate prior via classical expected utility theory. We investigate this problem by first recalling some negative results from preference and judgment (...) aggregation theory which show that the aggregate of several probability measures should not be conceived as the probability measure induced by the aggregate of the corresponding expected utility preferences. We describe how McConway’s :410–414, 1981) theory of probabilistic opinion pooling can be generalised to cover the case of the aggregation of infinite profiles of finitely additive probability measures, too; we prove the existence of aggregation functionals satisfying responsiveness axioms à la McConway plus additional desiderata even for infinite electorates. On the basis of the theory of propositional-attitude aggregation, we argue that this is the most natural aggregation theory for probability measures. Our aggregation functionals for the case of infinite electorates are neither oligarchic nor integral-based and satisfy a weak anonymity condition. The delicate set-theoretic status of integral-based aggregation functionals for infinite electorates is discussed. (shrink)

Coherence is a key concept in many accounts of epistemic justification within ‘traditional’ analytic epistemology. Within formal epistemology, too, there is a substantial body of research on coherence measures. However, there has been surprisingly little interaction between the two bodies of literature. The reason is that the existing formal literature on coherence measure operates with a notion of belief system that is very different from—what we argue is—a natural Bayesian formalisation of the concept of belief system from traditional epistemology. Therefore, (...) formal epistemology has so far only been concerned with one particular—arguably not even very natural—way of formalising coherence of belief systems; it has by no means refuted the viability of coherentism. In contrast to the existing literature, we formalise belief systems as families of assignments of (conditional) degrees of belief (which may be compatible with several subjective probability measures). Within this framework, we propose a Bayesian formalisation of the thrust of BonJour’s coherence concept in The structure of empirical knowledge (Harvard University Press, Cambridge, 1985), using a combination of Bayesian confirmation theory and basic graph theory. In excursions, we introduce graded notions for both logical and probabilistic consistency of belief systems—the latter being based on certain geometrical structures induced by probabilistic belief systems. For illustration, we reconsider BonJour’s “ravens” challenge (op. cit., p. 95f.). Finally, potential objections to our proposed formal coherence notion are explored. (shrink)

While its applications have made quantum theory arguably the most successful theory in physics, its interpretation continues to be the subject of lively debate within the community of physicists and philosophers concerned with conceptual foundations. This situation poses a problem for a pragmatist for whom meaning derives from use. While disputes about how to use quantum theory have arisen from time to time, they have typically been quickly resolved, and consensus reached, within the relevant scientific sub-community. Yet rival accounts of (...) the meaning of quantum theory continue to proliferate . In this article I offer a diagnosis of this situation and outline a pragmatist solution to the problem it poses, leaving further details for subsequent articles. (shrink)

Philosophers cannot agree on whether the rule of Countable Additivity should be an axiom of probability. Edwin T. Jaynes attacks the problem in a way which is original to him and passed over in the current debate about the principle: he says the debate only arises because of an erroneous use of mathematical infinity. I argue that this solution fails, but I construct a different argument which, I argue, salvages the spirit of the more general point Jaynes makes. I argue (...) that in Jaynes’s objective Bayesianism we might have good reasons to adopt Countable Additivity, and some of the major problems this adoption is known to entail need not worry us. In particular, I propose to adopt this new angle on Countable Additivity in Jon Williamson’s version of objective Bayesianism. (shrink)

The Lockean Thesis says that you must believe p iff you’re sufficiently confident of it. On some versions, the 'must' asserts a metaphysical connection; on others, it asserts a normative one. On some versions, 'sufficiently confident' refers to a fixed threshold of credence; on others, it varies with proposition and context. Claim: the Lockean Thesis follows from epistemic utility theory—the view that rational requirements are constrained by the norm to promote accuracy. Different versions of this theory generate different versions of (...) Lockeanism; moreover, a plausible version of epistemic utility theory meshes with natural language considerations, yielding a new Lockean picture that helps to model and explain the role of beliefs in inquiry and conversation. Your beliefs are your best guesses in response to the epistemic priorities of your context. Upshot: we have a new approach to the epistemology and semantics of belief. And it has teeth. It implies that the role of beliefs is fundamentally different than many have thought, and in fact supports a metaphysical reduction of belief to credence. (shrink)

Epistemic decision theory aims to defend a variety of epistemic norms in terms of their facilitation of epistemic ends. One of the most important components of EpDT is known as a scoring rule. This thesis addresses some problems about scoring rules in EpDT. I consider scoring rules both for precise credences and for imprecise credences. For scoring rules in the context of precise credences, I examine the rationale for requiring a scoring rule to be strictly proper, and argue that no (...) satisfactory justification has been given. I then investigate one possible response to my argument and show the problems with this response. The conclusion is that there is a further need for justifying the requirement that a scoring rule should be strictly proper for precise credences. For scoring rules in the context of imprecise credences, an impossibility result has been established in the literature purporting to show that no strictly proper, continuous and real-valued scoring rule exists. However, a precise statement of the impossibility result requires precise definitions both of strict propriety and of continuity in the context of imprecise credences. Moreover, the result implies that we need to drop one of the three properties - strict propriety, continuity or being real-valued - to have a scoring rule for applying EpDT to imprecise credences. So, firstly, I offer definitions of strict propriety and of continuity and clarify the impossibility result. Then, I investigate what will happen if we drop one of the three properties. I argue that we should drop the property of being real-valued and I offer the general forms of two kinds of strictly proper, continuous and lexicographic scoring rules for imprecise credences. (shrink)