John Burgess

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 …

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.

This long-awaited volume is a must-read for anyone with a serious interest in philosophy of mathematics. The book falls into two parts, with the primary focus of the first on ontology and structuralism, and the second on intuition and epistemology, though with many links between them. The style throughout involves unhurried examination from several points of view of each issue addressed, before reaching a guarded conclusion. A wealth of material is set before the reader along the way, but a reviewer wishing to summarize the author's views crisply will be frustrated. The chapter-by-chapter survey below conveys at best a very incomplete and imperfect impression of the work's virtues, and even of its contents, falling short even of supplying a full menu for the banquet of food for thought that Parsons serves up to his readers

Quine correctly argues that Carnap's distinction between internal and external questions rests on a distinction between analytic and synthetic, which Quine rejects. I argue that Quine needs something like Carnap's distinction to enable him to explain the obviousness of elementary mathematics, while at the same time continuing to maintain as he does that the ultimate ground for holding mathematics to be a body of truths lies in the contribution that mathematics makes to our overall scientific theory of the world. Quine's arguments against the analytic/synthetic distinction, even if fully accepted, still leave room for a notion of pragmatic analyticity sufficient for the indicated purpose

This is a concise, advanced introduction to current philosophical debates about truth. A blend of philosophical and technical material, the book is organized around, but not limited to, the tendency known as deflationism, according to which there is not much to say about the nature of truth. In clear language, Burgess and Burgess cover a wide range of issues, including the nature of truth, the status of truth-value gaps, the relationship between truth and meaning, relativism and pluralism about truth, and semantic paradoxes from Alfred Tarski to Saul Kripke and beyond. Following a brief introduction that reviews the most influential traditional and contemporary theories of truth, short chapters cover Tarski, deflationism, indeterminacy, realism, antirealism, Kripke, and the possible insolubility of semantic paradoxes. The book provides a rich picture of contemporary philosophical theorizing about truth, one that will be essential reading for philosophy students as well as philosophers specializing in other areas

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.