Введение в логику и научный метод

Коэн Моррис Р.

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

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

В подобной реплике отражен традиционный подход. Вплоть

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

1. Как устанавливается материальная истинность аксиом?

2. Являются ли аксиомы материально истинными?

3. Являются ли теоремы логическими следствиями ясно сформулированных аксиом?

Данные вопросы необходимо рассматривать по отдельности.

1. Ответ, который обычно дается на первый вопрос, заключается в утверждении о том, что аксиомы являются самоочевидными истинами. Однако данный подход – это всего лишь удобный способ отказа от рассмотрения подлинных трудностей. Во-первых, если под термином «самоочевидность» подразумевать психологическую несомненность, непреодолимый импульс утверждать нечто или психологическую невообразимость каких-либо противоположных суждений, то это не даст нам надежного критерия истинности, и история человеческой мысли является тому хорошим подтверждением. Многие суждения, ранее рассматривавшиеся в качестве самоочевидных, например такие, как «природа не терпит вакуума», «на противоположной точке Земли люди ходят вверх ногами», «любая поверхность имеет две стороны», сегодня считаются ложными. На самом деле каждое из противоречащих друг другу суждений относительно любой предметной области (в том числе и наиболее спорные суждения) в разное время утверждалось в качестве фундаментального и интуитивно ясного суждения, истинность которого, следовательно, считалась самоочевидной. Однако является ли определенное суждение очевидным или нет, зависит от культурного контекста и индивидуальной подготовки, и поэтому суждение, являющееся с очевидностью истинным для одного человека или группы людей, может не являться таковым для другого человека или группы.

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

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

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

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

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

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

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

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

§ 2. Чистая математика. Иллюстрация

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

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