Научные методы теоретического исследования. Среди этих методов выделяют - формализацию - аксиоматический метод - гипотетико-дедуктивный метод. Формализация отображение содержательного знания в знаковом формализме формализованном языке. Последний создатся для точного выражения мыслей с целью исключения возможности для неоднозначного понимания. При формализации рассуждения об объектах переносятся в плоскость оперирования со знаками формулами. Отношения знаков заменяют собой высказывания о свойствах и отношениях предметов.
Формализация играет значительную роль в уточнении научных понятий. Особенно широко формализация применяется в математике, логике и современной лингвистике. Аксиоматический метод способ построения научной теории, при котором в е основу кладутся некоторые исходные положения аксиомы постулаты, из которых все остальные утверждения этой теории выводятся из них чисто логическим путм, посредством доказательства. Для вывода теорем из аксиом и вообще одних формул из других формулируются правила вывода.
Аксиоматический метод был впервые применн в математике при построении геометрии Евклида. Гипотетико-дедуктивный метод способ теоретического исследования, сущность которого заключается в создании системы дедуктивно связанных между собой гипотез, из которых в конечном счте выводятся утверждения об эмпирических фактах. Тем самым этот метод основан на выведении дедукции заключений из гипотез и других посылок, истинностное значение которого неизвестно.
А это значит, что заключение, полученное на основе данного метода, неизбежно будет иметь лишь вероятностный характер. Обычно гипотетико-дедуктивный метод связан с системой гипотез разного уровня общности и разной близости к эмпирическому базису. Данный метод ориентирован на описание прежде всего структуры готового знания и его форм в отвлечении от их генезиса и развития. Разновидностью этого метода является метод математической гипотезы.