The language of mathematics speaks of objects. This is a rather trivial statement; it is not certain that we can conceive any developed language that does not. What is of interest is that, taken at face value, mathematical language speaks of objects distinctively mathematical in character: numbers, functions, sets, geometric figures, and the like. To begin with they are distinctive in being abstract.

Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted lively debate in recent years, Stewart Shapiro contends that standard realist and antirealist accounts of mathematics are both problematic. As Benacerraf first noted, we are confronted with the following powerful dilemma. The desired continuity between mathematical and, say, scientific language suggests realism, but realism in this context suggests seemingly intractable epistemic (...) problems. As a way out of this dilemma, Shapiro articulates a structuralist approach. On this view, the subject matter of arithmetic, for example, is not a fixed domain of numbers independent of each other, but rather is the natural number structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle. Using this framework, realism in mathematics can be preserved without troublesome epistemic consequences. Shapiro concludes by showing how a structuralist approach can be applied to wider philosophical questions such as the nature of an "object" and the Quinean nature of ontological commitment. Clear, compelling, and tautly argued, Shapiro's work, noteworthy both in its attempt to develop a full-length structuralist approach to mathematics and to trace its emergence in the history of mathematics, will be of deep interest to both philosophers and mathematicians. (shrink)

Modality, morality and belief are among the most controversial topics in philosophy today, and few philosophers have shaped these debates as deeply as Ruth Barcan Marcus. Inspired by her work, a distinguished group of philosophers explore these issues, refine and sharpen arguments and develop new positions on such topics as possible worlds, moral dilemmas, essentialism, and the explanation of actions by beliefs. This 'state of the art' collection honours one of the most rigorous and iconoclastic of philosophical pioneers.

Tarski and Mautner proposed to characterize the "logical" operations on a given domain as those invariant under arbitrary permutations. These operations are the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively "logical", this lends support to the Tarski-Mautner proposal.

According to realist structuralism, mathematical objects are places in abstract structures. We argue that in spite of its many attractions, realist structuralism must be rejected. For, first, mathematical structures typically contain intra-structurally indiscernible places. Second, any account of place-identity available to the realist structuralist entails that intra-structurally indiscernible places are identical. Since for her mathematical singular terms denote places in structures, she would have to say, for example, that 1 = − 1 in the group (Z, +). We call this (...) the identity problem and conclude that nominalism is presently the safest route for the structuralist. (shrink)

Those inquiring into the nature of mind have long been interested in the foundations of mathematics, and conversely this branch of knowledge is distinctive in that our access to it is purely through thought. A better understanding of mathematical thought should clarify the conceptual foundations of mathematics, and a deeper grasp of the latter should in turn illuminate the powers of mind through which mathematics is made available to us. The link between conceptions of mind and of mathematics has been (...) a central theme running through the great competing philosophies of mathematics of the twentieth century, though each has refashioned the connection and its import in distinctive ways. The present collection will be of interest to students of both mathematics and of mind. Contents include: "Introduction" by Alexander George; "What is Mathematics About?" by Michael Dummett; "The Advantages of Honest Toil over Theft" by George Boolos; "The Law of Excluded Middle and the Axiom of Choice" by W.W. Tait; "Mechanical Procedures and Mathematical Experience" by Wilfried Sieg; "Mathematical Intuition and Objectivity" by Daniel Isaacson; "Intuition and Number" by Charles Parsons; and "Hilbert's Axiomatic Method and the Laws of Thought" by Michael Hallett. (shrink)

[John Hawthorne] We examine some well-known disjunctivist projects in the philosophy of perception, mainly in a critical vein. Our discussion is divided into four parts. Following some introductory remarks, we examine in part two the link between object-dependent contents and disjunctivism. In part three, we explore the disjunctivist's use of discriminability facts as a basis for understanding experience. In part four, we examine an interesting argument for disjunctivism that has been offered by Michael Martin. /// [Scott Sturgeon] The paper aims (...) to do five things: sketch the backbone of disjunctivism about visual experience, explore the view of our title, defend a version of that view from two objections, press two more objections of my own, and sketch a more radical variety of disjunctivism which avoids much of the bother. (shrink)

One kind of structuralism holds that mathematics is about structures, conceived as a type of abstract entity. Another denies that it is about any distinctively mathematical entities at all—even abstract structures; rather it gives purely general information about what holds of any collection of entities conforming to the axioms of the theory. Of these, pure structuralism is most plausibly taken to enjoy significant advantages over platonism. But in what appears to be its most plausible—modalised—version, even restricted to elementary arithmetic, it (...) requires defence of a very strong possibility claim: that there could be a completed w-sequence of concrete objects. There are very serious epistemological difficulties in the way of providing the requisite defence. (shrink)

My thesis discusses the unique challenge that platonistic mathematics poses to philosophical naturalism. It has two main parts. ;The first part discusses the three most important approaches to my problem found in the literature: First, W. V. Quine's holistic empiricist defense of mathematical platonism; then, the nominalists' argument that mathematical platonism is naturalistically unacceptable; and finally, a radical form of naturalism, due to John Burgess and Penelope Maddy, which dismisses any philosophical criticism of a successful science such as mathematics. I (...) find faults with all of these approaches. ;The second part attempts to do better. First, I develop an improved epistemological challenge to mathematical platonism. Roughly, this challenge asks for an account of what mathematicians' justification for believing in platonistic mathematics consists in. I argue this challenge is immune to the criticism I leveled against the traditional challenges. To show that it has bite, I apply this challenge to Quine's philosophy of mathematics. I argue this shows that Quine must invoke, in addition to his confirmational holism, a semantic indeterminacy thesis that is so radical as to be implausible. Finally, I attempt to develop a better response to the improved challenge. I defend an unorthodox view of the concept of an object and argue this makes room for a neo-Dedekindian view of mathematical objects which identifies mathematical existence with the logical coherence of the theory describing the structure in question. This view transforms metaphysical and epistemological questions about mathematical objects into corresponding, but more tractable questions about the logical notion of coherence. (shrink)