32. Методы построения теоретического объекта: абстрагирование, формализация, идеализация.

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

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

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

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

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

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

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

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

Результат абстрагирования – абстракция.

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

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

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

Формализация (структурный метод) – выявление отношений между частями, элементами, характеризующими форму предмета. Формализация отражает структуру предмета в знаковой форме языком математики.

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

Мысленный эксперимент – оперирование идеализированным объектом. Мысленный эксперимент выступает в роли предварительного идеального плана реального эксперимента, но играет и самостоятельную роль в науке.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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