Deutsch 2010 (The Review of Philosophy and Psychology 1: 447–460) claims that hypothetical scenarios are evaluated using arguments, not intuitions, and therefore experiments on intuitions are philosophically inconsequential. Using the Gettier case as an example, he identifies three arguments that are supposed to point to the right response to the case. In the paper, I present the results of studies ran on Polish, Indian, Spanish, and American participants that suggest that there’s no deep difference between evaluating the Gettier case with (...) intuitions and evaluating it with Deutsch’s arguments. Specifically, I argue that one would find these arguments persuasive if and only if one is already disposed to exhibit the relevant intuition. (shrink)

This paper explores the relationship between phenomenal properties and intentional properties. In recent years a number of philosophers have argued that intentional properties are sometimes necessitated by phenomenal properties, but have not explained why or how. Exceptions can be found in the work of Katalin Farkas and Farid Masrour, who develop versions of reductionism regarding phenomenally-necessitated intentionality (or "phenomenal intentionality"). I raise two objections to reductive theories of the sort they develop. Then I propose a version of primitivism regarding phenomenal (...) intentionality. I argue that primitivism avoids the pitfalls of reductionism while promising broad explanatory payoffs. (shrink)

The debate between exceptionalists and anti-exceptionalists about logic is often framed as concerning whether the justification of logical theories is a priori or a posteriori (for short: whether logic is a priori or a posteriori). As we substantiate (S1), this framing more deeply encodes the usual anti-exceptionalist thesis that logical theories, like scientific theories, are abductively justified, coupled with the common supposition that abduction is an a posteriori mode of inference, in the sense that the epistemic value of abduction is (...) (and, indeed, must be) a posteriori. In past work, however, we have argued that this common supposition is incorrect: abduction is an a priori mode of inference, in the sense that the epistemic value of abduction is (and indeed, must be) a priori (Biggs and Wilson 2017a, 2017b, 2019). After sketching our two main argumentative strategies for this conclusion (S2), we go on (S3) to consider its import on the proper understanding of anti-exceptionalism about logic. (shrink)

This paper argues that a priori justification is, in principle, compatible with naturalism—if the a priori is understood in a way that is free of the inessential properties that, historically, have been associated with the concept. I argue that empirical indefeasibility is essential to the primary notion of the a priori ; however, the indefeasibility requirement should be interpreted in such a way that we can be fallibilist about apriori-justified claims. This fallibilist notion of the a priori accords with the (...) naturalist’s commitment to scientific methodology in that it allows for apriori-justified claims to be sensitive to further conceptual developments and the expansion of evidence. The fallibilist apriorist allows that an a priori claim is revisable in only a purely epistemic sense. This modal claim is weaker than what is required for a revisability thesis to establish empiricism, so fallibilist apriorism represents a distinct position. (shrink)

I give a brief overview of Albert Casullo’s Essays on A Priori Knowledge and Justification, followed by a summary of his diagnostic framework for evaluating accounts of a priori knowledge and a priori justification. I then discuss Casullo’s strategy for countering deficiency arguments against empiricism. A deficiency argument against empiricism can be countered by mounting a parallel argument against moderate rationalism that shows moderate rationalism to be defective in a similar way. I argue that a particular deficiency argument put forth (...) by George Bealer in “The Incoherence of Empiricism” can withstand a parallel challenge mounted by Casullo.I then consider Casullo’s preferred analysis of the concept of a priori justification, which identifies a belief’s being justified by some nonexperiential source as the feature by virtue of which it is justified a priori. On the analysis, an apriori-justfied belief that is justified to a degree that is sufficient for knowledge is not taken to be empirically indefeasible. I argue that Casullo could avail himself of an empirical indefeasibility requirement that is consistent with his minimal and fallibilist conception of a priori knowledge. Doing so would capture a feature of the concept of a priori knowledge that is of particular interest and significance. (shrink)

