Математика. Поиск истины.

Наиболее поразительной особенностью математики является используемый ею метод рассуждения. Основу его составляет набор аксиом и применение к этим аксиомам дедуктивного доказательства (вывода). Слово «аксиома» происходит от греческого «мыслить подобающим образом». Само понятие аксиомы — истины, столь самоочевидной, что она ни у кого не вызывает сомнения, — введено греками. Платоновское учение об анамнезисе утверждала, что люди обладают априорным знанием истин, почерпнутым их душами в объективном мире истин, и что аксиомы геометрии представляют собой воспоминания о некогда известных истинах. Аристотель во «Второй аналитике» упоминает об «общих [положениях], называемых нами аксиомами, из которых, как первичного, ведется доказательство» ([8], с. 200), истинность которых мы постигаем своей безошибочной интуицией. Если бы в доказательстве использовались какие-то факты, не известные нам как истины, то потребовалось бы дополнительное доказательство, которое устанавливало бы эти факты, и этот процесс пришлось бы повторять бесконечно. Аристотель также указывал на то, что некоторые понятия должны оставаться неопределяемыми, ибо в противном случае доказательство не имело бы начала. В наше время такие понятия, как точка и прямая, остаются неопределяемыми. Их значение и свойства зависят от аксиом, предписывающих свойства «точек» и «прямых».

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

Помимо математических аксиом значительную часть лепты, вносимой математикой в наш физический мир, должно составлять и физическое знание. Оно может принимать форму физических аксиом (например, законов движения Ньютона), обобщений экспериментальных наблюдений или чистой интуиции. Эти физические допущения формулируются на языке математики, что позволяет применять к ним математические аксиомы и теоремы.

Но сколь ни фундаментальны понятия и аксиомы, именно дедуктивные выводы

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

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