Смотреть больше слов в «Философской Энциклопедии»
ТИПОВ ТЕО́РИЯ система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, п... смотреть
ТИПОВ ТЕОРИЯ — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограни... смотреть
система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подста... смотреть
способ построения формальной (математической) логики, при к-ром вводится различение объектов различных уровней (типов); один из способов исключения из логики и теории множеств парадоксов и антиномий. Впервые Т. т. развил Э. Шредер в применении к логике классов (1890). В 1908— 10 Рассел построил детальную систему Т. т. в применении к исчислению предикатов: ее смысл состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д.; внутри типов вводится деление на порядки. ... смотреть
- формальная теория 1-го порядка (см. Формальная система), один из вариантов к-рой - простая теория типов - описан ниже. Термин лТ. т.
см. Органическая химия.
Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных «типов» (сортов,... смотреть
Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839— 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продук... смотреть