1.2 Метод формализации

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

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

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

Формализация как метод исследования имеет, по мнению ученых, ряд достоинств:

1) обеспечивает полноту обозрения определенной области проблем, обобщенность подхода к их решению;

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

3) связана с приписыванием отдельным символам или их системам определенных значений, что позволяет избежать многозначности терминов, свойственной обычным языкам;

4) позволяет формировать знаковые модели объектов, а изучение

реальных вещей и процессов заменять изучением этих моделей.

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

Формализация является неотъемлемой частью формальной логики.

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

По предположению А.Я. Данилюка, первым среди отечественных педагогов, последовательно применившим процедуру формализации, был A. M. Coxop, который избирает объектом формализации учебный материал, т.е. все содержание, тем или иным образом включенное в процесс обучения. Формальными единицами выступают при этом понятия, которые определяются автором в качестве элементов логической структуры учебного материала. "Понятие" в таком представлении - чистейшая абстракция, знак, полученный путем абстрагирования от множества других составляющих учебного материала (знаний, научных понятий, текстов и т.д.). Затем автор устанавливает предельно общие правила оперирования формальными единицами, т.е. как бы отвечая на вопрос, какие связи и отношения между этими понятиями. Эти связи и отношения он определяет категориями "умозаключения", "обоснования", "решения". И более высокую ступень организации элементов логической структуры учебного материала автор представляет в виде последовательности познавательных задач.

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

Возникает вопрос, почему эмпирическое мышление (стало быть и эмпирическое исследование) не обладает потребностью в формализации?

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

Таким образом, задача объективной теоретической реконструкции предмета, т.е. его формализации в теоретическом исследовании решается посредством введения дополнительного научного языка - искусственного языка. Однако такая предельно абстрактная высота научного обозрения имеет и обратную сторону: формализация приводит, по мнению ученых (А.Я. Данилюк), к содержательной бедности самого научного мышления. Поэтому сама по себе процедура формализации, к примеру, в педагогических исследованиях, в образовании имеет смысл только как подготовка к следующему этапу теоретического исследования - созданию идеального объекта, в котором множество знаков и символов приводятся в некоторую логическую систему, определенным образом воссоздающую исследуемый объект в его качественном своеобразии.

По своей сущности формализация близка к идеализации.