This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This is a discussion of Richard Pettigrew's book "Accuracy and the Laws of Credence". I target Pettigrew's application of the accuracy framework to derive chance-credence principles. My principal contention is that Pettigrew's preferred version of the argument might in one sense be circular and, moreover, that Pettigrew's premises have content that go beyond that of standard chance-credence principles.

In this paper, I argue that some plausible principles concerning which credences are rationally permissible for agents given information about one another’s epistemic and credal states have some surprising consequences for which credences an agent ought to have in light of self-locating information. I provide a framework that allows us to state these constraints and draw out these consequences precisely. I then consider and assess the prospects for rejecting these prima facie plausible principles.

Some of the most interesting recent work in formal epistemology has focused on developing accuracy-based approaches to justifying Bayesian norms. These approaches are interesting not only because they offer new ways to justify these norms, but because they potentially offer a way to justify all of these norms by appeal to a single, attractive epistemic goal: having accurate beliefs. Recently, Easwaran & Fitelson (2012) have raised worries regarding whether such “all-accuracy” or “purely alethic” approaches can accommodate and justify evidential Bayesian (...) norms. In response, proponents of purely alethic approaches, such as Pettigrew (2013b) and Joyce (2016), have argued that scoring rule arguments provide us with compatible and purely alethic justifications for the traditional Bayesian norms, including evidential norms. In this paper I raise several challenges to this claim. First, I argue that many of the justifications these scoring rule arguments provide are not compatible. Second, I raise worries for the claim that these scoring rule arguments provide purely alethic justifications. Third, I turn to assess the more general question of whether purely alethic justifications for evidential norms are even possible, and argue that, without making some contentious assumptions, they are not. Fourth, I raise some further worries for the possibility of providing purely alethic justifications for content-sensitive evidential norms, like the Principal Principle. (shrink)

In attempting to form rational personal probabilities by direct inference, it is usually assumed that one should prefer frequency information concerning more specific reference classes. While the preceding assumption is intuitively plausible, little energy has been expended in explaining why it should be accepted. In the present article, I address this omission by showing that, among the principled policies that may be used in setting one’s personal probabilities, the policy of making direct inferences with a preference for frequency information for (...) more specific reference classes yields personal probabilities whose accuracy is optimal, according to all proper scoring rules, in situations where all of the relevant frequency information is point-valued. Assuming that frequency information for narrower reference classes is preferred, when the relevant frequency statements are point-valued, a dilemma arises when choosing whether to make a direct inference based upon relatively precise-valued frequency information for a broad reference class, R, or upon relatively imprecise-valued frequency information for a more specific reference class, R*. I address such cases, by showing that it is often possible to make a precise-valued frequency judgment regarding R* based on precise-valued frequency information for R, using standard principles of direct inference. Having made such a frequency judgment, the dilemma of choosing between and is removed, and one may proceed by using the precise-valued frequency estimate for the more specific reference class as a premise for direct inference. (shrink)

In this essay, I aim to motivate and defend a pluralistic view of epistemic rationality. At the core of the view is the notion that epistemic rationality is essentially a species of practical rationality put in the service of various epistemic goals. I begin by sketching some closely related views that have appeared in the literature. I then present my preferred version of the view and sketch some of its benefits. Thomas Kelly has raised challenging objections to a part of (...) the view, which I then present and address. I then raise some distinct worries that might linger and sketch some possible ways one might address them. (shrink)

The foundations of probability are viewed through the lens of the subjectivist interpretation. This article surveys conditional probability, arguments for probabilism, probability dynamics, and the evidential and subjective interpretations of probability.

Consequentialist positions in philosophy spell out normative notions by recourse to final aims. Hedonistic versions of ETHICAL consequentialism spell out what is MORALLY right/justified via recourse to the aim of increasing pleasure and decreasing pain. Veritistic versions of EPISTEMIC consequentialism spell out what is EPISTEMICALLY right/justified via recourse to the aim of increasing the number of true beliefs and decreasing the number of false ones. Even though these theories are in many respects structurally analogous, there are also interesting disanalogies. For (...) example, popular versions of epistemic consequentialism implicitly endorse the truth-indication principle (which claims that a belief is epistemically justified only if there are factors indicating that the belief itself is true), whereas popular versions of ethical consequentialism do not subscribe to an analogous pleasure-indicating principle (which claims that an act is morally justified only if there are factors indicating that performing the act itself is pleasurable). In a first step I will argue that this difference rests on the fact that plausible versions of epistemic consequentialism have to meet certain constraints, which versions of ethical consequentialism do not have to satisfy. As these constraints can be easily met by incorporating the truth-indication principle, epistemic consequentialists tend to subscribe to it. In a second step I will investigate whether the identified constraints can also be met independent from the truth-indication principle. Are there plausible versions of veritistic epistemic consequentialism that reject the principle, thereby allowing that some beliefs can be epistemically justified even though no factors speak in favor of their truth? Building on ideas put forward by Ludwig Wittgenstein, Crispin Wright, and others, I will answer this question affirmatively. (shrink)

