This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski's theory of truth. Philosophers do not agree on how Tarski's theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.In this paper I argue that Tarski's chief concern was the following question. Suppose a (...) language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? (shrink)

In a paper ‘Is it True What They Say About Tarski?’, Dr Susan Haack explicitly denies the truth of an implicit assertion of mine, by writing ‘… Tarski does not present his theory as a correspondence theory’. My reply is to quote two brief passages from Tarski's work.

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. (shrink)

Tarski's correspondence theory of truth (which he spells out in his semantic conception of truth) is open to two interpretations. This ambiguity in the theory has led philosophers to find support in it for metaphysical realism. In fact, Tarski's theory turns out to support a form of ontological relativism. In different passages Tarski himself gives support to each of these interpretations. The first interpretation leads to ontological relativism, while the second sacrifices the connection between language and the world. I clarify (...) the dilemma that I see in having to choose between these two interpretations, explain how these interpretations have their source in different problems which occupied Tarski, and consider a possible solution to the dilemma. Finally, finding good reasons to claim that Tarski's theory is indeed a correspondence theory of truth, I argue in favour of the first interpretation with its relativistic implications. (shrink)

Tarski’s pioneering work on truth has been thought by some to motivate a robust, correspondence-style theory of truth, and by others to motivate a deflationary attitude toward truth. I argue that Tarski’s work suggests neither; if it motivates any contemporary theory of truth, it motivates conceptual primitivism, the view that truth is a fundamental, indefinable concept. After outlining conceptual primitivism and Tarski’s theory of truth, I show how the two approaches to truth share much in common. While Tarski does not (...) explicitly accept primitivism, the view is open to him, and fits better with his formal work on truth than do correspondence or deflationary theories. Primitivists, in turn, may rely on Tarski’s insights in motivating their own perspective on truth. I conclude by showing how viewing Tarski through the primitivist lens provides a fresh response to some familiar charges from Putnam and Etchemendy. (shrink)