типов теория

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.