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

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

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

  1. тарский альфред—Тарскийstrong Tarski Альфред р. . Варшава польский логик и математик с живт в США. Полученные Т. результаты относятся к теории множеств теории булевых алгебр логикам с ф...Большая Советская энциклопедия II
  2. тарский альфред—Tarski Alfred польск. математик логик и философ. Получил известность благодаря своим работам х гг. о понятиях истины и логического следования вошли в издание г. Логика ...Народы и культуры. Оксфордская энцкилопедия
  3. тарский альфред—p. . Baршава польск. логик и математик один из гл. представителей львовсковаршавркой школы. С в США. Внс значит. вклад в разработку методов решения проблемы разрешения в ...Советский философский словарь
  4. тарский альфред—Tarski Альфред р. янв. логик и математик один из наиболее значит. представителей львовсковаршавской школы. Философские и логич. взгляды Т. сложились под влиянием Котар...Философская Энциклопедия (в 5 томах)