Типов Теория – — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам — индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устранению некоторых парадоксов в логике и теории множеств.
Что такое Типов Теория? Значение tipov teoriya, словарь логики
Значение термина «Типов Теория» в Словаре логики. Что такое типов теория? Узнайте, что означает слово tipov-teoriya - толкование, обозначение, определение термина, его лексический смысл и описание.
Типов Теория
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):