Online research in philosophy

In this book, Balaguer demonstrates that there are no good arguments for or against mathematical platonism. He does this by establishing that both platonism and anti-platonism are defensible views. Introducing a form of platonism ("full-blooded platonism") that solves all problems traditionally associated with the view, he proceeds to defend anti-platonism (in particular, mathematical fictionalism) against various attacks, most notably the Quine-Putnam indispensability attack. He concludes by arguing that it is not simply that we do not currently have any good argument for or against platonism, but that we could never have such an argument and, indeed, that there is no fact of the matter as to whether platonism is correct.

It is sometimes alleged that “the reliability challenge” to moral realism is equally compelling against mathematical realism. This allegation is of interest. The reliability challenge to moral realism is increasingly taken to be the most serious challenge to moral realism. However, the specific considerations that are said to motivate it – such as considerations of rational dubitability and evolutionary influence – are widely held not to motivate an analogous challenge to mathematical realism. If it turned out that, in fact, they do, then one might have to choose between moral realism and mathematical realism.

Nevertheless, the relevant allegation has never been clarified, let alone evaluated. In this paper, I clarify and evaluate it. I argue that the allegation is plausible, but depends on theses in the philosophy of mathematics that are widely doubted. One upshot of the discussion is that mathematical realism faces challenges that have not been widely appreciated. Another is that the reliability challenge to moral realism may not be the most interesting epistemological challenge to moral realism.
.

Platonism about mathematics (or mathematical platonism as I will mostly call it) is typically defined as the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. Just as electrons and planets exist independently of us, so do numbers and sets. And just as statements about electrons and planets are made true or false by the objects with which they are concerned and these objects’ perfectly objective properties, so are statements about numbers and sets. If true, mathematical platonism would be of great philosophical significance: it would be a counterexample to common physicalist views, and it would put great pressure on the epistemology of mathematics. The view would also be of significance for mathematical practice.

A response is given here to Benacerraf's (1965) non-uniqueness (or multiple-reductions) objection to mathematical platonism. It is argued that non-uniqueness is simply not a problem for platonism; more specifically, it is argued that platonists can simply embrace non-uniqueness—i.e., that one can endorse the thesis that our mathematical theories truly describe collections of abstract mathematical objects while rejecting the thesis that such theories truly describe unique collections of such objects. I also argue that part of the motivation for this stance is that it dovetails with the correct response to Benacerraf's other objection to platonism, i.e., his (1973) epistemological objection.

This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti?Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply the existence of mathematical objects, scientific realism, when construed as a claim about the truth or approximate truth of our scientific theories, implies mathematical Platonism. However, a standard argument for scientific realism, the ?no miracles? argument, falls short of establishing mathematical Platonism. As a result, this argument cannot establish scientific realism as it is usually defined, but only some weaker position. Scientific ?realists? should therefore either redefine their position as a claim about the existence of unobservable physical objects, or alternatively look for an argument for their position that does establish mathematical Platonism.

This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti-Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply the existence of mathematical objects, scientific realism, when construed as a claim about the truth or approximate truth of our scientific theories, implies mathematical Platonism. However, a standard argument for scientific realism, the 'no miracles' argument, falls short of establishing mathematical Platonism. As a result, this argument cannot establish scientific realism as it is usually defined, but only some weaker position. Scientific 'realists' should therefore either redefine their position as a claim about the existence of unobservable physical objects, or alternatively look for an argument for their position that does establish mathematical Platonism.

On the face of it, platonism seems very far removed from the scientific world view that dominates our age. Nevertheless many philosophers and mathematicians believe that modern mathematics requires some form of platonism. The defense of mathematical platonism that is both most direct and has been most influential in the analytic tradition in philosophy derives from the German logician-philosopher Gottlob Frege (1848-1925).2 I will therefore refer to it as Frege’s argument. This argument is part of the background of any contemporary discussion of mathematical platonism.

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.

Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. In this survey article, the view is clarified and distinguished from some related views, and arguments for and against the view are discussed.

It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. It is widely thought not to be. In this paper, I argue that the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. Along the way, I substantially clarify the Evolutionary Challenge, discuss its relation to more familiar epistemological challenges, and broach a number of foundational issues in metaphysics. The paper should be of interest to ethicists because it places pressure on anyone who rejects moral realism on the basis of the Evolutionary Challenge to reject mathematical realism as well. And the paper should be of interest to philosophers of mathematics because it presents a new epistemological challenge for mathematical realism that bears, I argue, no simple relation to Paul Benacerraf's familiar challenge.