In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply is no intelligible problem (...) that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge for (...) mathematical realism. It is widely thought not to be. In this paper, I argue that the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. Along the way, I substantially clarify the Evolutionary Challenge, discuss its relation to more familiar epistemological challenges, and broach the problem of moral disagreement. The paper should be of interest to ethicists because it places pressure on anyone who rejects moral realism on the basis of the Evolutionary Challenge to reject mathematical realism as well. And the paper should be of interest to philosophers of mathematics because it presents a new epistemological challenge for mathematical realism that bears, I argue, no simple relation to Paul Benacerraf's familiar challenge. (shrink)

The idea that there are some facts that call for explanation serves as an unexamined premise in influential arguments for the inexistence of moral or mathematical facts and for the existence of a god and of other universes. This book is the first to offer a comprehensive and critical treatment of this idea. It argues that calling for explanation is a sometimes-misleading figure of speech rather than a fundamental property of facts.

This entry addresses the nature and epistemological role of intuition by considering the following questions: (1) What are intuitions?, (2) What roles do they serve in philosophical (and other “armchair”) inquiry?, (3) Ought they serve such roles?, (4) What are the implications of the empirical investigation of intuitions for their proper roles?, and (5) What is the content of intuitions prompted by the consideration of hypothetical cases?

While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection of certain traditional (...) properties of logic. The picture that results is not of one singular position, but rather a cluster of often connected positions with distinct motivations, understood in terms of their rejection of clusters of the various traditional properties. In order to show the fruitfulness of this new conception of AEL, we distinguish between two prominent versions of the position, metaphysical and epistemological AEL, and show how the two positions need not stand or fall together. (shrink)

In his précis of a recent book, Richard Joyce writes, “My contention…is that…any epistemological benefit-of-the-doubt that might have been extended to moral beliefs…will be neutralized by the availability of an empirically confirmed moral genealogy that nowhere…presupposes their truth.” Such reasoning – falling under the heading “Genealogical Debunking Arguments” – is now commonplace. But how might “the availability of an empirically confirmed moral genealogy that nowhere… presupposes” the truth of our moral beliefs “neutralize” whatever “epistemological benefit-of-the-doubt that might have been extended (...) to” them? In this article, I argue that there appears to be no satisfactory answer to this question. The problem is quite general, applying to all arguments with the structure of Genealogical Debunking Arguments aimed at realism about a domain meeting two conditions. The Benacerraf-Field Challenge for mathematical realism affords an important special case. (shrink)

Non-skeptical robust realists about normativity, mathematics, or any other domain of non- causal truths are committed to a correlation between their beliefs and non- causal, mind-independent facts. Hartry Field and others have argued that if realists cannot explain this striking correlation, that is a strong reason to reject their theory. Some consider this argument, known as the Benacerraf–Field argument, as the strongest challenge to robust realism about mathematics, normativity, and even logic. In this article I offer two closely related accounts (...) for the type of explanation needed in order to address Field's challenge. I then argue that both accounts imply that the striking correlation to which robust realists are committed is explainable, thereby discharging Field's challenge. Finally, I respond to some objections and end with a few unresolved worries. (shrink)

There are several important arguments in metaethics that rely on explanatory considerations. Gilbert Harman has presented a challenge to the existence of moral facts that depends on the claim that the best explanation of our moral beliefs does not involve moral facts. The Reliability Challenge against moral realism depends on the claim that moral realism is incompatible with there being a satisfying explanation of our reliability about moral truths. The purpose of this chapter is to examine these and related arguments. (...) In particular, this chapter will discuss four kinds of arguments – Harman’s Challenge, evolutionary debunking arguments, irrelevant influence arguments, and the Reliability Challenge – understood as arguments against moral realism. The main goals of this chapter are (i) to articulate the strongest version of these arguments; (ii) to present and assess the central epistemological principles underlying these arguments; and (iii) to determine what a realist would have to do to adequately respond to these arguments. (shrink)

