Формализация и проблема адекватности знаковых систем предметной области

Abstract

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

У статті досліджується методологічна сутність формалізації. Показана важливість експлікації критеріїв відповідності формальних знакових систем деякій предметній області. Проаналізовані на адекватність одна одній логічні формалізовані мови: мова логіки предикатів та мова тернарного опису.

The article is devoted to the methodological investigation of the essence of formalization. It is shown the importance of investigation of the criteria of adequacy of means of formalization to the subject matter of formalization. The formalized logical languages of predicate logic and of ternary description language have been analyzed on the adequacy to each other.