Философский словарь - логицизм

Л. восходит к идее Г. Лейбница о "сводимости математики к логике". Во втор. пол. 19 в. нем. логик Г. Фреге сформулировал арифметику чисто логически, но, столкнувшись с парадоксами, признал свою попытку безнадежной. В дальнейшем тезис Л. развивали англ. философы и логики Б. Рассел и А.Н. Уайтхед.

Против идеи, что математические понятия можно свести к логическим понятиям с помощью явных определений и затем вывести математические теоремы из логических аксиом, обычно выдвигаются следующие возражения. Прежде всего, для сведения математики к логике приходится принимать аксиому бесконечности, предполагающую существование бесконечных множеств. Далее в выведении математики из логики в какой-то степени содержится круг. Всегда имеются необоснованные предпосылки, которые должны быть приняты на веру или интуитивно. Можно попытаться уменьшить их число, но нельзя избавиться от них совсем. Различение, что из этих предпосылок относится к математике, а что к логике, лежащей в ее основе, носит субъективный и по существу произвольный характер. И наконец, в 1931 К. Гёдель показал, что все системы аксиоматически построенной арифметики существенно неполны: их средствами невозможно доказать некоторые содержательные истинные арифметические утверждения. Основной тезис Л. следует, т.о., признать опровергнутым.

Это не означает, что Л. был совершенно бесплодным. Его сторонники добились определенных успехов в прояснении основ математики. В частности, было показано, что математический словарь сводится к неожиданно краткому перечню основных понятий, которые принадлежат, как принято считать, словарю чистой логики.

Однако в целом Л. оказался утопической концепцией.

Клини С.К. Введение в метаматематику. М., 1957; Френкель А.А., Бар-Хиллел Й. Основания теории множеств. М., 1966.