There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical realism. It (...) is hard to see how one might argue, on epistemological grounds, for moral antirealism while maintaining commitment to mathematical realism. But it may be possible to do the opposite. (shrink)

There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to our reliability about the domain or to our background views. This is what is often called the reliability challenge for the domain. In previous work, I discussed the reliability challenges for logic and for deductive inference. I argued (...) for four main claims: First, there are reliability challenges for logic and for deduction. Second, these reliability challenges cannot be answered merely by providing an explanation of how it is that we have the logical beliefs and employ the deductive rules that we do. Third, we can explain our reliability about logic by appealing to our reliability about deduction. Fourth, there is a good prospect for providing an evolutionary explanation of the reliability of our deductive reasoning. In recent years, a number of arguments have appeared in the literature that can be applied against one or more of these four theses. In this paper, I respond to some of these arguments. In particular, I discuss arguments by Paul Horwich, Jack Woods, Dan Baras, Justin Clarke-Doane, and Hartry Field. (shrink)

This paper formulates a general epistemological argument against what I call non-causal realism, generalizing domain specific arguments by Benacerraf, Field, and others. First I lay out the background to the argument, making a number of distinctions that are sometimes missed in discussions of epistemological arguments against realism. Then I define the target of the argument—non-causal realism—and argue that any non-causal realist theory, no matter the subject matter, cannot be given a reasonable epistemology and so should be rejected. Finally I discuss (...) and respond to several possible responses to the argument. In addition to clearing up and avoiding numerous misunderstandings of arguments of this kind that are quite common in the literature, this paper aims to present and endorse a rigorous and fully general epistemological argument against realism. (shrink)

Philosophers of physics have long debated whether the Past State of low entropy of our universe calls for explanation. What is meant by “calls for explanation”? In this article we analyze this notion, distinguishing between several possible meanings that may be attached to it. Taking the debate around the Past State as a case study, we show how our analysis of what “calling for explanation” might mean can contribute to clarifying the debate and perhaps to settling it, thus demonstrating the (...) fruitfulness of this analysis. Applying our analysis, we show that two main opponents in this debate, Huw Price and Craig Callender, are, for the most part, talking past each other rather than disagreeing, as they employ different notions of “calling for explanation”. We then proceed to show how answering the different questions that arise out of the different meanings of “calling for explanation” can result in clarifying the problems at hand and thus, hopefully, to solving them. (shrink)

Revisionary ontologies seem to go against our common sense convictions about which material objects exist. These views face the so-called Problem of Reasonableness: they have to explain why reasonable people don’t seem to accept the true ontology. Most approaches to this problem treat the mismatch between the ontological truth and ordinary belief as superficial or not even real. By contrast, I propose what I call the “uncompromising solution”. First, I argue that our beliefs about material objects were influenced by evolutionary (...) forces that were independent of the ontological truth. Second, I draw an analogy between the Problem of Reasonableness and the New Evil Demon Problem and argue that the revisionary ontologist can always find a positive epistemic status to characterize ordinary people’s beliefs about material objects. Finally, I address the worry that the evolutionary component of my story also threatens to undermine the best arguments for revisionary ontologies. (shrink)

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...) heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

This paper investigates the determinacy of mathematics. We begin by clarifying how we are understanding the notion of determinacy before turning to the questions of whether and how famous independence results bear on issues of determinacy in mathematics. From there, we pose a metasemantic challenge for those who believe that mathematical language is determinate, motivate two important constraints on attempts to meet our challenge, and then use these constraints to develop an argument against determinacy and discuss a particularly popular approach (...) to resolving indeterminacy, before offering some brief closing reflections. We believe our discussion poses a serious challenge for most philosophical theories of mathematics, since it puts considerable pressure on all views that accept a non-trivial amount of determinacy for even basic arithmetic. (shrink)

