There is much to like about the idea that justification should be understood in terms of normality or normic support (Smith 2016, Goodman and Salow 2018). The view does a nice job explaining why we should think that lottery beliefs differ in justificatory status from mundane perceptual or testimonial beliefs. And it seems to do that in a way that is friendly to a broadly internalist approach to justification. In spite of its attractions, we think that the normic support view (...) faces two serious challenges. The first is that it delivers the wrong result in preface cases. These cases suggest that the view is either too sceptical or too externalist. The second is that the view struggles with certain kinds of Moorean absurdities. It turns out that these problems can easily be avoided. If we think of normality as a condition on *knowledge*, we can characterise justification in terms of its connection to knowledge and thereby avoid the difficulties discussed here. The resulting view does an equally good job explaining why we should think that our perceptual and testimonial beliefs are justified when lottery beliefs cannot be. Thus, it seems that little could be lost and much could be gained by revising the proposal and adopting a view on which it is knowledge, not justification, that depends directly upon normality. (shrink)

The idea that logic is in some sense normative for thought and reasoning is a familiar one. Some of the most prominent figures in the history of philosophy including Kant and Frege have been among its defenders. The most natural way of spelling out this idea is to formulate wide-scope deductive requirements on belief which rule out certain states as irrational. But what can account for the truth of such deductive requirements of rationality? By far, the most prominent responses draw (...) in one way or another on the idea that belief aims at the truth. In this paper, I consider two ways of making this line of thought more precise and I argue that they both fail. In particular, I examine a recent attempt by Epistemic Utility Theory to give a veritist account of deductive coherence requirements. I argue that despite its proponents’ best efforts, Epistemic Utility Theory cannot vindicate such requirements. (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 \textbf{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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{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)

I argue that we should solve the Lottery Paradox by denying that rational belief is closed under classical logic. To reach this conclusion, I build on my previous result that (a slight variant of) McGee’s election scenario is a lottery scenario (see Lissia 2019). Indeed, this result implies that the sensible ways to deal with McGee’s scenario are the same as the sensible ways to deal with the lottery scenario: we should either reject the Lockean Thesis or Belief Closure. After (...) recalling my argument to this conclusion, I demonstrate that a McGee-like example (which is just, in fact, Carroll’s barbershop paradox) can be provided in which the Lockean Thesis plays no role: this proves that denying Belief Closure is the right way to deal with both McGee’s scenario and the Lottery Paradox. A straightforward consequence of my approach is that Carroll’s puzzle is solved, too. (shrink)

I propose the notion of ‘epistemic sanity’, a property of parsimony between the holding of true but not false beliefs and the consideration of our cognitive limitations. Where ‘alethic value’ is the epistemic value of holding true but not false beliefs, the ‘alethic potential’ of an agent is the amount of extra alethic value that she is expected to achieve, given her current environment, beliefs, and reasoning skills. Epistemic sanity would be related to the holding of (true or false) beliefs (...) that increase the agent's alethic potential (relevant beliefs) but not of beliefs that decrease it (this is related to cognitive parsimony). Suspension of judgment, forgetting, and clutter avoidance are the main contributors to an agent's epistemic sanity, where this paper focuses on suspension. I argue that rational suspension favors the holding of true and relevant beliefs, which is not the case for the extremes of opinionation (no suspension) and skepticism (general suspension). In the absence of evidence, opinionated agents are often forced to rely on principles such as the principle of indifference, but suspension dominates indifference in terms of alethic value in some conditions. A rational agent would only find it beneficial to adopt skepticism if she considers herself to be an anti-expert about her entire agenda, but then ‘flipping’ beliefs maximizes expected alethic value in relation to skepticism. The study of epistemic sanity results in an ‘impure’ veritism, which can deal with some limitations of veritism (e.g., explaining the existence of false but relevant beliefs). (shrink)

When members of a group doxastically disagree with each other, decisions in the group are often hard to make. The members are supposed to find an epistemic compromise. How do members of a group reach a rational epistemic compromise on a proposition when they have different (rational) credences in the proposition? I answer the question by suggesting the Fine-Grained Method of Aggregation, which is introduced in Brössel and Eder 2014 and is further developed here. I show how this method faces (...) challenges of the standard method of aggregation, Weighted Straight Averaging, in a successful way. One of the challenges concerns the fact that Weighted Straight Averaging does not respect the evidential states of agents. Another challenge arises because Weighted Straight Averaging does not account for synergetic effects. (shrink)

A theory of what we should believe should include a theory of what we should believe when we are uncertain about what we should believe and/or uncertain about the factors that determine what we should believe. In this paper, I present a novel theory of what we should believe that gives normative externalists a way of responding to a suite of objections having to do with various kinds of error, ignorance, and uncertainty. This theory is inspired by recent work in (...) ethical theory in which non-consequentialists 'consequentialize' their theories and then use the tools of decision-theory to give us an account of what we ought (in some sense) to do when we're uncertain about what we ought (in some primary sense) to do. On my proposal, because what we ought to do is acquire knowledge and avoid ignorance, we ought to believe iff the probability of coming to know is sufficiently high. This view has a number of important virtues. Among them, it gives us a unified story about how defeaters defeat (a theory developed with Julien Dutant), explains puzzling intuitions about the differences between lottery cases, preface cases, and cases of perceptual knowledge, and provides externalists (and internalists!) with a general framework for thinking about subjective normativity. It's also relatively brief. (shrink)

What is the place of coherence, or structural rationality, in good first-personal deliberation? According to Kolodny (2005), considerations of coherence are irrelevant to good first-personal deliberation. When we deliberate, we should merely care about the reasons or evidence we have for our attitudes. So, considerations of coherence should not show up in deliberation. In response to this argument, Worsnip (2021) argues that considerations of coherence matter for how we structure deliberation. For him, we should treat incoherent combinations of attitudes as (...) off-limits in deliberation. Some important questions are left unanswered by both camps. What do we mean by considerations of coherence “showing up” in first-personal deliberation? How do we interpret the divide between reasons-responsiveness and coherence? How should we interpret cases in which considerations of coherence interact with other norms or requirements? In this paper, I show how Haack’s (1993) crossword puzzle analogy sheds light on these questions. Also, the crossword puzzle analogy allows us to evaluate Kolodny’s objection and identify promising avenues for future research. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (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 \textbf{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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{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 paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.

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)

It seems that epistemically rational agents should avoid incoherent combinations of beliefs and should respond correctly to their epistemic reasons. However, some situations seem to indicate that such requirements cannot be simultaneously satisfied. In such contexts, assuming that there is no unsolvable dilemma of epistemic rationality, either (i) it could be rational that one’s higher-order attitudes do not align with one’s first-order attitudes or (ii) requirements such as responding correctly to epistemic reasons that agents have are not genuine rationality requirements. (...) This result doesn’t square well with plausible theoretical assumptions concerning epistemic rationality. So, how do we solve this puzzle? In this paper, I will suggest that an agent can always reason from infallible higher-order reasons. This provides a partial solution to the above puzzle. (shrink)

We argue that there is a tension between two monistic claims that are the core of recent work in epistemic consequentialism. The first is a form of monism about epistemic value, commonly known as veritism: accuracy is the sole final objective to be promoted in the epistemic domain. The other is a form of monism about a class of epistemic scoring rules: that is, strictly proper scoring rules are the only legitimate measures of inaccuracy. These two monisms, we argue, are (...) in tension with each other. If only accuracy has final epistemic value, then there are legitimate alternatives to strictly proper scoring rules. Our argument relies on the way scoring rules are used in contexts where accuracy is rewarded, such as education. (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)

Many philosophers have offered arguments in favor of the following three theses: A is epistemically permitted to believe P only if A is in a position to know that P, incoherent agents fail to satisfy the aforementioned knowledge norm of belief, and A’s apparent reasons are relevant to determining what A is blameworthy for believing. In this paper, I argue that the above three theses are jointly inconsistent. The main upshot of the paper is this: even if the knowledge norm (...) of belief is correct, it cannot explain some deontic requirements governing belief. (shrink)

Vindicating the claim that agents ought to be consistent has proved to be a difficult task. Recently, some have argued that we can use accuracy-dominance arguments to vindicate the normativity of such requirements. But what do these arguments prove, exactly? In this paper, I argue that we can make a distinction between two theses on the normativity of consistency: the view that one ought to be consistent and the view that one ought to avoid being inconsistent. I argue that accuracy-dominance (...) arguments for consistency support the latter view, but not necessarily the former. I also argue that the distinction between these two theses matters in the debate on the normativity of epistemic rationality. Specifically, the distinction suggests that there are interesting alternatives to vindicating the strong claim that one ought to be consistent. (shrink)

This paper is about the alethic aspect of epistemic rationality. The most common approaches to this aspect are either normative (what a reasoner ought to/may believe?) or evaluative (how rational is a reasoner?), where the evaluative approaches are usually comparative (one reasoner is assessed compared to another). These approaches often present problems with blindspots. For example, ought a reasoner to believe a currently true blindspot? Is she permitted to? Consequently, these approaches often fail in describing a situation of alethic maximality, (...) where a reasoner fulfills all the alethic norms and could be used as a standard of rationality (as they are, in fact, used in some of these approaches). I propose a function α, which accepts a set of beliefs as inputand returns a numeric alethic value. Then I use this function to define a notion of alethic maximality that is satisfiable by finite reasoners (reasoners with cognitive limitations) and does not present problems with blindspots. Function α may also be used in alethic norms and evaluation methods (comparative and non-comparative) that may be applied to finite reasoners and do not present problems with blindspots. A result of this investigation isthat the project of providing purely alethic norms is defective. The use of function α also sheds light on important epistemological issues, such as the lottery and the preface paradoxes, and the principles of clutter avoidance and reflection. (shrink)

A widely shared view in the cognitive sciences is that discovering and assessing explanations of cognitive phenomena whose production involves uncertainty should be done in a Bayesian framework. One assumption supporting this modelling choice is that Bayes provides the best approach for representing uncertainty. However, it is unclear that Bayes possesses special epistemic virtues over alternative modelling frameworks, since a systematic comparison has yet to be attempted. Currently, it is then premature to assert that cognitive phenomena involving uncertainty are best (...) explained within the Bayesian framework. As a forewarning, progress in cognitive science may be hindered if too many scientists continue to focus their efforts on Bayesian modelling, which risks to monopolize scientific resources that may be better allocated to alternative approaches. (shrink)

Defenders of Inference to the Best Explanation claim that explanatory factors should play an important role in empirical inference. They disagree, however, about how exactly to formulate this role. In particular, they disagree about whether to formulate IBE as an inference rule for full beliefs or for degrees of belief, as well as how a rule for degrees of belief should relate to Bayesianism. In this essay I advance a new argument against non-Bayesian versions of IBE. My argument focuses on (...) cases in which we are concerned with multiple levels of explanation of some phenomenon. I show that in many such cases, following IBE as an inference rule for full beliefs leads to deductively inconsistent beliefs, and following IBE as a non-Bayesian updating rule for degrees of belief leads to probabilistically incoherent degrees of belief. (shrink)

Could it be right to convict and punish defendants using only statistical evidence? In this paper, I argue that it is not and explain why it would be wrong. This is difficult to do because there is a powerful argument for thinking that we should convict and punish defendants using statistical evidence. It looks as if the relevant cases are cases of decision under risk and it seems we know what we should do in such cases (i.e., maximize expected value). (...) Given some standard assumptions about the values at stake, the case for convicting and punishing using statistical evidence seems solid. In trying to show where this argument goes wrong, I shall argue (against Lockeans, reliabilists, and others) that beliefs supported only by statistical evidence are epistemically defective and (against Enoch, Fisher, and Spectre) that these epistemic considerations should matter to the law. To solve the puzzle about the role of statistical evidence in the law, we need to revise some commonly held assumptions about epistemic value and defend the relevance of epistemology to this practical question. (shrink)

Decision-making typically requires judgments about causal relations: we need to know the causal effects of our actions and the causal relevance of various environmental factors. We investigate how several individuals' causal judgments can be aggregated into collective causal judgments. First, we consider the aggregation of causal judgments via the aggregation of probabilistic judgments, and identify the limitations of this approach. We then explore the possibility of aggregating causal judgments independently of probabilistic ones. Formally, we introduce the problem of causal-network aggregation. (...) Finally, we revisit the aggregation of probabilistic judgments when this is constrained by prior aggregation of qualitative causal judgments. (shrink)

According to the so-called Lockean thesis, a rational agent believes a proposition just in case its probability is sufficiently high, i.e., greater than some suitably fixed threshold. The Preface paradox is usually taken to show that the Lockean thesis is untenable, if one also assumes that rational agents should believe the conjunction of their own beliefs: high probability and rational belief are in a sense incompatible. In this paper, we show that this is not the case in general. More precisely, (...) we consider two methods of computing how probable must each of a series of propositions be in order to rationally believe their conjunction under the Lockean thesis. The price one has to pay for the proposed solutions to the paradox is what we call “quasi-dogmatism”: the view that a rational agent should believe only those propositions which are “nearly certain” in a suitably defined sense. (shrink)

The primary objective of this paper is to introduce a new epistemic paradox that puts pressure on the claim that justification is closed under multi premise deduction. The first part of the paper will consider two well-known paradoxes—the lottery and the preface paradox—and outline two popular strategies for solving the paradoxes without denying closure. The second part will introduce a new, structurally related, paradox that is immune to these closure-preserving solutions. I will call this paradox, The Paradox of the Pill. (...) Seeing that the prominent closure-preserving solutions do not apply to the new paradox, I will argue that it presents a much stronger case against the claim that justification is closed under deduction than its two predecessors. Besides presenting a more robust counterexample to closure, the new paradox also reveals that the strategies that were previously thought to get closure out of trouble are not sufficiently general to achieve this task as they fail to apply to similar closure-threatening paradoxes in the same vicinity. (shrink)

The traditional connection between logic and reasoning has been under pressure ever since Gilbert Harman attacked the received view that logic yields norms for what we should believe. In this article I first place Harman's challenge in the broader context of the dialectic between logical revisionists like Bob Meyer and sceptics about the role of logic in reasoning like Harman. I then develop a formal model based on contemporary epistemic and doxastic logic in which the relation between logic and norms (...) for belief can be captured. (shrink)

According to a well-known view in the philosophy of mind, intentional attitudes by their very nature satisfy requirements of rationality (e.g. Davidson 1980; Dennett 1987; Millar 2004). This view (which I shall call Constitutivism) features prominently as the ‘principle of minimal rationality’ in de Sousa’s monograph The Rationality of Emotion (1987). By explicating this principle in terms of the notion of the formal object of an attitude, de Sousa articulates an interesting and original version of Constitutivism, which differs in important (...) respects from other extant versions. In this paper, I explore this version of Constitutivism against the background of recent developments in the theory of rationality and make explicit its ramifications for the long-standing dispute over whether the mind is essentially normative. My focus will be on how to conceive of the form of the rationality requirements that attitudes as such must satisfy according to this principle. I argue that, although de Sousa seems officially to endorse a structuralist conception of rationality, according to which these requirements are requirements of coherence, his considerations on formal objects suggest that they are more aptly conceived in terms of a reasons-responsive conception of rationality. I further argue that which of these two readings we choose makes a significant difference to the prospect of vindicating the essential normativity of mind by invoking the principle of minimal rationality. (shrink)

Kiesewetter defends the normativity of rationality by presenting a new solution to the problems that arise from the common assumption that we ought to be rational. He provides a defence of a reason-response conception of rationality, an evidence-relative account of reason, and an explanation of structural irrationality in relation to these accounts.

The paper argues that much of the difficulty with making progress on the issue of the normativity of logic for thought, as discussed in the literature, stems from a misapprehension of what logic is normative for. The claim is that, rather than mono-agent mental processes, logic in fact comprises norms for quite specific situations of multi-agent dialogical interactions, in particular special forms of debates. This reconceptualization is inspired by historical developments in logic and mathematics, in particular the pervasiveness of such (...) dialogical conceptions in the early days of logic in ancient Greece. The multi-agent, dialogical perspective then allows for the formulation of compelling 'bridge principles’ between the relation of logical consequence and dialogical normative principles, something that is notoriously difficult to achieve in a mono-agent setting pertaining exclusively to thought and belief. The upshot is also that the truth-preserving rules of logic generally do not have a primary normative bearing on mono-agent mental processes, and in this sense the paper sides with Harman's critique of the idea that logic has a normative import for thought and belief. (shrink)

In this article, I discuss three distinct but related puzzles involving lotteries: Kyburg’s lottery paradox, the statistical evidence problem, and the Harman-Vogel paradox. Kyburg’s lottery paradox is the following well-known problem: if we identify rational outright belief with a rational credence above a threshold, we seem to be forced to admit either that one can have inconsistent rational beliefs, or that one cannot rationally believe anything one is not certain of. The statistical evidence problem arises from the observation that people (...) seem to resist forming outright beliefs whenever the available evidence for the claim under consideration is purely statistical. We need explanations of whether it is in fact irrational to form such beliefs, and of whether a clear distinction can be drawn between statistical and non-statistical evidence. The Harman-Vogel paradox is usually presented as a paradox about knowledge: we tend to assume that we can know so-called ordinary propositions, such as the claim that I will be in Barcelona next spring. Yet, we hesitate to make knowledge claims regarding so-called lottery propositions, such as the claim that I won’t die in a car crash in the next few months, even if these lottery propositions are obviously entailed by the ordinary propositions we claim to know. Depending on one’s view about the relationship between rational belief and knowledge, the Harman-Vogel paradox has ramifications for a theory of rational outright belief. Formal theories of the relationship between rational credence and rational belief, such as Leitgeb’s stability theory, tend to focus mostly on handling Kyburg’s lottery paradox, but not the other two puzzles I mention. My aim in this article is to draw out relationships and differences between the puzzles, and to examine to what extent existing formal solutions to Kyburg’s lottery paradox help with answering the statistical evidence problem and the Harman-Vogel paradox. (shrink)

There has been considerable discussion recently of consequentialist justifications of epistemic norms. In this paper, I shall argue that these justifications are not justifications. The consequentialist needs a value theory, a theory of the epistemic good. The standard theory treats accuracy as the fundamental epistemic good and assumes that it is a good that calls for promotion. Both claims are mistaken. The fundamental epistemic good involves accuracy, but it involves more than just that. The fundamental epistemic good is knowledge, not (...) mere true belief, because the goodness of an epistemic state is connected to that state's ability to give us reasons. If I'm right about the value theory, this has a number of significant implications for the consequentialist project. First, the good-making features that attach to valuable full beliefs are not features of partial belief. The resulting value theory does not give us the values we need to give consequentialist justifications of credal norms. Second, the relevant kind of good does not call for promotion. It is good to know, but the rational standing of a belief is not determined by the belief's location in a ranked set of options. In the paper's final section, I explain why the present view is a kind of teleological non-consequentialism. There is a kind of good that is prior to the right, but as the relevant kind of good does not call for promotion the value theory shows us what is wrong with the consequentialist project. (shrink)

James Joyce's article “A Nonpragmatic Vindication of Probabilism” introduced an approach to arguing for credal norms by appealing to the epistemic value of accuracy. The central thought was that credences ought to accurately represent the world, a guiding thought that has gone on to generate an entire research paradigm on the rationality of credences. Recently, a number of epistemologists have begun to apply this same thought to full beliefs, attempting to explain and argue for norms of belief in terms of (...) epistemic value. This paper examines these recent attempts, showing how they interact with work on the accuracy of credences. It then examines how differing judgments about epistemic value give rise to distinct rational requirements for belief, concluding by considering some of the fundamental questions and issues yet to be fully explored. (shrink)

For many epistemologists, and for many philosophers more broadly, it is axiomatic that rationality requires you to take the doxastic attitudes that your evidence supports. Yet there is also another current in our talk about rationality. On this usage, rationality is a matter of the right kind of coherence between one's mental attitudes. Surprisingly little work in epistemology is explicitly devoted to answering the question of how these two currents of talk are related. But many implicitly assume that evidence -responsiveness (...) guarantees coherence, so that the rational impermissibility of incoherence will just fall out of the putative requirement to take the attitudes that one's evidence supports, and so that coherence requirements do not need to be theorized in their own right, apart from evidential reasons. In this paper, I argue that this is a mistake, since coherence and evidence -responsiveness can in fact come into conflict. More specifically, I argue that in cases of misleading higher-order evidence, there can be a conflict between believing what one's evidence supports and satisfying a requirement that I call “inter-level coherence ”. This illustrates why coherence requirements and evidential reasons must be separated and theorized separately. (shrink)

The paper argues that adopting a form of skepticism, Skeptical-Dogmatism, that recommends disbelieving each philosophical position in many multi-proposition disputes- disputes where there are three or more contrary philosophical views-leads to a higher ratio of true to false beliefs than the ratio of the “average philosopher”. Hence, Skeptical-Dogmatists have more accurate beliefs than the average philosopher. As a corollary, most philosophers would improve the accuracy of their beliefs if they adopted Skeptical-Dogmatism.

According to Veritism, true belief is the sole fundamental epistemic value. Epistemologists often take Veritism to entail that all other epistemic items can only have value by standing in certain instrumental relations—namely, by tending to produce a high ratio of true to false beliefs or by being products of sources with this tendency. Yet many value theorists outside epistemology deny that all derivative value is grounded in instrumental relations to fundamental value. Veritists, I believe, can and should follow suit. After (...) setting the stage in §1, I explain in §2 why Veritism should not take an Instrumentalist form. Instrumentalist Veritism faces a generalized version of the swamping problem. But this problem undermines Instrumentalism, not Veritism: granting Instrumentalism, similar problems arise for any economical epistemic axiology. I show in §3 how Veritism can take a less narrow form and solve the swamping problem. After answering some objections in §4, I consider in §5 what some would regard as a less radical alternative solution and argue that it either fails or collapses into mine. I close in §6 by taking stock and re-evaluating the overall prospects for Veritism, suggesting that it is a highly promising epistemic axiology when divorced from Instrumentalism. (shrink)

Logic has traditionally been construed as a normative discipline; it sets forth standards of correct reasoning. Explosion is a valid principle of classical logic. It states that an inconsistent set of propositions entails any proposition whatsoever. However, ordinary agents presumably do — occasionally, at least — have inconsistent belief sets. Yet it is false that such agents may, let alone ought to, believe any proposition they please. Therefore, our logic should not recognize explosion as a logical law. Call this the (...) ‘normative argument against explosion’. Arguments of this type play — implicitly or explicitly — a central role in motivating paraconsistent logics. Branden Fitelson, in a throwaway remark, has conjectured that there is no plausible ‘bridge principle’ articulating the normative link between logic and reasoning capable of supporting such arguments. This paper offers a critical evaluation of Fitelson’s conjecture, and hence of normative arguments for paraconsistency and the conceptions of logic’s normative status on which they repose. It is argued that Fitelson’s conjecture turns out to be correct: normative arguments for paraconsistency probably fail. (shrink)

Epistemic utility theory is generally coupled with veritism. Veritism is the view that truth is the sole fundamental epistemic value. Veritism, when paired with EUT, entails a methodological commitment: norms of epistemic rationality are justified only if they can be derived from considerations of accuracy alone. According to EUT, then, believing truly has epistemic value, while believing falsely has epistemic disvalue. This raises the question as to how the rational believer should balance the prospect of true belief against the risk (...) of error. A strong intuitive case can be made for a kind of epistemic conservatism – that we should disvalue error more than we value true belief. I argue that none of the ways in which advocates of veritist EUT have sought to motivate conservatism can be squared with their methodological commitments. Short of any such justification, they must therefore either abandon their most central methodological principle or else adopt a permissive line with respect to epistemic risk. (shrink)

According to an increasingly popular epistemological view, people need outright beliefs in addition to credences to simplify their reasoning. Outright beliefs simplify reasoning by allowing thinkers to ignore small error probabilities. What is outright believed can change between contexts. It has been claimed that thinkers manage shifts in their outright beliefs and credences across contexts by an updating procedure resembling conditionalization, which I call pseudo-conditionalization (PC). But conditionalization is notoriously complicated. The claim that thinkers manage their beliefs via PC is (...) thus in tension with the view that the function of beliefs is to simplify our reasoning. I propose to resolve this puzzle by rejecting the view that thinkers employ PC. Based on this solution, I furthermore argue for a descriptive and a normative claim. The descriptive claim is that the available strategies for managing beliefs and credences across contexts that are compatible with the simplifying function of outright beliefs can generate synchronic and diachronic incoherence in a thinker’s attitudes. Moreover, I argue that the view of outright belief as a simplifying heuristic is incompatible with the view that there are ideal norms of coherence or consistency governing outright beliefs that are too complicated for human thinkers to comply with. (shrink)

In Accuracy and the Laws of Credence Richard Pettigrew assumes a particular view of belief, which states that people don't have any other doxastic states besides credences. This is in tension with the popular position that people have both credences and outright beliefs. Pettigrew claims that such a dual view of belief is incompatible with the accuracy-first approach. I argue in this paper that it is not. This is good news for Pettigrew, since it broadens the appeal of his framework.

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

There are circumstances in which we want to predict a series of interrelated events. Faced with such a prediction task, it is natural to consider logically inconsistent predictions to be irrational. However, it is possible to find cases where an inconsistent prediction has higher expected accuracy than any consistent prediction. Predicting tournaments in sports provides a striking example of such a case and I argue that logical consistency should not be a norm of rational predictions in these situations.

Don’t form beliefs on the basis of coin flips or random guesses. More generally, don’t take belief gambles: if a proposition is no more likely to be true than false given your total body of evidence, don’t go ahead and believe that proposition. Few would deny this seemingly innocuous piece of epistemic advice. But what, exactly, is wrong with taking belief gambles? Philosophers have debated versions of this question at least since the classic dispute between William Clifford and William James (...) near the end of the nineteenth century. Here I reassess the normative standing of belief gambles from the perspective of epistemic decision theory. The main lesson of the paper is a negative one: it turns out that we need to make some surprisingly strong and hard-to-motivate assumptions to establish a general norm against belief gambles within a decision-theoretic framework. I take this to pose a dilemma for epistemic decision theory: it forces us to either make seemingly unmotivated assumptions to secure a norm against belief gambles, or concede that belief gambles can be rational after all. (shrink)

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)

In this paper, we compare and contrast two methods for the revision of qualitative beliefs. The first method is generated by a simplistic diachronic Lockean thesis requiring coherence with the agent’s posterior credences after conditionalization. The second method is the orthodox AGM approach to belief revision. Our primary aim is to determine when the two methods may disagree in their recommendations and when they must agree. We establish a number of novel results about their relative behavior. Our most notable finding (...) is that the inverse of the golden ratio emerges as a non-arbitrary bound on the Bayesian method’s free-parameter—the Lockean threshold. This “golden threshold” surfaces in two of our results and turns out to be crucial for understanding the relation between the two methods. (shrink)

It has been claimed that, in response to certain kinds of evidence, agents ought to adopt imprecise credences: doxastic states that are represented by sets of credence functions rather than single ones. In this paper I argue that, given some plausible constraints on accuracy measures, accuracy-centered epistemologists must reject the requirement to adopt imprecise credences. I then show that even the claim that imprecise credences are permitted is problematic for accuracy-centered epistemology. It follows that if imprecise credal states are permitted (...) or required in the cases that their defenders appeal to, then the requirements of rationality can outstrip what would be warranted by an interest in accuracy. (shrink)

Greaves and Wallace argue that conditionalization maximizes expected accuracy. In this paper I show that their result only applies to a restricted range of cases. I then show that the update procedure that maximizes expected accuracy in general is one in which, upon learning P, we conditionalize, not on P, but on the proposition that we learned P. After proving this result, I provide further generalizations and show that much of the accuracy-first epistemology program is committed to KK-like iteration principles (...) and to the existence of a class of propositions that rational agents will be certain of if and only if they are true. (shrink)

It is certainly well accepted that formal models play a key role in scientific job. Its use goes from natural sciences like physics and even to social sciences like economics and politics. Using mathematics allows the researcher to consider more complicated scenarios involving several variables. Some models are developed to make predictions, others to describe a phenomena, or just to improve the explanation of events in the world. But what has all this to do with philosophy? The aim of the (...) present paper is to investigate debates on the role of formal models in a specific philosophical subject, precisely, the epistemology of rationality. Are we able to explain why models are needed in epistemological work? This answer will be addressed on the assumptions that epistemological theorizing is committed with normative statements. More specifically, epistemologists are concerned with normative questions about what rationality requires from epistemic agents. The first goal is to discuss some assumptions about the role of mathematical models in formal epistemology undertaking. And secondly, I will argue for the following two claims: formal models are useful tools for predicting consequences of normative assumption about what is intuitively required by rationality; and insofar rationality theory is normative in virtue of being instrumentalist and aiming at truth, formal models are means-end tools, therefore, for rationality, mathematical models are devices for maximizing truth in doxastic states. (shrink)

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

On the Lockean thesis one ought to believe a proposition if and only if one assigns it a credence at or above a threshold (Foley in Am Philos Q 29(2):111–124, 1992). The Lockean thesis, thus, provides a way of characterizing sets of all-or-nothing beliefs. Here we give two independent characterizations of the sets of beliefs satisfying the Lockean thesis. One is in terms of betting dispositions associated with full beliefs and one is in terms of an accuracy scoring system for (...) full beliefs. These characterizations are parallel to, but not merely derivative from, the more familiar Dutch Book (de Finetti in Theory of probability, vol 1, Wiley, London, 1974) and accuracy (Joyce in Philos Sci 65(4):575–603, 1998) arguments for probabilism. (shrink)

How does rationality bind the agnostic, that is, the one who suspends judgment about whether a given proposition is true? In this paper I explore two alternative ways of establishing what the rational requirements of agnosticism are: the Lockean–Bayesian framework and the doxastic logic framework. Each of these proposals faces strong objections. Fortunately, however, there is a rich kernel of requirements of agnosticism that are vindicated by both of them. One can then endorse the requirements that belong to that kernel (...) without thereby committing oneself to the problematic implications that stem from either of the aforementioned proposals. (shrink)