Alfred Tarski


Also found in: Wikipedia.
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

Tarski, Alfred

 

Born Jan. 14, 1902, in Warsaw. Polish logician and mathematician.

Tarski emigrated to the USA in 1939. He has done important work in set theory, the theory of Boolean algebras, logics with formulas of infinite length, and other branches of mathematical logic and the foundations of mathematics. He has made basic contributions to model theory, logical semantics, metalogic, and the methodology of deductive sciences.

WORKS

Undecidable Theories. New York, 1954. (With others.)
Logic, Semantics, Metamathematics. Oxford, 1956.
In Russian translation:
Vvedenie v logiku imetodologiiu deduktivnykh nauk. Moscow, 1948.
The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.
Mentioned in ?
References in periodicals archive ?
Part 4 covers thinkers of the 20th century, such as G|del and Alfred Tarski. ([umlaut] Ringgold, Inc., Portland, OR)
To clarify further, we can use the following often-cited example from Alfred Tarski: "The sentence 'snow is white' is true if, and only if, snow is white." (4) The sentence "'snow is white'" is part of what Tarski calls the object language, whereas "snow is white" is part of the meta-language.
Alfred Tarski. Introduccion a la logica y a las ciencias deductivas, Espasa-Calpe, 1985.
The group, one of the most important in the entire history of logic, included the following Jews (in alphabetical order): Adolf Lindenbaum (1904-194?), Andrzej Mostowski (1913-1975), Moses Presburger (?-194?), Alfred Tarski (1901-1983), and Mordechaj Wajsberg (1902-194?).
The recent paper [1] by Alfred Tarski (1902-83) and Steven Givant can be considered as revival of Tarski's system of geometry.
Dos de los problemas mas antiguos de la filosofia se tocan en el mas reciente y ultimo libro de Donald Davidson (Truth and Predication): el problema de la naturaleza de la verdad y el problema de la unidad de la proposicion, por lo menos si entendemos el primero a la manera de Alfred Tarski; esto es, como el problema de ofrecer una elucidacion parcial de la nocion de verdad aplicable a todas las oraciones de un lenguaje de manera que, para las oraciones sintacticamente mas simples (las oraciones que se usan para afirmar algo sobre uno o varios objetos), su verdad se explicara en terminos de la satisfaccion de sus respectivos predicados por secuencias de objetos.
Far more mind-blowing is a mathematical result known as the Banach-Tarski paradox after two Polish mathematicians, Stefan Banach and Alfred Tarski.
Previously published under the title Truth and Consequences: The Life and Logic of Alfred Tarski.
(3.) See Alfred Tarski, The Semantic Conception of Truth and the Foundations of Semantics (1944), in READINGS IN PHILOSOPHICAL ANALYSIS 52-84 (Herbert Feigl & Wilfrid Sellars eds., 1949).