Застосування теорії формалізації у дослідженнях економічних процесів у світовому господарстві

Approaches to understanding and defining the concept of formalization in various fields of science (philosophy, linguistics, logic, mathematics, computer science) are considered. Attention is drawn to the fact that the issue of formalization is considered in many areas of human activity, mainly as: a method of scientific research; method of logic, which consists in replacing semantic terms with signs, symbols and formulas; a means of transforming empirical and scientific knowledge into scientific information. There are three strategic interrelated and interdependent aspects of formalization: the first, related to the disclosure of uncertainty, which is often combined with the problem of isolating the field of scientific research as a priority of formalization theory; second, the use of modern formalization theory as a tool for finding existing directions in the development of scientific thought; third, so far this scientific field, despite its underdevelopment, can be used to identify global and domestic trends in economic activity, influencing the solution of existing problems of humanization in the process of adaptation to globalization: restructuring economic specialization or maintaining high competitiveness in world economy. The principles of using formalization as a method in economics, which help to determine the logical structures of concepts, categories and laws in the process of research: logical sequence, consistency, completeness, independence. The relationship between formalization and the evolution of artificial intelligence and modern creative theory has been traced.