1 См.: Эйнштейн А. Физика и реальность. - М., 1965. С. 139-143, 204.

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

268

4. СТРУКТУРА И ФУНКЦИИ НАУЧНОЙ ТЕОРИИ. ЗАКОН КАК КЛЮЧЕВОЙ ЕЕ ЭЛЕМЕНТ

Любая теория - это целостная развивающаяся система истинного знания (включающая и элементы заблуждения), которая имеет сложную структуру и выполняет ряд функций. В современной методологии науки выделяют следующие основные элементы структуры теории: 1) Исходные основания - фундаментальные понятия, принципы, законы, уравнения, аксиомы и т.п. 2) Идеализированный объект - абстрактная модель существенных свойств и связей изучаемых предметов (например, "абсолютно черное тело", "идеальный газ" и т.п.). 3) Логика теории - совокупность определенных правил и способов доказательства, нацеленных на прояснение структуры и изменения знания. 4) Философские установки, социокультурные и ценностные факторы. 5) Совокупность законов и утверждений, выведенных в качестве следствий из основоположений данной теории в соответствии с конкретными принципами.

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

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

Говоря о целях и путях теоретического исследования вообще, А. Эйнштейн отмечал, что "теория преследует две цели: 1. Охватить по возможности все явления в их взаимосвязи

269

(полнота). 2. Добиваться этого, взяв за основу как можно меньше логически взаимно связанных логических понятий и произвольно установленных соотношений между ними (основных законов и аксиом). Эту цель я буду называть "логической единственностью" [1].

1 Эйнштейн А. Физика и реальность. - М., 1965. С. 264.

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

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

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

Общая структура теории специфически выражается в разных типах (видах) теорий. Так, математические теории

270

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

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

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

Феноменологические (их называют также описательными, эмпирическими) описывают наблюдаемые в опыте свойства и величины предметов и процессов, но не вникают глубоко в их внутренние механизмы (например, геометрическая оптика, термодинамика, многие педагогические, психологические и социологические теории и др.). Такие теории не анализируют природу исследуемых явлений и поэтому не используют сколь-нибудь сложные абстрактные объекты, хотя, разумеется, в известной мере схематизируют и строят некоторые идеализации изучаемой области явлений.