Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

In the early 1920s, the German mathematician David Hilbert (1862–1943) put forward a new proposal for the foundation of classical mathematics which has come to be known as Hilbert's Program. It calls for a formalization of all of mathematics in axiomatic form, together with a proof that this axiomatization of mathematics is consistent. The consistency proof itself was to be carried out using only what Hilbert called “finitary” methods. The special epistemological character of finitary reasoning then yields the required justification (...) of classical mathematics. Although Hilbert proposed his program in this form only in 1921, various facets of it are rooted in foundational work of his going back until around 1900, when he first pointed out the necessity of giving a direct consistency proof of analysis. Work on the program progressed significantly in the 1920s with contributions from logicians such as Paul Bernays, Wilhelm Ackermann, John von Neumann, and Jacques Herbrand. It was also a great influence on Kurt Gödel, whose work on the incompleteness theorems were motivated by Hilbert's Program. Gödel's work is generally taken to show that Hilbert's Program cannot be carried out. It has nevertheless continued to be an influential position in the philosophy of mathematics, and, starting with the work of Gerhard Gentzen in the 1930s, work on so-called Relativized Hilbert Programs have been central to the development of proof theory. (shrink)

This is the first systematic survey of modern nominalistic reconstructions of mathematics, and for this reason alone it should be read by everyone interested in the philosophy of mathematics and, more generally, in questions concerning abstract entities. In the bulk of the book, the authors sketch a common formal framework for nominalistic reconstructions, outline three major strategies such reconstructions can follow, and locate proposals in the literature with respect to these strategies. The discussion is presented with admirable precision and clarity, (...) and should be accessible even to readers with only minimal background in logic and mathematics. There will be many who will turn directly to these pages and use them as a brief manual on the state of the art of nominalism in mathematics. But the most intriguing parts of this elegant book—at least in my view—are the introduction and the conclusion, where the authors examine the significance of reconstructive nominalism. (shrink)

Contemporary realist theories of value claim to be compatible with natural science. In this paper, I call this claim into question by arguing that Darwinian considerations pose a dilemma for these theories. The main thrust of my argument is this. Evolutionary forces have played a tremendous role in shaping the content of human evaluative attitudes. The challenge for realist theories of value is to explain the relation between these evolutionary influences on our evaluative attitudes, on the one hand, and the (...) independent evaluative truths that realism posits, on the other. Realism, I argue, can give no satisfactory account of this relation. On the one hand, the realist may claim that there is no relation between evolutionary influences on our evaluative attitudes and independent evaluative truths. But this claim leads to the implausible skeptical result that most of our evaluative judgements are off track due to the distorting pressure of Darwinian forces. The realist’s other option is to claim that there is a relation between evolutionary influences and independent evaluative truths, namely that natural selection favored ancestors who were able to grasp those truths. But this account, I argue, is unacceptable on scientific grounds. Either way, then, realist theories of value prove unable to accommodate the fact that Darwinian forces have deeply influenced the content of human values. After responding to three objections, the third of which leads me to argue against a realist understanding of the disvalue of pain, I conclude by sketching how antirealism is able to sidestep the dilemma I have presented. Antirealist theories of value are able to offer an alternative account of the relation between evolutionary forces and evaluative facts —
an account that allows us to reconcile our understanding of evaluative truth with our understanding of the many non-rational causes that have played a role in shaping our evaluative judgements. (shrink)

The paper presents an outline of a unified answer to five questions concerning logic: (1) Is logic in the mind or in the world? (2) Does logic need a foundation? What is the main obstacle to a foundation for logic? Can it be overcome? (3) How does logic work? What does logical form represent? Are logical constants referential? (4) Is there a criterion of logicality? (5) What is the relation between logic and mathematics?

A paper in this journal by Fraser MacBride, ‘Can Ante Rem Structuralism Solve the Access Problem?’, raises important issues concerning the epistemological goals and burdens of contemporary philosophy of mathematics, and perhaps philosophy of science and other disciplines as well. I use a response to MacBride's paper as a framework for developing a broadly holistic framework for these issues, and I attempt to steer a middle course between reductive foundationalism and extreme naturalistic quietism. For this purpose the notion of entitlement (...) is invoked along the way, suitably modified for the present anti-foundationalist setting. (shrink)

The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...) and that there is not currently a convincing case to the effect that a given statement is absolutely undecidable. (shrink)

This book argues against the view that mathematical knowledge is a priori,contending that mathematics is an empirical science and develops historically,just as ...

There have been times in the history of ethical theory, especially in this century, when moral realism was down, but it was never out. The appeal of this doctrine for many moral philosophers is apparently so strong that there are always supporters in its corner who seek to resuscitate the view. The attraction is obvious: moral realism purports to provide a precious philosophical good, viz., objectivity and all that this involves, including right answers to (most) moral questions, and the possibility (...) of knowing those answers. In the last decade, moral realism has re-entered the philosophical ring in powerful-looking naturalistic form. ln this paper we provide a dialectical overview: we situate the new wave position itself, and also our objections to it, in the context of the evolving program of philosophical naturalism in 20th century analytic philosophy. We seek to show that although this new contender might initially look like championship material, it succumbs to punches surprisingly similar to those that knocked out the old-fashioned versions of naturalist moral realism. (shrink)

There have been times in the history of ethical theory, especially in this century, when moral realism was down, but it was never out. The appeal of this doctrine for many moral philosophers is apparently so strong that there are always supporters in its corner who seek to resuscitate the view. The attraction is obvious: moral realism purports to provide a precious philosophical good, viz., objectivity and all that this involves, including right answers to (most) moral questions, and the possibility (...) of knowing those answers. In the last decade, moral realism has re-entered the philosophical ring in powerful-looking naturalistic form. ln this paper we provide a dialectical overview: we situate the new wave position itself, and also our objections to it, in the context of the evolving program of philosophical naturalism in 20th century analytic philosophy. We seek to show that although this new contender might initially look like championship material, it succumbs to punches surprisingly similar to those that knocked out the old-fashioned versions of naturalist moral realism. (shrink)

