Но отношение логической выводимости имеет место внутри эмпирического знания. При этом последнее имеет довольно сложную структуру. Исходным, первичным элементом эмпирического уровня знания являются единичные высказывания (с квантором существования или без него). Это так называемые протокольные предложения. Они представляют собой дискурсное оформление результатов единичных наблюдений. При составлении протоколов обычно фиксируется точное время и место наблюдения. Вторым элементом структуры эмпирического уровня знания являются факты. Научные факты представляют собой индуктивные обобщения протоколов. Факты – это общие утверждения статистического или универсального характера. Они фиксируют наличие некоторых свойств и отношений исследуемой предметной области и их количественную определенность. Символическими представлениями этих свойств и отношений являются графики, диаграммы, таблицы, классификации, математические модели и т. д.
При этом необходимо иметь в виду, что эмпирическое познание на уровне протоколов, а тем более научных фактов всегда детерминировано какой-либо теорией. Как правило, эмпирическое познание имеет одной из своих целей подтверждение или опровержение какой-то теоретической идеи или гипотезы. Говорить об абсолютно «чистых», независимых от какой-либо теории научных фактах в развитой науке не приходится. И для современной философии науки это стало уже аксиомой.
Третьим элементом структуры эмпирического уровня научного знания являются эмпирические законы различных видов (функциональные, причинные, структурные, динамические, статистические и т. д.). Научные законы представляют собой фиксации особого вида отношений между событиями, состояниями или свойствами, а именно таких, для которых характерно временное или пространственное постоянство (мерность). Так же, как и факты, эмпирические законы имеют характер общих (универсальных или статистических) высказываний с квантором общности: ∀x(a(x)⊃b(x)) («Все тела при нагревании расширяются», «Все металлы – электропроводны», «Все планеты вращаются вокруг Солнца по эллиптическим орбитам» и т. д.). Научные эмпирические законы (как и факты) являются результатом индуктивного обобщения: индукции через перечисление, элиминативной индукции, индукции как обратной дедукции, подтверждающей индукции. Поскольку индуктивное восхождение от частного к общему, как правило, является неоднозначным выводом и способно дать в заключении только предположительное, вероятное знание, постольку эмпирическое знание само по себе всегда является гипотетическим. В отношении естественных наук эту особенность четко зафиксировал Ф. Энгельс: «Формой развития естествознания, поскольку оно мыслит, является гипотеза» [12].
Но наиболее общим видом эмпирического научного знания являются так называемые феноменологические теории, которые представляют собой логически организованное множество, систему эмпирических законов (феноменологическая термодинамика, небесная механика Кеплера и др.). Являясь логически организованной и высшей формой эмпирического знания, феноменологические теории, тем не менее, и по характеру своего происхождения, и по возможностям обоснования остаются гипотетическим, предположительным знанием. И это связано с тем, что индукция, т. е. обоснование общего знания с помощью частного (данных наблюдения и эксперимента), не имеет доказательной логической силы, а в лучшем случае – только подтверждающую силу [3].
Таким образом, эмпирическое знание по отношению к уровню чувственного научного знания является его категориальной структуризацией, представляя его в том или ином аспекте и с той или иной степенью полноты. В отношении полноты эмпирическое знание – всегда беднее чувственного знания, представляя только часть его содержания. Эмпирический объект есть лишь сторона, аспект чувственного объекта, а последний, в свою очередь, есть лишь аспект «вещи в себе». Таким образом, эмпирическое знание представляет собой абстракцию второй ступени по отношению к миру «вещей в себе».
Различие между разными структурными единицами эмпирического знания имеет скорее количественный характер, нежели качественный. Они отличаются между собой лишь степенью общности представления одного и того же содержания (знания о чувственно наблюдаемом). Отличие же эмпирического научного знания от чувственного научного знания является качественным, так как у них – разные предметы, разные онтологии. Тогда как предметом уровня чувственного научного знания являются «вещи в себе», предметом эмпирического уровня научного знания являются уже абстрактные объекты, то есть лишь некоторые мыслительные схемы данных наблюдения и эксперимента. Но еще более разительным является качественное различие между эмпирическим и теоретическим уровнями научного знания.
3.3. природа и структура теоретического уровня научного знания
Теоретическое знание есть результат деятельности такой в высшей степени конструктивной части мышления, как Разум. Как справедливо в этой связи подчеркивал В. С. Швырев [10], в отличие от рассудка, деятельность разума направлена не вовне, а внутрь сознания, а именно на имманентное развертывание своего собственного содержания, а отнюдь не на его контакт с внешним миром. Сущность деятельности разума может быть определена как свободное когнитивное творчество, самодостаточное в себе и для себя. Основными логическими операциями теоретического мышления являются идеализация и интеллектуальная интуиция. Их целью и результатом является создание (конструирование) особого типа предметов – так называемых идеальных объектов. Именно мир идеальных объектов составляет онтологическую основу (базис) теоретического уровня научного знания и его главное отличие от эмпирического знания.
Научная теория – это логически организованное множество, логически организованная система высказываний о конкретном классе идеальных объектов, их свойствах, отношениях, изменениях. Это положение мысли было в свое время подробно и убедительно раскрыто в книге «Теория и ее объект» [1]. Примеры теоретических научных объектов: геометрическая точка, линия, плоскость, число и тому подобные идеальные объекты – в математике; инерция, абсолютное пространство, абсолютно упругая жидкость, математический маятник, абсолютно черное тело и другие идеальные объекты – в физике; страты общества, общественно-экономическая формация, цивилизация – в социологии; логическое мышление, логическое доказательство, логические функции – в логике и т. п.
Как создаются идеальные объекты в науке и чем они отличаются от эмпирических объектов? Об этом более подробно будет сказано позже. Главным из них является идеализация. Идеализация – это, прежде всего, мысленный переход от наблюдаемых свойств эмпирических объектов к их предельным логически возможным значениям: геометрическая точка – нуль-размерность, логический предел уменьшения пространственных характеристик любого эмпирического объекта; линия – одномерный непрерывный континуум геометрических точек; абсолютно черное тело – объект, способный полностью (100 %) поглощать падающую на него световую энергию и т. д.
Что характерно для предельных переходов при создании идеальных объектов? Три существенных момента. Первый: исходным пунктом движения мысли является эмпирический объект, его определенные свойства и отношения. Второй: само мысленное движение заключается в количественном усилении или ослаблении степени интенсивности «наблюдаемого» свойства до максимально возможного предельного значения (0 или 1). Третий, и самый главный, момент: в результате такого, казалось бы, чисто количественного движения мышление создает качественно новый объект, который обладает свойствами, которые уже принципиально не могут быть наблюдаемы (безразмерность точек, абсолютная прямизна и однородность прямой линии, актуальные бесконечные множества, общественно-экономическая формация в чистом виде, Сознание и Бытие философии и т. д., и т. п.). Известный финский математик Р. Неванлинна так подчеркивал это обстоятельство: идеальные объекты конструируются из эмпирических объектов с помощью конструктивного добавления к эмпирическим объектам таких новых свойств, которые делают идеальные объекты принципиально ненаблюдаемыми и потому имманентными элементами именно мышления [6].
Существует и другой, более изящный и простой, способ конструирования идеальных объектов – введение их по определению, для решения определенных теоретических или чисто логических проблем. Правда, этот способ конструирования идеальных объектов получил распространение в основном лишь в математике, да и то лишь на довольно поздних этапах ее развития (введение иррациональных, а затем и комплексных чисел при решении алгебраических уравнений, введение разного рода математических объектов в топологии и функциональном анализе и т. д.). Позже – в математической логике и теоретической лингвистике и др. Особенно интенсивно этот способ введения идеальных объектов стал использоваться в математике, начиная со второй половины XIX века, после принятия неэвклидовых геометрий в качестве полноценных математических теорий. Освобожденная от пут обязательного соотнесения своих собственных объектов с эмпирическими объектами, математика совершила после этого колоссальный скачок в своем развитии. Когда современную математику определяют как науку «об абстрактных структурах» (Н. Бурбаки) или науку «о возможных мирах» (Л. Витгенштейн), то имеют в виду именно то, что ее непосредственным предметом являются идеальные объекты, часто конструируемые мышлением и вводимые им по определению.
