|Articles and journals | Tariffs | Payments | Your profile|
The problem of implementation of logic in technology and construction: to the history of the question
Abstract.This article analyzes the logical conclusions of the two prominent scholars of the XX century: Nikolai Gersevanov and Viktor Shestakov. The significance of the works of these two scholars for the methodology of science and areas of the applied implementation of logic is underlined. The author believes that the research of Gersevanov and Shestakov became the landmark in establishment of the mathematical logic in Russia. Thus, the object of this article is the separate aspects of creative path of the two prominent researchers; and the subject is the use of the methods of formal logic in their works. The scientific novelty lies in the fact that the author is first to analyze the logical-mathematical alphabet used by Gersevanov, comparing it with the modern interpretation of the true meaning of logical constants. The article also examines the logical works of Gersevanov pertinent to substantiation of competence of the hydraulic structures and logical formulations of Shestakov in the area of implementation of logic to the synthesis and analysis of the relay-contact schemes as the two interconnected parts of research dynamics in our country. Gersevanov’s logical formulas are compared to the search for formalization of observations initiated by I. I. Zhegalkin. A conclusion is made on the prospective use of the exploratory works of Gersevanov and Shestakov.
Keywords: logic, electrical engineering, construction mechanics, Nikolai Gersevanov, Victor Shestakov, propositional variables, calculus of propositions, formal logic, history of logic, philosophy of science
Article was received:06-02-2018
This article written in Russian. You can find full text of article in Russian here .