Морис Клайн - Математика. Утрата определенности.

Поскольку если 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 ложно. Иногда доказательство от противного проводится несколько иначе. Предположив, что p истинно, мы доказываем, что из p следует q. Но о высказывании q известно, что оно ложно. Следовательно, по одному из законов логики должно быть ложным и p. Многие другие законы логики, широко используемые в математических доказательствах, также выводимы из аксиом. Начало дедуктивному построению логики было положено Фреге в его работе «Исчисление понятий» и продолжено им в «Основных законах арифметики».

Фреге поставил перед собой и более претенциозную задачу, о которой пойдет речь в дальнейшем (гл. X). Пока же, не вдаваясь в подробности, заметим, что Фреге стремился своими трудами по логике заложить новую основу арифметики, алгебры и математического анализа — более строгую, чем удалось создать за последние десятилетия XIX в., ознаменовавшиеся критическим движением в области оснований математики.

Значительную роль в использовании математической логики для достижения большей математической строгости сыграл Джузеппе Пеано. Занимаясь преподаванием математики, Пеано, как до него Дедекинд, обнаружил недостаточность строгости существовавших до него доказательств и посвятил всю свою жизнь усовершенствованию оснований математики. Символику математической логики Пеано применил для записи не только законов логики, но и математических аксиом, а также для вывода теорем из аксиом с помощью преобразования по правилам математической логики комбинаций символов, выражающих аксиомы. Пеано открыто и со всей определенностью говорил о необходимости отказаться от интуитивных представлений. Достичь намеченной цели можно было, лишь используя буквенную символику, так как при этом интерпретация символов не влияла на математическое доказательство. Символика позволяла избежать обращения к интуитивным ассоциациям, связанным с обычными словами.

Для обозначения понятий, кванторов и таких связок, как «и», «или» и «не», Пеано ввел собственные символы. Его символическая логика была весьма рудиментарной, но тем не менее Пеано оказал огромное влияние на развитие работ по основаниям математики. Он был основателем и главным редактором журнала Revista di Matematica (1891-1906) и пятитомного «Формуляра математики» (1894-1908). Именно в «Формуляре» Пеано впервые опубликовал уже упоминавшуюся нами аксиоматику целых чисел. Пеано основал школу математических логиков, в то время как работы Пирса и Фреге, по существу, оставались незамеченными, пока Бертран Рассел не «открыл» в 1901 г. труды Фреге. О работах Пеано Рассел узнал в 1900 г. и считал символику Пеано более удачной, чем символика Фреге.

От Буля до Шредера, Пирса и Фреге все нововведения в логике сводились к применению математического метода: символики и дедуктивного вывода логических законов из логических аксиом. Вся эта работа по созданию формальной или символической логики была благосклонно встречена логиками и математиками, так как использование символики позволило избегать психологических, теоретико-познавательных и метафизических смысловых неоднозначностей и ассоциаций.

Систему логики, включающую пропозициональные функции, отношения типа «x любит у» или «точка A лежит между точками B и C », ныне принято называть исчислением предикатов первой ступени. Хотя, по мнению некоторых логиков, такое исчисление охватывает не все типы рассуждений, используемых в математике, например оно не включает математическую индукцию, современные логики отдают предпочтение именно этой логической системе. {98}