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