Философская энциклопедия - типов теория

ТИПОВ ТЕОРИЯ

ТИПОВ ТЕО́РИЯ

система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из альтернативных формализации классич. (теоретико-множественной) математики и логики, в к-рой известные парадоксы (в частности, парадокс Рассела) "наивной" теории множеств преодолеваются посредством ограничений на выразительные (а не дедуктивные, как, напр., в др. аксиоматич. системах) средства теории, т.е. пересматривается характерная для "наивного" подхода уверенность в том, что любая "грамматически правильная" фраза выражает нек-рое осмысл.

условие (или – что равносильно – предъявляются более жесткие: критерии "грамматич. правильности"). Осуществлению такого, рода ограничений и служит упомянутое выше в дефиниции Т. т. расслоение алфавита переменных на "типы", в результате к-рого множества (классы) и их элементы (вообще – термины) следует рассматривать только в рамках определ. иерархии с условием, что тип элемента множества должен быть (на единицу) меньше типа самого множества, причем вместо переменной любого типа разрешается подставлять термы лишь т о г о же типа. В такой системе известные парадоксы не возникают, хотя ею и не исключается возможность непредикативных определений со всеми вытекающими отсюда последствиями. [Парадокс Рассела в Т. т. не может быть сформулирован из-за ограничения на правило подстановки терминов и требования, согласно к-рому в любой (правильно построенной) (под) формуле Т. т. вида xi∈yj было бы i .