Формалізація. Умови створення «формальної» мови. Доцільність використання формалізації у сучасній науці

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

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

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

Формальный язык - множество конечных последовательностей символов, которые описываются правилами определенного вида, которые называются грамматикой или синтаксисом языка.