_ Source: _Page Count 29 Underdetermination arguments for skepticism maintain that our common sense view of the external world is no better, evidentially speaking, than some skeptical competitors. An important and well-known response by dogmatists, those who believe our commonsense view is justified, appeals to abduction or inference to the best explanation. The predominant version of this strategy, going back at least to Locke, invokes Occam’s razor: dogmatists claim the common sense view is simpler than any of its skeptical alternatives (...) and so has more to recommend it, evidentially speaking. This dispute has overshadowed another possible view: skeptical dogmatism. Skeptical dogmatists hold that we are justified in believing that the common sense view is probably false. I argue that skeptical dogmatism presents some interesting complications to the dialectic between the dogmatist and the skeptic. On the one hand, even if the dogmatist’s use of Occam’s razor is sufficient to rebut skepticism, in itself it is not sufficient to refute skeptical dogmatism. On the other hand, skeptics themselves, ironically, must, given the assumptions of the paper, appeal to something like Occam’s razor in order to avoid capitulating to skeptical dogmatism. (shrink)

This is a reply to W. Paul Franks’ critique (‘Why a Believer Could Believe that God Answers Prayers’) of my recent paper in Sophia (2007). I argue that Franks’ Plantinga-inspired criticism fails because it turns on the dubious assumption that the efficacy of prayer could provide evidence for the existence of God.

A self-fulfilling fallacy (SFF) is a fallacious argument whose conclusion is that the very fallacy employed is an invalid or otherwise illegitimate inferential procedure. This paper discusses three different ways in which SFF’s might serve to justify their conclusions. SFF’s might have probative value as honest and straightforward arguments, they might serve to justify the premise of a meta-argument or, following a point made by Roy Sorensen, they might provide a non-inferential basis for accepting their conclusion. The paper concludes with (...) an assessment of the relative merits of these proposals. (shrink)

This paper argues that reading is a source of knowledge. Epistemologists have virtually ignored reading as a source of knowledge. This paper argues, first, that reading is not to be equated with attending to testimony, and second that it cannot be reduced to perception. Next an analysis of reading is offered and the source of knowledge that reading is further delineated. Finally it is argued that the source that reading is, can be both transmissive and generative, is non-basic, once was (...) a non-essential but has become essential for many people, and can be unique. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the internalism (...) versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

According to Cornell moral realists, we can know about moral facts in much the same way that we do the empirical facts of the natural sciences. In “Can Cornell Moral Realism Adequately Account for Moral Knowledge?” (2012), I argue that this positive comparison to scientific knowledge hurts, rather than helps, the moral realist position. Joseph Long has recently defended Cornell moral realism against my concerns. In this article, I respond to Long's arguments and clarify important issues in the present debate.

I argue that Quinean naturalists’ holism-based arguments against analyticity and apriority are more difficult to resist than is generally supposed, for two reasons. First, although opponents of naturalism sometimes dismiss these arguments on the grounds that the holistic premises on which they depend are unacceptably radical, it turns out that the sort of holism required by these arguments is actually quite minimal. And second, although it’s true, as Grice and Strawson pointed out long ago, that these arguments can succeed only (...) if there isn’t any principled criterion for meaning change, such a criterion turns out to be hard to come by. David Chalmers has recently argued that such a criterion must exist, since the norms governing belief revision are subject to obvious exceptions that can be explained only by appeal to meaning change. But this, I argue, is incorrect: if choices about how to use language are themselves rationally assessable, then there are no such exceptions to be explained. To show that this is so, I formulate a new kind of coherence norm that may be useful for reasoning formally about the relationship between meaning and evidence. (shrink)

W. V. Quine famously claimed that no statement is immune to revision. This thesis has had a profound impact on twentieth century philosophy, and it still occupies centre stage in many contemporary debates. However, despite its importance it is not clear how it should be interpreted. I show that the thesis is in fact ambiguous between three substantially different theses. I illustrate the importance of clarifying it by assessing its use in the debate against the existence of a priori knowledge. (...) I show how the three different readings of the thesis can be used to generate three substantially different and philosophically significant arguments against the a priori. I further challenge each one of these arguments against the a priori. (shrink)

One mainstream approach to philosophy involves trying to learn about philosophically interesting, non-mental phenomena—ethical properties, for example, or causation—by gathering data from human beings. I call this approach “wide tent traditionalism.” It is associated with the use of philosophers’ intuitions as data, the making of deductive arguments from this data, and the gathering of intuitions by eliciting reactions to often quite bizarre thought experiments. These methods have been criticized—I consider experimental philosophy’s call for a move away from the use of (...) philosophers’ intuitions as evidence, and recent suggestions about the use of inductive arguments in philosophy—and these criticisms point out important areas for improvement. However, embracing these reforms in turn gives wide-tent traditionalists strong reasons to maintain other traditional approaches to philosophy. Specifically, traditionalists’ commitment to using intuitions and to gathering them with bizarre thought experiments is well founded, both philosophically and empirically. I end by considering some problems with gathering trustworthy intuitions, and give suggestions about how best to solve them. (shrink)

