ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

Textual and historical subtleties aside, let's call the idea that numbers are properties of equinumerous sets ‘the Fregean thesis.’ In a recent paper, Palle Yourgrau claims to have found a decisive refutation of this thesis. More surprising still, he claims in addition that the essence of this refutation is found in the Grundlagen itself – the very masterpiece in which Frege first proffered his thesis. My intention in this note is to evaluate these claims, and along the way to shed (...) some light on relevant passages of the Grundlagen. I will argue that Yourgrau does not make his case.The arguments with which we are concerned are found in the last three sections of Yourgrau's paper. A pervasive difficulty in these sections is that it is not clear exactly what Yourgrau is arguing against. The stated object of his attack is the Fregean thesis, a thesis about what numbers are; however, instead of a frontal assault, his strategy is to embark on a foray into the ill-defined issue of what it is that numbers number, where, roughly speaking, a number n numbers an object x just in case n can be legitimately assigned to x. The reason for this shift in emphasis appears to be rooted in a misconception. As we’ll see in more detail shortly, Yourgrau's argument against the Fregean thesis is based on an extension of a well known argument of Frege's found in §§22-3 of the Grundlagen, which Glenn Kessler has tagged the ‘relativity argument,’. According to Yourgrau, this is an argument ‘to the effect that what is literally numbered cannot simply be concrete objects’. This is incorrect. Frege himself clarifies the point of the argument in §21 with the following preface:In language, numbers (i.e., numerals] most commonly appear in adjectival form and attributive construction in the same sort of way as the words "hard" or "heavy" or "red," which have for their meanings properties of external things. It is natural to ask whether we must think of the individual numbers too as such properties, and whether, accordingly, the concept of number can be classed along with that, say, of color. (shrink)

In this paper I claim that Earman and Norton 's hole argument against substantivalist interpretations of General Relativity assumes that the substantivalist must adopt a conception of determinism which I argue is unsatisfactory. Butterfield and others have responded to the hole argument by finding a conception of determinism open to the substantivalist that is not prone to the hole argument. But, unfortunately for the substantivalist, I argue this conception also turns out to be unsatisfactory. Accordingly, I search for a conception (...) of determinism that is both independently plausible and capable of blocking the hole argument. (shrink)

Philosophical analysis is for Quine the replacement of a defective expression by another, sound expression, which performs the same work. In general, then, an analysis consists of two stages: (a) identifying the work that a defective expression performs, and (b) imbedding it in a safe domain. In this essay I argue that Quine’s view does not truly reflect what we do in philosophy. The problem, I think, lies in both stages (a) and (b), but stems from Quine’s assumption that we (...) can control the work performed by language. (shrink)

While Saunders Mac Lane studied for his D.Phil in Göttingen, he heard David Hilbert's weekly lectures on philosophy, talked philosophy with Hermann Weyl, and studied it with Moritz Geiger. Their philosophies and Emmy Noether's algebra all influenced his conception of category theory, which has become the working structure theory of mathematics. His practice has constantly affirmed that a proper large-scale organization for mathematics is the most efficient path to valuable specific results—while he sees that the question of which results are (...) valuable has an ineliminable philosophic aspect. His philosophy relies on the ideas of truth and existence he studied in Göttingen. His career is a case study relating naturalism in philosophy of mathematics to philosophy as it naturally arises in mathematics. Introduction Structures and Morphisms Varieties of Structuralism Göttingen Logic: Mac Lane's Dissertation Emmy Noether Natural Transformations Grothendieck: Toposes and Universes Lawvere and Foundations Truth and Existence Naturalism Austere Forms of Beauty. (shrink)

We can learn from questions as well as from their answers. This paper urges some things to learn from questions about categorical foundations for mathematics raised by Geoffrey Hellman and from ones he invokes from Solomon Feferman.

Deflationists about truth embrace the positive thesis that the notion of truth is useful as a logical device, for such purposes as blanket endorsement, and the negative thesis that the notion doesn’t have any legitimate applications beyond its logical uses, so it cannot play a significant theoretical role in scientific inquiry or causal explanation. Focusing on Christopher Hill as exemplary deflationist, the present paper takes issue with the negative thesis, arguing that, without making use of the notion of truth conditions, (...) we have little hope for a scientific understanding of human speech, thought, and action. For the reference relation, the situation is different. Inscrutability arguments give reason to think that a more-than-deflationary theory of reference is unattainable. With respect to reference, deflationism is the only game in town. (shrink)

