Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...) one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense outlined by Hartry Field. (...) The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

Proponents of the explanatory indispensability argument for mathematical platonism maintain that claims about mathematical entities play an essential explanatory role in some of our best scientific explanations. They infer that the existence of mathematical entities is supported by way of inference to the best explanation from empirical phenomena and therefore that there are the same sort of empirical grounds for believing in mathematical entities as there are for believing in concrete unobservables such as quarks. I object that this inference depends (...) on a false view of how abductive considerations mediate the transfer of empirical support. More specifically, I argue that even if inference to the best explanation is cogent, and claims about mathematical entities play an essential explanatory role in some of our best scientific explanations, it doesn’t follow that the empirical phenomena that license those explanations also provide empirical support for the claim that mathematical entities exist. (shrink)

One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the problem can (...) be addressed by accepting a Chomskyan conception of natural languages and a matching internalist, mentalist and nativist view of semantics. A helpful perspective on the epistemic aspect of the puzzle can be gained by translating Kurt G ̈odel’s neo-Kantian conception of the nature of mathematics and its objects into modern, cognitive terms. (shrink)

The access problem for mathematics arises from the supposition that the referents of mathematical terms inhabit a realm separate from us. Quine’s approach in the philosophy of mathematics dissolves the access problem, though his solution sometimes goes unrecognized, even by those who rely on his framework. This paper highlights both Quine’s position and its neglect. I argue that Michael Resnik’s structuralist, for example, has no access problem for the so-called mathematical objects he posits, despite recent criticism, since he relies on (...) an indispensability argument. Still, Resnik’s structuralist does not provide an account of our access to traditional mathematical objects, and this may be seen as a problem. (shrink)

Philosophy of mathematics for the last half-century has been dominated in one way or another by Quine’s indispensability argument. The argument alleges that our best scientific theory quantifies over, and thus commits us to, mathematical objects. In this paper, I present new considerations which undermine the most serious challenge to Quine’s argument, Hartry Field’s reformulation of Newtonian Gravitational Theory.

In this dissertation, I consider from a philosophical perspective three related questions concerning the contribution of mathematics to scientific representation. In answering these questions, I propose and defend Carnapian frameworks for examination into the nature and role of mathematics in science. The first research question concerns the varied ways in which mathematics contributes to scientific representation. In response, I consider in Chapter 2 two recent philosophical proposals claiming to account for the explanatory role of mathematics in science, by Philip Kitcher, (...) and Otavio Bueno and Mark Colyvan. My novel and detailed critique of these accounts shows that they are too limited to encompass the diverse roles of mathematics in science in historical and contemporary scenarios. The conclusion is that any such philosophical account should aim to faithfully capture the structure of our theories and their use in applied contexts. This insight prompts the second question guiding this dissertation that I consider in Chapter 3, regarding a viable philosophical account of the role of mathematics in scientific theories. I respond by proposing a modified form of the reconstructive frameworks for philosophical analysis developed by Rudolf Carnap for theoretical entities. I propose three amendments to Carnap’s account: i) a semantic view for the representation of theories, ii) a careful consideration of instances of the use of theory in representing target systems, and iii) consideration of the practical complexity of relating theory to experimental data. The final research question for this dissertation asks what, if anything, we can legitimately conclude about the nature of theoretical entities invoked by a theory in light of its success in representing phenomena. In the backdrop of the Carnapian frameworks proposed in Chapter 3, I argue that contemporary ontological debates in the philosophy of science are largely premised on an acceptance of Willard Quine’s epistemological outlook on the world and a dismissal of Carnap’s approach, which can be used to offer a satisfactory deflationary resolution. This is in the service of my contention that a Carnapian attitude to central issues in the philosophy of science is decidedly preferable to the route championed by Quine. (shrink)

Indispensability arguments for mathematical realism are commonly traced back to Quine. We identify two different Quinean strands in the interpretation of IA, what we label the ‘logical point of view’ and the ‘theory-contribution’ point of view. Focusing on each of the latter, we offer two minimal versions of IA. These both dispense with a number of theoretical assumptions commonly thought to be relevant to IA. We then show that the attribution of both minimal arguments to Quine is controversial, and stress (...) the extent to which this is so in both cases, in order to attain a better appreciation of the Quinean heritage of IA. (shrink)

The view that mathematical objects are indefinite in nature is presented and defended, hi the first section, Field's argument for fictionalism, given in response to Benacerraf's problem of identification, is closely examined, and it is contended that platonists can solve the problem equally well if they take the view that mathematical objects are indefinite. In the second section, two general arguments against the intelligibility of objectual indefiniteness are shown erroneous, hi the final section, the view is compared to mathematical structuralism, (...) and it is shown that a version of structuralism should be understood as embracing the same view. (shrink)

This paper responds to criticism of the Kripkean account of logical truth in first-order modal logic. The criticism, largely ignored in the literature, claims that when the box and diamond are interpreted as the logical modality operators, the Kripkean account is extensionally incorrect because it fails to reflect the fact that all sentences stating truths about what is logically possible are themselves logically necessary. I defend the Kripkean account by arguing that some true sentences about logical possibility are not logically (...) necessary. (shrink)