Формализация. 
Общая философия

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

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

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