Любая теоретическая система, как показал К. Поппер, должна удовлетворять двум основным требованиям: а) непротиворечивости (т.е. не нарушать соответствующий закон формальной логики) и фальсифицируемости - опровержимости, б) опытной экспериментальной проверяемости. Поппер сравнивал теорию с сетями, предназначенными улавливать то, что мы называем реальным миром для осознания, объяснения и овладения им. Истинная теория должна, во-первых, соответствовать всем (а не некоторым) реальным фактам, а во-вторых, следствия теории должны удовлетворять требованиям практики. Теория, по Попперу, есть инструмент, проверка которого осуществляется в ходе его применения и о пригодности которого судят по результатам такого применения.
1) Исходные основания - фундаментальные понятия, принципы, законы, уравнения, аксиомы и т.п.
2) Идеализированный объект - абстрактная модель существенных свойств и связей изучаемых предметов (например, "абсолютно черное тело", "идеальный газ" и т.п.).
3) Логика теории - совокупность определенных правил и способов доказательства, нацеленных на прояснение структуры и изменения знания.
4) Философские установки, социокультурные и ценностные факторы.
5) Совокупность законов и утверждений, выведенных в качестве следствий из основоположений данной теории в соответствии с конкретными принципами.
Например, в физических теориях можно выделить две основные части: формальные исчисления (математические уравнения, логические символы, правила и др.) и содержательную интерпретацию (категории, законы, принципы). Единство содержательного и формального аспектов теории - один из источников ее совершенствования и развития.
Методологически важную роль в формировании теории играет идеализированный объект ("идеальный тип"), построение которого - необходимый этап создания любой теории, осуществляемый в специфических для разных областей знания формах. Этот объект выступает не только как мысленная модель определенного фрагмента реальности, но и содержит в себе конкретную программу исследования, которая реализуется в построении теории.
Для выделения в чистом виде содержания научных терминов, что необходимо для создания научной теории методология разрабатывает специальные методы, например, методы алгоритмизации (конструктивизации), квантификации, качественного уточнения и т.п., и в основу этих методов ложится метод идеализации.
Идеализация является методом выделения сущности в чистом виде, поэтому весьма трудно переоценить ее роль в науке, даже в истории науки. Так, некогда теорией горения являлась флогистонная теория. А сегодня она не годится. Говорят, что она стала ложной. Ньютон Смит, например, утверждает, что вообще всякая истинная в момент ее создания теория через 200 лет становится ложной.
Методология науки считает, что теория является истинной (или ложной) не безотносительно, а относительно принимаемых ею идеализаций. И это в корне меняет дело. Так, флогистонная теория в момент ее создания была истинной относительно принимаемых в то время идеализаций, вводящих флогистон. Сегодня эта идеализация не принимается, а вводится понятие кислорода. Но флогистонная теория не применима к идеализации кислорода так же, как она не применима и к другим газам. Отрицание флогистонной теории не даст кислородную теорию горения. А в логике принимается принцип, говорящий, что отрицание лжи есть истинность, а отрицание истинности ложь. Поэтому отрицание, допустим, ложной флогистонной теории должно было бы давать истинную кислородную теорию, что не имеет смысла. Отсюда флогистонная теория не ложна, а бессмысленна или неприменима.
Историческая преемственность теорий такова, что некогда истинные теории не превращаются в ложные, а становятся неприменимыми при новых идеализациях. Впрочем, при новых идеализациях они были бы неприменимы и в момент их создания. Это объясняет вечную истинность математики. Дело в том, что математика, изучая только количественные отношения действительности, вводит крайние идеализации ее, которые были и в Древней Греции, остаются верными и сегодня и будут существовать и в будущем. Если же их изменить, то современная математика тоже будет неприменимой. На смену ей придет более современная.
Говоря о целях и путях теоретического исследования вообще, А. Эйнштейн отмечал, что "теория преследует две цели: 1. Охватить по возможности все явления в их взаимосвязи (полнота). 2. Добиваться этого, взяв за основу как можно меньше логически взаимно связанных логических понятий и произвольно установленных соотношений между ними (основных законов и аксиом). Эту цель я буду называть "логической единственностью"ã.
Подводя итоги, перечислим основные функции теории, как элемента научного знания:
1. Синтетическая функция - объединение отдельных достоверных знаний в единую, целостную систему.
2. Объяснительная функция - выявление причинных и иных зависимостей, многообразия связей данного явления, его существенных характеристик, законов его происхождения и развития, и т.п.
3. Методологическая функция - на базе теории формулируются многообразные методы, способы и приемы исследовательской деятельности.
4. Предсказательная - функция предвидения. На основании теоретических представлений о "наличном" состоянии известных явлений делаются выводы о существовании неизвестных ранее фактов, объектов или их свойств, связей между явлениями и т.д. Предсказание о будущем состоянии явлений (в отличие от тех, которые существуют, но пока не выявлены) называют научным предвидением.
5. Практическая функция. Конечное предназначение любой теории - быть воплощенной в практику, быть "руководством к действию" по изменению реальной действительности. Поэтому вполне справедливо утверждение о том, что нет ничего практичнее, чем хорошая теория.
Ученый, сталкивающийся в своей деятельности с проблемой построения теорий, может также столкнутся с проблемой выбора теории – ведь эмпирический и теоретический уровни знания тесно переплетаются и для планирования эксперимента уже необходимы теоретические основания.
Как считает К. Поппер, важную роль при выборе теорий играет степень их проверяемости: чем она выше, тем больше шансов выбрать хорошую и надежную теорию. Так называемый "критерий относительной приемлемости", согласно Попперу, отдает предпочтение той теории, которая: а) сообщает наибольшее количество информации, т.е. имеет более глубокое содержание; б) является логически более строгой; в) обладает большей объяснительной и предсказательной силой; г) может быть более точно проверена посредством сравнения предсказанных фактов с наблюдениями. Иначе говоря, резюмирует Поппер, мы выбираем ту теорию, которая наилучшим образом выдерживает конкуренцию с другими теориями и в ходе естественного отбора оказывается наиболее пригодной к выживанию.
2.Типология научных теорий
Многообразию форм идеализации и соответственно типов идеализированных объектов соответствует и многообразие видов (типов) теорий, которые могут быть классифицированы по разным основаниям (критериям). В зависимости от этого могут быть выделены теории: описательные, математические, дедуктивные и индуктивные, фундаментальные и прикладные, формальные и содержательные, "открытые" и "закрытые", объясняющие и описывающие (феноменологические), физические, химические, социологические, психологические и т.д.
Для современной (постнеклассической) науки характерны усиливающаяся математизация ее теорий (особенно естественнонаучных) и возрастающий уровень их абстрактности и сложности. Эта особенность современного естествознания привела к тому, что работа с его новыми теориями из-за высокого уровня абстрактности вводимых в них понятий превратилась в новый и своеобразный вид деятельности. В этой связи некоторые ученые говорят, в частности, об угрозе превращения теоретической физики в математическую теорию.
В современной науке резко возросло значение вычислительной математики (ставшей самостоятельной ветвью математики), так как ответ на поставленную задачу часто требуется дать в числовой форме. В настоящее время важнейшим инструментом научно-технического прогресса становится математическое моделирование. Его сущность - замена исходного объекта соответствующей математической моделью и в дальнейшем ее изучение, экспериментирование с нею на ЭВМ и с помощью вычислительных алгоритмов.
Общая структура теории специфически выражается в разных типах (видах) теорий. Так, математические теории характеризуются высокой степенью абстрактности. Они опираются на теорию множеств как на свой фундамент. Решающее значение во всех построениях математики имеет дедукция. Доминирующую роль в построении математических теорий играют аксиоматический и гипотетико-дедуктивный методы, а также формализация.
Многие математические теории возникают за счет комбинации, синтеза нескольких основных, или порождающих, структур. Потребности науки (в том числе и самой математики) привели в последнее время к появлению целого ряда новых математических дисциплин: теория графов, теория игр, теория информации, дискретная математика, теория оптимального управления и др. В последние годы все чаще обращаются к сравнительно недавно возникшей алгебраической теории категорий, рассматривая ее как новый фундамент для всей математики.
Теории опытных (эмпирических) наук - физики, химии, биологии, социологии, истории - по глубине проникновения в сущность изучаемых явлений можно разделить на два больших класса: феноменологические и нефеноменологические.