The primary justification for mathematical structuralism is its capacity to explain two observations about mathematical objects, typically natural numbers. Non-eliminative structuralism attributes these features to the particular ontology of mathematics. I argue that attributing the features to an ontology of structural objects conflicts with claims often made by structuralists to the effect that their structuralist theses are versions of Quine’s ontological relativity or Putnam’s internal realism. I describe and argue for an alternative explanation for these features which instead explains the (...) attributes them to the mathematical practice of representing numbers using more concrete tokens, such as sets, strokes and so on. (shrink)

I dub a certain central tradition in philosophy of language (and mind) the de re tradition. Compelling thought experiments show that in certain common cases the truth conditions for thoughts and public-language expressions categorically turn on external objects referred to, rather than on linguistic meanings and/or belief assumptions. However, de re phenomena in language and thought occur even when the objects in question don't exist. Call these empty de re phenomena. Empty de re thought with respect to numeration is explored (...) in this paper, and such thought with respect to hallucinations is touched on. (shrink)

All sides in the recent debates over the Quine‐Putnam Indispensability thesis presuppose Quine's criterion for determining what a discourse is ontologically committed to. I subject the criterion to scrutiny, especially in regard to the available competitor‐criteria, asking what means of evaluation there are for comparing alternative criteria against each other. Finding none, the paper concludes that ontological questions, in a certain sense, are philosophically indeterminate.

In this paper, we try to establish that some mathematical theories, like K-theory, homology, cohomology, homotopy theories, spectral sequences, modern Galois theory (in its various applications), representation theory and character theory, etc., should be thought of as (abstract) machines in the same way that there are (concrete) machines in the natural sciences. If this is correct, then many epistemological and ontological issues in the philosophy of mathematics are seen in a different light. We concentrate on one problem which immediately follows (...) the recognition of the particular status of these theories: the demarcation problem between ‘natural kinds’ and ‘artefacts’. (shrink)

Despite some discomfort with this grandly philosophical topic, I do in fact hope to address a venerable pair of philosophical chestnuts: mathematical truth and existence. My plan is to set out three possible stands on these issues, for an exercise in compare and contrast.' A word of warning, though, to philosophical purists (and perhaps of comfort to more mathematical readers): I will explore these philosophical positions with an eye to their interconnections with some concrete issues of set theoretic method.

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (shrink)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

In an influential book, Gilbert Harman writes, "In explaining the observations that support a physical theory, scientists typically appeal to mathematical principles. On the other hand, one never seems to need to appeal in this way to moral principles [1977, 9 – 10]." What is the epistemological relevance of this contrast, if genuine? In this article, I argue that ethicists and philosophers of mathematics have misunderstood it. They have confused what I will call the justificatory challenge for realism about an (...) area, D – the challenge to justify our D-beliefs – with the reliability challenge for D-realism – the challenge to explain the reliability of our D-beliefs. Harman’s contrast is relevant to the first, but not, evidently, to the second. One upshot of the discussion is that genealogical debunking arguments are fallacious. Another is that indispensability considerations cannot answer the Benacerraf-Field epistemological challenge for mathematical realism. (shrink)

Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol Logic 45:464–482, 1980 ). Therefore, (...) it is not clear how this logic should be interpreted. (3) Second-order logic also has strong ontological commitments: (a) it is ontologically committed to classes (Resnik, J Phil 85:75–87, 1988 ), and (b) according to Quine (Philosophy of logic, Prentice-Hall: Englewood Cliffs, 1970 ), it is nothing more than “set theory in sheep’s clothing”. (4) It is also not better than its first-order counterpart, in the following sense: if first-order logic does not characterize adequately mathematical systems, given the existence of non - isomorphic first-order interpretations, second-order logic does not characterize them either, given the existence of different interpretations of second-order theories (Melia, Analysis 55:127–134, 1995 ). (5) Finally, as opposed to what is claimed by defenders of second-order logic [such as Shapiro (J Symbol Logic 50:714–742, 1985 )], this logic does not solve the problem of referential access to mathematical objects (Azzouni, Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences, Cambridge University Press, Cambridge, 1994 ). In this paper, I argue that the second-order theorist can solve each of these difficulties. As a result, second-order logic provides the benefits of a rich framework without the associated costs. (shrink)

The specific characteristics of mathematical argumentation all depend on the centrality that writing has in the practice of mathematics, but blindness to this fact is near universal. What follows concerns just one of those characteristics, justification by proof. There is a prevalent view that long proofs pose a problem for the thesis that mathematical knowledge is justified by proof. I argue that there is no such problem: in fact, virtually all the justifications of mathematical knowledge are ‘long proofs’, but because (...) these real justifications are distributed in the written archive of mathematics, proofs remain surveyable, hence good. (shrink)

