Logical Methods In Construction Calculations: N. M. Gersevanov's Experience

Abstract

In the article, the author refers to the example of using the methods of formal logic in the field of technical justification of calculations used in the sphere of construction and design of hydraulic structures. An example of the use of logic and mathematical techniques by the outstanding domestic engineer N. M. Gersevanov, when substantiating the stability of the foundations of port facilities and embankments, is given. These methods are reflected in one little-known work of the scientist, included in his collected works. Gersevanov's calculations are offered as an example of one of the first applications of the formalized apparatus of the algebra of logic in construction mechanics. The static conditional calculation of a Russian hydraulic engineer is the first case of a technical application of formal logic - the deductive theory that has existed for centuries in some way apart from the applied knowledge. But this separation was observed until science developed its specialized mathematical language. This language was used by Gersevanov. In the final part of the article, the author identified the motives for referring to the apparatus of mathematical logic. A distinction is made between the concepts of "algebra of logic" and "mathematical logic". The tasks that a scientist could set for himself, involving the formulas of the algebra of logic in construction calculations, are defined, the prospects of applying logic in construction are outlined. Logic can become a tool for making such decisions that will facilitate the structure, make the project more simple when constructing facilities.