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

ТАРСКИЙ (TARSKI) АЛЬФРЕД

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

  1. тарский (tarski) альфред—ТАРСКИЙ Tarski Альфред польский и американский логик и математик один из главных представителей львовсковаршавской школы. С в США. Труды по логикоалгебраической теории...Большой Энциклопедический словарь V
  2. тарский (tarski) альфред—польск. логик и математик. Его взгляды сформировались в рамках Львовсковаршавской школы на них повлияли идеи Котарбиньского Лукасевича и Лесьневского. С преподавал в Вар...Современная западная философия