Бернард Больцано

Больцано высказывает ряд ценных идей по обоснованию и структуре аксиоматического метода. Одним из первых в истории математики, логики и философии он указывает на ошибочность и недостаточность психологического, основанного на наглядности, интуиции, математического и логического доказательств. Когда математический анализ делал первые шаги, против него с позиций психологизма и субъективного идеализма ополчился Беркли. Бесконечно малые величины, утверждал он, должны быть выброшены из математики как фикции. Того, что мы не в состоянии воспринять, не существует. На очевидность, интуицию, правда другого рода — интеллектуальную интуицию, ссылается как на средство обоснования и Декарт. Больцано показывает, что ссылка на любого рода очевидность, созерцание не может служить доказательством в научном исследовании. В небольшой самой ранней работе «Размышления о некоторых предметах элементарной геометрии» (1804) он говорит: «Прежде всего я поставил себе за правило, что никакая очевидность предложения не заставит меня считать себя свободным от обязанности добавочно искать доказательств для него до тех пор, пока я ясно не увижу, почему нельзя требовать никакого доказательства» (цит. по: 24, 40). Особенно резко выступает чешский философ против кантианской философии математики, основанной на признании априорности созерцаний времени и пространства. Предложение «7+5=12», рассматриваемое Кантом как пример априорного и синтетического суждения в математике, Больцано считает аналитическим предложением. Он стремится доказать, что сумма двух чисел получается путем чисто логической операции, без обращения за помощью к наглядности. Нелепо утверждать, что поскольку мы при сложении постепенно добавляем друг к другу единицы чисел 5 и 7, то необходимо созерцание времени. Это все равно, как если бы мы ссылались на созерцание в логической операции «сорит», где к последнему заключению приходят постепенно, шаг за шагом (см. 21, 3, 185–186. 27, 82). Субъективные условия познания не должны смешиваться с объективным его основанием. Каждое предложение в сознании имеет определенную степень ясности и отчетливости, объективный же смысл предложения не имеет этих свойств и не зависит от них. Защищая от психологизма и субъективизма основополагающие понятия математического анализа, Больцано пишет в «Парадоксах бесконечного»: «Вопрос о том, конечно ли что-нибудь или бесконечно, не может зависеть от того, имеет ли предмет, о котором идет речь, такую величину, которую мы можем воспринимать (например, от того, можем ли мы его обозревать или нет)». «Конечное и бесконечное относятся к известным внутренним свойствам предметов и никоим образом не касаются только отношений их к нашей познавательной способности, даже к нашим чувствам» (8, 7; 17).

Эти плодотворные методологические идеи, развиваемые Больцано на основе обобщения опыта математических исследований, помогли ему сделать ряд открытий в математике. Так, ученый, справедливо указывая на недостаточное обоснование в его время понятия дифференциала, сам подходит к правильному его истолкованию. Дифференциал рассматривается им как символическое выражение, подобное выражению «√—1». Метод, который использует только символические средства, является, по Больцано, логически допустимым и правильным (см. 16, 26). К сожалению, сам ученый не всегда следует собственным установкам. Полностью освободиться от смешения формального и содержательного в логике Больцано мешало отсутствие подходящей символики.