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

ТИПОВ ТЕОРИЯ

способ построения формальной (математической) логики, при к-ром вводится различение объектов различных уровней (типов); один из способов исключения из логики и теории множеств парадоксов и антиномий. Впервые Т. т. развил Э. Шредер в применении к логике классов (1890). В 1908— 10 Рассел построил детальную систему Т. т. в применении к исчислению предикатов: ее смысл состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д.; внутри типов вводится деление на порядки.

  1. типов теория—формальная теория го порядка см. Формальная системаii один из вариантов крой простая теория типов описан ниже. Термин лТ. т....Математическая энциклопедия
  2. типов теория—система логики предикатов более высокого порядка чем первый включающая переменные различных уровней типов см. Переменная и ограничения на подстановку термов вместо переме...Словарь логики
  3. типов теория—ТИПОВ ТЕОРИЯ система логики предикатов iболее высокого порядка чем первый включающая переменные различных уровней типов см. Переменнаяi iи ограничения на подстановку тер...Словарь по логике
  4. типов теория—ТИПОВ ТЕОРИЯ система расширенного предикатов исчисления или аксиоматич. теории множеств включающая переменные различных типов сортов ступеней порядков. Различные системы ...Философская энциклопедия
  5. типов теория—система расширенного предикатов исчисления или аксиоматич. теории множеств включающая переменные различных типов сортов ступеней порядков. Различные системы Т. т. были пр...Философская Энциклопедия (в 5 томах)
  6. типов теория—см. Органическая химия....Химическая энциклопедия