Тарский Альфред
Та́рский Альфре́д (Alfred Tarski) [14.1.1902, Варшава – 26 (27).10.1983, Беркли, США], польский математик и философ, представитель львовско-варшавской школы. По окончании Варшавского университета и защиты докторской диссертации под руководством С. Лесьневского (1924) преподавал в том же университете. С 1939 г. в США, работал в Институте перспективных исследований в Принстоне, преподавал в Гарвардском и Калифорнийском университетах (Беркли), профессор с 1948 г. Автор основополагающих работ по теории множеств, теории моделей, основаниям математики (в том числе исследование парадокса Банаха – Тарского, доказательство полноты и разрешимости элементарной алгебры и геометрии, обобщение теоремы Лёвенхейма – Сколема, разработка метода элиминации кванторов и др.), логической семантике и методологии дедуктивных наук. В работе «Понятие истины в языках дедуктивных наук» («Pojᶒcie prawdy w jᶒzykach nauk dedukcyjnych», 1933, немецкий перевод «Der Wahrheitsbegriff in den formalisierten Sprachen», 1935, русский перевод 1999) предложил семантическую концепцию истинности, требующую для избежания парадоксов разграничения языка и метаязыка. Эта концепция оказала огромное влияние на развитие логики, философии языка и философии науки.