Application of Logic in Construction and Electrical Engineering: From Nikolai Gersevanov to Viktor Shestakov
https://doi.org/10.18384/2949-5148-2025-4-77-87
Abstract
Aim. To evaluate contributions made by hydraulic engineer N. M. Gersevanov and electrical engineer V. I. Shestakov to Boolean algebra and to apply respective conclusions in engineering design.
Methodology. A retrospective analysis of sources on the history of logic, tools of formal logic, and the comparative historical method were used.
Results. The study reveals that the thinkers used the apparatus of logic to synthesize and analyze discrete systems. Using Louis Couture’s formulas of logic algebra in civil engineering argumentation in the process of substantiating the stability of hydraulic structures, is an innovation in domestic structural design. The author demonstrates the continuity of ideas, formulated by Gersevanov and Shestakov.
Research implications. lies in unlocking the potential of formal logic in the field of substantiating architectural projects and solving engineering problems using this science. The appeal to the legacy of Shestakov and Gersevanov is conditioned by the need to expand the scope of application of Boolean algebra.
About the Author
I. P. Pryadko
Moscow State University of Civil Engineering
Россия
Россия
Igor P. Pryadko – Cand. Sci. (Culturology), Prof.
Moscow
References
1. Chervenchuk, I. V. (2024). Application of Methods of Mathematical Logic in Decision-Making. In: Social Economic Development of Regions in the Context of Digital Transformation: Proceedings of the International Scientific and Practical Conference (Omsk, November 30 – December 1, 2023). Omsk: OmskGA publ., pp. 204–210 (in Russ.).
2. Zadvornova, A. S., Babenko, A. S. & Matytsina, T. N. (2024). Application of Elements of Mathematical Logic in Studying the Concepts of a System and a Set. In: Mathematics and Computer Science, Astronomy, Physics and Technology and Improving Their Teaching: Proceedings of the Scientific and Practical Conference (Yaroslavl, March 19–21, 2024). Yaroslavl: Yaroslavl State Pedagogical University publ., pp. 57–64 (in Russ.).
3. Fedosova, E. B. (2021). Historical Aspect of Creating Models of Technical Systems Based on Boolean Logic Algebra. In: Modern Technologies in Science and Education: Collected Works of the IV International Scientific and Technical Forum. Vol. 5 (Ryazan, March 3–5, 2021). Ryazan: Ryazan State Radio Engineering University publ., pp. 18–21 (in Russ.).
4. Abdurazakov, M. M. (2025). Aspects of Interdisciplinary and Meta-Disciplinary Educational Connections Between Computer Science, Mathematics, and Logic. In: Education Research Environment, 2 (2), 7–24. DOI: 10.23859/3034-1760.2025.54.99.001 (in Russ.).
5. Biryukov, B. V., Verstin, I. S. & Levin, V. I. (2007). The Life and Scientific Path of Viktor Ivanovich Shestakov – the Creator of the Logical Theory of Relay-Contact Circuits. In: Logical Studies: Yearbook, 14, 27–72 (in Russ.).
6. Levin, V. I. (2023). Mikhail Aleksandrovich Gavrilov and the Logical Theory of Designing Discrete Control Systems. In: Systems of Control, Communication and Security, 4, 283–303 (in Russ.).
7. Syasina, T. V. & Ligenchuk, D. D. (2022). Application of Boolean Algebra to Relay-Contact Circuits. In: TOGU-Start: Fundamental and Applied Research: Proceedings of the Regional Scientific and Practical Conference (Khabarovsk, April 12–16, 2022). Khabarovsk: Pacific National University publ., pp. 74–79 (in Russ.).
8. Zuev, A. V. (2024). The Program of Port Construction Works in Russia in the Late 19th – early 20th Centuries and Its Results. In: Kazachestvo, 78 (5), pp. 225–228 (in Russ.).
9. Biryukov, B. V. & Kuzicheva, Z. A. (2006). From the History of Logic Applications: on Gersevanov’s Work “Application of Mathematical Logic to Calculating the Stability of Structures. In: Modern Logic: Problems of Theory, History, and Application in Science: Proceedings of the X All-Russian Scientific Conference (June 26–28, 2006). St. Petersburg: St. Petersburg State University publ., pp. 194–196 (in Russ.).
10. Koskov, S. N. (2024). Conventions and Conventionalist Methodology. Moscow: Direct-Media publ. (in Russ.).
11. Ermakov, A. A. (2024). Enthymematicity of Logical Consequence: An Alternative Approach to Resolving the Paradox of Material Implication. In: Logical and Philosophical Studies, 21 (2), 83–87. DOI: 10.52119/LPHS.2024.43.65.004 (in Russ.).
12. Babina, D. A. (2025). On Logic in the Philosophical System of N. O. Lossky. In: Questions of Philosophy, 3, 109–120. DOI: 10.21146/0042-8744-2025-3-109-120 (in Russ.).
13. Khaibulaev, G. Kh. (2025). Logic as a Science of the Forms of Correct Thinking According to Aristotle. In: Modern Trends in the Development of Research Competencies in the Context of an Innovative Cluster: Collection of Articles from the International Scientific and Practical Conference (Kazan, April 10, 2025). Ufa: Aeterna publ., pp. 99–101 (in Russ.).
14. Biryukov, B. V., Verstin, I. S. & Baranova, T. V. (2006). Collisions in the Life and Scientific Path of V. I. Shestakov. In: Modern Logic: Problems of Theory, History, and Application in Science: Proceedings of the VIII All-Russian Scientific and Practical Conference (St. Petersburg, June 2006). St. Petersburg: St. Petersburg State University publ., pp. 214–216 (in Russ.).
Review
Views:
88
JATS XML
Email this article 