Поскольку если pложно, то qследует из pнезависимо от того, истинно ли qили ложно, в случае материальной импликации из ложного высказывания может следовать что угодно — консеквент может быть любым. Упреки тех, кто видит в этом неисправимый «порок» материальной импликации, можно было бы отвергнуть, сославшись на то, что в непротиворечивой системе математики и логики не должно быть ложных высказываний. Тем не менее возражения против понятия материальной импликации все же выдвигались. Так, Пуанкаре иронически заметил: «Но кто исправлял плохую кандидатскую математическую работу, тот мог заметить, насколько правильно смотрит на дело Рассел. Кандидат часто много трудится для того, чтобы найти первое ложное уравнение; но лишь только он его получил, для него уже не представляет никакого труда сделать из него самые неожиданные выводы, из которых иные могут оказаться и точными» ([1], с. 379). Но, несмотря на все попытки усовершенствовать понятие импликации, именно материальная импликация стала стандартным понятием, по крайней мере в математической логике, используемой как основа всей современной математики.
Фреге внес в развитие логики еще один вклад, важность которого была по достоинству оценена много позднее. В логике известно много принципиальных схем рассуждений. Их можно сравнить с многочисленными утверждениями евклидовой геометрии о треугольниках, прямоугольниках, окружностях и других фигурах. В результате пересмотра других областей математики, произведенного в конце XIX в., многие утверждения геометрии были выведены из небольшого числа основных утверждений — аксиом. То же самое Фреге сделал в логике. Его обозначения и аксиомы были достаточно сложными, и мы ограничимся лишь словесным описанием предложенного Фреге аксиоматического подхода к логике (см. также гл. X). Вряд ли кто-нибудь усомнится принять за аксиому утверждение «Если p,то pили q», так как высказывание « pили q» истинно, если истинно по крайней мере одно из входящих в него высказываний, pили q, а если pистинно, то одно из высказываний, pили q,заведомо истинно.
Можно принять также за аксиому, что если какое-то высказывание (или комбинация высказываний) Aистинно и если из Aследует B,где B— другое высказывание (или комбинация высказываний), то Bистинно. Эта аксиома, называемая правилом вывода, позволяет нам выводить новые высказывания и утверждать, что они истинны.
Из приведенных аксиом мы можем, например, вывести
т.е. закон исключенного третьего.
Можно также вывести закон противоречия, словесная формулировка которого гласит: не верно, что pи не pоба истинны (истинным может быть только одно из двух высказываний: либо p,либо не p). Закон противоречия часто используется в математике в так называемых доказательствах от противного. В доказательствах такого рода мы, предположив, что pистинно, заключаем, что pложно. Но тогда pи не pистинны одновременно, что невозможно. Следовательно, pложно. Иногда доказательство от противного проводится несколько иначе. Предположив, что pистинно, мы доказываем, что из pследует q.Но о высказывании qизвестно, что оно ложно. Следовательно, по одному из законов логики должно быть ложным и p.Многие другие законы логики, широко используемые в математических доказательствах, также выводимы из аксиом. Начало дедуктивному построению логики было положено Фреге в его работе «Исчисление понятий» и продолжено им в «Основных законах арифметики».
Фреге поставил перед собой и более претенциозную задачу, о которой пойдет речь в дальнейшем (гл. X). Пока же, не вдаваясь в подробности, заметим, что Фреге стремился своими трудами по логике заложить новую основу арифметики, алгебры и математического анализа — более строгую, чем удалось создать за последние десятилетия XIX в., ознаменовавшиеся критическим движением в области оснований математики.
Значительную роль в использовании математической логики для достижения большей математической строгости сыграл Джузеппе Пеано. Занимаясь преподаванием математики, Пеано, как до него Дедекинд, обнаружил недостаточность строгости существовавших до него доказательств и посвятил всю свою жизнь усовершенствованию оснований математики. Символику математической логики Пеано применил для записи не только законов логики, но и математических аксиом, а также для вывода теорем из аксиом с помощью преобразования по правилам математической логики комбинаций символов, выражающих аксиомы. Пеано открыто и со всей определенностью говорил о необходимости отказаться от интуитивных представлений. Достичь намеченной цели можно было, лишь используя буквенную символику, так как при этом интерпретация символов не влияла на математическое доказательство. Символика позволяла избежать обращения к интуитивным ассоциациям, связанным с обычными словами.
Для обозначения понятий, кванторов и таких связок, как «и», «или» и «не», Пеано ввел собственные символы. Его символическая логика была весьма рудиментарной, но тем не менее Пеано оказал огромное влияние на развитие работ по основаниям математики. Он был основателем и главным редактором журнала Revista di Matematica(1891-1906) и пятитомного «Формуляра математики» (1894-1908). Именно в «Формуляре» Пеано впервые опубликовал уже упоминавшуюся нами аксиоматику целых чисел. Пеано основал школу математических логиков, в то время как работы Пирса и Фреге, по существу, оставались незамеченными, пока Бертран Рассел не «открыл» в 1901 г. труды Фреге. О работах Пеано Рассел узнал в 1900 г. и считал символику Пеано более удачной, чем символика Фреге.
От Буля до Шредера, Пирса и Фреге все нововведения в логике сводились к применению математического метода: символики и дедуктивного вывода логических законов из логических аксиом. Вся эта работа по созданию формальной или символической логики была благосклонно встречена логиками и математиками, так как использование символики позволило избегать психологических, теоретико-познавательных и метафизических смысловых неоднозначностей и ассоциаций.
Систему логики, включающую пропозициональные функции, отношения типа «xлюбит у»или «точка Aлежит между точками Bи C», ныне принято называть исчислением предикатов первой ступени. Хотя, по мнению некоторых логиков, такое исчисление охватывает не все типы рассуждений, используемых в математике, например оно не включает математическую индукцию, современные логики отдают предпочтение именно этой логической системе. {98}
Распространение логики на все типы рассуждений, используемых в математике, придание утверждениям большей точности за счет проведения различия между высказываниями и пропозициональными функциями, введение кванторов, несомненно, способствовали повышению математической строгости, к которой так стремились математики XIX в. Аксиоматизация логики полностью отвечала духу времени.
Имея в виду наш последующий анализ логической структуры математики, подчеркнем, что как в самой математике, так и в алгебре установление высоких стандартов строгости стало возможным благодаря аксиоматическому подходу, впервые использованному Евклидом. Движение за аксиоматизацию в XIX в. позволило выяснить некоторые особенности аксиоматического подхода. Рассмотрим их подробнее.
Одна из особенностей аксиоматического подхода — необходимость неопределяемых понятий. Математика строится независимо от остальных областей человеческого знания, поэтому одно математическое понятие приходится определять через другие. Но тогда возникла бы бесконечная цепочка определений. Выход из создавшегося затруднения состоит в том, что основные понятия должны быть неопределяемыми. Но как пользоваться неопределяемыми понятиями? Откуда мы знаем, что о них можно утверждать? Ответ на этот вопрос и дает аксиоматика; аксиомы содержат утверждения о неопределяемых (и определяемых) понятиях. Следовательно, аксиомы говорят нам, что можно утверждать о неопределяемых понятиях. Так, если точка и прямая неопределяемы, то аксиома о том, что две точки задают прямую и притом только одну, и аксиома о том, что три точки задают плоскость и притом только одну, служат теми утверждениями, которые мы можем использовать при выводе новых утверждений о точке, прямой и плоскости. Хотя Аристотель в «Органоне», Паскаль в «Трактате о геометрическом духе» и Лейбниц в «Монадологии» подчеркивали необходимость неопределяемых понятий, математики по непонятным причинам прошли мимо этих предупреждений и продолжали давать определения, не имевшие смысла. Еще в начале XIX в. Жозеф Диас Жергонн (1771-1859) высказал со всей определенностью важную мысль: аксиомы говорят нам все, что мы можем утверждать о неопределяемых понятиях, т.е. как бы содержат неявные определения таких понятий. Но математики всерьез восприняли эту идею лишь после того, как в 1882 г. Мориц Паш вновь подтвердил необходимость неопределяемых понятий.
