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 ?
4) Alfred Tarski, "The Semantic Conception of Truth and the Foundations of Semantics," Philosophy and Phenomenological Research 4 (March, 1944): 343; emphasis in original.
The recent paper [1] by Alfred Tarski (1902-83) and Steven Givant can be considered as revival of Tarski's system of geometry.
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.
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.
To these, Chrudzimski interestingly but even more anachronistically adds considerations that are indigenous rather to extensionalist analytic philosophy associated with the work of Gottlob Frege, Bertrand Russell, Alfred Tarski, and Willard Van Orman Quine.
Alfred Tarski (1902-1983) is "credited with advancing the semantic method, a procedure for examining the relationship between an expression and the object to which it refers"; what we might consider a subset of general-semantics related to the extensional orientation.
Robbins himself worked on the problem, and it was later taken up by others, including the late Alfred Tarski, a prominent logician at the University of California, Berkeley.
Laczkovich tackled a version of the problem originally devised in 1925 by mathematician and philosopher Alfred Tarski.