John Burgess

Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, Naming and Necessity, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection Philosophical Troubles. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burgess, offers a thorough and self-contained guide to all of Kripke’s published books and his most important philosophical papers, old and new. It also provides an authoritative but non-technical account of Kripke’s influential contributions to the study of modal logic and logical paradoxes. Although Kripke has been anything but a system-builder, Burgess expertly uncovers the connections between different parts of his oeuvre. Kripke is shown grappling, often in opposition to existing traditions, with mysteries surrounding the nature of necessity, rule-following, and the conscious mind, as well as with intricate and intriguing puzzles about identity, belief and self-reference. Clearly contextualizing the full range of Kripke’s work, Burgess outlines, summarizes and surveys the issues raised by each of the philosopher’s major publications. Kripke will be essential reading for anyone interested in the work of one of analytic philosophy’s greatest living thinkers.

What is the simplest and most natural axiomatic replacement for the set-theoretic definition of the minimal fixed point on the Kleene scheme in Kripke’s theory of truth? What is the simplest and most natural set of axioms and rules for truth whose adoption by a subject who had never heard the word "true" before would give that subject an understanding of truth for which the minimal fixed point on the Kleene scheme would be a good model? Several axiomatic systems, old and new, are examined and evaluated as candidate answers to these questions, with results of Harvey Friedman playing a significant role in the examination.

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.

Today there appears to be a widespread impression that W. V. Quine's notorious critique of modal logic, based on certain ideas about reference, has been successfully answered. As one writer put it some years ago: “His objections have been dead for a while, even though they have not yet been completely buried.” What is supposed to have killed off the critique? Some would cite the development of a new ‘possible-worlds’ model theory for modal logics in the 1960s; others, the development of new ‘direct’ theories of reference for names in the 1970s.These developments do suggest that Quine's unfriendliness towards any formal logics but the classical and indifference towards theories of reference for any singular terms but variables were unfortunate.

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 …

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.