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