- Заглавие: ТЕОРИЯ ТИПОВ
- Год актуализации: 2017
- УДК: 10 Философия
- ББК: 87 Философия
- Тематики:
- ПЕДАГОГИКА И ОБРАЗОВАНИЕ. ОРГАНИЗАЦИЯ НАУКИ. МУЗЕЙНОЕ ДЕЛО. КОЛЛЕКЦИОНИРОВАНИЕ
- ФИЛОСОФИЯ
- Биб. карточка:
ТЕОРИЯ ТИПОВ [Специальная и общая философия науки. Энц.словарь:Словарь / В.А.Канке-М.:НИЦ ИНФРА-М,2017.-630 с.(П)]
- Источник публикации: Специальная и общая философия науки: энциклопедический словарь
- Фрагмент статьи: ТЕОРИЯ ТИПОВ — теория, созданная Б. Расселом и А. Уайтхедом с целью обоснования математики посредством логики в книге «Принципы математики» (1910–1913). Согласно определению к типу 0 относятся высказывания об индивидуумах, к типу 1 — утверждения об их признаках, к типу 2 — утверждения о признаках признаков объектов и т.д. Ограничения, введенные Расселом, не допускают использования высказываний, содержащих непредикативные элементы, т.е. предикатов, являющихся своими собственными свойствами. Но именно с непредикативными определениями связано большинство парадоксов логики и математики. К сожалению, Т. т. не только привела к преодолению ряда парадоксов, но и существенно усложнила логическую аргументацию, к тому же исключив из нее ряд важнейших истин.
