Computationalism holds that our grasp of notions like ‘computable function’ can be used to account for our putative ability to refer to the standard model of arithmetic. Tennenbaum's Theorem has been repeatedly invoked in service of this claim. I will argue that not only do the relevant class of arguments fail, but that the result itself is most naturally understood as having the opposite of a reference-fixing effect — i.e., rather than securing the determinacy of number-theoretic reference, Tennenbaum's Theorem points (...) towards a sense in which portions of our computational vocabulary should be regarded as model-relative. (shrink)

This paper sketches an answer to the question how we, in our arithmetical practice, succeed in singling out the natural-number structure as our intended interpretation. It is argued that we bring this about by a combination of what we assert about the natural-number structure on the one hand, and our computational capacities on the other hand.

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

It is commonly held that the natural numbers sequence 0, 1, 2,... possesses a unique structure. Yet by a well known model theoretic argument, there exist non-standard models of the formal theory which is generally taken to axiomatize all of our practices and intentions pertaining to use of the term “natural number.” Despite the structural similarity of this argument to the influential set theoretic indeterminacy argument based on the downward L ̈owenheim-Skolem theorem, most theorists agree that the number theoretic version (...) does not have skeptical consequences about the reference of “natural number” analogous to the ‘relativity’ Skolem claimed pertains to notions such as “uncountable” and “cardinal.” In this paper I argue that recent proposals by Shapiro, Lavine, McGee and Field which aim to distinguish the number and set theoretic indeterminacy arguments by locating extra-mathematical constraints on the interpretation of our number theoretic vocabulary are inadequate. I then suggest that if we consider the manner in which the natural numbers figure in our computational practices – e.g. in characterizing how we compute sums and products or determine prime factorizations – it follows that our application of computational terms such as “computable function” and “tractable computational problem” indirectly uniquely determines their structure. (shrink)

This volume reprints a dozen of the author’s papers, most with substantial postscripts, and adds one new one. The bulk of the material is on topics in philosophy of language, but there are also two papers on philosophy of mathematics written after the appearance of the author’s collected papers on that subject, and one on epistemology. As to the substance of Field’s contributions, limitations of space preclude doing much more below than indicating the range of issues addressed, and the general (...) orientation taken towards them. As to the style of his writing, it well exhibits the first of the two virtues, clarity and conciseness, that one looks for in philosophical prose. (shrink)

Book Information Truth and the Absence of Fact. By Hartry Field. Clarendon Press. Oxford. 2001. Pp. xi + 401. Hardback, 45.00, US$65.00. Paperback, 16.99, $24.95.

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.

This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here for (...) the first time. (shrink)

Competent speakers of natural languages can borrow reference from one another. You can arrange for your utterances of ‘Kirksville’ to refer to the same thing as my utterances of ‘Kirksville’. We can then talk about the same thing when we discuss Kirksville. In cases like this, you borrow “ aboutness ” from me by borrowing reference. Now suppose I wish to initiate a line of reasoning applicable to any prime number. I might signal my intention by saying, “Let p be (...) any prime.” In this context, I will be using the term ‘p’ to reason about the primes. Although ‘p’ helps me secure the aboutness of my discourse, it may seem wrong to say that ‘p’ refers to anything. Be that as it may, this paper explores what mathematical discourse would be like if mathematicians were able to borrow freely from one another not just the reference of terms that clearly refer, but, more generally, the sort of aboutness present in a line of reasoning leading up to a universal generalization. The paper also gives reasons for believing that aboutness of this sort really is freely transferable. A key implication will be that the concept “set of natural numbers” suffers from no mathematically significant indeterminacy that can be coherently discussed. (shrink)

In "Realism and Reason" Hilary Putnam has offered an apparently strong argument that the position of metaphysical realism provides an incoherent model of the relation of a correct scientific theory to the world. However, although Putnam's attack upon the notion of the "intended" interpretation of a scientific theory is sound, it is shown here that realism may be formulated in such a way that the realist need make no appeal to any "intended" interpretation of such a theory. Consequently, it can (...) be shown that realism is immune to Putnam's criticism and that attempts at reformulating this criticism are not likely to meet with success. (shrink)

Kurt Gödel is almost as famous—one might say “notorious”—for his extreme platonist views as he is famous for his mathematical theorems. Moreover his platonism is not a myth; it is well-documented in his writings. Here are two platonist declarations about set theory, the first from his paper about Bertrand Russell and the second from the revised version of his paper on the Continuum Hypotheses.Classes and concepts may, however, also be conceived as real objects, namely classes as “pluralities of things” or (...) as structures consisting of a plurality of things and concepts as the properties and relations of things existing independently of our definitions and constructions.It seems to me that the assumption of such objects is quite as legitimate as the assumption of physical bodies and there is quite as much reason to believe in their existence.But, despite their remoteness from sense experience, we do have something like a perception also of the objects of set theory, as is seen from the fact that the axioms force themselves upon us as being true. I don't see any reason why we should have less confidence in this kind of perception, i.e., in mathematical intuition, than in sense perception.The first statement is a platonist declaration of a fairly standard sort concerning set theory. What is unusual in it is the inclusion of concepts among the objects of mathematics. This I will explain below. The second statement expresses what looks like a rather wild thesis. (shrink)

