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)

Donald T. Campbell outlines an epistemological theory that attempts to be faithful to evolution through natural selection. He takes his position to be consistent with that of Karl R. Popper, whom he credits as the primary advocate of his day for natural selection epistemology. Campbell writes that neither he nor Popper want to give up the goal of objectivity or objective truth, in spite of their evolutionary epistemology. In discussing the conflict between an epistemology based on natural selection and objective (...) truth, Campbell cites an article by the German sociologist and philosopher Georg Simmel entitled 'On a Connection of Selection Theory to Epistemology', as presenting the issue in a notably forthright manner.The present essay summarizes Simmel's article, with the purpose of clarifying, in terms that Campbell apparently finds satisfactory, the conflict that Campbell acknowledges between an evolutionary epistemology and ultimate truth; the essay then examines the responses of Campbell and Popper to Simmel's position. While Campbell and Popper acknowledge the work of Simmel, their responses suggest something less than a full consideration of Simmel's position. (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)

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.

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? Many students of Tarski’s conception will find the above exposition inconsistent with their own views on the essence of Tarski’s conception. On the other hand, as it is argued in this paper, the proposed interpretation of Tarski’s ideas allows one to use Tarski’s theory as a fundamental tool for semantic analyses of various theories, factual theories in particular. More specifically, it is argued that Tarski’s theory of truth allows one to clearly oppose a theory meant to be certain deductive system (a set of accepted sentences, say axioms, and a logical machinery for deducing from them new ones) and a theory meant to be a certain semantic system, i.e a set of sentences that serve to communicate some states of affairs and to use that opposition to explicate and occasionally also define the notion of truth. The opposition in question is of the utmost significance for analyzing some developments in both mathematics and factual sciences. The approach which is concerned with the logical relations between the elements of science such an approach is throughout this paper called analytical is put into question. The growth of science is determined by how well scientific theories are able to account for factual states of affairs. The intuitive notion of truth applied by the scientists does not necessarily correspond in a straightforward way to its Tarskian counterpart. On the other hand, as is claimed in this paper, the Tarskian notion of truth offers as adequate explication of intuitive notion of truth as possible. (shrink)

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? Many students of Tarski’s conception will find the above exposition inconsistent with their own views on the essence of Tarski’s conception. On the other hand, as it is argued in this paper, the proposed interpretation of Tarski’s ideas allows one to use Tarski’s theory as a fundamental tool for semantic analyses of various theories, factual theories in particular. More specifically, it is argued that Tarski’s theory of truth allows one to clearly oppose a theory meant to be certain deductive system (a set of accepted sentences, say axioms, and a logical machinery for deducing from them new ones) and a theory meant to be a certain semantic system, i.e a set of sentences that serve to communicate some states of affairs and to use that opposition to explicate and occasionally also define the notion of truth. The opposition in question is of the utmost significance for analyzing some developments in both mathematics and factual sciences. The approach which is concerned with the logical relations between the elements of science such an approach is throughout this paper called analytical is put into question. The growth of science is determined by how well scientific theories are able to account for factual states of affairs. The intuitive notion of truth applied by the scientists does not necessarily correspond in a straightforward way to its Tarskian counterpart. On the other hand, as is claimed in this paper, the Tarskian notion of truth offers as adequate explication of intuitive notion of truth as possible. (shrink)

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)