The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

Many philosophers believe that a deflationist theory of truth must conservatively extend any base theory to which it is added. But when applied to arithmetic, it's argued, the imposition of a conservativeness requirement leads to a serious objection to deflationism: for the Gödel sentence for Peano Arithmetic is not a theorem of PA, but becomes one when PA is extended by adding plausible principles governing truth. This paper argues that no such objection succeeds. The issue turns on how we understand (...) the notion of logical consequence implicit in any conservativeness requirement, and whether we possess a categorical conception of the natural numbers. I offer a disjunctive response: if we possess a categorical conception of arithmetic, then deflationists have principled reason to accept a rich notion of logical consequence according to which the Gödel sentence follows from PA. But if we do not, then the reasons for requiring the derivation of the Gödel sentence lapse, and deflationists are free to accept a conservativeness requirement stated proof-theoretically. Either way, deflationism is in the clear. (shrink)

Truth-theoretic deflationism holds that truth is simple, and yet that it can fulfil many useful logico-linguistic roles. Deflationism focuses on axioms for truth: there is no reduction of the notion of truth to more fundamental ones such as sets or higher-order quantifiers. In this paper I argue that the fundamental properties of reasonable, primitive truth predicates are at odds with the core tenets of classical truth-theoretic deflationism that I call fix, express, and quantify. Truth may be regarded as a broadly (...) logical, sui generis notion. However, this has little to do with the original aims of the deflationary theory of truth. (shrink)

In this article, the prospects of deflationism about the concept of truth are investigated. A new version of deflationism, called inferential deflationism, is articulated and defended. It is argued that it avoids the pitfalls of earlier deflationist views such as Horwich’s minimalist theory of truth and Field’s version of deflationism.

Nous clarifions et critiquons un argument influent opposé au déflationnisme par [Shapiro 1998b] et [Ketland 1999], fondé sur la non-conservativité des extensions des théories formalisées par des principes aléthiques universellement admis. À cette interprétation anti-déflationniste des phénomènes de non-conservativité, nous en opposons une autre, compatible à la fois avec les faits logiques et les thèses déflationnistes.

Nous clarifions et critiquons un argument influent opposé au déflationnisme par [Shapiro 1998b] et [Ketland 1999], fondé sur la non-conservativité des extensions des théories formalisées par des principes aléthiques universellement admis. À cette interprétation anti-déflationniste des phénomènes de non-conservativité, nous en opposons une autre, compatible à la fois avec les faits logiques et les thèses déflationnistes.

Nous clarifions et critiquons un argument influent opposé au déflationnisme par [Shapiro 1998b] et [Ketland 1999], fondé sur la non-conservativité des extensions des théories formalisées par des principes aléthiques universellement admis. À cette interprétation anti-déflationniste des phénomènes de non-conservativité, nous en opposons une autre, compatible à la fois avec les faits logiques et les thèses déflationnistes.

A common objection against deflationist theories of truth is that they cannot do justice to the correspondence intuition, i.e. the intuition that there is an explanatory relationship between, for instance, the truth of ‘Snow is white’ and snow's being white. We scrutinize two attempts to meet this objection and argue that both fail. We then propose a new response to the objection which, first, sheds doubt on the correctness of the correspondence intuition and, second, seeks to explain how we may (...) nonetheless have come to have that intuition. (shrink)

Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...) philosophical questions around logic. -/- Logic: the Basics is essential reading for first-year undergraduate philosophy students on standard introductory logic courses. (shrink)

In this paper, we offer a brief, critical survey of contemporary work on truth. We begin by reflecting on the distinction between substantivist and deflationary truth theories. We then turn to three new kinds of truth theory—Kevin Scharp's replacement theory, John MacFarlane's relativism, and the alethic pluralism pioneered by Michael Lynch and Crispin Wright. We argue that despite their considerable differences, these theories exhibit a common "pluralizing tendency" with respect to truth. In the final section, we look at the underinvestigated (...) interface between metaphysical and formal truth theories, pointing to several promising questions that arise here. (shrink)