Собственно теоретические методы опираются на рациональное познание (понятие, суждение, умозаключение) и логические процедуры вывода. К числу этих методов относятся:

§ формализация - отображение знания в знаковом, символическом виде (в математических формулах, химических символах и т.д.). Формализация базируется на различении естественных и искусственных языков. Выражение мышления в естественном языке можно считать первым шагом формализации. Дальнейшее углубление формализации связано с построением искусственных (формализованных) языков, предназначенных для более точного, и строгого выражения знания, чем естественный язык, с целью исключить возможность неоднозначного понимания – что характерно для естественного языка (язык математики, логики, химии и др.). Значение формализации в научном познании состоит в следующем:

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

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

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

§ Аксиоматический метод – один из способов дедуктивного построения научных теорий, при котором:а) формулируется система основных терминов науки (например, в геометрии Эвклида – это понятия точки, прямой, угла, плоскости и др.);б) из этих терминов образуется некоторое множество аксиом (постулатов) – положений, не требующих доказательств и являющихся исходными, из которых выводятся все другие утверждения данной теории по определенным правилам (например, в геометрии Эвклида: «через две точки можно провести только одну прямую»; «целое больше части»); в) формулируется система правил вывода, позволяющая преобразовывать исходные положения и переходить от одних положений к другим, а также вводить новые термины (понятия) в теорию; г) осуществляется преобразование постулатов по прави­лам, дающим возможность из ограниченного числа аксиом получать множество доказуемых положений – теорем.

§ Гипотетико-дедуктивный метод - движение от общего к частному; Его сущность заключается в создании системы дедуктивно связанных между собой гипотез, из которых в конечном счете выводятся утверждения об эмпирических фактах. Общая структура гипотетико-дедуктивного метода (или метода гипотез):

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

2. Выдвижение догадки (предположения) о причинах и закономерностях данных явлений с помощью многих логических приемов.

3. Оценка серьезности предположений и отбор из множества догадок наиболее вероятной.

4. Выведение из гипотезы (обычно дедуктивным путем) следствий с уточнением ее содержания.

5. Экспериментальная проверка выведенных из гипотезы следствий.

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