Zu diesem Stichwort wurde folgender Inhalt gefunden:

Der polnische Mathematiker und Logiker Alfred Tarski (ursprünglich: Alfred Tajtelbaum, * 14. Januar 1902 in Warschau, † 26. Oktober 1983 in Berkeley, California) ist einer der Hauptvertreter der Lwow-Warschau-Schule vor dem 2. Weltkrieg. Er ist Schüler von &;ukasiewicz und Le&;niewski. Tarski wurde 1926 Dozent an der Universität Warschau, emigrierte 1939 in die USA und wirkte dann in Berkeley (Kalifornien).

Er veröffentlichte zahlreiche grundlegende Arbeiten zur mathematischen Logik, Mengenlehre, Metamathematik, Modelltheorie, Algebra und Geometrie.

Insbesondere gehen die exakten mengentheoretischen Methoden zur Interpretation formalisierter Sprachen auf ihn zurück.

Von Tarski stammen wesentliche Gedanken zur modernen Algebraisierung von Logik und Metamathematik. Er hat u. a. die Zylinderalgebren eingeführt. Tarski sieht in der mathematischen Logik die höchste Stufe in der Entwicklung der Logik, und zwar nicht nur aufgrund ihrer Klarheit und der Vollkommenheit ihrer Grundlagen und Methoden, sondern hauptsächlich wegen der Bedeutung der durch sie gelieferten Begriffsbildungen und Theorien.

Online-Texte

• The semantic conception of truth and the foundations of semantics(engl.)
• Tarski’s System of Geometry (mit Steven Givant) (PDF, engl.)

Weblinks

• Wikipedia
• Polish Philosophy Page (engl.)
• MacTutor (engl.)
• Tarskis Truth Definitions (engl.)
• Wikipedia (engl.)
• Wolenski, Jan: Reichenbach’s Probability Logic and the Lvov-Warsaw-School (engl.)
• Wolenski, Jan: Theories of Truth in Austria and Polish Philosophy
• Betti, Arianna: The Porohy on the Dnepr. Le&;niewskian Roots of Tarski’s Semantics (engl.)
• Feferman, Solomon: Tarski’s Conceptual Analysis of Semantical Notions (PDF, engl.)
• Encyclopedia PWN (poln.)
• Maddux, Roger D.: The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations (PDF, engl.)
• Pratt, Vaughan: Origins of the Calculus of Binary Relations (PDF, engl.)
• Betti, Arianna: Le&;niewski’s Early Liar, Tarski and Natural Language (PDF, engl.)
• Bays, Timothy: On Tarski On Models (PDF, engl.)
• Smith, Barry: Logica Kirchbergensis (PDF)