The role of the theory of descriptions. Hierarchy of propositional functions. Methods for determining the structure of the proof. The functions of logic and philosophy. Logical construction of the world. Epistemological school of realism and idealism.