Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Jeffrey Ketland (1999). Deflationism and Tarski's Paradise. Mind 108 (429):69-94.Deflationsism about truth is a pot-pourri, variously claiming that truth is redundant, or is constituted by the totality of 'T-sentences', or is a purely logical device (required solely for disquotational purposes or for re-expressing finitarily infinite conjunctions and/or disjunctions). In 1980, Hartry Field proposed what might be called a 'deflationary theory of mathematics', in which it is alleged that all uses of mathematics within science are dispensable. Field's criterion for the dispensability of mathematics turns on a property of theories, called conservativeness. I present some technical results, some of which may be found in Tarski (1936), concerning the logical properties of truth theories; in particular, concerning the conservativeness of adding a truth theory for an object level language to any theory expressed in it. It transpires that various deflationary truth theories behave somewhat differently from the standard Tarskian truth theory. These results suggest that Tarskian theories of truth are not redundant or dispensable. Finally, I hint at an analogy between the behaviour of mathematical theories and of standard (Tarskian) theories of truth with respect to their indispensability to, as Quine would put, our 'scientific world-view'.
Similar books and articles
It has been argued that deflationary theories of truth stumble over the normativity of truth. This paper maintains that the normativity objection does not pose problems to at least one version of deflationism, minimalism. The rest of the paper discusses truth-related norms, showing that either they do not hold or they are not troublesome for deflationism.
Over the last three decades, truth-condition theories have earned a central place in the study of linguistic meaning. But their honored position faces a threat from recent deflationism or minimalism about truth. It is thought that the appeal to truth-conditions in a theory of meaning is incompatible with deflationism about truth, and so the growing popularity of deflationism threatens truth-condition theories of meaning.
The central claim of this essay is that many deflationary theories of truth are variants of the correspondence theory of truth. Essential to the correspondence theory of truth is the proposal that objective features of the world are the truthmakers of statements. Many advocates of deflationary theories (including F. P. Ramsay, P. F. Strawson and Paul Horwich) remain committed to this proposal. Although T-sentences (statements of the form “ s is true iff p ”) are presented by advocates of deflationary theories of truth as truisms or analytic truths, T-sentences are often understood as entailing commitment to the central proposal of the correspondence theory.
Tarski's theory of truth brings out the question of whether he intended his theory to be a correspondence theory of truth and whether, whatever his intentions, his theory is in fact a correspondence theory. The aim of this paper is to answer both questions. The answer to the first question depends on Tarski's relevant assertions on semantics and his conception of truth. In order to answer the second question Popper's and Davidson's interpretations of Tarski's truth theory are examined; to this end both Tarski's definition of truth in terms of satisfaction and the T-sentences are taken into account.
No categories
This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress the point that since the hypothesis that Tarski's definitions are extensionally correct is deeply entrenched, the burden of proof is still on the shoulders of Tarski's critics, who have not lifted the burden.
Intuitively, the concept of truth occupies a substantive role in explaining the contribution of our linguistic utterances to the success of our ordinary actions. However, this claim has been denied recently by advocates of deflationary theories of truth. Although the technical details of the various deflationary theories differ, these theories agree in claiming that the concept of truth does not have a significant role in explaining success and that the utility of the truth predicate consists mainly in its being a device for expressing infinite conjunctions and disjunctions. This paper argues that deflationary accounts of the utility of truth are mistaken. Section 1 outlines a direction for developing the claim that truth plays a substantive role in explaining success. Section 2 argues that deflationary accounts of success are inadequate since they fail to distinguish between the triggering and structuring causes of an event.
Conservativeness has been proposed as an important requirement for deflationary truth theories. This in turn gave rise to the so-called ‘conservativeness argument’ against deflationism: a theory of truth which is conservative over its base theory S cannot be adequate, because it cannot prove that all theorems of S are true. In this paper we show that the problems confronting the deflationist are in fact more basic: even the observation that logic is true is beyond his reach. This seems to conflict with the deflationary characterization of the role of the truth predicate in proving generalizations. However, in the final section we propose a way out for the deflationist — a solution that permits him to accept a strong theory, having important truth-theoretical generalizations as its theorems.
Formal theories, as in logic and mathematics, are sets of sentences closed under logical consequence. Philosophical theories, like scientific theories, are often far less formal. There are many axiomatic theories of the truth predicate for certain formal languages; on analogy with these, some philosophers (most notably Paul Horwich) have proposed axiomatic theories of the property of truth. Though in many ways similar to logical theories, axiomatic theories of truth must be different in several nontrivial ways. I explore what an axiomatic theory of truth would look like. Because Horwich’s is the most prominent, I examine his theory and argue that it fails as a theory of truth. Such a theory is adequate if, given a suitable base theory, every fact about truth is a consequence of the axioms of the theory. I show, using an argument analogous to Gödel’s incompleteness proofs, that no axiomatic theory of truth could ever be adequate. I also argue that a certain class of generalizations cannot be consequences of the theory.
In 1999, Jeffrey Ketland published a paper which posed a series of technical problems for deflationary theories of truth. Ketland argued that deflationism is incompatible with standard mathematical formalizations of truth, and he claimed that alternate deflationary formalizations are unable to explain some central uses of the truth predicate in mathematics. He also used Beth’s definability theorem to argue that, contrary to deflationists’ claims, the T-schema cannot provide an ‘implicit definition’ of truth. In this article, I want to challenge this final argument. Whatever other faults deflationism may have, the T-schema does provide an implicit definition of the truth predicate. Or so, at any rate, I shall argue.
We discuss two desirable properties of deflationary truth theories: conservativeness and maximality. Joining them together, we obtain a notion of a maximal conservative truth theory – a theory which is conservative over its base, but can’t be enlarged any further without losing its conservative character. There are indeed such theories; we show however that none of them is axiomatizable, and moreover, that there will be in fact continuum many theories of this sort. It turns out in effect that the deflationist still needs some additional principles, which would permit him to construct his preferred theory of truth.
Discussion of Jeffrey Ketland, Deflationism and Tarski's paradise
|
|
There are no threads in this forum |
Nothing in this forum yet.

