Типов Теория
Система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам — индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устранению некоторых парадоксов в логике и теории множеств.
Значения в других словарях
- Типов теория — I Ти́пов тео́рия в химии, одна из ведущих химических теорий середины 19 в. В 1839— 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Большая советская энциклопедия
- Типов Теория — Формальная теория 1-го порядка (см. Формальная система), один из вариантов к-рой — простая теория типов — описан ниже. Термин лТ. т. Математическая энциклопедия
- типов теория — ТИПОВ ТЕОРИЯ, см. органическая химия. Химическая энциклопедия
