Словарь логики
"Типов Теория"

Главная - Словарь логики - буква Т - Типов Теория

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: Типов Теория

будет выглядеть так: Что такое Типов Теория

Словарь логики"Типов Теория"

Словарь логики
"Типов Теория"