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

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

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

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

С элементами формализации мы встречаемся уже в школе, когда при решении определенной задачи отвлекаемся от конкретного содержания неизвестного и рассматриваем его просто как некий «X» в уравнении. Даже этого достаточно, чтобы почувствовать силу формального подхода.

Достоинства этого метода заключаются в следующем:

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

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

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

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

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

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

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

Идеализация

Для исследования и целей научного познания широко используются так называемые идеальные объекты, которые не существуют в действительно­сти и вообще практически неосуществимы: точка, линия, абсолютно твер­дое тело, абсолютно черное тело, безвоздушное пространство и т.д.

Мысленное конструирование объектов такого рода и называется иде­ализацией.

Процесс конструирования идеального объекта обязательно предпола­гает абстрагирующую деятельность сознания. В любом случае идеализация включает в себя момент абстрагирова­ния, что позволяет рассматривать идеализацию как вид абстрагирования действительности.

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

а) лишить реальные объекты некоторых присущих им свойств;

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

Полученные в результате сложной мыслительной деятельности иде­альные объекты играют в науке большую роль. Они позволяют значительно упростить сложные системы, благодаря чему возникает возможность при­менить к ним математические методы исследования, производить вычисления с любой, наперед заданной точностью. С помощью идеализации ис­ключаются те свойства и отношения объектов, которые затемняют сущ­ность изучаемого процесса. Сложный процесс представляется как бы в «чи­стом» виде, что значительно облегчает обнаружение существенных связей и отношений, формирование законов.