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

Существенное значение в познавательной деятельности имеет такой метод, как формализация.

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

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

Дополнительная информация:

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

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

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

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

_____________________________________________________________________

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

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