Диалектика природы и естествознания

Пренебрежительное, а подчас и отрицательное отношение Гегеля к математике основывалось на господствовавшем в то время понимании математики как науки о величинах, о количестве вне связи с качеством, а также на отождествлении способа изложения математического содержания с действительным процессом его движения. Процессом доказывания в ней, отмечал Гегель, управляет как будто бы какая-то внешняя самому содержанию сила; исходный пункт доказательства никак не связывается при его выборе с искомым результатом. В процессе доказывания якобы совершенно произвольно принимаются одни и игнорируются другие допущения, причем невозможно установить, в силу какой необходимости все это делается[45]. Высокая оценка математики И. Кантом основана опять-таки на ошибочном понимании им природы математического знания, которое он считал примером «синтетического априорного знания» — единственного вида знания, которое, согласно Канту, сочетает объективную значимость с безусловной достоверностью, обладает общим и необходимым характером[46].

Характерные для современного позитивизма оценки математики как «информационно пустой», «онтологически нейтральной», «тавтологичной», «чисто вербального знания» также основаны на абсолютизации действительно присущего этой науке момента — неопределенности смыслового (семантического) содержания ряда ее фундаментальных терминов[47]. Между тем законы математики совместимы не с любой онтологической конструкцией. Ведь даже логика содержит некоторые «онтологические обязательства»[48], т. е. предполагает существование объектов с определенными свойствами.

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

Эта особенность математики позволяет ей быть «наукой о бесконечном». Способность ее отображать, хотя и в абстрактной и односторонней форме, количественный аспект бесконечности как атрибута объективного мира заслуживает специального анализа в плане выявления диалектики математического познания. В диалектическом материализме бесконечное есть противоположность конечного и вместе с тем его момент. Значение идеи бесконечности для научного познания определяется тем, что без нее невозможно познание конечного. «…По существу, — говорит Ф. Энгельс, — мы можем познавать только бесконечное»[49]. Действительно, всякое общее утверждение ориентировано на потенциально бесконечный ряд явлений.

В математике понятие бесконечности изучается главным образом теорией множеств. Начало этим исследованиям было положено Г. Кантором, которому удалось объединить понятия актуальной и потенциальной бесконечности в едином понятии предела бесконечной последовательности, рассматриваемого как начало новой последовательности так называемых «трансфинитных» чисел[50].

Современная математика исследует преимущественно лишь количественный аспект реальной бесконечности. Встречающиеся на этом пути трудности показывают, что «бесконечное количество» качественно отличается от конечного количества. «Бесконечное количество» в отличие от конечного не может быть ни увеличено, ни уменьшено, для него не выполняется принцип «целое больше части». Как показал Т. Сколем, «кардинальное число» бесконечного множества (характеризующее «число элементов» множества) не является абсолютной характеристикой для конечного множества, а зависит от способа рассмотрения. В этом отражается сложная количественно-качественная природа бесконечности, для адекватного отображения которой в современной математике, по-видимому, еще не разработана подходящая система понятий[51]. Тем не менее исследование понятия бесконечности в математике, особенно в связи с обнаружением парадоксов теории множеств, привело к значительным результатам научного и методологического характера.