Логические приемы в строительных расчетах: опыт Н. М. Герсеванова

摘要

Рассмотрены методы формальной логики в области технического обоснования расчетов, применяющихся в сфере строительства и проектирования гидросооружений. Приведен пример использования выдающимся отечественным инженером Н. М. Герсевановым логико-математических приемов при обосновании устойчивости фундаментов портовых сооружений и набережных. Данные приемы нашли отражение в одной малоизвестной работе ученого, вошедшей в его собрание сочинений. Расчеты Н. М. Герсеванова предлагаются как пример одного из первых применений аппарата алгебры логики в строительной механике. Статический условный расчет русского гидроинженера — первый случай технического применения существующей в течение многих веков в некотором отрыве от прикладного знания дедуктивной теории — формальной логики. Этот отрыв наблюдался до тех пор, пока наука не выработала свой специализированный математический язык, которым и воспользовался Н. М. Герсеванов. Автором статьи выявлены мотивы обращения к аппарату математической логики, проводится дистинкция понятий «алгебра логики» и «математическая логика». Определены задачи, которые мог ставить перед собой ученый, привлекая формулы алгебры логики в строительных расчетах, намечены перспективы применения логики в строительстве. Логика может стать инструментом принятия таких решений, которые позволят облегчить конструкцию, сделать проект более простым при возведении сооружений.