Социологический словарь:
ТЕОРИЯ ТИПОВ — англ. theory, types; нем. Typentheorie. Способ построения формальной (математической) логики, при к-ром вводится различение объектов нескольких уровней (типов). Ее суть состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д. Внутри типов вводится деление на порядки. Т. т. — один из способов исключения из логики и теории множеств парадоксов и антиномий.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020