philosophСовременные философские исследованияContemporary Philosophical Research2949-51212949-5148State University of Education10.18384/2949-5148-2024-4-51-59philosoph-1299Research ArticleФИЛОСОФИЯ НАУКИ И ТЕХНИКИPHILOSOPHY OF SCIENCE AND TECHNOLOGYПрименение математической логики в технике и строительстве: отечественный опыт XX векаUsing Mathematical Logic in Engineering and Construction: Domestic Experience of the 20th CenturyПрядкоИ. П,PryadkoI. P.

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

 129337, г. Москва, Ярославское шоссе, д. 26

Igor P. Pryadko – Cand. Sci. (Culturology), Prof., Department of Social Sciences, Humanities and Technologies 

 Yaroslavskoye Shosse 26, Moscow 129337 

priadcko.igor2011@yandex.ruНациональный исследовательский Московский государственный строительный университетРоссияMoscow State University of Civil EngineeringRussian Federation202408012025045159Copyright © Прядко И.П., 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/1299Цель

Цель.  Рассмотреть вклад отечественного инженера Н. М. Герсеванова в практику доказательства и обоснования технических проектов. В статье утверждается, что подход Герсеванова был новаторским для своего времени, поскольку в период, когда классическая логика испытывала определённый кризис, а математическая логика с её новыми подходами не завоевала доверия специалистов, русский инженер первым обратился к формулам алгебры логики, применяя их в строительных расчётах.

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

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

Результаты

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

Теоретическая и/или практическая значимость. Статья имеет прикладное и отчасти теоретическое значение. Её выводы могут быть использованы в целях изучения этапов развития отечественной науки и техники, логики и строительной механики.

Aim

Aim. To consider the contribution of N. M. Gersevanov, a Russian engineer, to the practice of proof and justification of engineering projects. The author argues that Gersevanov’s approach was innovative for its time, because when classical logic was experiencing a certain crisis and mathematical logic and its novel approaches had not won the trust of specialists yet, the Russian engineer was the first to turn to formulas of logic algebra and apply them in structural analysis.

Methodology

Methodology. The article uses the method of retrospective analysis of sources, as well as methods of modern mathematical logic.

Results

Results. The result of the work is analysis of deductive inference schemes presented by the author. These schemes were translated by Gersevanov into the formalized language of mathematical logic of Louis Couture and used as the basis for the proof of stability of hydraulic structures. 

Research implications

Research implications. The article has applied and some theoretical significance. Its conclusions can be used to study the stages of development of domestic science and technology, logic and structural mechanics.