I present two generalizations of Putnam's model-theoretic argument against realism. The first replaces Putnam's model theory with some new, and substantially simpler, model theory, while the second replaces Putnam's model theory with some more accessible results from astronomy. By design, both of these new arguments fail. But the similarities between these new arguments and Putnam's original arguments illuminate the latter's overall structure, and the flaws in these new arguments highlight the corresponding flaws in Putnam's arguments.

Mathematics tells us there exist infinitely many prime numbers. Nominalist philosophy, introduced by Goodman and Quine, tells us there exist no numbers at all, and so no prime numbers. Nominalists are aware that the assertion of the existence of prime numbers is warranted by the standards of mathematical science; they simply reject scientific standards of warrant.

Anyone who has pondered the limitlessness of space and time, or the endlessness of numbers, or the perfection of God will recognize the special fascination of this question. Adrian Moore's historical study of the infinite covers all its aspects, from the mathematical to the mystical.

The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe (...) view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for. (shrink)

The purpose of this article is show that second-order logic, as understood through standard semantics, is intimately bound up with set theory, or some other general theory of interpretations, structures, or whatever. Contra Quine, this does not disqualify second-order logic from its role in foundational studies. To wax Quinean, why should there be a sharp border separating mathematics from logic, especially the logic of mathematics?

We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be in manifest conflict with each (...) other. However, our conclusion is that it is very difficult to see any real difference between the two. We analyze a phenomenon we call internal categoricity which extends the familiar categoricity results of second order logic to Henkin models and show that set theory enjoys the same kind of internal categoricity. Thus the existence of non-standard models, which is usually taken as a property of first order set theory, and categoricity, which is usually taken as a property of second order axiomatizations, can coherently coexist when put into their proper context. We also take a fresh look at complete second order axiomatizations and give a hierarchy result for second order characterizable structures. Finally we consider the problem of existence in mathematics from both points of view and find that second order logic depends on what we call large domain assumptions, which come quite close to the meaning of the axioms of set theory. (shrink)

a collection of articles by philosophers of mathematics on themes associated with the work of Paul Benacceraf.

Mathematical realism is the doctrine that mathematical objects really exist, that mathematical statements are either determinately true or determinately false, and that the accepted mathematical axioms are predominantly true. A realist understanding of set theory has it that when the sentences of the language of set theory are understood in their standard meaning, each sentence has a determinate truth value, so that there is a fact of the matter whether the cardinality of the continuum is א2 or whether there are (...) measurable cardinals, whether or not those facts are knowable by us. (shrink)

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality (...) of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious. (shrink)

According to structuralism in philosophy of mathematics, arithmetic is about a single structure. First-order theories are satisfied by models that do not instantiate this structure. Proponents of structuralism have put forward various accounts of how we succeed in fixing one single structure as the intended interpretation of our arithmetical language. We shall look at a proposal that involves Tennenbaum's theorem, which says that any model with addition and multiplication as recursive operations is isomorphic to the standard model of arithmetic. On (...) this account, the intended models of arithmetic are the notation systems with recursive operations on them satisfying the Peano axioms. [A]m Anfang […] ist das Zeichen. (shrink)

Mathematical realism is the doctrine that mathematical objects really exist, that mathematical statements are either determinately true or determinately false, and that the accepted mathematical axioms are predominantly true. A realist understanding of set theory has it that when the sentences of the language of set theory are understood in their standard meaning, each sentence has a determinate truth value, so that there is a fact of the matter whether the cardinality of the continuum is א2 or whether there are (...) measurable cardinals, whether or not those facts are knowable by us. (shrink)

The basic relations and functions that mathematicians use to identify mathematical objects fail to settle whether mathematical objects of one kind are identical to or distinct from objects of an apparently different kind, and what, if any, intrinsic properties mathematical objects possess. According to one influential interpretation of mathematical discourse, this is because the objects under study are themselves incomplete; they are positions or akin to positions in patterns or structures. Two versions of this idea are examined. It is argued (...) that the evidence adduced in favor of the incompleteness of mathematical objects underdetermines whether it is the objects themselves or our knowledge of them that is incomplete. Also, holding that mathematical objects are incomplete conflicts with the practice of mathematics. The objection that structuralism is committed to the identity of indiscernibles is evaluated and it is also argued that the identification of objects with positions is metaphysically suspect. (shrink)

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

Anyone who has pondered the limitlessness of space and time, or the endlessness of numbers, or the perfection of God will recognize the special fascination of this question. Adrian Moore's historical study of the infinite covers all its aspects, from the mathematical to the mystical.

For the past hundred years, mathematics, for its own reasons, has been shifting away from the study of “mathematical objects” and towards the study of “structures”. One would have expected philosophers to jump onto the bandwagon, as in many other cases, to proclaim that this shift is no accident, since mathematics is “essentially” about structures, not objects. In fact, structuralism has not been a very popular philosophy of mathematics, probably because of the hostility of Frege and other influential logicists, and (...) quasi-logicists like Quine. Recently, however, structuralism has finally penetrated the philosophical community and a number of “structuralist” volumes in the philosophy of mathematics have seen the light of day. Michael Resnik is one of the most distinguished representatives of this school, along with Stewart Shapiro, who has also recently published a structuralist tract. (shrink)