According to the familiar Quinean understanding of ontological commitment, (1) one undertakes ontological commitments only via theoretical regimentations, and (2) ontological commitments are to be identified with the domain of a theory’s quantifiers. Jody Azzouni accepts (1), but rejects (2). Azzouni accepts (1) because he believes that no vernacular expression carries ontological commitments. He rejects (2) by locating a theory’s commitments with the extension of an existence predicate. I argue that Azzouni’s two theses undermine each other. If ontological commitments follow (...) from predications of existence, then ontological commitments can be expressed in the vernacular via negative existential sentences. (shrink)

Jody Azzouni argues that whilst it is indeterminate what the criteria for existence are, there is a criterion that has been collectively adopted to use ‘exist’ that we can employ to argue for positions in ontology. I raise and defend a novel objection to Azzouni: his view has the counterintuitive consequence that the facts regarding what exists can and will change when users of the word ‘exist’ change what criteria they associate with its usage. Considering three responses, I argue Azzouni (...) has best reason to take one that ultimately renders unsuccessful his arguments against mathematical abstracta. (shrink)

Kant discovered a philosophical problem with mathematical proof. Despite being a priori , its methodology involves more than analytic truth. But what else is involved? This problem is widely taken to have been solved by Frege’s extension of logic beyond its restricted (and largely Aristotelian) form. Nevertheless, a successor problem remains: both traditional and contemporary (classical) mathematical proofs, although conforming to the norms of contemporary (classical) logic, never were, and still aren’t, executed by mathematicians in a way that transparently reveals (...) why these proofs—written in the vernacular to this very day—succeed in conforming to those norms. (shrink)

Formalism shares with nominalism a distaste for _abstracta_. But an honest exposition of the former position risks introducing _abstracta_ as the stuff of syntax. This article describes the dangers, and offers a new escape route from platonism for the formalist. It is explained how the needed role of derivations in mathematical practice can be explained, not by a commitment to the derivations themselves, but by the commitment of the mathematician to a practice which is in accord with a theory of (...) derivations. (shrink)

A distinction between the epistemic practices in mathematics and in the empirical sciences is rehearsed to motivate the epistemic role puzzle. This is distinguished both from Benacerraf's 1973 epistemic puzzle and from sceptical arguments against our knowledge of an external world. The stipulationist position is described, a position which can address this puzzle. Methods of avoiding the stipulationist position by using pure logic to provide knowledge of mathematical abstracta are discussed and criticized.

Mathematical concepts play at least three roles in the application of mathematics: an inferential role, a representational role, and an expressive role. In this paper, I argue that, despite what has often been alleged, platonists do not fully accommodate these features of the application of mathematics. At best, platonism provides partial ways of handling the issues. I then sketch an alternative, anti-realist account of the application of mathematics, and argue that this account manages to accommodate these features of the application (...) process. In this way, a better account of mathematical applications is, in principle, available. (shrink)

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

Mistaken reasons for thinking diagrammatic proofs aren't rigorous are explored. The main result is that a confusion between the contents of a proof procedure (what's expressed by the referential elements in a proof procedure) and the unarticulated mathematical aspects of a proof procedure (how that proof procedure is enabled) gives the impression that diagrammatic proofs are less rigorous than language proofs. An additional (and independent) factor is treating the impossibility of naturally generalizing a diagrammatic proof procedure as an indication of (...) lack of rigor. (shrink)

One of the important discussions in the philosophy of mathematics, is that centered on Benacerraf’s Dilemma. Benacerraf’s dilemma challenges theorists to provide an epistemology and semantics for mathematics, based on their favourite ontology. This challenge is the point on which all philosophies of mathematics are judged, and clarifying how we might acquire mathematical knowledge is one of the main occupations of philosophers of mathematics. In this thesis I argue that this discussion has overlooked an important part of mathematics, namely mathematics (...) as it is exercised by ordinary people. I do so by looking at the different theories that have been put forward in the recent debate, and showing for each of these that they are unable to account for the mathematical practices of ordinary people. In order to show that these practices do need to be accounted for, I also argue that ordinary people are doing mathematics, i.e. that they engage in properly mathematical practices. Because these practices are properly mathematical, they should be accounted for by any philosophy of mathematics. The conclusion of my thesis, then, is that current theories fail to do something that they should do, while remaining neutral on how well they perform when it comes to accounting for the practices of professional mathematicians. (shrink)