Этапы формализации

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

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