First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.

The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been (...) proposed, each a consistent theory permitting the development of a significant portion of mathematics. This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in each. John Burgess considers every proposed fix, each with its distinctive philosophical advantages and drawbacks. These systems range from those barely able to reconstruct the rudiments of arithmetic to those that go well beyond the generally accepted axioms of set theory into the speculative realm of large cardinals. For the most part, Burgess finds that attempts to fix Frege do less than advertised to revive his system. This book will be the benchmark against which future analyses of the revival of Frege will be measured. (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.

This is the first systematic survey of modern nominalistic reconstructions of mathematics, and for this reason alone it should be read by everyone interested in the philosophy of mathematics and, more generally, in questions concerning abstract entities. In the bulk of the book, the authors sketch a common formal framework for nominalistic reconstructions, outline three major strategies such reconstructions can follow, and locate proposals in the literature with respect to these strategies. The discussion is presented with admirable precision and clarity, (...) and should be accessible even to readers with only minimal background in logic and mathematics. There will be many who will turn directly to these pages and use them as a brief manual on the state of the art of nominalism in mathematics. But the most intriguing parts of this elegant book—at least in my view—are the introduction and the conclusion, where the authors examine the significance of reconstructive nominalism. (shrink)

This paper uses neo-Fregean-style abstraction principles to develop the integers from the natural numbers (assuming Hume’s principle), the rational numbers from the integers, and the real numbers from the rationals. The first two are first-order abstractions that treat pairs of numbers: (DIF) INT(a,b)=INT(c,d) ≡ (a+d)=(b+c). (QUOT) Q(m,n)=Q(p,q) ≡ (n=0 & q=0) ∨ (n≠0 & q≠0 & m⋅q=n⋅p). The development of the real numbers is an adaption of the Dedekind program involving “cuts” of rational numbers. Let P be a property (of (...) rational numbers) and r a rational number. Say that r is an upper bound of P, written P≤r, if for any rational number s, if Ps then either s<r or s=r. In other words, P≤r if r is greater than or equal to any rational number that P applies to. Consider the Cut Abstraction Principle: (CP) ∀P∀Q(C(P)=C(Q) ≡ ∀r(P≤r ≡ Q≤r)). In other words, the cut of P is identical to the cut of Q if and only if P and Q share all of their upper bounds. The axioms of second-order real analysis can be derived from (CP), just as the axioms of second-order Peano arithmetic can be derived from Hume’s principle. The paper raises some of the philosophical issues connected with the neo-Fregean program, using the above abstraction principles as case studies. (shrink)

Kant's question 'How are synthetic judgments a priori possible?' pre- cipitated the Critique of Pure Reason. Question and answer notwith- standing, Mill and others persisted in doubting that such judgments were possible at all. At length some of Kant's own clearest purported.

One of the key supposed 'platitudes' of contemporary epistemology is the claim that knowledge excludes luck. One can see the attraction of such a claim, in that knowledge is something that one can take credit for - it is an achievement of sorts - and yet luck undermines genuine achievement. The problem, however, is that luck seems to be an all-pervasive feature of our epistemic enterprises, which tempts us to think that either scepticism is true and that we don't know (...) very much, or else that luck is compatible with knowledge after all. In this book, Duncan Pritchard argues that we do not need to choose between these two austere alternatives, since a closer examination of what is involved in the notion of epistemic luck reveals varieties of luck that are compatible with knowledge possession and varieties that aren't. Moreover, Pritchard shows that a more nuanced understanding of the relationship between luck and knowledge can cast light on many of the most central topics in contemporary epistemology. These topics include: the externalism/internalism distinction; virtue epistemology; the problem of scepticism; metaepistemological scepticism; modal epistemology; and the problem of moral luck. All epistemologists will need to come to terms with Pritchard's original and incisive contribution. (shrink)

In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

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

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)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

On the neo-Fregean approach to the foundations of mathematics, elementary arithmetic is analytic in the sense that the addition of a principle wliich may be held to IMJ explanatory of the concept of cardinal number to a suitable second-order logical basis suffices for the derivation of its basic laws. This principle, now commonly called Hume's principle, is an example of a Fregean abstraction principle. In this paper, I assume the correctness of the neo-Fregean position on elementary aritlunetic and seek to (...) explain one way in which it may be extended to encompass the theory of real numbers, introducing the reals, by means of suitable further abstraction principles, as ratios of quantities. (shrink)

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.

Kit Fine develops a Fregean theory of abstraction, and suggests that it may yield a new philosophical foundation for mathematics, one that can account for both our reference to various mathematical objects and our knowledge of various mathematical truths. The Limits ofion breaks new ground both technically and philosophically.

One of the greatest revolutions in mathematics occurred when Georg Cantor (1845-1918) promulgated his theory of transfinite sets.

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

This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in ...

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)

First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.

This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; ...

Carrie Jenkins presents a new account of arithmetical knowledge, which manages to respect three key intuitions: a priorism, mind-independence realism, and empiricism. Jenkins argues that arithmetic can be known through the examination of empirically grounded concepts, non-accidentally accurate representations of the mind-independent world.

While Frege’s own attempt to provide a purely logical foundation for arithmetic failed, Hume’s principle suffices as a foundation for elementary arithmetic. It is known that the resulting system is consistent—or at least if second-order arithmetic is. Some philosophers deny that HP can be regarded as either a truth of logic or as analytic in any reasonable sense. Others—like Crispin Wright and I—take the opposed view. Rather than defend our claim that HP is a conceptual truth about numbers, I explain (...) one way it may be possible to extend our view beyond elementary arithmetic to encompass the theory of real numbers. My approach has affinities to the leading ideas of Frege’s own treatment of the reals, although differing in one fundamental way. I attempt, like the HP approach to elementary arithmetic, to obtain the reals very directly by means of abstraction principles without any essential reliance on a theory of sets. This is the most natural way of extending the neo-Fregean position to the reals. (shrink)

A realistic and dialectical conception of the epistemology of science is advanced according to which the acquisition of instrumental knowledge is parasitic upon the acquisition, by successive approximation, of theoretical knowledge. This conception is extended to provide an epistemological characterization of reference and of natural kinds, and it is integrated into recent naturalistic treatments of knowledge. Implications for several current issues in the philosophy of science are explored.