Jim Joyce argues for two amendments to probabilism. The first is the doctrine that credences are rational, or not, in virtue of their accuracy or “closeness to the truth” (1998). The second is a shift from a numerically precise model of belief to an imprecise model represented by a set of probability functions (2010). We argue that both amendments cannot be satisfied simultaneously. To do so, we employ a (slightly-generalized) impossibility theorem of Seidenfeld, Schervish, and Kadane (2012), who show that (...) there is no strictly proper scoring rule for imprecise probabilities. -/- The question then is what should give way. Joyce, who is well aware of this no-go result, thinks that a quantifiability constraint on epistemic accuracy should be relaxed to accommodate imprecision. We argue instead that another Joycean assumption — called strict immodesty— should be rejected, and we prove a representation theorem that characterizes all “mildly” immodest measures of inaccuracy. (shrink)

If you utter sentence (1) ‘Obama was born in 1961’ now, you say something true about the past. Since the past will always be such that the year 1961 has the property of being a time in which Obama was born, it seems impossible that could ever be false in a future context of utterance. We shall consider the case of a sentence about the past exactly like (1), but which was true when uttered a few years ago and is (...) no longer true now. On this basis, we shall conclude that the past has changed. (shrink)

In recent work, J. Adam Carter argues that truth-relativism should be compatible with the so-called conformist response to peer disagreement about taste to the effect that subjects should revise their opinions. However, Carter claims that truth-relativism cannot make sense of this response since it cannot make sense of the idea that when two subjects are recognised as epistemic peers, they should acknowledge that they are equally likely to be right about the targeted issue. The main aim of this paper is (...) a modest one: to argue that truth-relativists should not be worried about their alleged incompatibility with conformism for they should be non-conformists. (shrink)

When an agent undergoes fission, how should the beliefs of the fission results relate to the pre-fission beliefs? This question is important for the Everett interpretation of quantum mechanics, but it is of independent philosophical interest. Among other things, fission scenarios demonstrate that ‘self-locating’ information can affect the probability of uncentred propositions even if an agent has no essentially self-locating uncertainty. I present a general update rule for centred beliefs that gives sensible verdicts in cases of fission, without relying on (...) controversial metaphysical or linguistic assumptions. The rule is supported by the same considerations that support standard conditioning in the traditional framework of uncentred propositions. (shrink)

Believing rationally is epistemically valuable, or so we tend to think. It’s something we strive for in our own beliefs, and we criticize others for falling short of it. We theorize about rationality, in part, because we want to be rational. But why? I argue that how we answer this question depends on how permissive our theory of rationality is. Impermissive and extremely permissive views can give good answers; moderately permissive views cannot.

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)

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)

This paper argues for two theses: that degrees of belief are context sensitive; that outright belief is belief to degree 1. The latter thesis is rejected quickly in most discussions of the relationship between credence and belief, but the former thesis undermines the usual reasons for doing so. Furthermore, identifying belief with credence 1 allows nice solutions to a number of problems for the most widely-held view of the relationship between credence and belief, the threshold view. I provide a sketch (...) of a formal framework on which both theses are true. This is a modified Bayesian framework; I argue that despite making credences context-sensitive, the framework lets Bayesians hold on to their signature explanatory successes. The sort of context-sensitivity claimed for credences here mirrors the sort of context-sensitivity I have elsewhere claimed for outright belief: one's credences depend, in part, on the space of alternative possibilities one takes seriously in a context. (shrink)

