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