Full Text
Tarski, Alfred (1902–83)
Extract
Polish-born American logician and mathematician, born in Warsaw, a member of the Institute for Advanced Study, Princeton and taught at University of California, Berkeley. Tarski is best known for his semantic theory of truth, according to which a theory of truth for a language is adequate if we can derive within it every instance of the schema “‘P’ is true if and only if P,” where ‘P’ is the name of the sentence in a metalanguage and P is the sentence itself. This theory is the basis of truth-conditional semantics, and Tarski also developed an axiomatic theory of formal systems, a theory of logical consequence, and a theory of definability. Tarski's most important papers are collected in Logic, Semantics, and Metamathematics (1956), and other works include Introduction to Logic and to the Methodology of the Deductive Sciences (1941) and Logic, Methodology, and Philosophy of Science (1962). ... log in or subscribe to read full text
Log In
You are not currently logged-in to Blackwell Reference Online
If your institution has a subscription, you can log in here: