[FOM] Deflationism

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Thu Mar 23 11:49:20 EST 2006


Quoting A.S.Virdi at lse.ac.uk:

> >In this case, there are (at least) two alternative interpretations: 
> >(i) T-sentences say all there is to say about truth;
> (ii) the truth theory should not entail anything substantial; 
> >i.e., it must be a  conservative extension of the base theory.  

> Many thanks for your reply! Firstly, your (i) and (ii) seem not to be
> mutually exclusive. 

Indeed, the simple addition of T-sentences results to a conservative 
extension. But it is a consistent position just to require (ii) but not to 
commit oneself to (i) - that was my point. 

> If deflationism entails that all there is to be said about the nature of
> truth can be gotten from
> the T-sentences AND that its utility derives from its being able to
> express things like soundness
> statements for PA (say) then the deflationist is in trouble; to get to
> the soundness principle she will need 
> to appeal to Tarski's compositional theory of truth. BUT, in so doing,
> she would have to renege her deflationism! 

Agreed (at least, in the conditional form: If...) 

> However, on On Tues, 21 Mar 2006 Leon Horsten observes:
> 
> >Tarski's compositional theory of truth, axiomatically expressed, does 
> >not seem to be committed to facts or to a correspondence with facts. 
> >Indeed, T(PA) and Tr(PA) do not mention facts at all. So in as much as 
> >facts and correspondence to facts are metaphysical notions, it seems 
> >that T(PA), Tr(PA) still deserve the label 'deflationary'.
> 
> Many thanks for this! It is true that facts and correspondence do not
> feature in T(PA) nor Tr(PA) but this does not
> disqualify Tarski's theory from being a correspondence theory. Tarski has
> shown how, uncontroversially, 
> one gets a *homomorphism* between sentences of the language concerned and 
> elements/objects of the associated domain of discourse. Letting L be a
> first-order language and D a set-theoretical
> structure, one can then establish an interpretation function, I, mapping
> the non-logical constants of L into the 
> domain X of D. For example, the truth definition of an atomic sentence
> with a two-place predicate P is:
> D |= P(a1,a2) iff <I(a1), I(a2)> is a member of I(P).

This is how you proceed in mature model theory. But this is not what Tarski 
did in his path-breaking 1935 paper on the concept of truth, where he aimed 
to define truth without assuming any semantical concepts. The 
interpretation function is a semantical notion, in this sense. Therefore 
Tarski explicitly defined primitive denotation (list-like def). But 
consequently, his definition has a deflationist ring. 

I've just written a paper on these matters. If you're interested, I can 
send you a copy. 

All the Best, 

Panu 


Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy 
University of Helsinki
Finland

Visiting Fellow 
Institute of Philosophy
School of Advanced Studies 
University of London

E-mail: panu.raatikainen at helsinki.fi
 
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm
 



More information about the FOM mailing list