алгебра логикидоказательствоинформатизацияпростой категорический силлогизмряжевые набережныестроительная механикаlogic algebraproofinformational supportsimple categorical syllogismcrib embankmentsstructural mechanicsReferencesБирюков Б. В., Кузичева З. А. Из истории приложений логики: о работе Герсеванова «Применение математической логики к расчёту устойчивости сооружений» // Современная логика: материалы X научной конференции, г. Санкт-Петербург, 26–28 июня 2008 г. / под ред. В. И. Кобзаря. СПб: Санкт-Петербургский государственный университет, 2008. С. 194–196.Biryukov B. V., Kuzicheva Z. A. [From the history of logic applications: on Gersevanov’s work “Application of mathematical logic to the calculation of the stability of structures”]. In: Sovremennaya logika: materialy X nauchnoj konferencii, g. Sankt-Peterburg, 26–28 iyunya 2008 g. [Modern logic: materials of the 10th scientific conference, St. Petersburg, June 26-28, 2008]. St. Petersburg, St. Petersburg State University, 2008, pp. 194–196.Блехман И. И., Мышкис А. Д., Гановко Я. Г. Механика и прикладная математика: Логика и особенности приложения математики. М.: Наука, 1990. 360 с.Blekhman I. I., Myshkis A. D., Ganovko Ya. G. Mekhanika i prikladnaya matematika: Logika i osobennosti prilozheniya matematiki [Mechanics and applied mathematics: Logic and features of the application of mathematics]. Moscow, Nauka Publ., 1990. 360 p.Герсеванов Н. М. Применение математической логики к расчёту сооружений // Герсеванов Н. М. Собрание сочинений. Т. 1. Свайные основания и расчёт фундаментов сооружений. М.: Стройвоенмориздат, 1948. С. 123–204.Gersevanov N. M. [Application of mathematical logic to the calculation of structures]. In: Gersevanov N. M. Sobranie sochinenij. T. 1. Svajnye osnovaniya i raschyot fundamentov sooruzhenij [Collected Works. Vol. 1. Pile foundations and calculation of foundations of structures]. Moscow, Strojvoenmorizdat Publ., 1948, pp. 123–204.Герсеванов Н. М. Собрание сочинений. Т. 1. Свайные основания и расчёт фундаментов сооружений. М.: Стройвоенмориздат, 1948. 270 c.Gersevanov N. M. Sobranie sochinenij. T. 1. Svajnye osnovaniya i raschyot fundamentov sooruzhenij [Collected Works. Vol. 1. Pile Foundations and Calculation of Foundations of Structures]. Moscow, Strojvoenmorizdat Publ., 1948. 270 p.Гурьянова А. В., Тимофеев А. В. Homo digital – субъект цифровой революции // Вестник Московского государственного областного университета. Серия: Философские науки. 2023. № 2. С. 120–129.Guryanova A. V. Timofeev A. V. [Homo digital – subject of digital revolution]. In: Vestnik Moskovskogo gosudarstvennogo oblastnogo universiteta. Seriya: Filosofskie nauki [Bulletin of Moscow Region State University. Series: Philosophy], 2023, no. 2, pp. 120–129.Ивлев Ю. В. Логика. М.: Проспект, 2023. 304 с.Ivlev Yu. V. Logika [Logics]. Moscow, Prospekt Publ., 2023. 304 p.Лазарева Н. В., Зиновьев А. Ю., Опарина Л. А. Техническое оснащение информатизации строительно-технической экспертизы // Промышленное и гражданское строительство. 2023. № 6. С. 52–57.Lazareva N. V., Zinov’ev A. Yu., Oparina L. A. [Technical equipment for informatization of construction and technical expertise]. In: Promyshlennoe i grazhdanskoe stroitel’stvo [Industrial and civil engineering], 2023, no. 6, pp. 52–57.Левин В. И. Б. В. Бирюков, философ и историк науки. К 100-летию со дня рождения // Ректор вуза. 2022. № 12. С. 50–56.Levin V. I. [Biryukov, philosopher and historian of science. On the 100th anniversary of his birth]. In: Rektor vuza [Rector of the University], 2022, no. 12, pp. 50–56.Левин В. И. История открытия логического моделирования дискретных систем // Современная логика. Проблемы теории, истории и применения в науке. СПб.: Санкт-Петербургский государственный университет, 2008. С. 437–439.Levin V. I. [History of the discovery of logical modeling of discrete systems]. In: Sovremennaya logika. Problemy teorii, istorii i primeneniya v nauke [Modern logic. Problems of theory, history and application in science]. St. Petersburg, St. Petersburg State University Publ., 2008, pp. 437–439.Леонтьева В. А. Технология «умный дом», принципы работы и её преимущества // Перспективы современного строительства: статьи участников научно-технической конференции. СПб.: Санкт-Петербургский государственный архитектурно-строительный университет, 2023. С. 445–453.Leontieva V. A. [Smart home technology, principles of operation and its advantages]. In: Perspektivy sovremennogo stroitel’stva: stat’i uchastnikov nauchno-tekhnicheskoj konferencii [Prospects of modern construction: articles by participants in the scientific and technical conference]. St. Petersburg, St. Petersburg State University of Architecture and Civil Engineering Publ., 2023, pp. 445–453.Магина А. И. По итогам социологического опроса: социальные сети и социализация молодёжи // Экономика и предпринимательство. 2023. № 10 (159). С. 40–44. DOI: 10.34925/EIP.2023.159.10.004Magina A. I. [Based on the results of a sociological survey: social networks and youth socialization]. In: Ekonomika i predprinimatel’stvo [Economy and Entrepreneurship], 2023, no. 10 (159), pp. 40–44. DOI 10.34925/EIP.2023.159.10.004Поповская А. П. Как нейросети оптимизируют подход проектирования интерфейсов // Интернаука. 2024. № 17 (334). С. 27–29.Popovskaya A. P. [How neural networks optimize the interface design approach]. In: Internauka [Internauka], 2024, no. 17 (334), pp. 27–29.Прядко И. П. Логические приёмы в строительных расчётах: опыт Н. М. Герсеванова // Промышленное и гражданское строительство. 2019. № 10. С. 60–64.Pryadko I. P. [Logical techniques in construction calculations: N. M. Gersevanov’s experience]. In: Promyshlennoe i grazhdanskoe stroitel’stvo [Industrial and civil engineering], 2019, no. 10, pp. 60–64.Софронов Ю. В., Иванова С. П., Петров В. Н. 60 лет в постоянном поиске нового // Проблемы и перспективы развития энергетики, электротехники и энергоэффективности: материалы VII Международной конференции, 23–25 ноября 2023 г. Чебоксары: Чувашский государственный университет имени И. Н. Ульянова, 2023. С. 561–569.Sofronov Yu. V., Ivanova S. P., Petrov V. N. [60 years in constant search of the new]. In: Problemy i perspektivy razvitiya energetiki, elektrotekhniki i energoeffektivnosti: materialy VII Mezhdunarodnoj konferencii, 23–25 noyabrya 2023 g. [Problems and prospects for the development of energy, electrical engineering and energy efficiency: materials of the VII International Conference, November 23–25, 2023]. Cheboksary, Chuvash State University named after I. N. Ulyanov, 2023, pp. 561–569.Стах А. А., Барнякова В. Ю. Использование нейросетей для совершенствования бизнеса // Потенциал российской экономики и инновационные пути его реализации: материалы международной научно-практической конференции, Омск, 27 апреля 2023 г. Омск, Финансовый университет при правительстве РФ, 2023. С. 370–374.Stakh A. A., Barnyakova V. Yu. [Using neural networks to improve business]. In: Potencial rossijskoj ekonomiki i innovacionnye puti ego realizacii: materialy mezhdunarodnoj nauchno-prakticheskoj konferencii, Omsk, 27 aprelya 2023 g. [Potential of the Russian economy and innovative ways to implement it: materials of the international scientific and practical conference, Omsk, April 27, 2023]. Omsk, Financial University under the Government of the Russian Federation Publ., 2023, pp. 370–374.Тамерзян А. Г., Медведев А. Е. Технология искусственного интеллекта в проектировании и расчете зданий // Промышленное и гражданское строительство. 2024. № 7. С. 17–24.Tamerzyan A. G., Medvedev A. E. [Artificial intelligence technology in the design and calculation of buildings]. In: Promyshlennoe i grazhdanskoe stroitel’stvo [Industrial and civil engineering], 2024, no. 7, pp. 17–24.Cuturat L. L’Algbre de la logique. 2nd ed. Paris: Rue de Medicis, 1906. 108 p.Cuturat L. L’Algbre de la logique. Paris, Rue de Medicis, 1906. 108 p.

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