Методы построения теории: аксиоматический, гипотетико-дедуктивный.

Методы построения теории

1. Частные, используемые только в какой-то отдельной области (например, метод раскопок в археолгии)

2. Общенаучные, используемые разными науками, дающие возможность связывать воедино все стороны процесса познания:

– общелогические методы (анализ, синтез, индукция, дедукция, аналогия)

– методы эмпирического познания (наблюдение, эксперимент, измерение, моделирование)

– методы теоретического познания (абстрагирование, идеализация, формализация)

5. Всеобщие (диалектика, метафизика, метод проб и ошибок)

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

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

- из области гипотез

- из области фактов

Из гипотез – между этими областями имеет место концептуальное взаимодействие. Из гипотез выводятся следствия частного характера, из последних – следствия еще более частного характера. Процесс продолжается до тех пор, пока цепь логического вывода не приведет к фактам, либо уже установленным, либо только предсказанным. Эмпирический базис является средством для проверки гипотез. Если исходная гипотеза не соответствует наблюдаемым фактам, требуется либо ее опровержение, либо корректировка.

Общая структура ГДМ:

1.            Сначала нужно ознакомиться с тем фактическим материалом, который требует теоретического объяснения и нужно попытаться найти это объяснение, используя уже существующие теории и законы. Если это не удается, тогда:

2.            Выдвигаются предположения о причинах и закономерностях данного явления

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

4.            Из гипотезы выводятся дедуктивно следствия.

5.            Выведенные из гипотезы следствия проверяются экспериментально, то есть практически. Лучшие по результатам проверки гипотезы, переходят в теорию

Изучение этого метода было начато еще в 18 в. (Гартли, Лессарж и др), но признание его пришло лишь к концу 19 в. Обоснование этого метода связывают с: Гершен и Уэвелл. Теоретики ГДМ первыми осознали, что  прогресс в науке существенно связан с выдвижением смелых гипотез. Переход от фактов к гипотезе не относится к компетенции логики, а вот обратный переход – от гипотезы к фактам – совершается по правилам логического вывода. Логическая структура Г-Д теории рассматривалась логиком Яном Лукасевич. В 1926 г. он обратил внимание на то, что даже в математике действительные рассуждения весьма далеки от аксиоматического вида и выдвинул идею построения более естественной логической системы. Эту идею развил Г.Генцен в 30 гг. 20 в он разработал исчисление натуральных выводов, которое воспроизводит процесс введения предположений и получение из них логических следствий в виде построения  логических нитей различной структурной сложности. Именно модели натурального вывода являются более адекватными логическими моделями реальных Г-Д рассуждений.

Г-Д метод представляет собой систему методологических предписаний. Их суть сводится к тому, что научное знание должно представлять собой логически организованную совокупность предположений, которые согласуются с эмпирическим базисом: предположения хорошо подтверждены фактами и имеют по отношению к ним достаточную объяснительную силу, так как фактуальные суждения являются логическим следствием из этих предположений.

Аксиоматический метод – организация теоретического знания, при которой исходные суждения принимаются без доказательств. Они называются аксиомами. На базе аксиом по логическим правилам выводятся новые теории. Этот метод широко применяется в математике.

1.            Аксиоматический метод (с греч «аксиома» - «значимое», «принятое» положение) – один из способов дедуктивного построения научных теорий – силлогистического построения. В основе этого способа лежит следующая последовательность процедур:

•             а) формулируется система основных терминов науки (например, в геометрии Эвклида формируются такие понятия, как точка, прямая, угол и тп)

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

•             в) формулируется система правил и выводов, позволяющая преобразовывать исходные предположения и переходить от одних положений к другим, а также вводить новые термины в теорию.

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

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

 - основные (принципы)

- требующие доказательства (доказываемые).