Общенаучные методы теоретического познания

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

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

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

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

Аксиоматический метод – один из методов построения уже добытого научного знания. Он имеет ограниченное применение, поскольку требует высокого уровня развития аксиоматизированной содержательной теории. По словам Луи де Броля, этот метод пригоден для классификации и преподавания, но не является методом открытия.

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

Общая структура гипотетико-дедуктивного метода:

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

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

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

4) выведение из гипотезы, как правило, дедуктивным путём, следствий с уточнением её содержания;

5) экспериментальная проверка выведенных гипотезы следствий. На этом этапе гипотеза либо получает подтверждение, либо – опровержение. Однако подтверждение отдельных следствий не означает истинность / ложность гипотезы. Лучшая по результатам экспериментальной проверки гипотеза приобретает статус теории.

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

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

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

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

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

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

Такое движение познания – диалектически противоречивое развитие самого предмета, его переход от одного уровня к другому в соответствии с развёртыванием его внутренних противоречий.