Формализация (Фролов, 1991)

ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и формальной логике, где Ф. наиболее развита, под Ф. понимают реконструкцию содержательной научной теории в виде формализованного языка. Ф. исходит из того, что дано исчерпывающее описание дедуктивных взаимосвязей между положениями теории, осуществляемое чаще всего с помощью аксиоматического метода. Она предполагает, что выявлены и четко сформулированы все те логические средства, которые используются при выводе из исходных положений теории др. ее утверждений. Если же, наряду с аксиоматизацией и точным установлением логических средств, понятия и выражения научной теории заменяются некоторыми символическими обозначениями, она превращается в формальную систему. Такая теория может рассматриваться как система материальных объектов определенного рода (символов), с которыми можно обращаться как с конкретными физическими объектами, а развертывание теории свести к манипулированию с этими объектами в соответствии с некоторой совокупностью правил, принимающих во внимание только и исключительно вид и порядок символов, и тем самым абстрагироваться от того познавательного содержания, которое выражается научной теорией, подвергшейся Ф. Различают два типа формализованных теорий: полностью формализованные, в полном объеме реализующие перечисленные требования, и частично формализованные, когда логические средства, используемые при развертывании данной науки, явным образом не фиксируются. Возможность Ф. отдельных отраслей научного знания подготовлена длительным историческим развитием, она стала реальной лишь после того, как аксиоматический метод и теория вывода получили необходимое- развитие. Сама же потребность в Ф. возникает перед той или иной наукой на достаточно высоком уровне ее развития, когда задача логической систематизации и организации наличного знания приобретает первостепенное значение, а возможность реализации этой потребности предполагает огромную предварительную работу мышления, совершаемую на предшествующих Ф. этапах становления научной теории. Ф.— мощное средство выявления и уточнения содержания научной теории. Вся совокупность познавательных приемов и средств, лежащих в основе Ф., ориентирована на то, чтобы обеспечить необходимое соответствие между содержательной научной теорией, подвергаемой Ф., и формальной системой, возникающей в результате ее Ф.: класс выводимых в формализованной теории формул должен совпадать с классом содержательно-истинных положений подвергшейся Ф. теории (но обратное утверждение, как правило, неверно). Поскольку для построения формальной системы необходимо использовать (хотя и в весьма ограниченном объеме) естественный, разговорный язык и в терминах этого языка проанализировать ее-структуру, описать логические особенности формализма (непротиворечивость, разрешимость, полнота и т. д.), это означает, что Ф. предполагает содержательное мышление также и в качестве средства построения и исследования своих собственных дедуктивных и выразительных возможностей. Ф. играет важную роль в систематизации той суммы знаний, к-рая накоплена содержательной теорией, позволяет вычленить и уточнить логическую структуру теории, обеспечить стандартизацию используемого языка и понятийного аппарата, элиминировать несущественные ограничения в степени общности теории, сократить число положений теории, принимаемых за исходные, и т. д. Вместе с тем Ф. дает не только точный язык, но и является ценным орудием мышления, позволяющим получать новые результаты. История математики, логики, лингвистики и ряда др. наук свидетельствует, что Ф. стимулирует движение познания к новым результатам, открывает возможность формулировки и постановки новых проблем, поиска их решения и т. д. В расширении возможностей Ф. существенную роль играет бурный прогресс вычислительной техники. Полученные с помощью методов Ф. результаты имеют важное философское значение для понимания природы и познавательных возможностей точных методов исследования, диалектики формального и содержательного в научном познании, критики формалистского истолкования природы математики и логики. Общеметодологическое значение приобрели важнейшие из результатов, полученных в ходе исследований в области оснований математики и логики, осуществлявшихся на основе методов Ф.,— теоремы Гёделя о неполноте достаточно богатых формализованных теорий и теоремы Тарского о неформализуемости понятия истины для таких теорий, выявившие ограниченность дедуктивных и выразительных возможностей формализмов. Эту ограниченность можно в известной степени преодолеть путем создания более богатых систем. В этом смысле можно утверждать, что Ф. позволяет шаг за шагом приближаться ко все более полному выражению познавательного содержания теории через ее форму. Тем не менее во всех тех случаях, когда мы имеем дело с достаточно развитыми научными теориями, этот процесс не может быть завершен. Ф. не может исчерпать всего богатства содержания таких теорий. 

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 495-496.