Методы теоретического исследования

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

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

Гипотетико-дедуктивный метод. В рамках этого метода начала создается гипотетическая конструкция, которая дедуктивно развертывается, образуя целую систему гипотез, а затем эта система подвергается опытной проверке, в ходе которой она уточняется и конкретизируется.

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

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

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