Тарский

Тарский Альфред (р. 1902) - логик и математик, один из видных представителей лъвовско-варшавскай школы. Т. является основоположником формальной семантики, изучающей значения понятий и суждений в логике. Он разрабатывал также проблемы построения дедуктивных теорий, мета-логики, семиотики и т. д. Осн. соч.: «Семантическая концепция истины я основания семантики» (1944), «Логика, семантика, метаматематика» (1956).

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.