John Burgess

While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the rise of experimental mathematics on the one hand and computerized formal proofs on the other hand. Along the way, a great many historical developments in mathematics, philosophy, and logic are surveyed. Yet very little in the way of background knowledge on the part of the reader is presupposed.

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous discussions of these projects, and presents clear, concise accounts of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed.

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be of interest to a wide range of readers across philosophy of mathematics, logic, and philosophy of language.

Philosophical Analysis in the Twentieth Century by Scott Soames reminds me of nothing so much as Lectures on Literature by Vladimir Nabokov. Both are works that arose immediately out of the needs of undergraduate teaching, yet each manages to say much of significance to knowledgeable professionals. Each indirectly provides an outline of the history of its field, through a presentation of selected major works, taken in chronological order and including items that are generally recognized as marking decisive turning points. Yet neither Soames’s work nor Nabokov’s is a history in any conventional sense, both being immediately disqualified from that category by the general absence of coverage of minor and middling works and writers. The emphasis is pedagogical rather than historiographical: the emphasis is on introducing the student to the field through very close examination of the limited number of key texts selected for inclusion. The author’s distinctive personality is also apparent in both works. Each writer has a favorite theme he repeatedly sounds: for Soames, the danger of conflating the analytic, the a priori, and the necessary; for Nabokov, the philistinism of expecting an uplifting “message” from works of literary art. Each also includes some quirky, individual selections: The Right and the Good, The Strange Case of Dr. Jekyll and Mr. Hyde. Few others would have taken R. L. Stevenson to be up there with Dickens, Flaubert, and Proust, or W. D. Ross with Russell, Wittgenstein, and Quine. Each also sets aside for separate treatment elsewhere a major body of work one might have expected to be covered. Nabokov reserves Russian literature for a companion volume, while Soames gives only slight coverage to what he describes as “work in logic, the foundations of logic, and the application of logical techniques to the study of language” — a category that in practice turns out to include the bulk of the relevant material (by such writers as Frege, Carnap, and Tarski) that published originally in German without simultaneous English translation..

In this era when results of empirical scientific research are being appealed to all across philosophy, when we even find moral philosophers invoking the results of brain scans, many profess to practice "naturalized epistemology," or to be "epistemological naturalists." Such phrases derive from the title of a well-known essay by Quine,[1] but Paul Gregory's thesis in the work under review is that there is less connection than is usually assumed between Quine's variety of naturalized epistemology and what is today taken, by opponents and proponents alike, to constitute epistemological naturalism. To put it bluntly, as Gregory does in the opening sentence of his introduction, Quine "has not been well understood." If there is less connection between the Quinian and other epistemological naturalisms than there has often been taken to be, on Gregory's account there is also much more connection between Quine's position on epistemology and his positions on other contentious issues.

This work, the first book-length study of its topic, is an important contribution to the literature of philosophical logic and philosophy of language, with implications for other branches of philosophy, including philosophy of mathematics. However, five of the book's ten chapters , including many of the author's most original contributions, are devoted to issues about natural language, and lie pretty well outside the scope of this journal, not to mention that of the reviewer's competence. For this reason I will here largely confine my attention to the other half of the book, and so will be far from doing full justice to the book as a whole; indeed, there is such a wealth of detail in the book that I will be unable to do full justice even to the five chapters selected for comment.Non-distributive predicates.To begin with some points that have often been remarked, formulas in classical first-order logic are built up from predicates by means of a limited range of logical operators . Natural language involves many other such operators, beginning with temporal and modal operators, that are of great philosophical interest, but these are ignored by classical first-order logic. The reasons why it ignores them are surely that classical first-order logic was developed primarily for analyzing mathematical arguments, and that such grammatical categories as tense and mood play no significant role in mathematics.It has been less often remarked that the range of predicates considered in classical first-order logic is also limited. From Frege onwards, predicates have been taken to be essentially sentences with one or more gaps or places suitable to be filled in by singular noun phrases. Natural language involves also plural predicates, as well as mixed predicates with some …

Alan Weir’s new book is, like Darwin’s Origin of Species, ‘one long argument’. The author has devised a new kind of have-it-both-ways philosophy of mathematics, supposed to allow him to say out of one side of his mouth that the integer 1,000,000 exists and even that the cardinal ℵω exists, while saying out of the other side of his mouth that no numbers exist at all, and the whole book is devoted to an exposition and defense of this new view. The view is presented in the book in a way that can make it difficult for the reader to trace the main line of argument: with a great deal of apparatus, and with a great many digressions into subordinate issues. In what follows I will try to stick to what I take to be the essentials, even at the risk of oversimplifying some central but complicated issues, and at the cost of neglecting some interesting but peripheral ones.In chapter 1, the author introduces a distinction between what he calls ‘two aspects of meaning’ and dubs informational content and metaphysical content. Informational content is the aspect of meaning of primary interest to linguists, and the one of which speakers themselves are generally aware, at least upon reflection. Metaphysical content is supposed to be another aspect of meaning primarily of interest to philosophers. The basic idea is that if there are standards of correctness for assertions of a certain kind, then such an assertion may be called ‘true’ when those standards are met, even though the kind of correctness involved is not correctness in representing how the world is. What the world must be like in order for the utterance to be true is the metaphysical content of the assertion, but it need not be part of its …