Формализация. Язык науки

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

Для построения любой формальной системы необходимо:

1) задание алфавита, т.е. определенного набора знаков;

2) задание правил, по которым из исходных знаков этого алфавита могут быть получены «слова», «формулы»;

3) задание правил, по которым от одних слов, формул данной системы можно переходить к другим словам и формулам (так называемые правила вывода).

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

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

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

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