Результаты поиска

Философский энциклопедический словарь

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