(род. 14 янв. 1902, Варшава) - польск.-амер.
логик и математик. С 1939 живет в США. Основоположник формальной семантики, изучающей значения понятий и суждений в логике, дал
определение классического понятия истины для большой группы формализованных языков. Разрабатывал теории моделей, определимости понятий, проблемы построения дедуктивных теорий, металогику, семиотику, внес большой вклад в
развитие математической логики и оснований математики. Осн.
труды: "Logic, semantic, metamathematics", 1956; на рус. яз. - "Введение в логику и методологию дедуктивных наук", М., 1948; "
Истина и
доказательство". - "
Вопросы философии", 1972, Me 8.
