<biography, history of philosophy> Polish-American logician (1902-1983) who defended a correspondence theory of truth in The Concept of Truth in Formalized Languages (1933) and The Semantic Conception of Truth and the Foundations of Semantics (1944). According to Tarski, we must distinguish between a formal language and its interpretation as applicable within a specific domain, in order to define the truth of propositions within the formal language in terms of their satisfaction by the external conditions that obtain. Tarski's logical papers were collected in A Decision Method for Elementary Algebra and Geometry (1948) and Logic, Semantics, Metamathematics (1956). Recommended Reading: Alfred Tarski, Introduction to Logic and to the Methodology of Deductive Sciences, tr. by Olaf Helmer (Dover, 1995) and Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism, ed. by Jan Wolenski and Eckhart Kohler (Kluwer, 1998).
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google