All sides in the recent debates over the Quine‐Putnam Indispensability thesis presuppose Quine's criterion for determining what a discourse is ontologically committed to. I subject the criterion to scrutiny, especially in regard to the available competitor‐criteria, asking what means of evaluation there are for comparing alternative criteria against each other. Finding none, the paper concludes that ontological questions, in a certain sense, are philosophically indeterminate.

This book does three main things. First, it defends mathematical platonism against the main objections to that view (most notably, the epistemological objection and the multiple-reductions objection). Second, it defends anti-platonism (in particular, fictionalism) against the main objections to that view (most notably, the Quine-Putnam indispensability objection and the objection from objectivity). Third, it argues that there is no fact of the matter whether abstract mathematical objects exist and, hence, no fact of the matter whether platonism or anti-platonism is true.

When ordinary people - mathematicians among them - take something to follow from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite our apparent intuitive grasp of consequence, we do not introspect rules by which we reason, nor do we grasp the scope and range of the domain, as it were, (...) of our reasoning. This point is illustrated with a close analysis of a paradigmatic case of ordinary reasoning: mathematical proof. (shrink)

What in our theoretical pronouncements commits us to objects? The Quinean standard for ontological commitment involves (nearly enough) commitments when we utter “there is” or “there are” statements without hope of eliminating these by paraphrase. Coupled with the indispensability of the truth of applied mathematical doctrine, the result is that the ontologically hard-nosed scientist is a Platonist—haplessly commited to abstracta. In this book Azzouni offers a way around the Quinean straitjacket: ontological commitment turns on how theories are (nearly enough) nailed (...) to the world. The specifics of how theories are applied indicates which among the posits of a theory are mere mathematical garb and which are genuine connections to items out there. In the first part of the book Azzouni undercuts the arguments, both actual and possible, in support of Quine’s criterion. An alternative criterion for what exists—ontological independence—is offered, one in sturdy accord with ordinary folk views on the matter. In the second part of the book, a beginning is made of bringing this alternative to bear upon scientific theories with a rich mathematical component. Along the way, old philosophical issues about absolute space and time versus relative space and time, the status of mathematical posits, such as spatial and temporal points, and so on, are illuminated. (shrink)

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

A collection of all but two of the author's philosophical essays and lectures originally published or presented before August 1976.

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

In this book, Balaguer demonstrates that there are no good arguments for or against mathematical platonism. He does this by establishing that both platonism and anti-platonism are defensible views. Introducing a form of platonism ("full-blooded platonism") that solves all problems traditionally associated with the view, he proceeds to defend anti-platonism (in particular, mathematical fictionalism) against various attacks, most notably the Quine-Putnam indispensability attack. He concludes by arguing that it is not simply that we do not currently have any good argument (...) for or against platonism, but that we could never have such an argument and, indeed, that there is no fact of the matter as to whether platonism is correct. (shrink)

Recasting important questions about truth and objectivity in new and helpful terms, his book will become a focus in the contemporary debates over realism, and ...

Realism concerning a given subject-matter is characterised as a semantic doctrine with metaphysical consequences, namely as the adoption, for the relevant class of statements, of a truth-conditional theory of meaning resting upon the classical two-valued semantics. it is argued that any departure from classical semantics may, though will not necessarily, be seen as in conflict with some variety of realism. a sharp distinction is drawn between the rejection of realism and the acceptance of a reductionist thesis; though intimately related, neither (...) entails the other. realism is to be classified as "naive", "semi-naive" or "sophisticated": the first of these involves an all but unintelligible epistemological component. (shrink)

A new approach to truth is offered which dispenses with the truth predicate, and replaces it with a special kind of quantifier which simultaneously binds variables in sentential and nominal positions. The resulting theory of truth for a (first-order) language is shown to be able to handle blind truth ascriptions, and is shown to be compatible with a characterization of the semantic and syntactic principles governing that language. Comparisons with other approaches to truth are drawn. An axiomatization of AU-quantifiers and (...) a model theory for them is given, and an appendix contains a completeness proof. (shrink)

In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

In its approach to fiction and fictional discourse, pretense theory focuses on the behaviors that we engage in once we pretend that something is true. These may include pretending to name, pretending to refer, pretending to admire, and various other kinds of make-believe. Ordinary discourse about fictions is analyzed as a kind of institutionalized manner of speaking. Pretense, make-believe, and manners of speaking are all accepted as complex patterns of behavior that prove to be systematic in various ways. In this (...) paper, I attempt to show: (1) that this systematicity is captured in the basic distinctions and representations that are central to the formal theory of abstract objects, and (2) that this formal theory need not be interpreted platonistically, but may instead have an interpretation on which the `objects' of the theory are things that pretense theorists already accept, namely, complex patterns of linguistic behavior. The surprising conclusion, then, is that a certain Wittgensteinian approach to meaning (e.g., the meaning of a term like `Holmes' is constituted by its pattern of use) bears an interesting relationship to a formal metaphysical theory and the semantic analyses of discourse constructed in terms of that theory---the former offers a naturalized interpretation of the latter, yet the latter makes the former more precise. (shrink)

All sides in the recent debates over the Quine‐Putnam Indispensability thesis presuppose Quine's criterion for determining what a discourse is ontologically committed to. I subject the criterion to scrutiny, especially in regard to the available competitor‐criteria, asking what means of evaluation there are for comparing alternative criteria against each other. Finding none, the paper concludes that ontological questions, in a certain sense, are philosophically indeterminate.