Типов теория (Фролов)

ТИПОВ ТЕОРИЯ (иерархия типов) — способ построения формальной (математической) логики, при котором вводится различение объектов различных уровней (типов); один из способов исключения из логики и теории множеств парадоксов и антиномий. Впервые Типов теорию развил Э. Шрёдер в применении к логике классов (1890). В 1908— 1910 годы Рассел построил детальную систему Типов теории в применении к исчислению предикатов; ее смысл состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д.; внутри типов вводится деление на порядки.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 459.