ТАРСКИЙ

ТАРСКИЙ (Tarski) Альфред – (14 января 1902, Варшава – 27 октября 1983, Беркли) – представитель Львовско-Варшавской школы, польский математик и философ. Окончил Варшавский университет, с 1926 преподавал в том же университете, в 1939 эмигрировал в США, преподавал в Гарвардском университете, Принстонском интитуте высших исследований, с 1946 – профессор Калифорнийского университета (Беркли). Философские взгляды Тарского сформировались под влиянием С.Лесьневского [ЛЕСЬНЕВСКИЙ], Я.Лукасевича и Т.Котарбиньского [КОТАРБИНЬСКИЙ]. В начале 20-х гг. получил ряд результатов в области пропозициональной логики, в частности аксиоматическую формулировку импликативного фрагмента классической логики высказываний [ЛОГИКА ВЫСКАЗЫВАНИЙ]. В 1925–29 Тарский дал точное определение дедуктивной системы и доказал ряд теорем, устанавливающих свойства дедуктивных систем. В сер. 30-х гг. Тарский разработал исчисление дедуктивных теорий. К числу метаматематических результатов Тарского относятся также разработка метода элиминации кванторов, доказательство разрешимости элементарной теории действительных чисел и элементарной геометрии. Тарский внес значительный вклад в разработку моделей теории [МОДЕЛЕЙ ТЕОРИЯ](обобщение теоремы Лёвенгейма–Скулема) и в теорию определимости [ОПРЕДЕЛИМОСТЬ]понятий. В историю математики Тарский вошел как основатель т.н. «западной» (калифорнийской) школы теории моделей.

Наиболее известным результатом Тарского является разработанная им семантическая концепция истинности (см. Логическая семантика [ЛОГИЧЕСКАЯ СЕМАНТИКА]), выдвинувшая его в число ведущих логиков и философов 20 в. Тарский показал, что для любого из языков мы можем определить предикат истинности, который доказуемо применим ко всем истинным предложениям языка, и, более того, что мы можем определить этот предикат, используя достаточно простые синтаксические и теоретико-множественные понятия. Философское значение разработанной Тарским концепции заключается в установлении границ и познавательной ценности формализации, в уточнении языковых выражений, удовлетворяющих классической (аристотелевской) концепции истинности. Результаты Тарского оказали влияние на формирование известных философско-методологических теорий, предложенных в 30–50-х гг., в частности на концепции К.Айдукевича [АЙДУКЕВИЧ], К.Поппера, Р.Карнапа. В логике эти методы Тарского, так же как его теоретико-модельная техника, стали частью современного логического аппарата, их изложение можно встретить на страницах практически каждой современной книги по логике.

Сочинения:

1. Pojęcie prawdy w językach nauk dedukcyjnych. Warsz., 1933;

2. Введение в логику и методологию дедуктивных наук. М., 1948;

3. Undecidable theories (with A.Mostowski and A.Robinson). Amsterdam, 1953;

4. Истина и доказательство. – «ВФ», 1972, № 8;

5. The collected works of Alfred Tarski, University of California. Berkeley, 1981.

Литература:

1.  Echmendy J. Tarski on Truth and Logical Consequence. – «Journal of Symbolic Logic», 1988, v. 53.

В.Л.Васюков