Методы теоретического познания

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

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

Главное в процессе формализации состоит в том, что над формулами искусственных языков можно производить операции,

Основы философии науки