There is no preferred reduction of number theory to set theory. Nonetheless, we confidently accept axioms obtained by substituting formulas from the language of set theory into the induction axiom schema. This is only possible, it is argued, because our acceptance of the induction axioms depends solely on the meanings of aritlunetical and logical terms, which is only possible if our 'intended models' of number theory are standard. Similarly, our acceptance of the second-order natural deduction rules depends solely on the (...) meanings of the logical terms, which implies, it is argued, that our second-order quantifiers have to be standard. (shrink)

That reference is inscrutable is demonstrated, it is argued, not only by W. V. Quine's arguments but by Peter Unger's "Problem of the Many." Applied to our own language, this is a paradoxical result, since nothing could be more obvious to speakers of English than that, when they use the word "rabbit," they are talking about rabbits. The solution to this paradox is to take a disquotational view of reference for one's own language, so that "When I use 'rabbit,' I (...) refer to rabbits" is made true by the meaning of the word "refer." The reference relation is extended to other languages by translation. The explanation for this peculiarly egocentric conception of semantics-questions of others' meanings are settled by asking what I mean by words of my language-is to be found in our practice of predicting and explaining other people's behavior by empathetic identification. I understand other people's behavior by asking what I would do in their place. (shrink)

The pressure to individuate propositions more finely than intensionally—that is, hyper-intensionally—has two distinct sources. One source is the philosophy of mind: one can believe a proposition without believing an intensionally equivalent proposition. The second source is metaphysics: there are intensionally equivalent propositions, such that one proposition is true in virtue of the other but not vice versa. I focus on what our theory of propositions should look like when it's guided by metaphysical concerns about what is true in virtue of (...) what. In this paper I articulate and defend a metaphysical theory of the individuation of propositions, according to which two propositions are identical just in case they occupy the same nodes in a network of invirtuation relations. Invirtuation is here taken to be a primitive relation of metaphysical explanation exemplified by propositions that, in conjunction with truth, defines the notion of true in virtue of. After formulating the theory, I compare it with a view.. (shrink)

The access problem for mathematics arises from the supposition that the referents of mathematical terms inhabit a realm separate from us. Quine’s approach in the philosophy of mathematics dissolves the access problem, though his solution sometimes goes unrecognized, even by those who rely on his framework. This paper highlights both Quine’s position and its neglect. I argue that Michael Resnik’s structuralist, for example, has no access problem for the so-called mathematical objects he posits, despite recent criticism, since he relies on (...) an indispensability argument. Still, Resnik’s structuralist does not provide an account of our access to traditional mathematical objects, and this may be seen as a problem. (shrink)

David Lewis claims that his theory of modality successfully reduces modal items to nonmodal items. This essay will clarify this claim and argue that it is true. This is largely an exercise within ‘Ludovician Polycosmology’: I hope to show that a certain intuitive resistance to the reduction and a set of related objections misunderstand the nature of the Ludovician project. But these results are of broad interest since they show that would-be reductionists have more formidable argumentative resources than is often (...) thought. Lewis’s reduction depends on a set of methodological commitments each of which is fairly plausible or at least currently popular, and none of which is particular to modality. The choice of which of these commitments to reject I leave to the discerning antireductionist. The essay proceeds as follows: §1 discusses reduction generally and one or two relevant puzzles; §2 discusses Lewis’s reduction in particular; the longest section, §3 replies to four objections. (shrink)

For some time now, academic philosophers of mathematics have concentrated on intramural debates, the most conspicuous of which has centered on Benacerraf's epistemological challenge. By the late 1980s, something of a consensus had developed on how best to respond to this challenge. But answering Benacerraf leaves untouched the more advanced epistemological question of how the axioms are justified, a question that bears on actual practice in the foundations of set theory. I suggest that the time is ripe for philosophers of (...) mathematics to turn outward, to take on a problem of real importance for mathematics itself. (shrink)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (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)

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.The irresistible metaphor is that pure abstract objects […] are no more than shadows cast by the syntax of our discourse. And the aptness of the metaphor is enhanced by the reflection that shadows are, after their own fashion, real. (Crispin Wright [1992], p. 181–2)But I feel conscious that many a reader will scarcely recognise in the shadowy forms which I bring before him his numbers which all his life long have accompanied him as faithful and familiar friends; (Richard Dedekind [1963], p. 33)1 Introduction2 Logical‐historical preliminaries3 The linguistic turn4 Reductionism5 Rejectionism6 The ‘Julius Caesar’ problem7 Second‐order logic8 Bad company objections9 Conclusion. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