Introduction to this special issue of The Australasian Journal of Logic.

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

Non-actual model systems discussed in scientific theories are compared to fictions in literature. This comparison may help with the understanding of similarity relations between models and real-world target systems. The ontological problems surrounding fictions in science may be particularly difficult, however. A comparison is also made to ontological problems that arise in the philosophy of mathematics.

I contend that mathematical domains are freestanding institutional entities that, at least typically, are introduced to serve representational functions. In this paper, I outline an account of institutional reality and a supporting metaontological perspective that clarify the content of this thesis. I also argue that a philosophy of mathematics that has this thesis as its central tenet can account for the objectivity, necessity, and atemporality of mathematics.

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

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

I focus on two questions: what is knowledge, and how is knowledge possible? The latter is an example of a how-possible question. I argue that how-possible questions are obstacle-dependent and that they need to be dealt with at three different levels, the level of means, of obstacle-removal, and of enabling conditions. At the first of these levels the possibility of knowledge is accounted for by identifying means of knowing, and I argue that the identification of such means also contributes to (...) a proper understanding of what knowledge is. (shrink)

In this paper I will argue that (principled) attempts to ground a priori knowledge in default reasonable beliefs cannot capture certain common intuitions about what is required for a priori knowledge. I will describe hypothetical creatures who derive complex mathematical truths like Fermat’s last theorem via short and intuitively unconvincing arguments. Many philosophers with foundationalist inclinations will feel that these creatures must lack knowledge because they are unable to justify their mathematical assumptions in terms of the kind of basic facts (...) which can be known without further argument. Yet, I will argue that nothing in the current literature lets us draw a principled distinction between what these creatures are doing and paradigmatic cases of good a priori reasoning (assuming that the latter are to be grounded in default reasonable beliefs). I will consider, in turn, appeals to reliability, coherence, conceptual truth and indispensability and argue that none of these can do the job. (shrink)

Nozick analyzes fundamental issues, such as the identity of the self, knowledge and skepticism, free will, the foundations of ethics, and the meaning of life.

It is often claimed that irreducibly normative truths would have unacceptable metaphysical implications, and are incompatible with a scientific view of the world. The book argues, on the basis of a general account of the relevance of ontological questions, that this claim is mistaken. It is also a mistake to think that interpreting normative judgments as beliefs would make it impossible to explain their connection with action. An agent’s acceptance of a normative judgment can explain that agent’s subsequent action because (...) it is part of being a rational agent that such an agent’s beliefs about reasons normally, but not invariably, make a difference to the agent’s subsequent behavior. Because facts about reasons are not entities existing apart from us, there is no epistemological problem of how we can “be in touch with” such facts. There are serious worries about normative knowledge, but the problems involved are internal to the normative domain itself. The best solution to these problems would be an overall account of the domain of reasons in normative terms, supported by an argument from reflective equilibrium. But no existing account, constructivist, or based on desires or on an idea of rationality, is plausible, and no alternative is likely to succeed. Conclusions about reasons for action must rest on more piecemeal applications of the method of reflective equilibrium. (shrink)

An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.

Our conception of logical space is the set of distinctions we use to navigate the world. Agustn Rayo argues that this is shaped by acceptance or rejection of 'just is'-statements: e.g. 'to be composed of water just is to be composed of H2O'. He offers a novel conception of metaphysical possibility, and a new trivialist philosophy of mathematics.

My focus here will be Rudolf Carnap’s views on ontology, as these are presented in the seminal “Empiricism, Semantics and Ontology” (1950). I will first describe how I think Carnap’s distinction between external and internal questions is best understood. Then I will turn to broader issues regarding Carnap’s views on ontology. With certain reservations, I will ascribe to Carnap an ontological pluralist position roughly similar to the positions of Eli Hirsch and the later Hilary Putnam. Then I turn to some (...) interrelated arguments against the pluralist view. The arguments are not demonstrative. Some possible escape routes for the pluralist are outlined. But I think the arguments constitute a formidable challenge. There should be serious doubt as to whether the pluralist view, as it emerges after discussion of these arguments, will be worth defending. Moreover, there is an alternative ontological view which equally well subserves the motivations underlying ontological pluralism. (shrink)

This book introduces a new approach to the issue of radical scientific revolutions, or "paradigm-shifts," given prominence in the work of Thomas Kuhn. The book articulates a dynamical and historicized version of the conception of scientific a priori principles first developed by the philosopher Immanuel Kant. This approach defends the Enlightenment ideal of scientific objectivity and universality while simultaneously doing justice to the revolutionary changes within the sciences that have since undermined Kant's original defense of this ideal. Through a modified (...) Kantian approach to epistemology and philosophy of science, this book opposes both Quinean naturalistic holism and the post-Kuhnian conceptual relativism that has dominated recent literature in science studies. Focussing on the development of "scientific philosophy" from Kant to Rudolf Carnap, along with the parallel developments taking place in the sciences during the same period, the author articulates a new dynamical conception of relativized a priori principles. This idea applied within the physical sciences aims to show that rational intersubjective consensus is intricately preserved across radical scientific revolutions or "paradigm-shifts and how this is achieved. (shrink)

How do axioms, or first principles, in ethics compare to those in mathematics? In this companion piece to G.C. Field's 1931 "On the Role of Definition in Ethics", I argue that there are similarities between the cases. However, these are premised on an assumption which can be questioned, and which highlights the peculiarity of normative inquiry.