Методология научного познания. Монография - Сергей Лебедев

Имеет смысл терминологически закрепить это различие между двумя указанными выше способами конструирования мышлением идеальных объектов: 1) через «предельный переход» от эмпирических объектов; 2) введение «по определению». Назовем идеальные объекты, полученные первым путем, «идеальными объектами первого рода», а полученные вторым способом – «идеальными объектами второго рода». Если теоретическое естествознание и социально-гуманитарные теории имеют дело в основном с идеальными объектами первого рода, то чистая (теоретическая) математика и логика – с идеальными объектами второго рода. В этом отношении именно математика является парадигмальным образцом теоретического научного мышления в точном и строгом смысле этого слова, демонстрируя колоссальные конструктивные возможности и «непостижимую эффективность» математического мышления (Е. Вигнер) и, в конечном счете, огромную прагматическую ценность когнитивной свободы.

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

У любого продукта разума, начиная от отдельной идеализации («чистой сущности») и кончая научной теорией (логически организованной системой «чистых сущностей»), имеется два основных способа их обоснования. В свое время А. Эйнштейн назвал эти способы внешним и внутренним оправданием научной теории [11]. Внешнее оправдание продуктов разума состоит в требовании обоснования их практической полезности, в частности возможности их применения на опыте. Это, так сказать, прагматическая оценка их ценности и полезности, являющаяся определенным ограничением абсолютной свободы разума. Данное требование подробно проанализировано в различных философских концепциях эмпиризма и прагматизма. Однако другим, более имманентным способом оправдания идеальных объектов является их способность быть средством внутреннего совершенствования, логической гармонизации и обеспечения развития теоретического знания, эффективного решения имеющихся теоретических проблем и постановки новых. Так, введение Л. Больцманом представления об идеальном газе как о хаотически движущейся совокупности независимых атомов, представляющих абсолютно упругие шарики, позволило не только достаточно легко объяснить с этих позиций все основные законы феноменологической термодинамики, но и предложить статистическую трактовку ее второго начала – закона непрерывного роста энтропии в замкнутых термодинамических системах. Далее. Введение создателем теории множеств Г. Кантором «актуально бесконечных множеств» позволило построить весьма общую математическую теорию, с позиций которой удалось проинтерпретировать все основные понятия главных разделов математики (арифметики, алгебры, анализа и др.).

Зачем вводятся в науку идеальные объекты? Насколько они необходимы для ее успешного функционирования и развития? Нельзя ли обойтись в науке только эмпирическими объектами и эмпирическим знанием, которое более всего и используется непосредственно на практике? Впервые в наиболее четкой форме эти вопросы поставил, дав на них свои ответы, Э. Мах [4]. Он полагал, что главной целью научных теорий является их способность экономно репрезентировать и кодифицировать всю имеющуюся эмпирическую информацию об определенной предметной области. Способ реализации такой цели – построение таких теоретических и логических моделей эмпирии, когда из относительно небольшого числа теоретических допущений выводилось бы максимально большое число эмпирически проверяемых следствий. Введение идеальных объектов и является той необходимой ценой, которую мышлению приходится платить за выполнение указанной цели. С точки зрения Маха, это связано с тем, что в самой объективной действительности никаких логических отношений между ее законами, свойствами и отношениями нет. Логические отношения имеют место только в сфере мышления между его понятиями и суждениями. Теоретико-логические модели эмпирической реальности с необходимостью требуют определенного ее упрощения, схематизации, идеализации, введения целого ряда понятий, которые в плане своего содержания имеют не эмпирически описательный, а инструментальный характер, способствуя созданию целостных, логически организованных теоретических систем знания. Главным же достоинством теорий, согласно Э. Маху и П. Дюгему, является то, что представленная в научных теориях в снятом виде эмпирическая информация защищена от потерь, удобно хранится, транслируется в культуре, является достаточно обозримой и хорошо усваивается в процессе обучения [4].

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

3.4. Взаимосвязь эмпирического и теоретического уровней научного знания

Любое удовлетворительное решение данной проблемы должно заключаться в непротиворечивом совмещении двух утверждений: 1) признание качественного отличия между эмпирическим и теоретическим уровнями знания; 2) признание взаимосвязи между ними, включая объяснение механизма этой взаимосвязи. Прежде чем перейти к решению данной проблемы, еще раз зафиксируем содержание понятий эмпирическое и теоретическое. Эмпирическое знание суть множество высказываний (не обязательно логически связанных между собой) об эмпирических объектах. Теоретическое знание суть множество высказываний (как правило, организованных в логическую систему) об идеальных объектах. Источником и основой содержания эмпирического знания является информация об объективной реальности, получаемая через наблюдения и эксперименты. Источником и основой теоретического знания является конструктивная деятельность рационального мышления.

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

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