The dominant theory of the evolution of moral cognition across a variety of fields is that moral cognition is a biological adaptation to foster social cooperation. This chapter argues, to the contrary, that moral cognition is likely an evolutionary exaptation: a form of cognition where neurobiological capacities selected for in our evolutionary history for a variety of different reasons—many unrelated to social cooperation—were put to a new, prosocial use after the fact through individual rationality, learning, and the development and transmission (...) of social norms. This chapter begins with a brief overview of the emerging behavioral neuroscience of moral cognition. It then outlines a novel theory of moral cognition that I have previously argued explains these findings better than alternatives. Finally, it shows how the evidence for this theory of moral cognition and human evolutionary history together suggest that moral cognition is likely not a biological adaptation. Instead, like reading sheet music or riding a bicycle, moral cognition is something that individuals learn to do—in this case, in response to sociocultural norms created in our ancestral history and passed down through the ages to enable cooperative living. (shrink)

Many philosophers believe that when a theory is committed to an apparently unexplainable massive correlation, that fact counts significantly against the theory. Philosophical theories that imply that we have knowledge of non-causal mind-independent facts are especially prone to this objection. Prominent examples of such theories are mathematical Platonism, robust normative realism and modal realism. It is sometimes thought that theists can easily respond to this sort of challenge and that theism therefore has an epistemic advantage over atheism. In this paper, (...) I will argue that, contrary to widespread thought, some versions of theism only push the challenge one step further and thus are in no better position than atheism. (shrink)

Theodore Sider’s recent book, “Writing the Book of the World”, employs a primitive notion of metaphysical structure in order to make sense of substantive metaphysics. But Sider and others who employ metaphysical primitives face serious epistemological challenges. In the first section I develop a specific form of this challenge for Sider’s own proposed epistemology for structure; the second section develops a general reliability challenge for Sider’s theory; and the third and final section argues for the rejection of Siderean structure in (...) the course of answering a transcendental argument against such rejection. (shrink)

A Benacerraf–Field challenge is an argument intended to show that common realist theories of a given domain are untenable: such theories make it impossible to explain how we’ve arrived at the truth in that domain, and insofar as a theory makes our reliability in a domain inexplicable, we must either reject that theory or give up the relevant beliefs. But there’s no consensus about what would count here as a satisfactory explanation of our reliability. It’s sometimes suggested that giving such (...) an explanation would involve showing that our beliefs meet some modal condition, but realists have claimed that this sort of modal interpretation of the challenge deprives it of any force: since the facts in question are metaphysically necessary and so obtain in all possible worlds, it’s trivially easy, even given realism, to show that our beliefs have the relevant modal features. Here I show that this claim is mistaken—what motivates a modal interpretation of the challenge in the first place also motivates an understanding of the relevant features in terms of epistemic possibilities rather than metaphysical possibilities, and there are indeed epistemically possible worlds where the facts in question don’t obtain. (shrink)

Several authors believe that there are certain facts that are striking and cry out for explanation—for instance, a coin that is tossed many times and lands in the alternating sequence HTHTHTHTHTHT…. According to this view, we have prima facie reason to believe that such facts are not the result of chance. I call this view the striking principle. Based on this principle, some have argued for far-reaching conclusions, such as that our universe was created by intelligent design, that there are (...) many universes other than the one we inhabit, and that there are no mathematical or normative facts. Appealing as the view may initially seem, I argue that we lack sufficient reason to accept it. (shrink)

Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are thus unfounded. (...) I make this case by disambiguating two senses of ‘basic’ and showing that, once this disambiguation is taken into account, the best reason we have for thinking that there are basic principles actually implies that those principles do not require a special epistemology. Consequently, the existence of basic logical principles provides reason to accept, rather than reject, anti-exceptionalism concerning the epistemology of logic. I conclude by explaining how an abductivist, anti-exceptionalist approach to the epistemology of logic can accommodate the notion of basic logical principles. (shrink)

