John Burgess

Juliette Kennedy’s new book reminds us that some have claimed that the existence of so-called deviant encodings or numeral systems raises doubts about the wide acceptance of “Church’s thesis” understood as the identification of computability with recursiveness for numerical functions. It is argued that if responses to such doubts, by Stewart Shapiro and others, in the literature do not already suffice to dispel such doubts, attention to careful discussions, by Charles Parsons and others, of ontological issues in philosophy of mathematics should be more than enough to do so.

In this chapter, it will be argued that a fictionalist account, in one central sense of that ambiguous phrase, of an area of discourse is not something that can be called correct or incorrect once and for all. Rather, areas of discourse often evolve from phases for which an error theory is most appropriate to phases for which a fictionalist account is appropriate. They can then evolve further into phases for which a straightforward account is appropriate. The latter can occur when the meaning of a key term changes. The phenomenon will be illustrated by examples from several areas of discourse.

Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal, conditional, relevantistic, and intuitionistic), focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances the philosophical and technical aspects of the subject.The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted. Philosophical Logic provides an unusually thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and it stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Each chapter ends with a brief guide to further reading.Philosophical Logic addresses students new to logic, philosophers working in other areas, and specialists in logic, providing both a sophisticated introduction and a new synthesis.

Set theory is the branch of mathematics concerned with the general properties of aggregates of points, numbers, or arbitrary elements. It was created in the late nineteenth century, mainly by Georg Cantor. After the discovery of certain contradictions euphemistically called paradoxes, it was reduced to axiomatic form in the early twentieth century, mainly by Ernst Zermelo and Abraham Fraenkel. Thereafter it became widely accepted as a framework ‐ or ‘foundation’ ‐ for the development of the other branches of modern, abstract mathematics. Today, its basic notions and notations are widely used even outside mathematics proper.

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.

The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been proposed, each a consistent theory permitting the development of a significant portion of mathematics. This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in each. John Burgess considers every proposed fix, each with its distinctive philosophical advantages and drawbacks. These systems range from those barely able to reconstruct the rudiments of arithmetic to those that go well beyond the generally accepted axioms of set theory into the speculative realm of large cardinals. For the most part, Burgess finds that attempts to fix Frege do less than advertised to revive his system. This book will be the benchmark against which future analyses of the revival of Frege will be measured.

This is a concise introduction to current philosophical debates about truth. Combining philosophical and technical material, the book is organized around, but not limited to, the view known as deflationism. 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. 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.

Recently it has become almost the received wisdom in certain quarters that Kripke models are appropriate only for something like metaphysical modalities, and not for logical modalities. Here the line of thought leading to Kripke models, and reasons why they are no less appropriate for logical than for other modalities, are explained. It is also indicated where the fallacy in the argument leading to the contrary conclusion lies. The lessons learned are then applied to the question of the status of the formula.

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.

Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal, conditional, relevantistic, and intuitionistic), focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances the philosophical and technical aspects of the subject.The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted. Philosophical Logic provides an unusually thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and it stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Each chapter ends with a brief guide to further reading.Philosophical Logic addresses students new to logic, philosophers working in other areas, and specialists in logic, providing both a sophisticated introduction and a new synthesis.

In justifying Russian aggression against Ukraine, President Vladimir Putin asserts that Ukraine is neither a distinct nation nor a viable state. In response, this essay will establish a Christian account of Ukraine’s right to self-defense not only via just war criteria but also in relation to its purpose theologically as a nation-state. This essay, after reviewing Christian ethical positions that either reject or embrace the nation-state, draws on the Niebuhr brothers and Karl Barth to develop key theological criteria for judging whether particular nation-states are true to their divine purpose. While affirming the role of the nation-state in protecting a people’s distinct identity, Christians will call on the nation-state to direct its people outward, toward their shared humanity with the world’s other nations. The essay concludes that the Ukrainian nation-state is fulfilling these criteria, whereas the Russian nation-state is not.

This article explores the role of logic in philosophical methodology, as well as its application in philosophy. The discussion gives a roughly equal coverage to the seven branches of logic: elementary logic, set theory, model theory, recursion theory, proof theory, extraclassical logics, and anticlassical logics. Mathematical logic comprises set theory, model theory, recursion theory, and proof theory. Philosophical logic in the relevant sense is divided into the study of extensions of classical logic, such as modal or temporal or deontic or conditional logics, and the study of alternatives to classical logic, such as intuitionistic or quantum or partial or paraconsistent logics. The nonclassical consists of the extraclassical and the anticlassical, although the distinction is not clearcut.