ТА́РСКИЙ

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