The author uses a series of examples to illustrate two versions of a new, nonprobabilist principle of epistemic rationality, the special and general versions of the metacognitive, expected relative frequency principle. These are used to explain the rationality of revisions to an agent’s degrees of confidence in propositions based on evidence of the reliability or unreliability of the cognitive processes responsible for them—especially reductions in confidence assignments to propositions antecedently regarded as certain—including certainty-reductions to instances of the law of excluded (...) middle or the law of noncontradiction in logic or certainty-reductions to the certainties of probabilist epistemology. The author proposes special and general versions of the MERF principle and uses them to explain the examples, including the reasoning that would lead to thoroughgoing fallibilism—that is, to a state of being certain of nothing. The author responds to the main defenses of probabilism: Dutch Book arguments, Joyce’s potential accuracy defense, and the potential calibration defenses of Shimony and van Fraassen by showing that, even though they do not satisfy the probability axioms, degrees of belief that satisfy the MERF principle minimize expected inaccuracy in Joyce’s sense; they can be externally calibrated in Shimony and van Fraassen’s sense; and they can serve as a basis for rational betting, unlike probabilist degrees of belief, which, in many cases, human beings have no rational way of ascertaining. The author also uses the MERF principle to subsume the various epistemic akrasia principles in the literature. Finally, the author responds to Titelbaum’s argument that epistemic akrasia principles require that we be certain of some epistemological beliefs, if we are rational. (shrink)

In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely possible, non-actual a (...) priori propositions, as we will see when considering cases like Euclidean geometry. Furthermore, contrary to what Kripke seems to suggest, a priori knowledge is intimately connected with metaphysical modality, indeed, grounded in it. The task of a priori reasoning, according to this account, is to delimit the space of metaphysically possible worlds in order for us to be able to determine what is actual. (shrink)

What I will call “the deviant logician objection” [DLO] is one line of attack against the common and compelling tenet that our justification for logical truths is grounded in our understanding of their constituent concepts. This objection seeks to undermine the possibility of any deep constitutive connection, in the epistemology of logic, between understanding and justification. I will consider varieties of the deviant logician objection developed by Horwich and by Williamson. My thesis is that while the deviant logician objection falls (...) short of proving that this traditional tenet must be rejected, nonetheless it serves to bolster some important refinements. (shrink)

BonJour has proposed background conditions on internalist justification, which Kornblith argues are inconsistent with a core internalist ‘credo’ – that subjects internally alike are justificationally alike – signaling the ‘death’ of internalism. The funeral arrangements are premature, though more systematic consideration of background conditions is needed. The majority of BonJour's conditions are not background conditions as their failure makes an epistemically relevant internal difference. This neutralizes Kornblith's criticisms and reveals how the proposed conditions are not departures from internalism. BonJour's background (...) conditions are simply conditions, the credo remains intact, and Kornblith's objections do not spell problems for internalism, let alone death. (shrink)

Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that is designed (...) to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role. (shrink)

The discussion of the nature of consciousness seems to have stalled, with the “hard problem of consciousness” in its center, well-defined camps of realists and eliminativists at two opposing poles, and little to none room for agreement between. Recent attempts to move this debate forward by shifting them to a meta-level have heavily relied on the notion of “intuition”, understood in a rather liberal way. Against this backdrop, the goal of this paper is twofold. First, we want to highlight how (...) the ontological and epistemological status of intuitions restricts the arguments in the debate on consciousness that rely on them. Second, we want to demonstrate how the deadlock in those debates could be resolved through a study of a particular, “positive” kind of intuitions. We call this approach “The Canberrish Plan for Consciousness” as it adopts elements of the methodological “Canberra Plan”. (shrink)

This essay reconsiders Davidson's critical attribution of the scheme‐content distinction to Quine's naturalized epistemology. It focuses on Davidson's complaint that the presence of this distinction leads Quine to mistakenly construe neural input as evidence. While committed to this distinction, Quine's epistemology does not attempt to locate a justificatory foundation in sensory experience and does not then equate neural intake with evidence. Quine's central epistemological task is an explanatory one that attempts to scientifically clarify the route from stimulus to science. Davidson's (...) critical remarks wrongly assign concerns to Quine's view that it does not have and further obscures the status of his naturalized conception of epistemology. (shrink)

