Основные теоретические общенаучные методы исследования

Формализация. Является одним из существенных методов теоретического исследования. Его расширенное использование сегодня связано с математизацией различных отраслей науки, в том числе и исторической.

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

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

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

Метод формализации помогает совершенствовать научные теории. Формализованная логическая модель переносится на язык машинного программирования. Полученная программа вводится в ЭВМ, которая развивает дальше формальные структуры объективной теории. Это позволяет глубже проникнуть в сложные механизмы научного познания мира, в том числе и исторического процесса.

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

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

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

Аксиоматический метод развивался по мере развития науки, что привело к построению формализованных аксиоматических систем.

Между тем, в исторической науке аксиоматический метод в качестве общенаучного метода исследования находит ограниченное применение. 

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

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

Соответственно типу посылок гипотетико-дедуктивные рассуждения разделяются на две основные группы:

Ø рассуждения, посылками которых являются гипотезы и эмпирические обобщения, истинность которых еще нужно установить;

Ø выводы из таких посылок, которые заведомо ложны или ложность которых может быть установлена.

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