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

(Tarski, Alfred) (1902—83), польск. математик, логик и философ. Получил известность благодаря своим работам 1930-х гг. о понятиях истины и логического следования (вошли в издание 1972 г.: Логика, семантика и метаматематика), крые составляют лишь небольшую часть его достижений в математике. Т. показал, как математически точно определить филос. понятия, во всяком случае в той мере, в какой они приложимы к формальным яз., используемым, напр., в арифметике и теории множеств. Первой реакцией философов было ощущение того, что они разом освободились от традиц. затруднений, связанных с проблемой истины. Но впоследствии, когда отношение к этой концепции стало более трезвым, философы выразили сомнение в ее адекватности теории истины как когерентной и согласованной системы.