An argument is epistemically self-defeating when either the truth of an argument’s conclusion or belief in an argument’s conclusion defeats one’s justification to believe at least one of that argument’s premises. Some extant defenses of the evidentiary value of intuition have invoked considerations of epistemic self-defeat in their defense. I argue that there is one kind of argument against intuition, an unreliability argument, which, even if epistemically self-defeating, can still imply that we are not justified in thinking intuition has evidentiary (...) value. (shrink)

The debate concerning the role of intuitions in philosophy has been characterized by a fundamental disagreement between two main camps. The first, the autonomists, hold that, due to the use in philosophical investigation of appeals to intuition, most of the central questions of philosophy can in principle be answered by philosophical investigation and argument without relying on the sciences. The second, the naturalists, deny the possibility of a priori knowledge and are skeptical of the role of intuition in providing evidence (...) in philosophical inquiry. In spite of the seemingly stark and deep disagreement between the autonomist and the naturalist, in this paper I will attempt to suggest that there is a way to mount a partial defense of intuition-based philosophical practice on naturalist grounds. As will be seen, doing so will require a number of concessions that will satisfy few autonomists while simultaneously disappointing those naturalists who might have thought that all notions of the a priori had been successfully laid to rest. However, I will argue that the account proposed here will preserve those features of traditional philosophical practice that matter most and better explain the history of successes and failures of that practice, thus answering the worries of the autonomist, and that the rejection of the No A Priori Thesis attendant with the account presented here is indeed demanded by the current theories of our best scientific understanding of the mind, thus pacifying the rabid naturalistic critic of any version of apriorism. (shrink)

This paper has three interdependent aims. The first is to make Reichenbach’s views on induction and probabilities clearer, especially as they pertain to his pragmatic justification of induction. The second aim is to show how his view of pragmatic justification arises out of his commitment to extensional empiricism and moots the possibility of a non-pragmatic justification of induction. Finally, and most importantly, a formal decision-theoretic account of Reichenbach’s pragmatic justification is offered in terms both of the minimax principle and the (...) dominance principle. (shrink)

In his 1993 article George Bealer offers three separate arguments that are directed against the internal coherence of empiricism, specifically against Quine’s version of empiricism. One of these arguments is the starting points argument (SPA) and it is supposed to show that Quinean empiricism is incoherent. We argue here that this argument is deeply flawed, and we demonstrate how a Quinean may successfully defend his views against Bealer’s SPA. Our defense of Quinean empiricism against the SPA depends on showing (1) (...) that Bealer is, in an important sense, a foundationalist, and (2) that Quine is, in an important sense, a coherentist. Having established these two contentions we show that Bealer’s SPA begs the question against Quinean empiricists. (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 grounded in two-dimensional hyperintensional Turing machines. 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. I provide a counter-example to epistemic closure for reductio proofs. 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 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 grounded in two-dimensional hyperintensional Turing machines. 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. I provide a counter-example to epistemic closure for reductio proofs. 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)

In various arguments, Descartes relies on the principles that conceivability implies possibility and that inconceivability implies impossibility. Those principles are in tension with another Cartesian view about the source of modality, i.e. the doctrine of the free creation of eternal truths. In this paper, I develop a ‘two-modality’ interpretation of the doctrine of eternal truths which resolves the tension and I discuss how the resulting modal epistemology can still be relevant for the contemporary discussion.

My primary goal in this paper is to defend the plausibility of Kripke’s thesis that there are contingent a priori truths, and to fill out some gaps in Kripke’s own account of these truths. But the strategy here adopted is, to the best of my knowledge, still unexplored and different from the one adopted both by Kripke himself and by his critics. I first argue that Kripke’s examples of such truths can only be legitimate if seen as introduced by performative (...) utterances sense). And, if this is so, we can apply the machinery of illocutionary act theory to these utterances to explain how one can have a priori knowledge of some contingent facts generated by the utterances themselves. I shall argue that the overall strategy can fill out two gaps in Kripke’s original account: first, we can explain the nature of the truth-makers of contingent a priori truths sense, broadly conceived) and, second, we can explain how contingent a priori knowledge can be transmitted from one speaker to another. (shrink)

