Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. (...) She answers the traditional questions and poses a challenging new one, refocusing philosophical attention on the pressing foundational issues of contemporary mathematics. (shrink)

In this paper, we develop an alternative strategy, Platonized Naturalism, for reconciling naturalism and Platonism and to account for our knowledge of mathematical objects and properties. A systematic (Principled) Platonism based on a comprehension principle that asserts the existence of a plenitude of abstract objects is not just consistent with, but required (on transcendental grounds) for naturalism. Such a comprehension principle is synthetic, and it is known a priori. Its synthetic a priori character is grounded in the fact that it (...) is an essential part of the logic in which any scientific theory will be formulated and so underlies (our understanding of) the meaningfulness of any such theory (this is why it is required for naturalism). Moreover, the comprehension principle satisfies naturalist standards of reference, knowledge, and ontological parsimony! As part of our argument, we identify mathematical objects as abstract individuals in the domain governed by the comprehension principle, and we show that our knowledge of mathematical truths is linked to our knowledge of that principle. (shrink)

A young scientist and mathematician explores the mystery and complexity of human thought processes from an interdisciplinary point of view.

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

The Quine/Putnam indispensability argument is regarded by many as the chief argument for the existence of platonic objects. We argue that this argument cannot establish what its proponents intend. The form of our argument is simple. Suppose indispensability to science is the only good reason for believing in the existence of platonic objects. Either the dispensability of mathematical objects to science can be demonstrated and, hence, there is no good reason for believing in the existence of platonic objects, or their (...) dispensability cannot be demonstrated and, hence, there is no good reason for believing in the existence of mathematical objects which are genuinely platonic. Therefore, indispensability, whether true or false, does not support platonism. (shrink)

Mathematics is about numbers, sets, functions, etc. and, according to one prominent view, these are abstract entities lacking causal powers and spatio-temporal location. If this is so, then it is a puzzle how we come to have knowledge of such remote entities. One suggestion is intuition. But `intuition' covers a range of notions. This paper identifies and examines those varieties of intuition which are most likely to play a role in the acquisition of our mathematical knowledge, and argues that none (...) of them, singly or in combination, can plausibly account for knowledge of abstract entities. (shrink)

A response is given here to Benacerraf's 1973 argument that mathematical platonism is incompatible with a naturalistic epistemology. Unlike almost all previous platonist responses to Benacerraf, the response given here is positive rather than negative; that is, rather than trying to find a problem with Benacerraf's argument, I accept his challenge and meet it head on by constructing an epistemology of abstract (i.e., aspatial and atemporal) mathematical objects. Thus, I show that spatio-temporal creatures like ourselves can attain knowledge about mathematical (...) objects by simply explaininghow they can do this. My argument is based upon the adoption of a particular version of platonism — full-blooded platonism — which asserts that any mathematical object which possiblycould exist actuallydoes exist. (shrink)