Большой англо-русский и русско-английский словарь
мат. theor of types
Dictionnaire technique russo-italien
вчт. teoria dei tipi
Энциклопедия социологии
- англ. theory, types; нем. Typentheorie. Способ построения формальной (математической) логики, при к-ром вводится различение объектов нескольких уровней (типов). Ее суть состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д. Внутри типов вводится деление на порядки. Т. т. - один из способов исключения из логики и теории множеств парадоксов и антиномий.
Толковый словарь по социологии
- англ. theory, types; нем. Typentheorie. Способ построения формальной (математической) логики, при к-ром вводится различение объектов нескольких уровней (типов). Ее суть состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д. Внутри типов вводится деление на порядки. Т. т. - один из способов исключения из логики и теории множеств парадоксов и антиномий.