— система логики предикатов более высокого порядка, чем первый , включающая переменные различных уровней, типов (см.: Переменная ) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам — индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устранению некоторых парадоксов в логике и теории множеств.
Что такое Типов Теория? Значение Типов Теория в словаре логики
Типов Теория - — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам — индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устранению некоторых парадоксов в логике и теории множеств.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Функция - (от лат. functio — осуществление, выполнение) — соответствие ...
- Формы Мысли - или: Формы мышления, — в традиционной логике основными ...
- Формальная Суппозиция - см.: Суппозиция. ...
- Формализация - (от лат. forma — вид, образ) — отображение ...
- Физическая Модальность - см.: Онтологическая модальность. ...
- Фальсификация - (от лат. falsus — ложный, facio делаю) ...
- Учетверение Терминов - (лат. quaternio terminorum) — логическая ошибка в простом ...
- Таблица Истинности - таблица, с помощью которой устанавливается истинностное значение ...
- Существенный Признак - см.: Определение понятия. ...
- Суждение - — мысль, выражаемая повествовательным предложением и являющаяся истинной ...
- Строгая Импликация - см.: Импликация, Парадоксы импликации, Логика. ...
- Спор - столкновение мнений или позиций, в ходе которого ...
- Сорит - (от греч. soros куча) цепь сокращенных ...
- Содержание И Форма - см.: Логическая форма. ...
- Методология Науки - часть науковедения, исследующая структуру научного знания, средства ...