In this paper I argue that it is finally time to move beyond the Nagelian framework and to break new ground in thinking about epistemic reduction in biology. I will do so, not by simply repeating all the old objections that have been raised against Ernest Nagel’s classical model of theory reduction. Rather, I grant that a proponent of Nagel’s approach can handle several of these problems but that, nevertheless, Nagel’s general way of thinking about epistemic reduction in terms of (...) theories and their logical relations is entirely inadequate with respect to what is going on in actual biological research practice. (shrink)

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its prequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In the prequel, we made this norm mathematically precise; in this paper, we derive its consequences. We show that the two core tenets of Bayesianism (...) follow from the norm, while the characteristic claim of the Objectivist Bayesian follows from the norm along with an extra assumption. Finally, we consider Richard Jeffrey’s proposed generalization of conditionalization. We show not only that his rule cannot be derived from the norm, unless the requirement of Rigidity is imposed from the start, but further that the norm reveals it to be illegitimate. We end by deriving an alternative updating rule for those cases in which Jeffrey’s is usually supposed to apply. (shrink)

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

Accuracy-based arguments for conditionalization and probabilism appear to have a significant advantage over their Dutch Book rivals. They rely only on the plausible epistemic norm that one should try to decrease the inaccuracy of one’s beliefs. Furthermore, conditionalization and probabilism apparently follow from a wide range of measures of inaccuracy. However, we argue that there is an under-appreciated diachronic constraint on measures of inaccuracy which limits the measures from which one can prove conditionalization, and none of the remaining measures allow (...) one to prove probabilism. That is, among the measures in the literature, there are some from which one can prove conditionalization, others from which one can prove probabilism, but none from which one can prove both. Hence at present, the accuracy-based approach cannot underwrite both conditionalization and probabilism. (shrink)

Partial lying denotes the cases where we partially believe something to be false but nevertheless assert it with the intent to deceive the addressee. We investigate how the severity of partial lying may be determined and how partial lies can be classified. We also study how much epistemic damage an agent suffers depending on the level of trust that she invests in the liar and the severity of the lies she is told. Our analysis is based on the results from (...) exploratory computer simulations of an arguably rational Bayesian agent who is trying to determine how biased a coin is while observing the coin tosses and listening to a liar’s misleading predictions about the outcomes. Our results provide an interesting testable hypothesis at the intersection of epistemology and ethics, namely that in the longer term partial lies lead to more epistemic damage than outright lies. (shrink)

This chapter is a philosophical survey of some leading approaches in formal epistemology in the so-called ‘Bayesian’ tradition. According to them, a rational agent’s degrees of belief—credences—at a time are representable with probability functions. We also canvas various further putative ‘synchronic’ rationality norms on credences. We then consider ‘diachronic’ norms that are thought to constrain how credences should respond to evidence. We discuss some of the main lines of recent debate, and conclude with some prospects for future research.

This paper presents a new argument for the Principle of Indifference. This argument can be thought of in two ways: as a pragmatic argument, justifying the principle as needing to hold if one is to minimise worst-case expected loss, or as an epistemic argument, justifying the principle as needing to hold in order to minimise worst-case expected inaccuracy. The question arises as to which interpretation is preferable. I show that the epistemic argument contradicts Evidentialism and suggest that the relative plausibility (...) of Evidentialism provides grounds to prefer the pragmatic interpretation. If this is right, it extends to a general preference for pragmatic arguments for the Principle of Indifference, and also to a general preference for pragmatic arguments for other norms of Bayesian epistemology. (shrink)

It has recently been argued that a non-Bayesian probabilistic version of inference to the best explanation (IBE*) has a number of advantages over Bayesian conditionalization (Douven [2013]; Douven and Wenmackers [2017]). We investigate how IBE* could be generalized to uncertain evidential situations and formulate a novel updating rule IBE**. We then inspect how it performs in comparison to its Bayesian counterpart, Jeffrey conditionalization (JC), in a number of simulations where two agents, each updating by IBE** and JC, respectively, try to (...) detect the bias of a coin while they are only partially certain what side the coin landed on. We show that IBE** more often prescribes high probability to the actual bias than JC. We also show that this happens considerably faster, that IBE** passes higher thresholds for high probability, and that it in general leads to more accurate probability distributions than JC. (shrink)

There is a growing interest in the foundations as well as the application of imprecise probability in contemporary epistemology. This dissertation is concerned with the application. In particular, the research presented concerns ways in which imprecise probability, i.e. sets of probability measures, may helpfully address certain philosophical problems pertaining to rational belief. The issues I consider are disagreement among epistemic peers, complete ignorance, and inductive reasoning with imprecise priors. For each of these topics, it is assumed that belief can be (...) modeled with imprecise probability, and thus there is a non-classical solution to be given to each problem. I argue that this is the case for peer disagreement and complete ignorance. However, I discovered that the approach has its shortcomings, too, specifically in regard to inductive reasoning with imprecise priors. Nevertheless, the dissertation ultimately illustrates that imprecise probability as a model of rational belief has a lot of promise, but one should be aware of its limitations also. (shrink)

