Типов Теория - это...

Типов Теория — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уров­ней, типов (см.: Переменная) и ограничения на подстановку тер­мов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соот­ветствующим им предикатам), которые при этом относятся к раз­личным типам. В частности, вместо предметных переменных запре­щена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам — индивидов. Предложения, по­строение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устране­нию некоторых парадоксов в логике и теории множеств.