7061. Альфред Тарский

[Хронос]

http://www.hrono.ru/biograf/bio_t/tarskia.php
Тарский Альфред
1902—1988

Тарский (Tarski) Альфред (1901-1983) - польский логик и математик, член Львовско-Варшавской школы. Изучал математику и философию в Варшаве в 1919-1923 годы; его учителями были Ст. Лесьневский, Я. Лукасевич, Т. Котарбиньский. В 1925-1939 годы Тарский преподавал логику в Варшавском университете. Принимал участие в Математическом коллоквиуме К. Менгера и в заседаниях Венского кружка. В 1939 году читал лекции в университетах США, куда и эмигрировал перед войной. В 1942 году работал в Гарварде и Принстоне, с 1942 по 1973 годы был профессором математики Калифорнийского университета в Беркли. В 1920-е годы Тарский занимался основаниями математики, предложил ряд эквивалентных формулировок аксиомы выбора теории множеств, разработал методы элиминации кванторов и доказал, что арифметика действительных чисел является полной и разрешимой теорией. В 1933 году опубликовал свою наиболее известную работу о понятии истины в языках дедуктивных наук. В этой работе Тарский показал, что удовлетворительное определение истины, позволяющее избежать парадоксов типа «лжец», требует разграничения языка и метаязыка. Предложенное им семантическое (Семантика) определение истины как совр. выражение классического понимания этого понятия оказало большое влияние на развитие логики, философии языка и философии науки. В послевоенные годы Тарский избирался президентом Международного союза истории и философии науки и Ассоциации символической логики.

Современная западная философия. Энциклопедический словарь / Под. ред. О. Хеффе, В.С. Малахова, В.П. Филатова, при участии Т.А. Дмитриева. М., 2009, с. 334.

Сочинения: Введение в логику и методологию дедуктивных наук. М., 1948 (2 изд. 2000); Семантическая концепция истины и основания семантики // Аналитическая философия: Становление и развитие. М., 1998; Collected Papers. Basel, 1986.

Литература: Alfred Tarski and the Vienna Circle. Dordrecht, 1999.

Другие биографические материалы:
Васюков В.Л. Представитель Львовско-Варшавской школы (Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. IV).

Грицанов А.А. Польско-американский логик и математик (Новейший философский словарь. Сост. Грицанов А.А. Минск, 1998).

Фролов И.Т. Методолог науки (Философский словарь. Под ред. И.Т. Фролова. М., 1991).

Оказал большое влияние на развитие семиотики (Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983).

Далее читайте:
Философы, любители мудрости (биографический указатель).

Польша в XX веке (хронологическая таблица).

Исторические лица Польши (биографический справочник).

Сочинения:
Истина и доказательство, — «ВФ», 1972, № 8;

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

Семантическая концепция истины и основания семантики // Аналитическая философия: Становление и развитие. М., 1998;

Pojcie prawdy w jqzykach nauk dedukcyjnych. Waisz., 1933;

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

Collected Papers. Basel, 1986.

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

Литература:
Чудинов Э. М., Природа научной истины, М., 1977, гл. 1.

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

Alfred Tarski and the Vienna Circle. Dordrecht, 1999.