John Burgess

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

For the sentences of languages that contain operators that express the concepts of definiteness and indefiniteness, there is an unavoidable tension between a truth-theoretic semantics that delivers truth conditions for those sentences that capture their propositional contents and any model-theoretic semantics that has a story to tell about how indetifiniteness in a constituent affects the semantic value of sentences which imbed it. But semantic theories of both kinds play essential roles, so the tension needs to be resolved. I argue that it is the truth theory which correctly characterises the notion of truth, per se. When we take into account the considerations required to bring model theory into harmony with truth theory, those considerations undermine the arguments standardly used to motivate supervaluational model theories designed to validate classical logic. But those considerations also show that celebration would be premature for advocates of the most frequently encountered rival approach - many-valued model theory

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.

Extant semantic theories for languages containing vague expressions violate intuition by delivering the same verdict on two principles of classical propositional logic: the law of noncontradiction and the law of excluded middle. Supervaluational treatments render both valid; many-Valued treatments, Neither. The core of this paper presents a natural deduction system, Sound and complete with respect to a 'mixed' semantics which validates the law of noncontradiction but not the law of excluded middle

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..

Regardless of the theory of vagueness we adhere to, we all agree that no facts, known or practically knowable, suffice to determine the location of precise boundaries for vague concepts. According to the epistemic theory of vagueness, this ignorance is entirely an epistemic matter—vague concepts have sharp boundaries but we can never know their exact locations. Opposed to epistemicism is a view—or family of views—I shall call indeterminism. The indeterminist agrees with the epistemicist that we lack knowledge of the locations of sharp boundaries to vague concepts but holds that this ignorance has a somewhat more dramatic source—vague concepts have no sharp boundaries for us to have knowledge of. In recent years, the epistemic theory of vagueness has come to joint the various versions of indeterminism as a theory well-enough supported by argument to demand to be taken seriously. In this paper, I shall try to explain why I am unconvinced by the body of argument that has been marshalled in support of epistemicism; I shall try to explain why we should continue to endorse an indeterminist picture of vagueness.

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 …

1 Choice conjecture In axiomatizing nonclassical extensions of classical sentential logic one tries to make do, if one can, with adding to classical sentential logic a finite number of axiom schemes of the simplest kind and a finite number of inference rules of the simplest kind. The simplest kind of axiom scheme in effect states of a particular formula P that for any substitution of formulas for atoms the result of its application to P is to count as an axiom. The simplest kind of onepremise inference rule in effect states of a particular pair of formulas P and Q that for any substitution of formulas for atoms, if the result of its application to P is a theorem, then the result of its application to Q is to count as a theorem; similarly for many-premise rules. Such are the schemes and rules of all the best-known modal and tense logics, for instance. Sometimes it is difficult to find such simple schemes and rules. In that case one may resort to less simple schemes or less simple rules. There is no generally recognized rigorous definition of "next simplest kind" of scheme. Neither is there any generally recognized definition of "next simplest kind" of rule, and hence there is no fully rigorous enunciation of the choice conjecture, the conjecture that schemes of the next simplest kind can always be avoided in favor of rules of the next simplest kind and vice versa. Nonetheless, there are cases where intuitively one does recognize that the schemes or rules in a given axiomatization are only slightly more complex than the simplest kind, including cases where one does have a choice between adopting slightly-more-complex-than-simplest schemes and adopting slightly-more-complex-than-simplest rules. In tense logic early examples of slightly more complex rules are found in [2] and [3] : there is one example of the embarrassed use of such rules in the former, and many examples of the enthusiastic use of such rules in the latter and its sequels. Accordingly the rules in question have come to be called "Gabbay-style" rules.

This volume reprints a dozen of the author’s papers, most with substantial postscripts, and adds one new one. The bulk of the material is on topics in philosophy of language, but there are also two papers on philosophy of mathematics written after the appearance of the author’s collected papers on that subject, and one on epistemology. As to the substance of Field’s contributions, limitations of space preclude doing much more below than indicating the range of issues addressed, and the general orientation taken towards them. As to the style of his writing, it well exhibits the first of the two virtues, clarity and conciseness, that one looks for in philosophical prose.

There is no prospect of discovering measurable cardinals by radio astronomy, but this does not mean that higher set theory is entirely irrelevant to applied mathematics broadly construed. By way of example, the bearing of some celebrated descriptive-set-theoretic consequences of large cardinals on measurable-selection theory, a body of results originating with a key lemma in von Neumann’s work on the mathematical foundations of quantum theory, and further developed in connection with problems of mathematical economics, will be considered from a philosophical point of view.