philosophСовременные философские исследованияContemporary Philosophical Research2949-51212949-5148State University of Education10.18384/2949-5148-2025-4-77-87philosoph-1455Research ArticleФИЛОСОФИЯ НАУКИ И ТЕХНИКИPHILOSOPHY OF SCIENCE AND TECHNOLOGYПрименение логики в строительстве и электротехнике: от Н. М. Герсеванова до В. И. ШестаковаApplication of Logic in Construction and Electrical Engineering: From Nikolai Gersevanov to Viktor Shestakovhttps://orcid.org/0000-0002-8570-6533ПрядкоИ. П.PryadkoI. P.

Прядко Игорь Петрович – кандидат культурологии, профессор кафедры социально-гуманитарных наук и технологий 

г. Москва

Igor P. Pryadko – Cand. Sci. (Culturology), Prof. 

Moscow

priadcko.igor2011@yandex.ruНациональный исследовательский московский государственный строительный университет (НИУ МГСУ)РоссияMoscow State University of Civil EngineeringRussian Federation202513122025047787Copyright © Прядко И.П., 20252025Прядко И.П.Pryadko I.P.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.philosmgou.ru/jour/article/view/1455Цель

Цель. Оценка вклада гидроинженера Н. М. Герсеванова и электротехника В. И. Шестакова в развитие математической логики и применение выводов этой науки в инженерном проектировании.

Процедура и методы

Процедура и методы. Ретроспективный анализ источников по истории логики, инструментарий формальной логики, сравнительно-исторический метод.

Результаты

Результаты. В статье определено, что оба мыслителя применяли аппарат логики в целях синтеза и анализа дискретных систем. Применение формул алгебры логики Луи Кутюра в строительной аргументации, в частности в процессе обоснования устойчивости гидросооружений, стало инновационным для отечественного инженерного проектирования. Показана преемственность идей Герсеванова и Шестакова.

Теоретическая и/или практическая значимость заключается в раскрытии потенциала формальной логики в сфере обоснования архитектурных проектов и решения при помощи этой науки инженерных задач. Обращение к наследию Шестакова и Герсеванова обусловлено необходимостью расширения сферы применения алгебры логики.

Aim

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

Methodology. A retrospective analysis of sources on the history of logic, tools of formal logic, and the comparative historical method were used.

Results

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

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.

 

 

алгебра логикидоказательствоинформатизацияпростой категорический силлогизмстроительная механикаBoolean algebraproofcomputerizationsimple categorical syllogismstructural mechanicsReferencesЧервенчук И. В. Применение методов математической логики при принятии решений // Социально-экономическое развитие регионов в условиях цифровой трансформации: материалы международной научно-практической конференции (Омск, 30 ноября – 1 декабря 2023 года). Омск: ОмГА, 2024. С. 204–210.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.).Задворнова А. С., Бабенко А. С., Матыцина Т. Н. Применение элементов математической логики при изучении понятий системы и совокупности // Математика и информатика, астрономия, физика и технология и совершенствование их преподавания: материалы научно-практической конференции (Ярославль, 19–21 марта 2024 года). Ярославль: Ярославский государственный педагогический университет, 2024. С. 57–64.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.).Федосова Е. Б. Исторический аспект создания моделей технических систем на основе булевой алгебры логики // Современные технологии в науке и образовании: сборник трудов IV Международного научно-технического форума (Рязань, 03–05 марта 2021 года): в 10 т. Т. 5. Рязань: Рязанский государственный радиотехнический университет им. В. Ф. Уткина, 2021. С. 18–21.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.).Абдуразаков М. М. Аспекты межпредметной и метапредметной образовательной связи информатики, математики и логики // Пространство педагогических исследований. 2025. Т. 2. № 2. С. 7–24. DOI: 10.23859/3034-1760.2025.54.99.001.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.).Бирюков Б. В., Верстин И. С., Левин В. И. Жизненный и научный путь Виктора Ивановича Шестакова – создателя логической теории релейно-контактных схем // Логические исследования: ежегодник. 2007. № 14. С. 27–72.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.).Левин В. И. Михаил Александрович Гаврилов и логическая теория проектирования дискретных систем управления // Системы управления, связи и безопасности. 2023. № 4. С. 283–303.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.).Сясина Т. В., Лигенчук Д. Д. Приложение алгебры логики к релейно-контактным схемам // ТОГУ-старт: фундаментальные и прикладные исследования: материалы региональной научно-практической конференции (Хабаровск, 12–16 апреля 2022 г.). Хабаровск: Тихоокеанский государственный университет, 2025. С. 74–79.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.).Зуев А. В. Программа портостроительных работ в России в конце XIX – начале XX вв. и её итоги // Казачество. 2024. № 78 (5). С. 225–228.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.).Бирюков Б. В., Кузичева З. А. Из истории приложений логики: о работе Герсеванова «Применение математической логики к расчёту устойчивости сооружений» // Современная логика: проблемы теории, истории и применения в науке: материалы X Общероссийской научной конференции (26–28 июня 2006 г.). СПб.: Санкт-Петербургский государственный университет, 2006. С. 194–196.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.).Коськов С. Н. Конвенции и конвенционалистская методология. 2-е изд., испр. и доп. М.: Директ-Медиа, 2024. 172 с.Koskov, S. N. (2024). Conventions and Conventionalist Methodology. Moscow: Direct-Media publ. (in Russ.).Ермаков А. А. Энтимематичность логического следования: альтернативный подход к решению парадокса материальной импликации // Логико-философские штудии. 2024. Т. 21. № 2. С. 83–87. DOI: 10.52119/LPHS.2024.43.65.004.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.).Бабина Д. А. О логике в философской системе Н. О. Лосского // Вопросы философии. 2025. № 3. С. 109–120. DOI: 10.21146/0042-8744-2025-3-109-120.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.).Хайбулаев Г. Х. Логика как наука о формах правильного мышления по Аристотелю // Современные тенденции развития исследовательских компетенций в условиях инновационного кластера: сборник статей Международной научно-практической конференции (Казань, 10 апреля 2025 г.). Уфа: Аэтерна, 2025. С. 99–101.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.).Бирюков Б. В., Верстин И. С., Баранова Т. В. Коллизии жизненного и научного пути В. И. Шестакова // Современная логика: проблемы теории, истории и применения в науке: материалы VIII Общероссийской научно-практической конференции (Санкт-Петербург, июнь 2006 г.). СПб.: Санкт-Петербургский государственный университет, 2006. С. 214–216.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.).

The authors declare that there are no conflicts of interest present.