ТАРСКИЙ Альфред

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

Наиболее известным результатом Тарского является разработанная им семантическая концепция истинности (см. Логическая семантика), выдвинувшая его в число ведущих логиков и философов 20 в. Тарский показал, что для любого из языков мы можем определить предикат истинности, который доказуемо применим ко всем истинным предложениям языка, и, более того, что мы можем определить этот предикат, используя достаточно простые синтаксические и теоретикомножественные понятия. Философское значение разработанной Тарским концепции заключается в установлении границ и познавательной ценности формализации, в уточнении языковых выражений, удовлетворяющих классической (аристотелевской) концепции истинности. Результаты Тарского оказали влияние на формирование известных философско-методологических теорий, предложенных в 30—50-х гг., в частности на концепции К. Айдукевича, К. Поппера, Р. Карнапа. В логике эти методы Тарского, так же как его теоретико-модельная техника, стали частью современного логического аппарата, их изложение можно встретить на страницах практически каждой современной книги по логике.

Соч.: Pojccie prawdy w jezykach nauk dedukcyjnych. Warsz., 1933; Введение в логику и методологию дедуктивных наук. М., 1948; Undecidable theories (with A. Mostowski and A. Robinson). Amsterdam, 1953; Истина и доказательство.— «ВФ», 1972, № 8; The collected works of Alfred Tarski, University of California. Berkeley, 1981. Лит.: EchmendyJ. Tarski on Truth and Logical Consequence.— «Journal f Symbolic Logic», 1988, v. 53.

В. Л. Васюков