— совокупность познавательных операций, обеспечивающая отвлечение от значения понятий н смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и формальной логике, где Ф. наиболее развита, под Ф. понимают реконструкцию содержательной научной теории в виде формализованного языка. Ф. исходит из того, что дано исчерпывающее описание дедуктивных взаимосвязей между положениями теории, осуществляемое чаще всего с помощью аксиоматического метода. Она предполагает, что выявлены и четко сформулированы все те логические средства, к-рые используются при выводе из исходных положений теории др. ее утверждений. Если же, наряду с аксиоматизацией и точным установлением логических средств, понятия и выражения научной теории заменяются нек-рымн символическими обозначениями, она превращается в формальную систему. Такая теория может рассматриваться как система материальных объектов определенного рода (символов), с к-рымн можно обращаться как с конкретными физическими объектами, а развертывание теории свести к манипулированию с этими объектами в соответствии с нек-рои совокупностью правил, принимающих во внимание только н исключительно вид и порядок символов, н тем самым абстрагироваться от того познавательного содержания, к-рое выражается научной теорией, подвергшейся Ф. Различают два типа формализованных теорий: полностью формализованные, в полном объеме реализующие перечисленные требования, и частично формализованные, когда логические средства, используемые при развертывании данной науки, явным образом не фиксируются. Возможность Ф. отдельных отраслей научного знания подготовлена длительным историческим развитием, она стала реальной лишь после того, как аксиоматический метод и теория вывода получили необходимое-развитие. Сама же потребность в Ф. возникает перед той или
|