In this essay, I develop and defend a virtue‐theoretic conception of rationality as a capacity whose function is understanding, as opposed to mere truth or correctness. I focus on two main potential advantages of this view. First, its ability to explain the rationality of forms of explanatory reasoning, and second, its ability to offer a more unified account of theoretical and practical rationality.

There are decision problems where the preferences that seem rational to many people cannot be accommodated within orthodox decision theory in the natural way. In response, a number of alternatives to the orthodoxy have been proposed. In this paper, I offer an argument against those alternatives and in favour of the orthodoxy. I focus on preferences that seem to encode sensitivity to risk. And I focus on the alternative to the orthodoxy proposed by Lara Buchak’s risk-weighted expected utility theory. I (...) will show that the orthodoxy can be made to accommodate all of the preferences that Buchak’s theory can accommodate. (shrink)

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)

An overview of the German philosophy of science community is given for the years 1992–2012, based on a survey in which 159 philosophers of science in Germany participated. To this end, the institutional background of the German philosophy of science community is examined in terms of journals, centers, and associations. Furthermore, a qualitative description and a quantitative analysis of our survey results are presented. Quantitative estimates are given for: (a) academic positions, (b) research foci, (c) philosophers’ of science most important (...) publications, and (d) externally funded projects, where for (c) all survey participants had indicated their five most important publications in philosophy of science. In addition, the survey results for (a)–(c) are also qualitatively described, as they are interesting in their own right. With respect to (a), we estimated the gender distribution among academic positions. Concerning (c), we quantified philosophers’ of science preference for (i) journals and publishers, (ii) publication format, (iii) language, and (iv) coauthorship for their most important publications. With regard to research projects, we determined their (i) prevalence, (ii) length, and (iii) trend (an increase in number?) as well as their most frequent (iv) research foci and (v) funding organizations. We also distinguished between German-based and non-German-based journals, publishers, and funding institutions, making it thereby possible to evaluate the involvement of the German philosophy of science community in the international research landscape. Finally, we discuss some implications of our findings. (shrink)

