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