Philosophers have recently expressed interest in accounting for the usefulness of mathematics to science. However, it is certainly not a new concern. Putnam and Quine have each worked out an argument for the existence of mathematical objects from the indispensability of mathematics to science. Were Quine or Putnam to disregard the applicability of mathematics to science, he would not have had as strong a case for platonism. But I think there must be ways of parsing mathematical sentences which account for (...) applicability of mathematics and also do not require us to believe in entities we have no evidence for, other than through reading these sentences literally. We will explore a particular way to interpret sentences of arithmetic which promises to account for their applicability without bringing in metaphysics not also brought in by science. The investigation will be limited to the arithmetic of cardinal numbers. The general strategy is to argue for the analogy between arithmetic and science, rather than to argue for one case having a particular characteristic independently of the other. (shrink)

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

Metaphysical views typically draw some distinction between reality and appearance, endorsing realism about some subject matters and antirealism about others. There are different conceptions of how best to construe antirealist theories. A simple view has it that we are antirealists about a subject matter when we believe that this subject matter fails to obtain. This paper discusses an alternative view, which I will call the fundamentality-based conception of antirealism. We are antirealists in this sense when we think that the relevant (...) matter fails to be constitutive of fundamental reality. The following discussion will not rely on any particular understanding of fundamental reality, covering conceptions based on grounding, naturalness and truthmaking, to name three salient ones. This paper argues that there are serious issues with fundamentality-based metaphysics. It will be argued that: the fundamentality-based approach shapes and restricts our realist and antirealist views in unsatisfying ways, that it is unable to handle the conflicting facts that lie across the envisaged ‘layers’ of the metaphysically structured world, and that the methodological reasons for adopting the fundamentality-based approach fail. The paper will conclude with a diagnosis of the discussed issues, identifying a common source. (shrink)

In this paper, we investigate (1) what can be salvaged from the original project of "logicism" and (2) what is the best that can be done if we lower our sights a bit. Logicism is the view that "mathematics is reducible to logic alone", and there are a variety of reasons why it was a non-starter. We consider the various ways of weakening this claim so as to produce a "neologicism". Three ways are discussed: (1) expand the conception of logic (...) used in the reduction, (2) allow the addition of analytic-sounding principles to logic so that the reduction is not to "logic alone" but to logic and truths knowable a priori, and (3) revise the conception of "reducible". We show how the current versions of neologicism fit into this classification scheme, and then focus on a kind of neologicism which we take to have the most potential for achieving the epistemological goals of the original logicist project. We argue that that the "weaker" the form of neologicism, the more likely it is to be a new form of logicism, and show how our preferred system, though mathematically weak, is metaphysically and epistemogically strong, and can "reduce" arbitrary mathematical theories to logic and analytic truths, if given a legitimate new sense of "reduction". (shrink)

This is a critical notice of Stewart Shapiro's 1997 book, Philosophy of Mathematics: Structure and Ontology.

A new logic is presented without predicates—except equality. Yet its expressive power is the same as that of predicate logic, and relations can faithfully be represented in it. In this logic we also develop an alternative for set theory. There is a need for such a new approach, since we do not live in a world of sets and predicates, but rather in a world of things with relations between them.

This paper discerns two types of mathematization, a foundational and an explorative one. The foundational perspective is well-established, but we argue that the explorative type is essential when approaching the problem of applicability and how it influences our conception of mathematics. The first part of the paper argues that a philosophical transformation made explorative mathematization possible. This transformation took place in early modernity when sense acquired partial independence from reference. The second part of the paper discusses a series of examples (...) from the history of mathematics that highlight the complementary nature of the foundational and exploratory types of mathematization. (shrink)

Pure mathematical truths are commonly thought to be metaphysically necessary. Assuming the truth of pure mathematics as currently pursued, and presupposing that set theory serves as a foundation of pure mathematics, this article aims to provide a metaphysical explanation of why pure mathematics is metaphysically necessary.

This is Part A of an article that defends non-eliminative structuralism about mathematics by means of a concrete case study: a theory of unlabeled graphs. Part A summarizes the general attractions of non-eliminative structuralism. Afterwards, it motivates an understanding of unlabeled graphs as structures sui generis and develops a corresponding axiomatic theory of unlabeled graphs. As the theory demonstrates, graph theory can be developed consistently without eliminating unlabeled graphs in favour of sets; and the usual structuralist criterion of identity can (...) be applied successfully in graph-theoretic proofs. Part B will turn to the philosophical interpretation and assessment of the theory. (shrink)

