Советский философский словарь

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

(p. 14.1.1902, Baршава), польск. логик и математик, один из гл. представителей львовсковаршавркой школы. С1939 в США. Внёс значит. вклад в разработку методов решения проблемы разрешения, в теорию моделей, в теорию определимости понятий, в развитие аягебраич. методов изучения исчисления предикатов, в теорию логик с формулами бесконечной длины, в многозначную логику и др, разделы математич. логики и оснований математики. Основоположник формальной семантики. В работе «Понятие истины в формализованных языках» Т. дал определение классич. понятия истины для большой группы формализованных языков. Т. принадлежит ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и дослужили образцом применения формальных методов для анализа содержат. проблем и теорий,

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