Online research in philosophy

What is the Benacerraf Problem?  Benacerraf : “[S]omething must be said to bridge the chasm, created by…[a] realistic… interpretation of mathematical propositions, between the entities that form the subject matter of mathematics and the human knower ([1973], 675).”  Question: What exactly is the problem?

The paper has two parts. In the first, I argue that the view that there are no musical works needs to be taken seriously, since it is a consequence of a plausible metaphysical thesis. In the second, I outline two jointly exhaustive accounts of musical discourse that imply the nonexistence of musical works. I conclude by indicating how the arguments offered here may be generalized to show that, startlingly, there might be no artworks at all.

If anything is taken for granted in contemporary metaphysics, it is that platonism with respect to a discourse of metaphysical interest, such as fictional or mathematical discourse, affords a better account of the semantic appearances than nominalism, other things being equal. This belief is often motivated by the intuitively stronger one that the platonist can take the semantic appearances “at face-value” while the nominalist must resort to apparently ad hoc and technically problematic machinery in order to explain those appearances away. (...) -/- In this paper, I argue that, on any natural construal of “face-value”, the platonist, like the nominalist, does not in general seem to be able to take the semantic appearances at face-value. And insofar as the nominalist is forced to adopt apparently ad hoc and technically problematic machinery in order to explain those appearances away, the platonist is generally forced to adopt machinery which is at least prima facie ad hoc and technically problematic as well. One moral of the story is that the thesis that platonism affords a better account of the semantic appearances than nominalism, other things being equal, is not trivial. Another is that we should rethink our methodology in metaphysics. (shrink)

Ethics and mathematics are normally treated independently in philosophical discussions. When comparisons are drawn between problems in the two areas, those comparisons tend to be highly local, concerning just one or two issues. Nevertheless, certain metaethicists have made bold claims to the effect that moral realism is on “no worse footing” than mathematical realism -- i.e. that one cannot reasonably reject moral realism without also rejecting mathematical realism. -/- In the absence of any remotely systematic survey of the relevant arguments, (...) however, the prima facie plausibility of such claims cannot be usefully judged. There is no way to guess whether the few local parallels that have been observed are symptomatic of pervasive ones. What is needed is a general overview of the relevant dialectical landscape – one which serves to suggest the likely extent of commonality between arguments in ethics and arguments in the philosophy of mathematics. -/- In this survey, I offer such an overview. I consider a wide array of arguments for mathematical realism, and against moral realism, and indiacte analogs to each. I argue that, while nothing definitive can be said at this point, the aforementioned bold claims do have significant prima facie plausibility. In particular, parallels between arguments in metaethics and arguments in the philosophy of mathematics seem to be much more systematic than is commonly supposed. (shrink)

In this paper I discuss apparent similarities and differences between moral knowledge and mathematical knowledge, 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. (shrink)

It is often alleged that, unlike typical axioms of mathematics, the Continuum Hypothesis (CH) is indeterminate. This position is normally defended on the ground that the CH is undecidable in a way that typical axioms are not. Call this kind of undecidability “absolute undecidability”. In this paper, I seek to understand what absolute undecidability could be such that one might hope to establish that (a) CH is absolutely undecidable, (b) typical axioms are not absolutely undecidable, and (c) if a mathematical (...) hypothesis is absolutely undecidable, then it is indeterminate. I shall argue that on no understanding of absolute undecidability could one hope to establish all of (a)–(c). However, I will identify one understanding of absolute undecidability on which one might hope to establish both (a) and (c) to the exclusion of (b). This suggests that a new style of mathematical antirealism deserves attention—one that does not depend on familiar epistemological or ontological concerns. The key idea behind this view is that typical mathematical hypotheses are indeterminate because they are relevantly similar to CH. (shrink)

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. (shrink)

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? (shrink)

A disagrees with B with respect to a proposition, p, flawlessly just in case A believes p and B believes not-p, or vice versa, though neither A nor B is guilty of a cognitive shortcoming – i.e. roughly, neither A nor B is being irrational, lacking evidence relevant to p, conceptually incompetent, insufficiently imaginative, etc.