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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Таким образом, теория (независимо от своего типа) имеет следующие основные особенности:

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

2. Не всякая совокупность положений об изучаемом предмете является теорией. Чтобы превратиться в теорию, знание должно достигнуть в своем развитии определенной степени зрелости. А именно - когда оно не просто описывает определенную совокупность фактов, но и объясняет их, т.е. когда знание вскрывает причины и закономерности явлений.

3. Для теории обязательным является обоснование, доказательство входящих в нее положений: если нет обоснований, нет и теории.

4. Теоретическое знание должно стремиться к объяснению как можно более широкого круга явлений, к непрерывному углублению знаний о них.

5. Характер теории определяет степень обоснованности ее определяющего начала, отражающего фундаментальную закономерность данного предмета.

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

1 Степин В. С. Теоретическое знание. - М., 2000. С. 707.

7. Теория - это не только готовое, ставшее знание, но и процесс его получения, поэтому она не является "голым результатом", а должна рассматриваться вместе со своим возникновением и развитием.

К числу основных функций теории можно отнести следующие:

1. Синтетическая функция - объединение отдельных достоверных знаний в единую, целостную систему.

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

3. Методологическая функция - на базе теории формулируются многообразные методы, способы и приемы исследовательской деятельности.

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

5. Практическая функция. Конечное предназначение любой теории - быть воплощенной в практику, быть "руководством к действию" по изменению реальной действительности. Поэтому вполне справедливо утверждение о том, что нет ничего практичнее, чем хорошая теория. Но как из множества конкурирующих теорий выбрать хорошую?