Philosophers of science have often favoured reductive approaches to how-possibly explanation. This article identifies three alternative conceptions making how-possibly explanation an interesting phenomenon in its own right. The first variety approaches “how possibly X?” by showing that X is not epistemically impossible. This can sometimes be achieved by removing misunderstandings concerning the implications of one’s current belief system but involves characteristically a modification of this belief system so that acceptance of X does not result in contradiction. The second variety offers (...) a potential how-explanation of X. It is usually followed by a range of further potential how-explanations of the same phenomenon. In recent literature the factual claims implied by the second variety have been downplayed whereas the heuristic role of mapping the space of conceptual possibilities has been emphasized. I will focus especially on this truth-bracketing sense of potentiality when looking closer at the second variety in the paper. The third variety has attracted less interest. It presents a partial how-explanation of X. Typically it aims to establish the existence of a mechanism by which X could be and was generated. The third conception stands out as the natural alternative for the advocate of ontic how-possibly explanations. This article transfers Salmon’s view that explanation-concepts can be broadly divided into epistemic, modal, and ontic to the context of how-possibly explanations. Moreover, it is argued that each of the three above-mentioned varieties of how-possibly explanation occurs in science. To recognize this may be especially relevant for philosophers. We are often misled by the promises of various why-explanation accounts, and seem to have forgotten nearly everything about the diversity of how-possibly explanations. (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.

Traditional epistemologists assumed that the most important doxastic norms were rational requirements on belief. This orthodoxy has recently been challenged by the work of revolutionary epistemologists on the rational requirements on credences. Revolutionary epistemology takes it that such contemporary work is important precisely because traditional epistemologists are mistaken—credal norms are more fundamental than, and determinative of, belief norms. To make sense of their innovative project, many revolutionary epistemologists have also adopted another commitment, that norms on credences are governed by a (...) fundamental accuracy norm. Unfortunately for the revolutionary epistemologist, it has been difficult to define a measure of accuracy while maintaining that credal norms are more basic than belief norms. In this paper, I criticize one such proposal for measuring accuracy, that the accuracy of our credences should be assessed in terms of what we know, arguing that this picture ultimately cannot vindicate the revolutionary approach. (shrink)

Sometimes we are interested in how groups are doing epistemically in aggregate. For instance, we may want to know the epistemic impact of a change in school curriculum or the epistemic impact of abolishing peer review in the sciences. Being able to say something about how groups are doing epistemically is especially important if one is interested in pursuing a consequentialist approach to social epistemology of the sort championed by Goldman. According to this approach we evaluate social practices and institutions (...) from an epistemic perspective based on how well they promote the aggregate level of epistemic value across a community. The aim of this paper is to investigate this concept of group epistemic value and defend a particular way of measuring it. (shrink)

This thesis is a collection of three self-contained papers on related themes in the area of formal and social epistemology. The first paper explores the possibility of measuring the coherence of a set with multiplicative averaging. It has been pointed out that all the existing probabilistic measures of coherence are flawed for taking the relevance between a set of propositions as the primary factor which determines the coherence of the set. What I show in this paper is that a group (...) of measures, namely the confirmation-based ones, can be saved from this problem if we adopt a nonlinear averaging function to measure the coherence of a set. The second paper discusses how people should conciliate in disagreements. Some epistemologists take linear averaging as the only way of conciliating and claim that conciliating leads to fallacious results. In the paper, I show that the problem is not conciliating, but taking linear averaging as the only way to conciliate. Since there is no reason for us to insist on conciliating with linear averaging, we can adopt nonlinear averaging functions for conciliating and thereby avoid the formal deficiencies. The third paper focuses on the pragmatic results of taking conciliating as a general strategy in disagreements. There is a potential dilemma about conciliating: if everyone always conciliates, it is likely for an epistemic bubble to arise. If everyone refuses to conciliate, an epistemic echo chamber may appear. A possible way of solving the dilemma is to develop a diachronic strategy which tells people how to both conciliate and update their estimate of their interlocutors’ reliability. Although the three papers differ in the subject, they jointly offer some unifying reflections on the way we approach philosophical problems with formal tools. From 5 the first two papers, we see that a formal analysis of a philosophical position is incomplete if philosophers fail to consider a sufficiently wide range of formal tools. The third paper, on the contrary, shows that we should change the ordinary way of modelling a notion if required. This thesis concludes by proposing a pluralistic view of formal methods in formal epistemology. (shrink)

A particular family of imagination-based epistemologies of possibility promises to provide an account that overcomes problems raised by Kripkean a posteriori impossibilities. That is, they maintain that imagination plays a significant role in the epistemology of possibility. They claim that imagination consists of both linguistic and qualitative content, where the linguistic content is independently verified not to give rise to any impossibilities in the epistemically significant uses of imagination. However, I will argue that these accounts fail to provide a satisfactory (...) basis for an epistemology of possibility as they fall victim to, what I call, the problem of modally bad company. In particular, I will argue that there is a deep methodological problem that these accounts face: to deliver the significant epistemology of possibility that they promise, they have to rely on problematic prior knowledge of necessities. (shrink)

Much of what we believe we know, we know through the testimony of others. While there has been long-standing evidence that people are sensitive to the characteristics of the sources of testimony, for example in the context of persuasion, researchers have only recently begun to explore the wider implications of source reliability considerations for the nature of our beliefs. Likewise, much remains to be established concerning what factors influence source reliability. In this paper, we examine, both theoretically and empirically, the (...) implications of using message content as a cue to source reliability. We present a set of experiments examining the relationship between source information and message content in people's responses to simple communications. The results show that people spontaneously revise their beliefs in the reliability of the source on the basis of the expectedness of a source's claim and, conversely, adjust message impact by perceived reliability; hence source reliability and message content have a bi-directional relationship. The implications are discussed for a variety of psychological, philosophical and political issues such as belief polarization and dual-route models of persuasion. (shrink)

Inductive reasoning requires exploiting links between evidence and hypotheses. This can be done focusing either on the posterior probability of the hypothesis when updated on the new evidence or on the impact of the new evidence on the credibility of the hypothesis. But are these two cognitive representations equally reliable? This study investigates this question by comparing probability and impact judgments on the same experimental materials. The results indicate that impact judgments are more consistent in time and more accurate than (...) probability judgments. Impact judgments also predict the direction of errors in probability judgments. These findings suggest that human inductive reasoning relies more on estimating evidential impact than on posterior probability. (shrink)

We often evaluate belief-forming processes, agents, or entire belief states for reliability. This is normally done with the assumption that beliefs are all-or-nothing. How does such evaluation go when we’re considering beliefs that come in degrees? I consider a natural answer to this question that focuses on the degree of truth-possession had by a set of beliefs. I argue that this natural proposal is inadequate, but for an interesting reason. When we are dealing with all-or-nothing belief, high reliability leads to (...) high levels of truth-possession. However, when it comes to degrees of belief, reliability and truth-possession part ways. The natural answer thus fails to be a good way to evaluate degrees of belief for reliability. I propose and develop an alternative method based on the notion of calibration, suggested by Frank Ramsey, which does not have this problem and consider why we should care about such assessments of reliability even if they are not tied directly to truth-possession. (shrink)

Bayesian Conditionalization is a widely used proposal for how to update one’s beliefs upon the receipt of new evidence. This is in part because of its attention to the totality of one’s evidence, which often includes facts about what one’s new evidence is and how one has come to have it. However, an increasingly popular position in epistemology holds that one may gain new evidence, construed as knowledge, without being in a position to know that one has gained this evidence. (...) These are cases of KK-Failure, cases where one knows p but is not in a position to know that one knows p. This paper assumes that certain KK-Failures are possible and argues that Conditionalization goes wrong in those cases. (shrink)

Beliefs come in different strengths. What are the norms that govern these strengths of belief? Let an agent's belief function at a particular time be the function that assigns, to each of the propositions about which she has an opinion, the strength of her belief in that proposition at that time. Traditionally, philosophers have claimed that an agent's belief function at any time ought to be a probability function, and that she ought to update her belief function upon obtaining new (...) evidence by conditionalizing on that evidence. Until recently, the central arguments for these claims have been pragmatic. But these putative justifications fail to identify what is epistemically irrational about violating Probabilism or Conditionalization. A new approach, which I will call epistemic utility theory, attempts to remedy this. It treats beliefs as epistemic acts; and it appeals to the notion of an epistemic utility function, which measures of how epistemically valuable a particular belief function is for a particular way the world might be. It then formulates fundamental epistemic norms that are analogous to the fundamental practical norms that underlie decision theory. I survey the results obtained so far in this young research project, and present a sustained critique of certain assumptions that have been made by a number of philosophers working in this area. (shrink)

If beliefs are subject to a basic norm of correctness—roughly, to the principle that a belief is correct only if the proposition believed is true—how can this norm guide believers in forming their beliefs? Answer: this norm guides believers indirectly: believers are directly guided by requirements of rationality—which are themselves explained by this norm of correctness. The fundamental connection between rationality and correctness is probabilistic. Incorrectness comes in degrees; for beliefs, these degrees of incorrectness are measured by quadratic scoring rules, (...) such as the so-called Brier score. This account is defended against objections; and its implications for suspension of judgement are explored. (shrink)

Jim Joyce has presented an argument for Probabilism based on considerations of epistemic utility [Joyce, 1998]. In a recent paper, I adapted this argument to give an argument for Probablism and the Principal Principle based on similar considerations [Pettigrew, 2012]. Joyce’s argument assumes that a credence in a true proposition is better the closer it is to maximal credence, whilst a credence in a false proposition is better the closer it is to minimal credence. By contrast, my argument in that (...) paper assumed (roughly) that a credence in a proposition is better the closer it is to the objective chance of that proposition. In this paper, I present an epistemic utility argument for Probabilism and the Principal Principle that retains Joyce’s assumption rather than the alternative I endorsed in the earlier paper. I argue that this results in a superior argument for these norms. (shrink)

Leitgeb and Pettigrew argue that (1) agents should minimize the expected inaccuracy of their beliefs and (2) inaccuracy should be measured via the Brier score. They show that in certain diachronic cases, these claims require an alternative to Jeffrey Conditionalization. I claim that this alternative is an irrational updating procedure and that the Brier score, and quadratic scoring rules generally, should be rejected as legitimate measures of inaccuracy.

We report a solution to an open problem regarding the axiomatization of the convex hull of a type of nonclassical evaluations. We then investigate the meaning of this result for the larger context of the relation between rational credence functions and nonclassical probability. We claim that the notions of bets and Dutch Books typically employed in formal epistemology are of doubtful use outside the realm of classical logic, eventually proposing two novel ways of understanding Dutch Books in nonclassical settings.