Principia Mathematica («Математичні принципи» або «Математичні основи») — тритомна праця з основ математики, написана Бертраном Расселом та Альфредом Нортом Вайтгедом й опублікована у 1910–1913 роках. Праця є спробою вивести всі математичні принципи з символічної логіки. Декілька сот сторінок присвячено системі понять і символів, які пізніше виступають основою арифметики. Виведення математики з логіки спростовувало деякі поширені тогочасні уявлення про суть математичного пізнання. Праця пропонує доказ того, що основи математики не є ні емпірично, ні синтетично апріорними (останнє припускав Іммануїл Кант), а мають мовну природу, тобто виводяться з формальної логіки, таким чином вони є аналітично апріорними.
Математичні теми праці Редагувати
Principia розглядає такі математичні теми, як теорію множин, кардинальні числа, порядкові числа, дійсні числа, складніші побудови з математичного аналізу не розглядаються. Проте у кінці третього тому з викладу стає зрозуміло, що власне вся відома математика могла розвинутися з логічного формалізму.
Попередники Редагувати
Важливі ідеї для написання Principia Mathematica було запозичено з Арифметики Готлоба Фреге, опублікованої 1893 року, на основі якої Рассел розробив так званий Парадокс Рассела. Цей та інші парадокси наївної теорії множин Рассел спробував розв'язати через теорію типів, сформульовану 1908 року, яка й стала основою для Principia Mathematica.
Іншим важливим підґрунтям для праці були формули Джузеппе Пеано, видані у формі збірника в 1903 році. У Пеано Бертран Рассел запозичив численні символи та формули.
Рецепція Редагувати
Досі залишається до кінця не з'ясованим, чи справді система аксіом Principia Mathematica позбавлена протиріч і чи справді з формальної логіки можна вивести абсолютно всі істинні твердження математики. На можливі вади такого підходу вказав Курт Гедель у своїх теоремах про неповноту.
Principia Mathematica мала великий вплив зокрема на німецько-американського філософа-позитивіста Рудольфа Карнапа та його головну працю «Логічна структура світу» (нім. Der logische Aufbau der Welt).
Примітки Редагувати
- Russell: Mathematical logic as based on the theory of types [ 25 травня 2013 у Wayback Machine.], in: American Journal of Mathematics 30 (1908), p. 222–262.
Література Редагувати
- Principia Mathematica to *56. Cambridge University Press; 2. Aufl. 1997. ISBN 978-0-521-62606-4
- Principia Mathematica. 3 Bände. Cambridge University Press 2. Aufl. 1962. ISBN 978-0-521-06791-1
- Alfred North Whitehead, Bertrand Russell, Kurt Gödel: Principia Mathematica. Vorwort und Einleitungen. Suhrkamp 2008. ISBN 978-3-518-28193-2
- Esther Ramharter, Georg Rieckh: Principia Mathematica auf den Punkt gebracht. öbvhpt 2007. ISBN 978-3-209-05547-7