Motivated by examples, many philosophers believe that there is a significant distinction between states of affairs that are striking and therefore call for explanation and states of affairs that are not striking. This idea underlies several influential debates in metaphysics, philosophy of mathematics, normative theory, philosophy of modality, and philosophy of science but is not fully elaborated or explored. This paper aims to address this lack of clear explanation first by clarifying the epistemological issue at hand. Then it introduces an (...) initially attractive account for strikingness that is inspired by the work of Paul Horwich and adopted by a number of philosophers. The paper identifies two logically distinct accounts that have both been attributed to Horwich and then argues that, when properly interpreted, they can withstand former criticisms. The final two sections present a new set of considerations against both Horwichian accounts that avoid the shortcomings of former critiques. It remains to be seen whether an adequate account of strikingness exists. (shrink)

Reductionist forms of moral realism, such as naturalist realism, are often thought immune to epistemological objections that have been raised against nonnaturalist realism in the form of reliability worries or evolutionary debunking arguments. This article establishes that reductionist realist views can only explain the reliability of our moral beliefs at the cost of incurring repugnant first-order conclusions.

Field’s challenge to platonists is the challenge to explain the reliable match between mathematical truth and belief. The challenge grounds an objection claiming that platonists cannot provide such an explanation. This objection is often taken to be both neutral with respect to controversial epistemological assumptions, and a comparatively forceful objection against platonists. I argue that these two characteristics are in tension: no construal of the objection in the current literature realises both, and there are strong reasons to think that no (...) version of Field’s epistemological objection which has both Neutrality and Force can be construed. (shrink)

Scanlon’s Being Realistic about Reasons (BRR) is a beautiful book – sleek, sophisticated, and programmatic. One of its key aims is to demystify knowledge of normative and mathematical truths. In this article, I develop an epistemological problem that Scanlon fails to explicitly address. I argue that his “metaphysical pluralism” can be understood as a response to that problem. However, it resolves the problem only if it undercuts the objectivity of normative and mathematical inquiry.

Debunking arguments typically attempt to show that a set of beliefs or other intensional mental states bear no appropriate explanatory connection to the facts they purport to be about. That is, a debunking argument will attempt to show that beliefs about p are not held because of the facts about p. Such beliefs, if true, would then only be accidentally so. Thus, their causal origins constitute an undermining defeater. Debunking arguments arise in various philosophical domains, targeting beliefs about morality, the (...) existence of God, logic, and others. They have also arisen in material-object metaphysics, often aimed at debunking common-sense ontology. And while most of these arguments feature appeals to ‘biological and cultural contingencies’ that are ostensibly responsible for our beliefs about which kinds of objects exist, few of them take a serious look at what those contingencies might actually be. The purpose of this paper is twofold. First, to remedy this by providing empirical substantiation for a key premise in these debunking arguments by examining data from cognitive science, evolutionary biology, and developmental psychology that support a ‘debunking explanation’ of our common-sense beliefs and intuitions about which objects exist. Second, to argue that such data also undermines a particular kind of rationalist defense of common-sense ontology, sometimes employed as a response to the debunking threat. (shrink)

The Generalized Integration Challenge is the task of providing, for a given domain of discourse, a simultaneously acceptable metaphysics, epistemology and metasemantics and showing them to be so. In this paper, we focus on a metaethical position for which seems particularly acute: the brand of normative realism which takes normative properties to be mind-independent and causally inert. The problem is that these metaphysical commitments seem to make normative knowledge impossible. We suggest that bringing metasemantics into play can help to resolve (...) this puzzle. We propose an independently plausible metasemantic constraint on reference determination and show how it can provide a plausible response to for this brand of normative realism. (shrink)

_ Source: _Page Count 24 Accounts of non-naturalist moral perception have been advertised as an empiricist-friendly epistemological alternative to moral rationalism. I argue that these accounts of moral perception conceal a core commitment of rationalism—to substantive a priori justification—and embody its most objectionable feature—namely, “mysteriousness.” Thus, accounts of non-naturalist moral perception do not amount to an interesting alternative to moral rationalism.

In domains like stock brokerage, clinical psychiatry, and long‐term political forecasting, experts generally fail to outperform novices. Empirical researchers agree on why this is: experts must receive direct or environmental learning feedback during training to develop reliable expertise, and these domains are deficient in this type of feedback. A growing number of philosophers resource this consensus view to argue that, given the absence of direct or environmental philosophical feedback, we should not give the philosophical intuitions or theories of expert philosophers (...) greater credence than those of novice philosophers. This article has three objectives. The first is to explore several overlooked issues concerning the strategy of generalizing from empirical studies of non‐philosophical expertise to the epistemic status of philosophical expertise. The second is to explain why empirical research into a causal relationship between direct learning feedback and enhanced expert performance does not provide good grounds for abandoning a default optimism about the epistemic superiority of expert philosophical theories. The third is to sketch a positive characterization of learning feedback that addresses developmental concerns made salient by the empirical literature on expert performance for specifically theory‐driven or “armchair” domains like philosophy. (shrink)

In the introduction to his Realism, mathematics and modality, and in earlier papers included in that collection, Hartry Field offered an epistemological challenge to platonism in the philosophy of mathematics. Justin Clarke-Doane Truth, objects, infinity: New perspectives on the philosophy of Paul Benacerraf, 2016) argues that Field’s challenge is an illusion: it does not pose a genuine problem for platonism. My aim is to show that Clarke-Doane’s argument relies on a misunderstanding of Field’s challenge.

At the core of the recent debate over moral debunking arguments is a disagreement between explanationist and modalist approaches. Explanationists think that the lack of an explanatory connection between our moral beliefs and the moral truths, given a non-naturalist realist conception of morality, is a reason to reject non-naturalism. Modalists disagree. They say that, given non-naturalism, our beliefs have the appropriate modal features with respect to truth -- in particular they are safe and sensitive -- so there is no problem. (...) -/- There is something of a stand-off here. I argue, though, that by looking at the role explanatory and modal factors have to play in theory choice more generally, and, in particular, by considering the practice of theory choice in science, we can see that the explanationist is right. The lack of an explanatory connection between our moral beliefs and the moral truths is a reason to reject non-naturalist realism about morality. (shrink)

ABSTRACTSome proponents of the evolutionary debunking argument against moral realism believe that replies that assume substantive moral claims beg the question. In this paper, I give a new account of what's wrong with such replies. On this account, many realists beg the question when they rely on substantive moral claims in their replies to the argument, but naturalists do not. While this account generalizes to some other domains, it allows perceptual and inductive realism to remain undebunked.

In our thought, we employ rules of inference and belief-forming methods more generally. For instance, we (plausibly) employ deductive rules such as Modus Ponens, ampliative rules such as Inference to the Best Explanation, and perceptual methods that tell us to believe what perceptually appears to be the case. What explains our entitlement to employ these rules and methods? This chapter considers the motivations for broadly internalist answers to this question. It considers three such motivations—one based on simple cases, one based (...) on a general conception of epistemic responsibility, and one based on skeptical scenarios. The chapter argues that none of these motivations is successful. The first two motivations lead to forms of internalism—Extreme Method Internalism and Defense Internalism—that are too strong to be tenable. The third motivation motivates Mental Internalism (Mentalism), which does not fit with plausible accounts of entitlement. (shrink)

This chapter discusses epistemic objections to non-naturalist moral realism. The goal of the chapter is to determine which objections are pressing and which objections can safely be dismissed. The chapter examines five families of objections: (i) one involving necessary conditions on knowledge, (ii) one involving the idea that the causal history of our moral beliefs reflects the significant impact of irrelevant influences, (iii) one relying on the idea that moral truths do not play a role in explaining our moral beliefs, (...) (iv) one involving the claim that if moral realism is true then our moral beliefs are unlikely to be reliable, and (v) one involving the claim that moral realism is incompatible with there being a plausible explanation of our reliability about morality. The overall conclusion of the chapter is that the final objection is by far the most pressing. (shrink)

