Online research in philosophy

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001).

Philip Kitcher's account of scientific progress incorporates a conception of explanatory unification that invites the so-called 'obsessive unifier' worry, to wit, that in our drive to unify the phenomena we might impose artificial structure on the world and consequently produce an incorrect view of how things, in fact, are. I argue that Kitcher's attempt to address this worry is unsatisfactory because it relies on an ability to choose between rival patterns of explanation which itself rests on the relevant choice having already been made. I also suggest a way of answering the worry that Kitcher is not likely to endorse.

Do mathematical objects exist in some realm inaccessible to our senses? It may be tempting to deny this. For how we could come to know mathematical truths, if such knowledge must arise from causal interaction with non-empirical objects? Among current positions, literalists argue that mathematical objects simply exist in the empirical world, and fictionalists hold that, strictly speaking, mathematical objects do not exist but are rather harmless fictions. Both positions have been ascribed to Aristotle. The ascription of literalism to Aristotle, however, commits Aristotle to the unattractive view that mathematics studies but a small fragment of the physical world; and there is evidence that Aristotle would deny the literalist position that mathematical objects are perceivable. The ascription of fictionalism also faces a difficult challenge: there is evidence that Aristotle would deny the fictionalist position that mathematics is false. I will argue that, in Aristotle’s view, the fiction of mathematics is not to treat what does not exist as if existing but to treat mathematical objects with an ontological status they lack. This form of fictionalism is consistent with holding that mathematics is true.

This paper argues that Philip Kitcher's epistemology of mathematics, codified in his Naturalistic Constructivism, is not naturalistic on Kitcher's own conception of naturalism. Kitcher's conception of naturalism is committed to (i) explaining the correctness of belief-regulating norms and (ii) a realist notion of truth. Naturalistic Constructivism is unable to simultaneously meet both of these commitments.

This paper distinguishes revolutionary fictionalism from other forms of fictionalism and also from other philosophical views. The paper takes fictionalism about mathematical objects and fictionalism about scientific unobservables as illustrations. The paper evaluates arguments that purport to show that this form of fictionalism is incoherent on the grounds that there is no tenable distinction between believing a sentence and taking the fictionalist's distinctive attitude to that sentence. The argument that fictionalism about mathematics is ‘comically immodest’ is also evaluated. In place of those arguments, an argument against fictionalism about abstract objects of any kind is presented in the last section. This argument takes the form of a trilemma against the fictionalist.

Kitcher's unification theory of explanation seems to suggest that only the most reductive accounts can legitimately be termed explanatory. This is not what we find in actual scientific practice. In this paper, I attempt to reconcile these ideas. I claim that Kitcher's theory picks out ideal explanations, but that our term explanation is used to cover other accounts that have a certain relationship with the ideal accounts. At times, versions and portions of ideal explanations can also be considered explanatory.

Mathematical explanation -- What is naturalism? -- Perception, practice, and ideal agents: Kitcher's naturalism -- Just metaphor?: Lakoff's language -- Seeing with the mind's eye: the Platonist alternative -- Semi-naturalists and reluctant realists -- A life of its own?: Maddy and mathematical autonomy.

Philip Kitcher has advanced an epistemology of science that purports to be naturalistic. For Kitcher, this entails that his epistemology of science must explain the correctness of belief-regulating norms while endorsing a realist notion of truth. This paper concerns whether or not Kitcher's epistemology of science is naturalistic on these terms. I find that it is not but that by supplementing the account we can secure its naturalistic standing.

Fictionalism in the philosophy of mathematics is the view that mathematical statements, such as ‘8+5=13’ and ‘π is irrational’, are to be interpreted at face value and, thus interpreted, are false. Fictionalists are typically driven to reject the truth of such mathematical statements because these statements imply the existence of mathematical entities, and according to fictionalists there are no such entities. Fictionalism is a nominalist (or anti-realist) account of mathematics in that it denies the existence of a realm of abstract mathematical entities. It should be contrasted with mathematical realism (or Platonism) where mathematical statements are taken to be true, and, moreover, are taken to be truths about mathematical entities. Fictionalism should also be contrasted with other nominalist philosophical accounts of mathematics that propose a reinterpretation of mathematical statements, according to which the statements in question are true but no longer about mathematical entities. Fictionalism is thus an error theory of mathematical discourse: at face value mathematical discourse commits us to mathematical entities and although we normally take many of the statements of this discourse to be true, in doing so we are in error (cf. error theories in ethics).

Recent years have seen a number of naturalist accounts of mathematics. Philip Kitcher’s version is one of the most important and influential. This paper includes a critical exposition of Kitcher’s views and a discussion of several issues including: mathematical epistemology, practice, history, the nature of applied mathematics. It argues that naturalism is an inadequate account and compares it with mathematical Platonism, to the advantage of the latter.