Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:
АБВГДЗИКЛМНОПРСТУФЦЧЭЮЯ
[Типов Теория]
аЧ система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровнней, типов (см.: Переменная) и ограничения на подстановку тернмов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соотнветствующим им предикатам), которые при этом относятся к разнличным типам. В частности, вместо предметных переменных запренщена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам Ч индивидов. Предложения, понстроение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устраненнию некоторых парадоксов в логике и теории множеств.