При всей близости содержания чувственного и эмпирического знания благодаря различию их онтологии и качественному различию форм их существования (в одном случае — множество чувственных образов, в другом — множество эмпирических высказываний, между ними не может иметь место отношение логической выводимости одного из другого. Это означает, что эмпирическое знание неверно понимать как логическое обобщение данных наблюдения и эксперимента. Между ними существует другой тип отношения: логическое моделирование (репрезентация) чувственно данных в некотором языке. Эмпирическое знание всегда является определенной понятийно-дискурсной моделью чувственного знания.
Необходимо отметить, что само эмпирическое знание имеет довольно сложную структуру, состоящую из четырех уровней. Первичным, простейшим уровнем эмпирического знания являются единичные эмпирические высказывания (с квантором существования или без), так называемые «протокольные предложения». Их содержанием является дискурсная фиксация результатов единичных наблюдений; при составлении таких протоколов фиксируется точное время и место наблюдения.
Как известно, наука — это в высшей степени целенаправленная и организованная когнитивная деятельность. Наблюдения и эксперименты осуществляются в ней отнюдь не случайно, бессистемно, а в подавляющем большинстве случаев вполне целенаправленно: для подтверждения или опровержения какой-то идеи, гипотезы. Поэтому говорить о «чистых», незаинтересованных, немотивированных, неангажированных какой-либо «теорией» наблюдениях и, соответственно, протоколах наблюдения в развитой науке не приходится. Для современной философии науки — это очевидное положение. Вторым, более высоким уровнем эмпирического знания являются факты. Научные факты представляют собой индуктивные обобщения протоколов, это — обязательно общие утверждения статистического или универсального характера. Они утверждают отсутствие или наличие некоторых событий, свойств, отношений в исследуемой предметной области и их интенсивность (количественную определенность). Их символическими представлениями являются графики, диаграммы, таблицы, классификации, математические модели.
Третьим, еще более высоким уровнем эмпирического знания являются эмпирические законы различных видов (функциональные, причинные, структурные, динамические, статистические и т. д.). Научные законы — это особый вид отношений между событиями, состояниями или свойствами, для которых характерно временное или пространственное постоянство (мерность). Так же как и факты, законы имеют характер общих (универсальных или статистических) высказываний с квантором общности. («Все тела при нагревании расширяются», «Все металлы — электропроводным, «Все планеты вращаются вокруг Солнца по эллиптическим орбитам» и т. д., и т. п.). Научные эмпирические законы (как и факты) являются общими гипотезами, полученными путем различных процедур: индукции через перечисление, элиминативной индукции, индукции как обратной дедукции, подтверждающей индукции. Индуктивное восхождение от частного к общему, как правило, является в целом неоднозначной процедурой и способно дать в заключении только предположительное, вероятностное знание. Поэтому эмпирическое знание по своей природе является в принципе гипотетическим. В отношении естественных наук эту особенность четко зафиксировал в свое время Ф. Энгельс: «Формой развития естествознания, поскольку оно мыслит, является гипотеза».
Наконец, самым общим, четвертым уровнем существования эмпирического научного знания являются феноменологические теории. Они представляют собой логически организованное множество соответствующих эмпирических законов и фактов (феноменологическая термодинамика, небесная механика Кеплера и др.). Являясь высшей формой логической организации эмпирического знания, феноменологические теории, тем не менее, и по характеру своего происхождения, и по возможностям обоснования остаются гипотетическим, предположительным знанием. И это связано с тем, что индукция, т. е. обоснование общего знания с помощью частного (данных наблюдения и эксперимента) не имеет доказательной логической силы, а в лучшем случае — только подтверждающую.
Различия между уровнями внутри эмпирического знания являются скорее количественными, чем качественными, так как отличаются лишь степенью общности представления одного и того же содержания (знания о чувственно наблюдаемом). Отличие же эмпирического знания от теоретического является уже качественным, то есть предполагающим их отнесенность к существенно разным по происхождению и свойствам объектам (онтологиям). Можно сказать, что различие между эмпирическим и теоретическим знанием является даже более глубоким, чем различие между чувственным и эмпирическим знанием.
Теоретическое знание есть результат деятельности не рассудка, а такой конструктивной части сознания как разум. Как справедливо подчеркивает B . C . Швырев, деятельность разума направлена не во вне сознания, не на его контакт с внешним бытием, а внутрь сознания, на имманентное развертывание своего собственного содержания. Сущность деятельности разума может быть определена как свободное когнитивное творчество, самодостаточное в себе и для себя. Наряду с интеллектуальной интуицией основной логической операцией теоретического мышления является идеализация, целью и результатом которой является создание (конструирование) особого типа предметов — так называемых «идеальных объектов». Мир (множество) такого рода объектов и образует собственную онтологическую основу (базис) теоретического научного знания в отличие от эмпирического знания.
Научная теория — это логически организованное множество высказываний о некотором классе идеальных объектов, их свойствах и отношениях. Эта мысль была в свое время подробно и убедительно раскрыта в книге Б.С. Грязнова, Б.С. Дынина, Е.Н. Никитина «Теория и ее объект». Геометрическая точка, линия, плоскость и т. д. — в математике; инерция, абсолютное пространство и время, абсолютно упругая, несжимаемая жидкость, математический маятник, абсолют но черное тело и т. д. — в физике; страты общества, общественно-экономическая формация, цивилизация и др. — в социологии; логическое мышление, логическое доказательство и т. д. — в логике и т. д.
Как создаются идеальные объекты в науке и чем они отличаются от абстрактных эмпирических объектов? Обычно идеализация трактуется только как предельный переход от фиксируемых в опыте свойств эмпирических объектов к крайним логически возможным значениям их интенсивности (0 или 1) (геометрическая точка — нуль — размерность пространственного измерения эмпирических объектов по мере уменьшения их размера, линия — бесконечный непрерывный континуум последовательности (соседства) геометрических точек, абсолютное черное тело — объект, способный полностью (100%) поглощать падающую на него световую энергию и т.д.). Что характерно для таких предельных переходов при создании идеальных объектов? Три существенных момента. Первый: исходным пунктом движения мысли является эмпирический объект, его определенные свойства и отношения. Второй: само мысленное движение заключается в количественном усилении степени интенсивности «наблюдаемого» свойства до максимально возможного предельного значения. Третий, самый главный момент: в результате такого, казалось бы, чисто количественного изменения, мышление создает качественно новый (чисто мысленный) объект, который обладает свойствами, которые уже принципиально не могут быть наблюдаемы (безразмерность точек, абсолютная прямизна и однородность прямой линии, актуально бесконечные множества, капиталистическая или рабовладельческая общественно-экономическая формация в чистом виде, Сознание и Бытие философии и т. д., и т. п.).
Наряду с операцией предельного перехода, в науке существует другой способ конструирования идеальных, чисто мысленных объектов — введение их по определению. Этот способ конструирования идеальных объектов получил распространение в основном в математике, частично — в теоретической (математической) физике, да и то на довольно поздних этапах их развития (введение иррациональных и комплексных чисел при решении алгебраических уравнений, разного рода объектов в топологии, функциональном анализе, математической логике, теоретической лингвистике, физике элементарных частиц и т. д.). Особенно интенсивно данный способ введения идеальных объектов и, соответственно, развития теоретического знания стал применяться после принятия научным сообществом неевклидовых геометрий в качестве полноценных математических теорий. Освобожденная от необходимости обоснования эмпирического происхождения своих объектов математика совершила колоссальный рывок в своем развитии за последние сто пятьдесят лет. Когда современную математику определяют как науку «об абстрактных структурах» (Н. Бурбаки) или «о возможных мирах», то имеют в виду именно то, что ее предметом являются идеализированные объекты, вводимые математическим мышлением по определению.
Говоря о методах теоретического научного познания, необходимо, наряду с идеализацией, иметь в виду также мысленный эксперимент, математическую гипотезу, теоретическое моделирование, аксиоматический и генетическо-конструктивный метод логической организации теоретического знания и построения научных теорий, метод формализации и др.
Для любого теоретического конструкта, начиная от отдельной идеализации («чистой сущности») и кончая конкретной теорией (логически организованной системы «чистых сущностей»), имеется два способа обоснования их объективного характера. А. Эйнштейн назвал их «внешним» и «внутренним» оправданием научной теории. Внешнее оправдание продуктов разума состоит в требовании их практической полезности, в частности, возможности их эмпирического применения. Это, так сказать, прагматическая оценка их ценности и одновременно вместе с тем своеобразное ограничение абсолютной свободы разума. Данное требование особо акцентировано и разработано в философских концепциях эмпиризма и прагматизма. Другим способом оправдания идеальных объектов является их способность быть средством внутреннего совершенствования, логической гармонизации и роста теоретического мира, эффективного решения имеющихся теоретических проблем и постановки новых. Так, введение Л. Больцманом представления об идеальном газе как о хаотически движущейся совокупности независимых атомов, представляющих собой абсолютно упругие шарики, позволило не только достаточно легко объяснить с единых позиций все основные законы феноменологической термодинамики, но и предложить статистическую трактовку ее второго начала — закона непрерывного роста энтропии в замкнутых термодинамических системах. Введение создателем теории множеств Г. Кантором понятия «актуально бесконечных множеств» позволило построить весьма общую математическую теорию, с позиций которой удалось проинтерпретировать основные понятия всех главных разделов математики (арифметики, алгебры, анализа и др.).
Зачем вводятся в науку идеальные объекты? На
сколько они необходимы для ее успешного функционирования и развития? Нельзя ли обойтись в науке только эмпирическим знанием, которое более всего и используется непосредственно на практике? В свое времени в весьма четкой форме эти вопросы поста вил известный австрийский историк науки и философ Э. Мах. Он считал, что главной целью научных теорий является их способность экономно репрезентировать всю имеющуюся эмпирическую информацию об определенной предметной области. Способ реализации данной цели, согласно Маху, заключается в построении таких логических моделей эмпирии, когда из относительно небольшого числа допущений вы
водилось бы максимально большое число эмпирических и проверяемых следствий. Введение идеальных объектов и является той платой, которую мышлению приходится заплатить за эффективное выполнение указанной выше цели. Как справедливо полагал Мах, это вызвано тем, что в самой объективной действительности никаких формально-логических взаимосвязей между ее законами, свойствами и отношениями не существует. Логические отношения могут иметь место только в сфере сознания, мышления между понятиями и суждениями. Логические модели действительности с необходимостью требуют определенного ее упрощения, схематизации, идеализации, введения целого ряда понятий, которые имеют не объектно-содержательный, а чисто инструментальный характер. Их основное предназначение — способствовать созданию целостных, логических организованных теоретических систем. Главным же достоинством последних по Маху является то, что представленная в них в снятом виде эмпирическая информация защищена от потерь, удобно хранится, транслируется в культуре, является достаточно обозримой и хорошо усваивается в процессе обучения.
Сформулированному Махом инструменталистскому взгляду на природу идеальных объектов и научных теорий противостоит в философии науки эссенциалистская интерпретация. Согласно последней, идеальные объекты и научные теории также описывают мир, но сущностный, тогда как эмпирическое знание имеет дело с миром явлений. Как эссенциалистская, так и инструменталистическая интерпретации теоретического знания имеют достаточное число сторонников и в философии науки, и среди крупных ученых. Поднятая в них проблема онтологического статуса теоретического знания столь же значима, сколь и далека от своего консенсуального решения.