What are the philosophical implications of Tarski's truth definition?

Question

I am a Math student currently taking my Master's Degree, and last semester I took an introductory course on Mathematical Logic. One of the subjects we covered there was Tarski's truth definition; and at that point, my professor (whose major interests also include philosophy - so I guess he knew what he was talking about) mention that some philosophers praise, almost adore that definition - and also found it very deep.

My question is: why? What are the philosophical questions hidden behind such a natural and expected, if somewhat technical, definition?

Answer 1

Tarski's truth definition is very important for philosophical semantics: Since Frege many philosophers interested in the nature of meaning saw a close connection between meaning and truth. After all, the following 'most certain principle' (as Max Cresswell called it) is highly suggestive:

• For all declarative sentences s, s' and situations w: If s and s' have the same meaning, then s is true in w iff s' is true in w.

So whatever meanings are, it is at least partially clear what meanings do: They determine truth conditions. To get a formal theory of meaning started and formalize this property of meanings philosophers and logicians such as David Lewis, Richard Montague, Max Cresswell and others set out to rigorously define the assignment of truth conditions to possibly complex natural language sentences. This assignment could be conceived as a function from (the syntactic analysis of) sentences to truth conditions. But how to define this function?

This is where Tarski's importance comes in: Tarski showed us how to define such a function by recursion over the complexity of a very simple language (FOL): Define a class of models to interpret the non-logical vocabulary and on this basis recursively define the notion of truth in a model. Lewis et al. solved the problem mentioned above by semantically treating (fragments of) natural languages in the same model theoretic way in which Tarski treated FOL: Define a class of appropriate models that interpret the lexical items of the language and on this basis define the notion of truth of sentences in a model.

Tarski's definition was of course restricted to a quite impoverished language that could not represent a host of natural language phenomena such as intensionality, vagueness etc. But it provided the paradigm that could easily be combined with a more appropriate notion of model, essentially that stemming from higher-order modal logic.

Answer 2

I'd suggest the relationship is the otherway around. Its well-known that though Philosophy gets results, the results tend to be inconclusive, or rather they lead other natural questions; thus, one finds that truth is elusive.

Its the formalisation of this cliche or adage, that Tarski & Godel achieved with their new methods in mathematical logic that showed their methods had broke new ground in this field that made it significant to mathematics and logic.

Of course 'paradoxical' results like this had already been discovered by Godel - his incompleteness theorems, and by Russell - the set that doesn't contain itself.

It was probably this set results that accelerated the development of analytic philosophy from the positivist doctrine that had arisen from the Vienna Circle. It aligns itself with formal methods, mathematical logic & science and grammar.

Answer 3

The best explanation of Tarski's truth theory and it's significance for philosophy and semantics is in Kirkham's book Theories of Truth. It is too long to summarize here, but it has to do with Tarski's endorsement of a doctrine called physicalism; the idea that all facts, even facts about semantics, can be reduced to physical facts. There is a whole chapter about it.