Логицизм
- Логицизм — философское направление, основанное на логике и математическом анализе.
- Логицизм связан с работами Готтлоба Фреге, Бертрана Рассела и других философов.
- Рассел предложил программу построения натуральных чисел на основе логики и аксиом.
- Логические выводы натуральных чисел отличаются от выводов, полученных из аксиом теории множеств.
- Рассел считал, что вся традиционная чистая математика может быть выведена из натуральных чисел.
- Построение натуральных чисел основано на анализе терминов, понятий и пропозициональных функций.
- Рассел анализировал общее понятие классов и их определение через расширение или интенсивность.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: