Классификация научных теорий.

Все существующие науки можно разбить на два класса:

• феноменологические теории

• сущностные теории

т.е. теории, описывающие внешние взаимодействия, и теории, раскрывающие внешние взаимодействия. В основе этой классификации, теории лежит сама объективная реальность, её различные уровни организации. Но можно дать классификацию теории, не обращаясь к объективной реальности .При этом мы можем выделить 2 класса :

- формальные теории

- содержательные теории

Общее здесь то, что построение этих теорий предполагают поиск исходных постулатов.

Различие указанных теорий

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

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

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

1. Она должна быть полной, т.е. все утверждения, которые мы получаем в процессе теории, должны выводиться из неё.

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

3. Постулаты должны быть независимы, а это означает, что никакой из постулатов не должен быть следствием другого.

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

Согласно второй теореме Гёделя нельзя доказать не противоречивость системы аксиом, оставаясь в рамках этой теории, и используя средства этой теории, чтобы доказать противоречивость, нужно, опираясь на ту или иную теорию, построить модели, на которых можно интерпретировать. Однако доказываем не противоречивость этой теории, и в конечном счёте мы вынуждены опираясь опять же на постулаты. На чёрные дыры может опираться геометрия Лобачевского. Из сказанного не трудно сделать вывод:высшим критерием истинности этой теории является практика.

Формальные теории можно разбить на два класса.

1 – образуют аксематические теории.

2 – генетические теории.

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

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

2. Слабая версия: Объективная реальность не может определяться таким образом. Пример: понятие виртуальных процессов частицы (в уравнениях). Позволяет поставить вопрос об относительном характере истины, относительные истины делятся на 3 типа.

типы истины:

• объективно-относительные истины /этот тип связан с ограниченностью предметной области всякой науки/.

Пример: теория Флогистона, которая была отброшена, как ложна использовалась химиками (Лавуазы, Боэло) для объяснения экспериментальных ситуаций в области химии.

• субъективно-относительная истина /тип связан с различными способами, концепциями, языками познания, а также с человеческими потребностями самого ученого/.

Всякая конкретно-научная истина имеет антропологическое /человеческое/ измерение.

• Исторически относительная истина /каждый этап в развитии науки добавляет к известной истине определенные новации/.

Истина, как процесс, носит бесконечный хар-р. Основанием относительности истины выступает её соотношение с практикой. Конкретная истина всегда связана с конкретной практической /научного поиска/. можно говорить о эмпирической истины (например: корреспандентная теория) и теоретической истине /конкретная концепция/. Кроме того, можно говорить и о методологической истине. В методологическом понимании истины доминирует: нормативные, оценочные,

регулятивные и конвенционные машины.