This book argues against the view that mathematical knowledge is a priori,contending that mathematics is an empirical science and develops historically,just as ...

In _Realistic Rationalism_, Jerrold J. Katz develops a new philosophical position integrating realism and rationalism. Realism here means that the objects of study in mathematics and other formal sciences are abstract; rationalism means that our knowledge of them is not empirical. Katz uses this position to meet the principal challenges to realism. In exposing the flaws in criticisms of the antirealists, he shows that realists can explain knowledge of abstract objects without supposing we have causal contact with them, that numbers (...) are determinate objects, and that the standard counterexamples to the abstract/concrete distinction have no force. Generalizing the account of knowledge used to meet the challenges to realism, he develops a rationalist and non-naturalist account of philosophical knowledge and argues that it is preferable to contemporary naturalist and empiricist accounts. The book illuminates a wide range of philosophical issues, including the nature of necessity, the distinction between the formal and natural sciences, empiricist holism, the structure of ontology, and philosophical skepticism. Philosophers will use this fresh treatment of realism and rationalism as a starting point for new directions in their own research. (shrink)

Platonism about mathematics (or mathematical platonism) isthe metaphysical view that there are abstract mathematical objectswhose existence is independent of us and our language, thought, andpractices. Just as electrons and planets exist independently of us, sodo numbers and sets. And just as statements about electrons and planetsare made true or false by the objects with which they are concerned andthese objects' perfectly objective properties, so are statements aboutnumbers and sets. Mathematical truths are therefore discovered, notinvented., Existence. There are mathematical objects.

Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. In this survey article, the view is clarified and distinguished from some related views, and arguments for and against the view are discussed.

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

…entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..

This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as the (...) most powerful presentation yet of a neo-Fregean program. (shrink)

Knowledge and its Limits presents a systematic new conception of knowledge as a kind of mental stage sensitive to the knower's environment. It makes a major contribution to the debate between externalist and internalist philosophies of mind, and breaks radically with the epistemological tradition of analyzing knowledge in terms of true belief. The theory casts new light on such philosophical problems as scepticism, evidence, probability and assertion, realism and anti-realism, and the limits of what can be known. The arguments are (...) illustrated by rigorous models based on epistemic logic and probability theory. The result is a new way of doing epistemology and a notable contribution to the philosophy of mind. (shrink)

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous (...) discussions of these projects, and presents clear, concise accounts of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed. (shrink)

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (shrink)

Metaethical—or, more generally, metanormative— realism faces a serious epistemological challenge. Realists owe us—very roughly speaking—an account of how it is that we can have epistemic access to the normative truths about which they are realists. This much is, it seems, uncontroversial among metaethicists, myself included. But this is as far as the agreement goes, for it is not clear—nor uncontroversial—how best to understand the challenge, what the best realist way of coping with it is, and how successful this attempt is. (...) In this paper I try, first, to present the challenge in its strongest version, and second, to show how realists—indeed, robust realists—can cope with it. The strongest version of the challenge is, I argue, that of explaining the correlation between our normative beliefs and the independent normative truths. And I suggest an evolutionary explanation as a way of solving it. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (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)

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 modal antirealist, as presented here, aims to secure at least some of the benefits associated with talking in genuine modal realist terms while avoiding commitment to a plurality of Lewisian (or ersatz) worlds. The antirealist stance of agnosticism about other worlds combines acceptance of Lewis's account of what world-talk means with refusal to assert, or believe in, the existence of other worlds. Agnosticism about other worlds does not entail a comprehensive agnosticism about modality, but where such agnosticism about modality (...) is enforced, the aim of the agnostic programme is to show that it is not detrimental to our modal practices. The agnostic programme consists in an attempt to demonstrate the rational dispensability of that disputed class of modal beliefs which the agnostic eschews, but which are held by the realist and the folk. Here I attempt to motivate, describe, and illustrate such an agnostic antirealist programme in modal philosophy. (shrink)

Since Edmund L. Gettier reminded us recently of a certain important inadequacy of the traditional analysis of "S knows that p," several attempts have been made to correct that analysis. In this paper I shall offer still another analysis (or a sketch of an analysis) of "S knows that p," one which will avert Gettier's problem. My concern will be with knowledge of empirical propositions only, since I think that the traditional analysis is adequate for knowledge of nonempirical truths.

This paper responds to Colin Cheyne's new anti-platonist argument according to which knowledge of existential claims—claims of the form such-tmd-so exist—requires a caused connection with the given such-and-so. If his arguments succeed then nobody can know, or even justifiably believe, that acausal entities exist, in which case (standard) platonism is untenable. I argue that Cheyne's anti-platonist argument fails.

This paper presents a partial analysis of perceptual knowledge, an analysis that will, I hope, lay a foundation for a general theory of knowing. Like an earlier theory I proposed, the envisaged theory would seek to explicate the concept of knowledge by reference to the causal processes that produce (or sustain) belief. Unlike the earlier theory, however, it would abandon the requirement that a knower's belief that p be causally connected with the fact, or state of affairs, that p.

The Description for this book, The Analysis of Knowing: A Decade of Research, will be forthcoming.

Ante rem structuralism is the doctnne that mathematics descubes a realm of abstract (structural) universab. According to its proponents, appeal to the exutence of these universab provides a source distinctive insight into the epistemology of mathematics, in particular insight into the so-called 'access problem' of explaining how mathematicians can reliably access truths about an abstract realm to which they cannot travel andfiom which they recave no signab. Stewart Shapiro offers the most developed version of this view to date. Through an (...) examination of Shapiro's proposed structuralist epistemology for mathematics I argue that ante rem structuralism faib to provide the ingredients for a satisfactory resolution of the access problem for infinite structures (whether small or large). (shrink)

Mathematics is about numbers, sets, functions, etc. and, according to one prominent view, these are abstract entities lacking causal powers and spatio-temporal location. If this is so, then it is a puzzle how we come to have knowledge of such remote entities. One suggestion is intuition. But `intuition' covers a range of notions. This paper identifies and examines those varieties of intuition which are most likely to play a role in the acquisition of our mathematical knowledge, and argues that none (...) of them, singly or in combination, can plausibly account for knowledge of abstract entities. (shrink)

Book Information Knowledge, Cause, and Abstract Objects: Causal Objections to Platonism. Knowledge, Cause, and Abstract Objects: Causal Objections to Platonism Colin Cheyne , Dordrecht: Kluwer Academic Publishers , 2001 , xvi + 236 , £55 ( cloth ) By Colin Cheyne. Dordrecht: Kluwer Academic Publishers. Pp. xvi + 236. £55.

Since Benacerraf’s “Mathematical Truth” a number of epistemological challenges have been launched against mathematical platonism. I first argue that these challenges fail because they unduely assimilate mathematics to empirical science. Then I develop an improved challenge which is immune to this criticism. Very roughly, what I demand is an account of how people’s mathematical beliefs are responsive to the truth of these beliefs. Finally I argue that if we employ a semantic truth-predicate rather than just a deflationary one, there surprisingly (...) turns out to be logical space for a response to the improved challenge where no such space appeared to exist. (shrink)

According to platonists, entities such as numbers, sets, propositions and properties are abstract objects. But abstract objects lack causal powers and a location in space and time, so how could we ever come to know of the existence of such impotent and remote objects? In Knowledge, Cause, and Abstract Objects, Colin Cheyne presents the first systematic and detailed account of this epistemological objection to the platonist doctrine that abstract objects exist and can be known. Since mathematics has such a central (...) role in the acquisition of scientific knowledge, he concentrates on mathematical platonism. He also concentrates on our knowledge of what exists, and argues for a causal constraint on such existential knowledge. Finally, he exposes the weaknesses of recent attempts by platonists to account for our supposed platonic knowledge. This book will be of particular interest to researchers and advanced students of epistemology and of the philosophy of mathematics and science. It will also be of interest to all philosophers with a general interest in metaphysics and ontology. (shrink)

Mathematics is about numbers, sets, functions, etc. and, according to one prominent view, these are abstract entities lacking causal powers and spatio-temporal location. If this is so, then it is a puzzle how we come to have knowledge of such remote entities. One suggestion is intuition. But ‘intuition’ covers a range of notions. This paper identifies and examines those varieties of intuition which are most likely to playa role in the acquisition of our mathematical knowledge, and argues that none of (...) them, singly or in combination, can plausibly account for knowledge of abstract entities. (shrink)