Intuition is sometimes derided as an abstruse or esoteric phenomenon akin to crystal-ball gazing. Such derision appears to be fuelled primarily by the suggestion, evidently endorsed by traditional rationalists such as Plato and Descartes, that intuition is a kind of direct, immediate apprehension akin to perception. This paper suggests that although the perceptual analogy has often been dismissed as encouraging a theoretically useless metaphor, a quasi-perceptualist view of intuition may enable rationalists to begin to meet the challenge of supplying a (...) theoretically satisfying treatment of their favoured epistemic source. It is argued, first, that intuitions and perceptual experiences are at a certain level of abstraction the same type of mental state, presentations, which are distinct from beliefs, hunches, inclinations, attractions, and seemings. The notion of a presentation is given a positive explication, which identifies its characteristic features, accounts for several of its substantive psychological roles, and systematically locates it in a threefold division among types of contentful states. Subsequently, it is argued that presentations, intuitive no less than sensory, are by their nature poised to play a distinctive epistemic role. Specifically, in the case of intuition, we encounter an intellectual state that is so structured as to provide justification without requiring justification in turn—something which may, thus, be thought of as ‘given’. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

A selective annotated bibliography of recent literature on a priori knowledge.

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)

The indispensability argument is a method for showing that abstract mathematical objects exist. Various versions of this argument have been proposed. Lately, commentators seem to have agreed that a holistic indispensability argument will not work, and that an explanatory indispensability argument is the best candidate. In this paper I argue that the dominant reasons for rejecting the holistic indispensability argument are mistaken. This is largely due to an overestimation of the consequences that follow from evidential holism. Nevertheless, the holistic indispensability (...) argument should be rejected, but for a different reason —in order that an indispensability argument relying on holism can work, it must invoke an unmotivated version of evidential holism. Such an argument will be unsound. Correcting the argument with a proper construal of evidential holism means that it can no longer deliver mathematical Platonism as a conclusion: such an argument for Platonism will be invalid. I then show how the reasons for rejecting the holistic indispensability argument importantly constrain what kind of account of explanation will be permissible in explanatory versions. (shrink)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

Frege's concern in GGI §10 is neither with the epistemological issue of how we come to know about value-ranges, nor with the semantic-metaphysical issue of whether we have said enough about such objects in order to ensure that any kind of reference to them is possible. The problem which occupies Frege in GGI §10 is the general problem according to which we ‘cannot yet decide’, for any arbitrary function, what value ‘’ has if ‘ℵ’ is a canonical value-range name. This (...) is a problem with the ‘reference’ of value-range names, but only in the weak sense that, if we do not exercise care, value-range terms might become ‘bedeutungslos’ for purely formal reasons. Frege addresses the general problem only for the primitive function- and object-names he has already introduced into his concept-script. I argue that this methodology was perfectly intentional: his intention for GG in general, on display in GGI §10, is to check, for each primitive function- and object-name, as it is introduced into concept-script, whether it interacts with the other primitive names which have already been introduced in such a way that these atomic combinations of primitive names do not become bedeutungslos. If there is a risk of producing a bedeutungslos combination, Frege will make an arbitrary stipulation to ensure that logical hygiene is maintained. I argue that this interpretation does not violate some of the other principal commitments of GG. (shrink)

Platonism in the philosophy of mathematics is the doctrine that there are mathematical objects such as numbers. John Burgess and Gideon Rosen have argued that that there is no good epistemological argument against platonism. They propose a dilemma, claiming that epistemological arguments against platonism either rely on a dubious epistemology, or resemble a dubious sceptical argument concerning perceptual knowledge. Against Burgess and Rosen, I show that an epistemological anti- platonist argument proposed by Hartry Field avoids both horns of their dilemma.

The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining fundamentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental representations of elements (...) of the arithmetical structure of the independent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists. Preliminaries Justifying and grounding concepts Cameras and filters An epistemology for arithmetic Concluding remarks. (shrink)

One common attitude toward abstract objects is a kind of platonism: a view on which those objects are mind-independent and causally inert. But there's an epistemological problem here: given any naturalistically respectable understanding of how our minds work, we can't be in any sort of contact with mind-independent, causally inert objects. So platonists, in order to avoid skepticism, tend to endorse epistemological theories on which knowledge is easy, in the sense that it requires no such contact—appeals to Boghossian’s notion of (...) epistemic analyticity are particularly common here, as are appeals to some broadly pragmatic account of the good standing of basic beliefs. I argue, though, that these appeals are hopeless: an argument adapted from the Benacerraf–Field challenge shows that, even if some such theory can deliver the verdict that our beliefs about abstract objects have some prima facie good standing, this good standing will inevitably be defeated. (shrink)