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