I critically examine an evolutionary debunking argument against moral realism. The key premise of the argument is that there is no adequate explanation of our moral reliability. I search for the strongest version of the argument; this involves exploring how ‘adequate explanation’ could be understood such that the key premise comes out true. Finally, I give a reductio: in the sense in which there is no adequate explanation of our moral reliability, there is equally no adequate explanation of our inductive (...) reliability. Thus, the argument that would debunk our moral views would also, absurdly, debunk all inductive reasoning. (shrink)

Materialism—the view that all of reality is wholly determined by the very, very small—and extreme nominalism—the view that properties, kinds, and qualities do not really exist—have been the dominant view in analytic philosophy for the last 100 years or so. Both views, however, have failed to provide adequate accounts for the possibility of intentionality and of knowledge. We must therefore look to alternatives. One well-tested alternative, the hylomorphism of Aristotle and the medieval scholastics, was rejected without being refuted and so (...) deserves further examination. I will argue that Aristotelian hylomorphic provides a markedly superior account of knowledge, cognitive normativity, and intentionality. (shrink)

Two epistemological critiques of non-naturalism are not always carefully distinguished. According to the Causal Objection, the fact that moral properties cannot cause our moral beliefs implies that it would be a coincidence if many of them were true. According to the Evolutionary Objection, the fact that evolutionary pressures have influenced our moral beliefs implies a similar coincidence. After distinguishing these epistemological critiques, I provide an extensive defense of the Causal Objection that also strengthens the Evolutionary Objection. In particular, I formulate (...) a “Master Causal Objection” featuring the controversial premise that non-naturalism can provide no adequate explanation for moral knowledge. I defend this premise by first narrowing down the range of candidate explanations to conceptual, constitutive, and evolutionary explanations, and then considering and eliminating each of these in turn. My discussion of evolutionary explanations suggests that non-naturalists must refute the Causal Objection in order to refute the Evolutionary Objection. (shrink)

You see a cherry and you experience it as red. A textbook explanation for why you have this sort of experience is going to cite such things as the cherry’s chemical surface properties and the distinctive mixture wavelengths of light it is disposed to reflect. What does not show up in this explanation is the redness of the cherry. Many allege that the availability of color-free explanations of color experience somehow calls into question our beliefs about the colors of objects (...) around us. We explore how such explanations are supposed to undermine color beliefs, and in particular whether evolutionary considerations have any special role to play. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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 present an exemplary Humean modal epistemology. My version takes inspiration from but incurs no commitment to both Hume’s historical position and Lewis’s Humeanism. Modal epistemology should meet two challenges: the Integration challenge of integrating metaphysics and epistemology and the Reliability challenge of giving an account of how our epistemic capacities can be reliable in detecting modal truth. According to Lewis, modal reasoning starts from certain Humean principles: there is only the vast mosaic of spatiotemporally distributed local matters of fact. (...) The facts can be arbitarily recombined. These principles cannot be taken for granted. I suggest a bottom-up approach instead: Humean principles of recombining the mosaic of facts can be retrieved from the evolutionarily instilled and empirically informed use of imagination in exploring everyday circumstantial possibilities. This use of imagination conforms to a primitive conception of matter as freely recombinable. The modal beliefs that can be obtained from generalizing the more elementary exercise of imagination have to be corrected. Recombination is limited by sortal criteria of identity. Moreover, the overall picture of a recombinable spatiotemporal mosaic must be weighed against the results of science. (shrink)

While there has been much discussion about what makes some mathematical proofs more explanatory than others, and what are mathematical coincidences, in this article I explore the distinct phenomenon of mathematical facts that call for explanation. The existence of mathematical facts that call for explanation stands in tension with virtually all existing accounts of “calling for explanation”, which imply that necessary facts cannot call for explanation. In this paper I explore what theoretical revisions are needed in order to accommodate this (...) phenomenon. One of the important upshots is that, contrary to the current consensus, low prior probability is not a necessary condition for calling for explanation. In the final section I explain how the results of this inquiry help us make progress in assessing Hartry Field’s style of reliability argument against mathematical Platonism and against robust realism in other domains of necessary facts, such as ethics. (shrink)

