Структура теоретического знания в науке

Теоретическое знание есть результат деятельности такой существенно конструктивной части рационального сознания, как Разум. Как справедливо подчеркивал В. С. Швырев, в отличие от рассудка деятельность разума направлена вовнутрь сознания, а именно на имманентное развертывание своего собственного содержания, а отнюдь не на его контакт с внешним миром. Сущность деятельности разума может быть определена как свободное когнитивное творчество, самодостаточное в себе и для себя. Основными логическими операциями теоретического мышления служат идеализация и интеллектуальная интуиция. Их целью и результатом является создание (конструирование) особого типа предметов - так называемых идеальных объектов. Мир идеальных объектов и составляет онтологическую основу (базис) теоретического уровня научного знания, в его отличие от эмпирического.

Научная теория может быть определена как логически организованное множество высказываний о конкретном классе идеальных объектов, их свойствах, отношениях, изменениях. Эта мысль была в свое время подробно и убедительно раскрыта в книге Б. С. Грязнова, Б. С. Дынина, Е. Н. Никитина "Теория и ее объект". Геометрическая точка, линия, плоскость, число и тому подобные идеальные объекты - в математике; инерция, абсолютное пространство, абсолютно упругая жидкость, математический маятник, абсолютно черное тело и тому подобные идеальные объекты - в физике; страты общества, общественно-экономическая формация, цивилизация и тому подобные идеальные объекты - в социологии; логическое мышление, логическое доказательство и тому подобные идеальные объекты - в логике и т.д.

Как создаются идеальные объекты в науке и чем они отличаются от эмпирических? С помощью таких методов научного познания, как идеализация, интуиция, продуктивное воображение и мысленное творчество. Идеализация обычно понимается как мысленный переход от наблюдаемых свойств эмпирических объектов к предельным логически возможным значениям их интенсивности (0 или 1) (геометрическая точка - нуль-размерность, логический предел уменьшения пространственных характеристик любого эмпирического объекта; линия - одномерный непрерывный континуум геометрических точек; абсолютное черное тело - объект, способный полностью поглощать падающую на него световую энергию и т.д.). Что характерно для таких предельных переходов при создании идеальных объектов? Три существенных момента:

1) исходный пункт движения мысли - эмпирический объект, его определенные свойства и отношения;

2) само мысленное движение заключается в количественном усилении или ослаблении степени интенсивности "наблюдаемого" свойства до максимально возможного предельного значения;

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

Существует и другой, более изящный и простой способ конструирования идеальных объектов - введение их по определению, для решения теоретических или чисто логических проблем. Правда, этот способ конструирования идеальных объектов получил распространение в основном лишь в математике, да и то на довольно поздних этапах ее развития (введение иррациональных, а затем и комплексных чисел при решении алгебраических уравнений, введение разного рода математических объектов в топологии и функциональном анализе и т.д.), позже - в математической логике и теоретической лингвистике и др. Особенно интенсивно этот способ введения идеальных объектов стал использоваться в математике, начиная со второй половины XIX в., после принятия неевклидовых геометрий в качестве полноценных математических теорий. Освобожденная от обязательного соотнесения своих собственных объектов с эмпирическими, математика совершила после этого колоссальный скачок в своем развитии. Когда современную математику определяют как науку "об абстрактных структурах" (Н. Бурбаки) или "о возможных мирах" (Л. Витгенштейн), то имеют в виду именно то, что ее непосредственным предметом являются идеальные объекты, часто конструируемые мышлением и вводимые им по определению.

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

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

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

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

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