This paper investigates the relation between Carnap and Quine’s views on analyticity on the one hand, and their views on philosophical analysis or explication on the other. I argue that the stance each takes on what constitutes a successful explication largely dictates the view they take on analyticity. I show that although acknowledged by neither party (in fact Quine frequently expressed his agreement with Carnap on this subject) their views on explication are substantially different. I argue that this difference not (...) only explains their differences on the question of analyticity, but points to a Quinean way to answer a challenge that Quine posed to Carnap. The answer to this challenge leads to a Quinean view of analyticity such that arithmetical truths are analytic, according to Quine’s own remarks, and set theory is at least defensibly analytic. (shrink)

I use my reading of Plato to develop what I call as-ifism, the view that, in mathematics, we treat our hypotheses as if they were first principles and we do this with the purpose of solving mathematical problems. I then extend this view to modern mathematics showing that when we shift our focus from the method of philosophy to the method of mathematics, we see that an as-if methodological interpretation of mathematical structuralism can be used to provide an account of (...) the practice and the applicability of mathematics while avoiding the conflation of metaphysical considerations with mathematical ones. (shrink)

In his "Grundgesetze", Frege hints that prior to his theory that cardinal numbers are objects he had an "almost completed" manuscript on cardinals. Taking this early theory to have been an account of cardinals as second-level functions, this paper works out the significance of the fact that Frege's cardinal numbers is a theory of concept-correlates. Frege held that, where n > 2, there is a one—one correlation between each n-level function and an n—1 level function, and a one—one correlation between (...) each first-level function and an object. Applied to cardinals, the correlation offers new answers to some perplexing features of Frege's philosophy. It is shown that within Frege's concept-script, a generalized form of Hume's Principle is equivalent to Russell's Principle ofion — a principle Russell employed to demonstrate the inadequacy of definition by abstraction. Accordingly, Frege's rejection of definition of cardinal number by Hume's Principle parallels Russell's objection to definition by abstraction. Frege's correlation thesis reveals that he has a way of meeting the structuralist challenge that it is arithmetic, and not a privileged progression of objects, that matters to the finite cardinals. (shrink)

The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic in re interpretation of mathematical structuralism. In each context, what we aim to show (...) is that, whatever the significance of category theory, it need not rely upon any set-theoretic underpinning. (shrink)

Part of Frege's concern about whether number words are properties of objects was that if they could be construed as such it would lend support to the view that truths of arithmetic were empirical truths. Such concern is ill-founded. Even if number words do apply to objects as predicates, this does not entail that numerical truths would be empirical, any more than the fact that ‘bachelor’ and ‘unmarried’ are predicates of objects entails that their relationship is an empirical one. The (...) account of number words as predicates given here, consequently, should not be taken as supportive of any one particular theory concerning arithmetic truth rather than another.The view of number words that emerges above from the criticism of Frege's arguments is that sentences containing number words can and do say something about objects in a collective and syncategorematic way. That is, they say something about classes of objects, when it is clear what is to count as an object. Whether this view commits us to accepting certain ontological entities, classes of individuals, above and beyond individuals themselves, I am not prepared to say, and at any rate this question falls beyond the intended scope of this essay. To those who would eschew abstract entities, however, it may be noted that the ontological problems that arise are not peculiar to this view; they seem no more or less severe than those that arise in connection with other collective predicate statements, as, for example, “Blue whales are becoming extinct.”The view presented here also does not pretend to be a fatal criticism of the logicist program. Taking our cue from the above noted fact that syncategorematic predicates share in a common ‘partial’ abstract sense, it seems reasonable to say that it is just the set of such partial senses of number words, and the relationships that hold between such senses, that the logicist and the pure number theorist investigate. (shrink)

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)

Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...) From this observation we draw some philosophical conclusions about the possibility of a ‘correct’ analysis of structural properties. (shrink)

Some scientific explanations appear to turn on pure mathematical claims. The enhanced indispensability argument appeals to these ‘mathematical explanations’ in support of mathematical platonism. I argue that the success of this argument rests on the claim that mathematical explanations locate pure mathematical facts on which their physical explananda depend, and that any account of mathematical explanation that supports this claim fails to provide an adequate understanding of mathematical explanation.