Лейбниц провозгласил необходимость создания новой философии, в которой роль фундамента играет идея всеобщей гармонии. Прообраз такого метода он видел в методе математическом, который сам по себе не является универсальным, но может служить образцом, позволяя обобщить алгоритм. В книге предлагается решение проблемы Лейбница по созданию Универсальной характеристики.
Издание-билингва может быть полезно русскоязычным авторам-логикам, пишущим на английском языке.
Leibniz considered necessary to create a new philosophy that would be based on the idea of general harmony. He saw a prototype of such a method in the mathematical method, which is not universal but could be a sample and allows to generalize the algorithm. The book provides a solution to Leibniz’s problem of the Universal characteristic.
This bilingual publication can be useful for Russian-speaking authors-logicians who write in English.
C. 42 вместо абзаца:
Position record needs only 4 letters at the highest levels. The positioning principle is inherent for analytic approach and for humanities it offers not less advantages, than for arithmetics.
— следует читать:
The object of a special science is created by its method, because it does not exist in nature “ready-to-use”. It turns true the Leibniz’s dream to make mathematics an example of the universal language. However, as Kant said, we should not be stuck at this stage. Metascience is based not on the unity of studied subjects (because there is no single science of bodies) but on universal symbols (due to single structure). Structuralism in literature was its forerunner at the beginning of the 20th century.
K. I. Bakhtiyarov
The Doctor of Philosophy (Logic), Candidate of Technical Sciences, the professor of the higher mathematics in the department of Moscow State Agrarian University — RSAU named after K. A. Timiryazev, Honorary Worker of the higher vocational education of the Russian Federation, the Honorary Worker of MSAU named after V. P. Goryachkin, the author of more than 170 works. The doctoral dissertation (Moscow State University, 1989) is devoted to Leibniz's solution of the syllogistics arithmetization. Innovation was the introduction of logic vectors for representation of Boolean constituents. The offered method of minimization of Boolean normal forms was implemented in automatic control systems. His other scientific achievments include the creation of the Universal matrix of complementarity for a genetic code and psychological types, as well as the creation of Belnap’s logic algebra.