This chapter explores global debunking arguments, debunking arguments that aim to give one a global defeater. I defend Alvin Plantinga’s view that global defeaters are possible and, once gained, are impossible to escape by reasoning. They thereby must be extinguished by other means: epistemically propitious actions, luck, or grace. I then distinguish between three types of global defeater—pure-undercutters, undercutters-because-rebutters, and undercutters-while-rebutters—and systematically consider how one can deflect such defeaters. Lastly, since I draw insights from the literature on perhaps the most (...) widely discussed global debunking argument in the literature, Plantinga’s evolutionary argument against naturalism, I end up responding to many potential problems for it. This includes the so-called conditionalization problem, as well as those raised by Bergmann (2002), Law (2012), Deem (2018), Hendricks and Anderson (2020), and Wielenberg (in Craig and Wielenberg (2021)). (shrink)

The author argues that well-known forms of relativism are unable to accommodate, at once, a set of three highly intuitive theses about the distinctive character of moral reasons. Yet the author argues it is possible to formulate a novel form of normative relativism that has the power to accommodate these claims. The proposed view combines the relativist idea that the normative facts are attitude-dependent with the insight that there are non-human agents to which it makes sense to attribute the kinds (...) of attitudes that give rise to normative reasons. Societies, too, can possess reasons to pursue their aims. What distinguishes moral reasons from reasons of practical rationality is that the former apply directly to societies in virtue of aims held by each society as a group, while the latter apply directly to persons in light of their own individual interests. (shrink)

Here I pose a challenge to realism about knowledge, the view that facts about knowledge are non-trivially mind-independent, adapting an evolutionary debunking argument from metaethics. In brief: Our beliefs about knowledge are the products of innate knowledge-representing capacities with a deep and well documented evolutionary history, and, crucially, this history indicates that such capacities are indifferent to whether there are any mind-independent facts about knowledge. Instead, knowledge-representing capacities are likely just a byproduct of processing limitations on primate cognition. This presents (...) an explanatory challenge for the knowledge realist—How is it, then, that we nonetheless happen to have many true beliefs about knowledge? I’ll argue that, without abandoning the non-naturalism that characterizes much of contemporary epistemology, realism struggles to provide a compelling answer. In contrast, evolutionary anti-realism, the view advocated for here, meets the explanatory challenge head-on. Facts about knowledge are grounded in facts about what our innate knowledge-representing capacities classify as knowledge, so it’s no surprise that we have many true beliefs about knowledge. While none of this shows that realism about knowledge is false, these considerations give us ceteris paribus reason to prefer an anti-realist approach. (shrink)

Learning information about the etiology of one's beliefs can reduce the justification a thinker has for those beliefs. Learning information about the etiology of one's desires, emotions, or concepts can similarly have a debunking effect. In this chapter, I develop a unified account of etiological debunking that applies across these different kinds of cases. According to this account, etiological debunking arguments work by providing reason to think that there is no satisfying explanation of how it is that some part of (...) our mental life is fitting. The role that etiological information plays is to help to rule out (or render less plausible) potential explanations, given our background views about the world. This account suggests several potential morals for epistemology, the philosophy of mind, and metaethics. (shrink)

In this paper I deal with epistemological issues that stem from the hypothesis that reasoning is not only a means of transmitting knowledge from premise-beliefs to conclusion-beliefs, but also a primary source of knowledge in its own right. The idea is that one can gain new knowledge on the basis of suppositional reasoning. After making some preliminary distinctions, I argue that there are no good reasons to think that purported examples of knowledge grounded on pure reasoning are just examples of (...) premise-based inferences in disguise. Next, I establish what kinds of true propositions can to a first approximation be known on the basis of pure reasoning. Finally, I argue that beliefs that are competently formed on the basis of suppositional reasoning satisfy both externalist and internalist criteria of justification. (shrink)