In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

It is commonplace in cognitive science that concepts are individuated in terms of the roles they play in the cognitive lives of thinkers, a view that Jerry Fodor has recently been dubbed ‘Concept Pragmatism’. Quinean critics of Pragmatism have long argued that it founders on its commitment to the analytic/synthetic distinction, since without such a distinction there is plausibly no way to distinguish constitutive from non-constitutive roles in cognition. This paper considers Fodor’s empirical arguments against analyticity, and in particular his (...) arguments against lexical decomposition and definitions, and argues that Concept Pragmatists have two viable options with respect to them. First, Concept Pragmatists can confront them head-on, and argue that they do not show that lexical items are semantically primitive or that lexical concepts are internally unstructured. Second, Pragmatists may accept that these arguments show that lexical concepts are atomic, but insist that this need not entail that Pragmatism is false. For there is a viable version of Concept Pragmatism that does not take lexical items to be semantically structured or lexical concepts to be internally structured. Adopting a version of Pragmatism that takes meaning relations to be specified by inference rules, or meaning postulates, allows one to accept the empirical arguments in favor of Concept Atomism, while at the same time deny that such arguments show that there are no analyticities. The paper concludes by responding to Fodor’s recent objection that such a version of Concept Pragmatism has unhappy consequences concerning the relation between concept constitution and concept possession. (shrink)

Recognitional concepts have the following characteristic property: thinkers are disposed to apply them to objects merely on the basis of undergoing certain perceptual experiences. I argue that a prominent strategy for defending the existence of constitutive connections among concepts, which appeals to thinkers’ semantic-cum-conceptual intuitions, cannot be used to defend the existence of recognitional concepts. I then outline and defend an alternative argument for the existence of recognitional concepts, which appeals to certain psychological laws.

I was brought up to believe that, in the “great debate” with the Rationalists, the Empiricists had largely won, particularly in view of Quine's holistic conception of justification, whereby even the claims of logic, though remote from experience, are indirectly tested by it. But some years ago I awoke to the possibility that there was something fishy in all this, and that the fallibilistic banalities that have played such a large role in driving the Quinean conception couldn't plausibly have such (...) dramatic consequences. “Everything can be revised in the light of experience” is good advice for someone who hasn't noticed just how rich, complex and indirect our reasonings about any issue, including logic and mathematics, can be; but does it really tell against what Kant and the others had in mind when they believed that there were some claims whose justification needn't appeal to experience? (shrink)

Adequate epistemic justification is best conceived as the appearance, over time, of knowledge to the subject. ‘Appearance’ is intended literally, not as a synonym for belief. It is argued through consideration of examples that this account gets the extension of ‘adequately justified belief’ at least roughly correct. A more theoretical reason is then offered to regard justification as the appearance of knowledge: If we have a knowledge norm for assertion, we do our best to comply with this norm when we (...) express as assertions only beliefs that appear to us to be knowledge. If we are doing our best, there is little point in further sanctions. So a norm of knowledge for assertion would lead to a secondary norm of justified belief as the appearance of knowledge, marking a point at which our assertions may be corrected but should not be blamed. (shrink)

Instability occurs when the very fact of choosing one particular possible option rather than another affects the expected values of those possible options. In decision theory: An act is stable iff given that it is actually performed, its expected utility is maximal. When there is no stable choice available, the resulting instability can seem to pose a dilemma of practical rationality. A structurally very similar kind of instability, which occurs in cases of anti-expertise, can likewise seem to create dilemmas of (...) epistemic rationality. One possible line of response to such cases of instability, suggested by both Jeffrey (1983) and Sorensen (1987), is to insist that a rational agent can simply refuse to accept that such instability applies to herself in the first place. According to this line of thought it can be rational for a subject to discount even very strong empirical evidence that the anti-expertise condition obtains. I present a new variety of anti-expertise condition where no particular empirical stage-setting is required, since the subject can deduce a priori that an anti-expertise condition obtains. This kind of anti-expertise case is therefore not amenable to the line of response that Jeffrey and Sorensen recommend. (shrink)

