|
psyoffice.ru » Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г.
ТИПОВ ТЕОРИЯ (иерархия типов)— способ построения формальной (математической) логики, при к-ром вводится различение объектов различных уровней (типов); один из способов исключения из логики и теории множеств парадоксов и антиномий. Впервые Т. т. развил Э. Шредер в применении к логике классов (1890). В 1908— 10 Рассел построил детальную систему Т. т. в применении к исчислению предикатов: ее смысл состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств свойств (тип 3) и т. д.; внутри типов вводится деление на порядки. Категория: Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|