Language translation

Твоя Йога. Словарь логики.
Твоя Йога
Энциклопедия
Единство. Свет. Любовь.
назад | поиск | печать | отправка | главная
Словарь "Логика и логические термины"

Энциклопедия

Объявления

Меню

Your Yoga

Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:

А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

йога-Энциклопедия

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

Вернуться в раздел Эзотерические и восточные энциклопедии.

Сайт © Your Yoga - www.youryoga.org
© Copyright 2003-2024 Your Yoga | на главную | новости