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

(p. 14.1.1902, Baршава), польск. логик и математик, один из гл. представителей львовсковаршавркой школы. С1939 в США. Внёс значит. вклад в разработку методов решения проблемы разрешения, в теорию моделей, в теорию определимости понятий, в развитие аягебраич. методов изучения исчисления предикатов, в теорию логик с формулами бесконечной длины, в многозначную логику и др, разделы математич. логики и оснований математики. Основоположник формальной семантики. В работе «Понятие истины в формализованных языках» Т. дал определение классич. понятия истины для большой группы формализованных языков. Т. принадлежит ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и дослужили образцом применения формальных методов для анализа содержат. проблем и теорий,