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

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

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

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

В структуру гипотетико-дедуктивного метода входит:

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

2) отбор из множества догадок наиболее вероятной, правдоподобной;

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

4) экспериментальная проверка следствий, выведенных из гипотезы.

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