Something about this argument sounds funny. As we’ll see, though, it takes some care to identify exactly what Moore has done wrong. Iwill assume that Moore knows premise (2) to be true. One could inquire into how he knows it, and whether that knowledge can be defeated; but Iwon’t. I’ll focus instead on what epistemic relations Moore has to premise (1) and to his conclusion (3). It may matter which epistemic relations we choose to consider. Some philosophers will diagnose Moore’s (...) argument using Contextualist machinery. They’ll say. (shrink)

I argue that beliefs that are true whenever held-like I exist, I am thinking about myself, and (in an object-dependent framework) Jack = Jack-needn't on that account be a priori. It does however seem possible to remove the existential commitment from the last example, to get a belief that is knowable a priori. I discuss some difficulties concerning how to do that.

A traditional view is that to be an empiricist is to hold a particular epistemological belief: something to the effect that knowledge must derive from experience. In his recent book The Empirical Stance, and in a number of other publications, Bas van Fraassen has disagreed, arguing that if empiricism is to be defensible it must instead be thought of as a stance: an attitude of mind or methodological orientation rather than a factual belief. In this article I will examine his (...) arguments for this claim in detail. I will argue that they do not succeed and that empiricism is, contrary to van Fraassen's claim, better thought of as a truth‐evaluable doctrine than as a stance. (shrink)

This article lays the groundwork for a defense of rational intuitions by first arguing against a prevalent view according to which intuition is a distinctive psychological state, an “intellectual seeming” that p, that then constitutes evidence that p. An alternative account is then offered, according to which an intuition that p constitutes non-inferential a priori knowledge that p in virtue of the concepts exercised in judging that p. This account of rational intuition as the exercise of conceptual capacities in a (...) priori judgment is then distinguished from the dogmatic, entitlement and reliabilist accounts of intuition’s justificatory force. The article concludes by considering three implications of the proposed view for the Experimental Philosophy movement. (shrink)

On two standard views of vagueness, vagueness as to whether Harry is bald entails that nobody knows whether Harry is bald—either because vagueness is a type of missing truth, and so there is nothing to know, or because vagueness is a type of ignorance, and so even though there is a truth of the matter, nobody can know what that truth is. Vagueness as to whether Harry is bald does entail that nobody clearly knows that Harry is bald and that (...) nobody clearly knows that Harry is not bald. But it does not entail that nobody knows that Harry is bald or that nobody knows that Harry is not bald. Hence, the two standard views of vagueness are mistaken. (shrink)

Hume argued that inductive inferences do not have rational justification. My aim is to reject Hume’s argument. The discussion is partly motivated by an analogy with Carroll’s Paradox, which concerns deductive inferences. A first radically externalist reply to Hume (defended by Dauer and Van Cleve) is that justified inductive inferences do not require the subject to know that nature is uniform, though the uniformity of nature is a necessary condition for having the justification. But then the subject does not have (...) reasons for believing what she believes. I defend a moderate externalist account that seeks to partly accommodate that objection to the radical externalist proposal. It is based on an extension of Peacocke’s theory of concepts: possession conditions for predicative concepts standing for natural properties include (fallible) dispositions to project them to new cases in accordance with inductive inferential patterns. (shrink)

In this paper I will argue that this entire dialectic is somewhat misguided. The mental states which are generally assumed to fall under the category of ‘intuition’ likely comprise a highly heterogeneous group; from the point of view of psychology or of neuroscience, in fact, ‘intuitions’ appear to be generated by several fundamentally different sorts of mental processes. If this is correct, then the term ‘intuition’ may simply carve things too broadly. I will argue that it is a mistake to (...) focus on the ‘reliability of intuition’; empirical evidence suggests that the reliability of one type of intuition may tell us next to nothing about the reliability of other types. Rather than debating the evidential status of intuition as a whole, philosophers interested in methodology would do well to focus their investigations much more narrowly. (shrink)

Experimental philosophy, at least in its ‘negative’ variety, has standardly been portrayed as presenting a dramatic challenge to traditional philosophical methodology. As such, it has prompted a large variety of counter-arguments and defenses of intuition. In this paper, I argue that many of these objections to experimental philosophy rest on various oversimplifications that both experimental philosophers and their opponents have made regarding intuitions and philosophical methodology. Once these oversimplifications are abandoned, I argue that the experimentalist critique of current philosophical methods (...) becomes somewhat less dramatic, but also much less open to objection. (shrink)