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

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

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

Для построения любой формальной системы необходимо:

1) задать алфавит (определенный набор знаков); 2) задать правила, по которым из исходных знаков алфавита можно получить «слова» или «формулы»; 3) задать правила, по которым из одних слов (формул) можно перейти к другим словам (формулам).

Достоинство формальных систем заключается в том, что они позволяют проводить исследования какого-либо объекта без непосредственного обращения к нему. К числу других достоинств формальных систем можно отнести краткость и четкость фиксирования информации.

Но все формальные системы существуют только на основе естественного языка. Формализация внутренне ограниченна. Всеобщего метода, позволяющего любое рассуждение заменить вычислением, не существует.

К. Гедель сформулировал и доказал теорему о «неполноте» всех формальных систем. Согласно этой теореме, любая формальная система либо противоречива, либо содержит в себе высказывания, которые нельзя ни доказать, ни опровергнуть. Эту же мысль можно ещё выразить иначе: какими бы богатыми ни были искусственные языки, в них всегда будут содержаться высказывания (формулы), имеющие смысл, но не выводимые по формальным правилам этого языка.

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

Для вывода теорем из аксиом формулируются специальные правила вывода. Доказательство а аксиоматическом методе – это некоторая последовательность формул, каждая из которых есть либо аксиома, либо получается из предыдущих формул по какому-либо правилу вывода.

В его основе лежит следующая последовательность процедур:

1) Формулируется система основных терминов науки (например, в геометрии Евклида – понятие точки, прямой, угла, плоскости и т.д.)

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

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

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

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

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

Этот метод основан на выведении (дедукции) заключений из гипотез и других посылок, истинное значение которых неизвестно. Т.О., полученное заключение будет иметь вероятностный характер.

Общая структура метода:

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

2)      выдвижение предположения о причинах и закономерностях данного явления с помощью логики;

3)      оценка основательности и серьёзности предположений и выбор из них наиболее вероятных;

4)      выведение из гипотез (обычно дедуктивным путем) следствий;

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

Гипотетико-дедуктивный метод является не столько методом открытия, сколько способом построения и обоснования научного знания. /2 с. 222 - 225/