Alfred Tarski

Alfred Tarski
Doğum	14 Ocak 1901 Varşova, Rusya İmparatorluğu
Ölüm	26 Ekim 1983 (82 yaşında) Berkeley, ABD
Milliyeti	Polonya
Dalı	Matematik, Mantık
Öğrenim	Varşova Üniversitesi
Doktora öğrencileri	Solomon Feferman, Bjarni Jónsson, Howard Jerome Keisler, Roger Maddux, J. Donald Monk, Richard Montague, Andrzej Mostowski, Julia Robinson, Robert Vaught

Alfred Tarski, (14 Ocak 1901 - 1983), genel cebir, ölçü kuramı, matematiksel mantık, kümeler kuramı ve matematik alanlarında yaptığı katkılarla tanınan Polonya asıllı ABD'li matematikçi ve mantıkçı.

Alfred Tarski, 1930'larda mantıkta önemli bir çalışma olan semantik methodunu biçimlendirmiştir. Bu method mânâları ile mânâların gösterdiği simgeler arasındaki bağı ele alarak tartışmaktadır. Daha başlangıçta semantik, dil çalışmalarında yeni imkânlar açmış ve bu gibi nesne-mânâ ilişkilerinin münakaşalarında tabii bir methot sunmuştur.

Yapıtları

• 1931. "Sur les ensembles définissables de nombres réels I," Fundamenta Mathematica 17: 210-239.
• 1936 (Adolf Lindenbaum'la birlikte). "On the Limitations of Deductive Theories" in Tarski (1983): 384-92.
• 1994 (1941). Introduction to Logic and to the Methodology of Deductive Sciences (Tümdengelimli Bilimlere ve Mantığa Giriş). Dover.
• 1941. "On the calculus of relations," Journal of Symbolic Logic 6: 73-89.
• 1944. "The Semantical Concept of Truth and the Foundations of Semantics (Doğruluğun Anlamsal Bağlamı ve Anlam Biliminin Temelleri)," Philosophy and Phenomenological Research 4: 341-75.
• 1948. A decision method for elementary algebra and geometry. Santa Monica CA: RAND Corp.
• 1949. Cardinal Algebras. Oxford Univ. Press.
• 1953 (Mostowski ve Raphael Robinson ile birlikte). Undecidable theories. North Holland.
• 1956. Ordinal algebras. North-Holland.
• 1965. "A simplified formalization of predicate logic with identity," Archiv für Mathematische Logik und Grundlagenforschung 7: 61-79
• 1969. "Truth and Proof," Scientific American 220: 63-77.
• 1971 (Leon Henkin ve Donald Monk ile birlikte). Cylindric Algebras: Part I. North-Holland.
• 1985 (Leon Henkin ve Donald Monk ile birlikte). Cylindric Algebras: Part II. North-Holland.
• 1986. "What are Logical Notions?", Corcoran, J., ed., History and Philosophy of Logic 7: 143-54.
• 1987 (Steven Givant'la birlikte). A Formalization of Set Theory Without Variables. Providence RI: American Mathematical Society.
• 1999 (Steven Givant'la birlikte). "Tarski's system of geometry," Bulletin of Symbolic Logic 5: 175-214.
• 2002. "On the Concept of Following Logically" (Magda Stroińska and David Hitchcock, trans.) History and Philosophy of Logic 23: 155-96.

Dış bağlantılar

• Tarski's Truth Definitions by Wilfred Hodges.
• Alfred Tarski by Mario Gómez-Torrente.
• Propositional Consequence Relations and Algebraic Logic by Ramon Jansana. Includes a fairly detailed discusses of Tarski's work on these topics.