Философский словарь
А
Б
В
Г
Д
Е
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Э
Ю
Я
ТИПОВ ТЕОРИЯ
(иерархия ти пов) — способ построения формальной (математической) логики, при к-ром вводится различение объектов различных уровней (типов); один из способов исключения из логики и теории множеств парадоксов и антиномий. Впервые Т. т. развил Э. Шредер в применении к логике классов (1890). В 1908 — 10 Рассел построил детальную систему Т. т. в применении к исчислению преди-- катов: ее смысл состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д.; внутри типов вводится деление на порядки.
|
Вы можете поставить ссылку на это слово:
будет выглядеть так: ТИПОВ ТЕОРИЯ
|
|
