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

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

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

Формализация (от лат. formalis — относящееся к форме) — метод, с помощью которого мы отвлекаемся от конкретного содержания рассматриваемых явлений и объединяем их на основе сходства формы. При этом предметом дальнейшего исследования становится уже не содержание, а именно форма, выраженная с помощью знаково-символических систем (знаковых моделей), главным образом логико-математических. Например: 5* есть Р; некоторые 5* не есть Р; с = а + в2; ELA = 180°.

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

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

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

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

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