Alfred Tarski


Also found in: Wikipedia.

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.
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)
El programa semantico de Davidson puede resumirse, grosso modo, en la idea segun la cual la mejor aproximacion para construir una teoria del significado es construirla con la forma de una teoria de la verdad al estilo de las definiciones T de Alfred Tarski. En breve: una teoria de la verdad puede funcionar como una teoria del significado.
"Tarski y las comillas" se define como un conjunto de reflexiones sobre "el final de la realidad" que se inician con una enjundiosa polemica con el concepto de verdad (y, por lo mismo, de realidad) en Alfred Tarski; se constata la "inutilidad de cierto tipo de filosofia" (41) donde "nos enredamos en una serie de cuestiones que no resuelven nada" (42).
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.
-- (1956): The concept of Truth in formalized languages, publicado junto a otros dieciseis articulos en Logic, Semantics, Methamathematics, papers from 1923 to 1938 by Alfred Tarski (1956), Oxford at The Clarendon Press, traduccion de J.
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).