Abstract

Tarski's manner of defining truth is generally considered highly significant. About why, there is less consensus. I argue first, that in his truth-definitions Tarski was trying to solve a set of philosophical problems; second, that he solved them successfully; third, that all of these that are simply problems about defining truth are as well or better solved by a simpler account of truth. But one of his crucial problems remains: to give an account of validity, one requires an account not just of truth but of truth under varying interpretations. Tarski's account has the merit of generalizing to this, to model theory and to abstract algebra