Словарь логики - типов теория

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

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