случаем [1].
1 См.: Эйнштейн А. Физика и реальность. — М., 1965. С. 139-143, 204.
Любая теоретическая система, как показал К. Поппер, должна удовлетворять двум основным требованиям: а) непротиворечивости (т.е. не нарушать соответствующий закон формальной логики) и фальсифицируемости — опровержимости, б) опытной экспериментальной проверяемости. Поппер сравнивал теорию с сетями, предназначенными улавливать то, что мы называем реальным миром для осознания, объяснения и овладения им. Истинная теория должна, во-первых, соответствовать всем (а не некоторым) реальным фактам, а во-вторых, следствия теории должны удовлетворять требованиям практики. Теория, по Попперу, есть инструмент, проверка которого осуществляется в ходе его применения и о пригодности которого судят по результатам такого применения. Рассмотрим теорию более подробно.
268
§ 4. СТРУКТУРА И ФУНКЦИИ НАУЧНОЙ ТЕОРИИ. ЗАКОН КАК КЛЮЧЕВОЙ ЕЕ ЭЛЕМЕНТ
Любая теория — это целостная развивающаяся система истинного знания (включающая и элементы заблуждения), которая имеет сложную структуру и выполняет ряд функций. В современной методологии науки выделяют следующие основные элементы структуры теории: 1) Исходные основания — фундаментальные понятия, принципы, законы, уравнения, аксиомы и т.п. 2) Идеализированный объект — абстрактная модель существенных свойств и связей изучаемых предметов (например, «абсолютно черное тело», «идеальный газ» и т.п.). 3) Логика теории — совокупность определенных правил и способов доказательства, нацеленных на прояснение структуры и изменения знания. 4) Философские установки, социокультурные и ценностные факторы. 5) Совокупность законов и утверждений, выведенных в качестве следствий из основоположений данной теории в соответствии с конкретными принципами.
Например, в физических теориях можно выделить две основные части: формальные исчисления (математические уравнения, логические символы, правила и др.) и содержательную интерпретацию (категории, законы, принципы). Единство содержательного и формального аспектов теории — один из источников ее совершенствования и развития.
Методологически важную роль в формировании теории играет идеализированный объект («идеальный тип»), построение которого — необходимый этап создания любой теории, осуществляемый в специфических для разных областей знания формах. Этот объект выступает не только как мысленная модель определенного фрагмента реальности, но и содержит в себе конкретную программу исследования, которая реализуется в построении теории.
Говоря о целях и путях теоретического исследования вообще, А. Эйнштейн отмечал, что «теория преследует две цели: 1. Охватить по возможности все явления в их взаимосвязи
269
(полнота). 2. Добиваться этого, взяв за основу как можно меньше логически взаимно связанных логических понятий и произвольно установленных соотношений между ними (основных законов и аксиом). Эту цель я буду называть «логической единственностью» [1].
1 Эйнштейн А. Физика и реальность. — М., 1965. С. 264.
Многообразию форм идеализации и соответственно типов идеализированных объектов соответствует и многообразие видов (типов) теорий, которые могут быть классифицированы по разным основаниям (критериям). В зависимости от этого могут быть выделены теории: описательные, математические, дедуктивные и индуктивные, фундаментальные и прикладные, формальные и содержательные, «открытые» и «закрытые», объясняющие и описывающие (феноменологические), физические, химические, социологические, психологические и т.д.
Для современной (постнеклассической) науки характерны усиливающаяся математизация ее теорий (особенно естественнонаучных) и возрастающий уровень их абстрактности и сложности. Эта особенность современного естествознания привела к тому, что работа с его новыми теориями из-за высокого уровня абстрактности вводимых в них понятий превратилась в новый и своеобразный вид деятельности. В этой связи некоторые ученые говорят, в частности, об угрозе превращения теоретической физики в математическую теорию.
В современной науке резко возросло значение вычислительной математики (ставшей самостоятельной ветвью математики), так как ответ на поставленную задачу часто требуется дать в числовой форме. В настоящее время важнейшим инструментом научно-технического прогресса становится математическое моделирование. Его сущность — замена исходного объекта соответствующей математической моделью и в дальнейшем ее изучение, экспериментирование с нею на ЭВМ и с помощью вычислительных алгоритмов.
Общая структура теории специфически выражается в разных типах (видах) теорий. Так, математические теории
270
характеризуются высокой степенью абстрактности. Они опираются на теорию множеств как на свой фундамент. Решающее значение во всех построениях математики имеет дедукция. Доминирующую роль в построении математических теорий играют аксиоматический и гипотетико-дедуктивный методы, а также формализация.
Многие математические теории возникают за счет комбинации, синтеза нескольких основных, или порождающих, структур. Потребности науки (в том числе и самой математики) привели в последнее время к появлению целого ряда новых математических дисциплин: теория графов, теория игр, теория информации, дискретная математика, теория оптимального управления и др. В последние годы все чаще обращаются к сравнительно недавно возникшей алгебраической теории категорий, рассматривая ее как новый фундамент для всей математики.
Теории опытных (эмпирических) наук — физики, химии, биологии, социологии, истории — по глубине проникновения в сущность изучаемых явлений можно разделить на два больших класса: феноменологические и нефеноменологические.
Феноменологические (их называют также описательными, эмпирическими) описывают наблюдаемые в опыте свойства и величины предметов и процессов, но не вникают глубоко в их внутренние механизмы (например, геометрическая оптика, термодинамика, многие педагогические, психологические и социологические теории и др.). Такие теории не анализируют природу исследуемых явлений и поэтому не используют сколь-нибудь сложные абстрактные объекты, хотя, разумеется, в известной мере схематизируют и строят некоторые идеализации изучаемой области явлений.
Феноменологические теории решают прежде всего задачу упорядочивания и первичного обобщения относящихся к ним фактов. Они формулируются в обычных естественных языках с привлечением специальной терминологии соответствующей области знания и имеют по преимуществу качественный ха-
271
рактер. С феноменологическими теориями исследователи сталкиваются, как правило, на первых ступенях развития какой-нибудь науки, когда происходит накопление, систематизация и обобщение фактологического эмпирического материала. Такие теории — вполне закономерное явление в процессе научного познания.
С развитием научного познания теории феноменологического типа уступают место нефеноменологическим (их называют также объясняющими). Они не только отображают связи между явлениями и их свойствами, но и раскрывают глубинный внутренний механизм изучаемых явлений и процессов, их необходимые взаимосвязи, существенные отношения, т.е. их законы (такова, например, физическая оптика и ряд других теорий). Наряду с наблюдаемыми эмпирическими фактами, понятиями и величинами здесь вводятся весьма сложные и ненаблюдаемые, в том числе весьма абстрактные понятия. Несомненно, что феноменологические теории благодаря своей простоте легче поддаются логическому анализу, формализации и математической обработке, чем нефеноменологические. Не случайно поэтому в физике одними из первых были аксиоматизированы такие ее разделы, как классическая механика, геометрическая оптика и термодинамика.
Одним из важных критериев, по которому можно классифицировать теории, является точность предсказаний. По этому критерию можно выделить два больших класса теорий. К первому из них относятся теории, в которых предсказание имеет достоверный характер (например, многие теории классической механики, классической физики и химии). В теориях второго класса предсказание имеет вероятностный характер, который обусловливается совокупным действием большого числа случайных факторов. Такого рода стохастические (от греч. — догадка) теории встречаются не только в современной физике но и в большом количестве в биологии и социально-гуманитарных науках в силу специфики и сложности самого объекта их исследования. Важнейшим методом построения и
272
развития теорий (особенно нефеноменологических) является метод восхождения от абстрактного к конкретному.
А. Эйнштейн различал в физике два основных типа теорий — конструктивные и фундаментальные. Большинство физических теорий, по его мнению, является конструктивными, т.е. их задачей является построение картины сложных явлений на основе некоторых относительно простых предположений (такова, например, кинетическая теория газов). Исходным пунктом и основой фундаментальных теорий являются не гипотетические положения, а эмпирически найденные общие свойства явлений, принципы, из которых следуют математически сформулированные критерии, имеющие всеобщую применимость (такова теория относительности). В фундаментальных теориях используется не синтетический, а аналитический метод. К достоинствам конструктивных теорий Эйнштейн относил их законченность, гибкость и ясность. Достоинствами фундаментальных теорий он считал их логическое совершенство и надежность исходных положений [1].
1 См.: Эйнштейн А. Физика и реальность. — М., 1965. С. 247-248.
Несмотря на то, какого бы типа теория ни была, какими бы методами она ни была построена, «всегда остается неизменным самое существенное требование к любой научной теории — теория должна соответствовать фактам… В конечном счете только опыт вынесет решающий приговор» [2], — резюмирует великий мыслитель.
2 Там же. С. 260.
В этом своем выводе Эйнштейн вовсе не случайно использует выражение «в конечном счете». Дело в том, что, как разъяснял он сам, в процессе развития науки наши теории становятся все более и более абстрактными, их связь с опытом (фактами, наблюдениями, экспериментами) оказывается все более сложной и опосредованной, а путь от теории к наблюдениям — длиннее, тоньше и сложнее. Чтобы реализовать нашу постоянную конечную цель — «все лучшее и лучшее понимание реальности», надо четко представлять себе следующее объективное
273
обстоятельство. А именно, что «к логической цепи, связывающей теорию и наблюдение, прибавляются новые звенья. Чтобы очистить путь, ведущий от теории к эксперименту, от ненужных и искусственных допущений, чтобы охватить все более обширную область фактов, мы должны делать цепь все длиннее и длиннее» [1]. При этом, добавляет Эйнштейн, чем проще и фундаментальнее становятся наши допущения, тем сложнее математическое орудие нашего рассуждения.
1 См.: Эйнштейн А. Физика и реальность. — М., 1965. С. 298.
В. Гейзенберг считал, что научная теория должна быть непротиворечивой (в формально-логическом смысле), обладать простотой, красотой, компактностью, определенной (всегда офаниченной) областью своего применения, целостностью и «окончательной завершенностью». Но наиболее сильный аргумент в пользу правильности теории — ее «многократное экспериментальное подтверждение». «Решение о правильности теории оказывается, таким образом, длительным историческим процессом, за которым стоит не доказательность цепочки математических выводов, а убедительность исторического факта. Завершенная теория так или иначе ведь никогда не является точным отображением природы в соответствующей области, она есть некая идеализация опыта, осуществляемая с помощью понятийных оснований теории и обеспечивающая определенный успех» [2].
2 Гейзенберг В. Шаги за горизонт. — М., 1987. С. 185-186.
Специфическую структуру имеют теории социально-гуманитарных наук. Так, в современной социологии со времени работ крупного американского социолога Роберта Мертона (т.е. с начала XX в.) принято выделять три уровня предметного изучения социальных явлений и соответственно три типа теорий.
Первый — общая социологическая теория («общая социология»), дающая абстрактно-обобщенный анализ социальной реальности в ее целостности, сущности и истории развития; на этом уровне познания фиксируется структура и общие закономерности функционирования и развития социальной
274
реальности. При этом теоретическим и методологическим базисом общей социологической теории выступает социальная философия.
Второй уровень предметного рассмотрения — частные («среднего ранга») социологические теории, имеющие своим теоретическим и методологическим базисом общую социологию и дающие описание и анализ социально особенного. В зависимости от своеобразия своих объектов исследования частные теории оказываются представленными двумя относительно самостоятельными классами частных теорий — специальными и отраслевыми теориями.
Специальные теории исследуют сущность, структуру, общие закономерности функционирования и развития объектов (процессов, общностей, институтов) собственно социальной сферы общественной жизни, понимая последнюю как относительно самостоятельную область общественной деятельности, ответственную за непосредственное воспроизводство человека и личности. Таковы социологии пола, возраста, этнич-ности, семьи, города, образования и т.д. Каждая из них, исследуя особый класс социальных явлений,
