Understanding by semantic language,operation logic and formularies

The aim of the paper is to supply tools for developing the proposed mathematical semantic theory of anthropoecosystems. The paper constructs the semantic language which is equivalent (according to transferring information) to any of natural languages. The operation logic is settled. Its well-defined formulas are semantic language formulas. Its reasoning is realized by production system blocks, each being the sequence of modus ponens rules. Operation logic represents a model how humans, maybe, realize information processing. It allows contradictions and can avoid the dimensionality deadlock. The universal program for answering questions is presented. The introduction to formulary theory is given by means of which the notion of the understanding of systems is formulated. It enables to understand and control very large systems by computer artificial intelligence on the basis of qualitative information and why-role how-roles pairs. In the paper the notions like humans, language, animals, understanding, consciousness, are simplified modelling notions which are only similar to the real existing ones.