Моррис Коэн - Введение в логику и научный метод

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

«Однако разве математики не открывают аксиомы на основании наблюдения за поведением материи в пространстве и времени?» – может спросить читатель. «И разве эти аксиомы не являются более достоверными, чем теоремы?»

Для того чтобы ответить на этот вопрос, нам нужно обратиться к древнему различию, проведенному еще Аристотелем, между временным порядком, в котором открывается логическая зависимость суждений, и логическим порядком импликаций между суждениями. Нет сомнения в том, что многие из аксиом математики являются выражением того, что мы считаем истинным относительно избранных частей природы, и что многие прорывы в математике стали возможными, потому что как исследование математика исторически не началась с формулировки ряда аксиом, из которых затем были выведены теоремы. Мы знаем, что многие из суждений, сформулированных Евклидом, были известны за сотни лет до него; и нет сомнения в том, что люди верили в их материальную истинность. Основной вклад Евклида заключался не в открытии дополнительных теорем, а в представлении их в виде частей системы связанных друг с другом истин. Вопрос, который Евклид, должно быть, задавал сам себе, выглядит следующим образом: если даны теоремы о сумме углов треугольника, о подобных треугольниках, если дана теорема Пифагора и прочие теоремы, то каково минимальное число допущений или аксиом, из которых эти теоремы могут быть выведены? В результате данной работы из суждений, ранее считавшихся независимыми друг от друга, была получена геометрия в качестве первой дедуктивной системы. Таким образом, в действительности аксиомы были открыты позднее, чем теоремы, хотя логически они предшествуют последним.

В силу предубеждения довольно часто считается, что логически предшествующие суждения «лучше известны» или «более достоверны», чем теоремы, и что в общем логический приоритет одних суждений по сравнению с другими каким-то образом связан с истинностью этих суждений. На самом же деле аксиомы попросту являются допущениями, или гипотезами, используемыми для систематизации, а иногда и для открытия теорем, которые из них следуют. Из этого вытекает, что для открытия теорем вовсе не требуется знать аксиомы, а также и то, что, как правило, в науке аксиомы являются психологически гораздо менее очевидными, чем теоремы. Как мы увидим, в большинстве наук материальная истинность теорем не устанавливается посредством указания на материальную истинность аксиом. Скорее наоборот: эмпирическое установление истинности или вероятности теорем делает вероятной истинность аксиом.

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

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

На данном этапе мы уже можем резюмировать первые полученные результаты относительно природы логической системы. Суждения могут быть доказаны посредством указания на отношения импликации между этими суждениями и некоторыми другими суждениями. Однако не все суждения той или иной системы могут быть доказаны, ибо в противном случае наше доказательство стало бы цикличным. При этом следует отметить, что суждения, являющиеся аксиомами в одной системе, могут быть доказаны в другой системе. Точно так же термины, неопределяемые в одной системе, могут быть определены в другой системе. Таким образом, то, что мы называли чистой математикой, является гипотетико-дедуктивной системой. Ее аксиомы служат в качестве гипотез, или допущений, и имплицируют остальные суждения. В целом, логическое отношение между аксиомами и теоремами является отношением подчиняющего к подчиненному. Если всю геометрию свести к одному суждению, то такое суждение будет условным, а его антецедентом будут именно аксиомы. Однако, как мы увидим, аксиомы также являются важной характеристикой формальной структуры системы, в которой элементами являются теоремы.

Вероятно, читатель знакомился с некоторыми примерами логических систем при изучении математики. К тому же мы уже рассмотрели подобный пример при обсуждении силлогизмов. Однако будет небесполезно сделать это заново. Рассмотрим следующие суждения, являющиеся аксиомами для особого вида геометрии.

Аксиома 1. Если А и В являются различными точками на плоскости, то существует по меньшей мере одна прямая, содержащая одновременно А и В.

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