Justin Clarke-Doane

Paul Benacerraf's argument from multiple reductions consists of a general argument against realism about the natural numbers (the view that numbers are objects), and a limited argument against reductionism about them (the view that numbers are identical with prima facie distinct entities). There is a widely recognized and severe difficulty with the former argument, but no comparably recognized such difficulty with the latter. Even so, reductionism in mathematics continues to thrive. In this paper I develop a difficulty for Benacerraf's argument against reductionism that is of comparable severity to the now widely recognized difficulty with his general argument against realism. Thanks to Kit Fine, Hartry Field, Jeff Sebo, Ted Sider, Stephen Schiffer, and anonymous referees at Philosophia Mathematica for helpful comments on earlier versions of this paper. Thanks to Aron Edidin for many helpful discussions of the problems that inspired it. CiteULike Connotea Del.icio.us What's this?

In his précis of a recent book, Richard Joyce writes, “My contention…is that…any epistemological benefit-of-the-doubt that might have been extended to moral beliefs…will be neutralized by the availability of an empirically confirmed moral genealogy that nowhere…presupposes their truth.” Such reasoning – falling under the heading “Genealogical Debunking Arguments” – is now commonplace. But how might “the availability of an empirically confirmed moral genealogy that nowhere… presupposes” the truth of our moral beliefs “neutralize” whatever “epistemological benefit-of-the-doubt that might have been extended to” them? In this article, I argue that there appears to be no satisfactory answer to this question. The problem is quite general, applying to all arguments with the structure of Genealogical Debunking Arguments aimed at realism about a domain meeting two conditions. The Benacerraf-Field Challenge for mathematical realism affords an important special case

There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical realism. It is hard to see how one might argue, on epistemological grounds, for moral antirealism while maintaining commitment to mathematical realism. But it may be possible to do the opposite.