Формализация

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

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

Формализм — это предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности. Он проявляется в безукос-нительном следовании правилам этикета, ритуала даже в тех случаях, когда жизненная ситуация делает это бессмысленным, в преклонении перед буквой закона при пренебрежении к его духу [5.5].

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

1. Метод решения специальных проблем в математических и логических теориях. К числу таких проблем относятся доказательство противоречивости математических теорий, независимости аксиом, доказуемости различных положений и т.д. Эти вопросы решаются чисто формально, путем использования специальной символики, позволяющей оперировать не содержанием соответствующих теоретических утверждений, а наборами символов, формулами. Здесь мы имеем дело с формализацией в узком, или специальном, смысле этого слова.

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

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

¨ метод формализации базируется на использовании специальной символики, введение которой обеспечивает краткость и четкость фиксации знания (изящность математических и физических теорий, их компактность);

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

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

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

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