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

Действительно, попытка «вывести» математику из чистой интуиции, но уже не пространства, а времени была предпринята интуиционизмом — субъективно-идеалистическим течением современной буржуазной философии математики. Основатель его — Л. Э. П. Брауэр полагал, что в интуиции времени содержатся все элементы, необходимые и достаточные для построения натурального ряда чисел, а следовательно, и всех основных математических теорий. Но поскольку человек обладает интуицией только относительно небольших чисел, то в остальных случаях необходимо опираться не на интуитивную очевидность, а на критерий «конструктивности», согласно которому «реально существующими» в интуиционистской математике признавались только те объекты, которые можно было фактически построить.

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

Платонизм и интуиционизм преувеличивают относительную самостоятельность математического знания, отрывая его либо от объективного мира (интуиционизм), либо от человеческого сознания (платонизм).

В противоположную крайность впадают представители метафизического материализма, выступающие в философии математики под флагом эмпиризма или номинализма. Эмпиризм признает единственным источником знания чувственный опыт, не допускает возможности знания о ненаблюдаемом. Номинализм не признает объективность общего, существование необходимых связей между сходными объектами, принадлежащими к некоторому классу. Следовательно, как эмпирики, так и номиналисты отрицают объективность сущности, поскольку она ненаблюдаема и обладает общим и необходимым характером. На этом основании они отказываются признать объективное содержание общих терминов и принимают их только в качестве «общих имен», подчеркивая тем самым, что они происходят из «ноуменов» (языка), а не из опыта.

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

«Математические» свойства (за редким исключением) не даны в чувственном опыте и поэтому скорее приписываются вещам, чем обнаруживаются в них [31]. Понятия математики, даже элементарные, как правило, не могут быть получены в результате абстрагирования от конкретно данного; для их создания нужны другие познавательные приемы [32]. К последним относятся прежде всего умозрительное конструирование, создание «конструктов», т. е. понятий, получаемых посредством замещения элементов некоторого структурного образа («гештальта»), заимствованного из имеющегося в наличии эмпирического (научного или обыденного) знания, идеализированными образами («идеалами») каких-либо эмпирических объектов или же их свойств и отношений.

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

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

Представители современного математического эмпиризма рассматривают математику уже не как эмпирическую, а как «метаэмпирическую» науку. Это позволяет существенно расширить круг математических понятий, обосновываемых «эмпирически» в этом смысле слова. Они утверждают, например, что «математика есть наука о формальных методах», т. е. исследует не содержание, а только форму математического знания, законы построения искусственного языка [34]. Но такой подход не позволяет решить вопроса об объективных основаниях математики, так как хотя язык и состоит из материальных элементов, но они созданы людьми и не существуют независимо от них. Современный эмпиризм игнорирует интерпретации формальных систем, т. е. абстрактные объекты.

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