Бирюков*, И.П. Прядко** ПРИМЕНЕНИЕ ЛОГИКИ В ГРАДОСТРОИТЕЛЬСТВЕ: ТРУДНЫЙ ПУТЬ ОБРЕТЕНИЯ В статье рассматриваются примеры использования формальнологических методов в сфере строительства. <...> Авторы касаются отдельных сторон исследовательского поиска, который вел выдающийся отечественный гидроинженер Н.М. Герсеванов. <...> Показан формализованный язык, используемый Герсевановым для обоснования устойчивости зданий. <...> Выводы Герсеванова рассматриваются в сопоставлении с логической теорией релейных схем В.И. Шестакова. <...> Ключевые слова: Н.М. Герсеванов, В.И. Шестаков, логическая формализация, логика в строительной сфере, расчет устойчивости сооружений, необходимые и достаточные условия устойчивости зданий, релейноконтактные схемы класса А. <...> The formalized language, used by Gersevanov is preferable to substantiate the stability of buildings. <...> Gersevanov’s logical theory is treated in the light of logic of the relaying schemes developed by V.I. <...> Малоизученным аспектом в истории отечественной логики пред- и послевоенного периода являются разработки, которые были связаны с решением прикладных задач техники. <...> Одной из таких задач было градостроительство, восстановление разрушенных гитлеровской армией промышленных предприятий. <...> Насущные вопросы практики стимулировали исследования в теоретических ∗ Бирюков Борис Владимирович — доктор философских наук, профессор, руководитель Межвузовского центра чтения и информационной культуры Московского государственного лингвистического университета, тел. <...> Именно применительно к строительству получило у нас в стране развитие математической логики. <...> Несколько раньше логика нашла сферу приложения в теории синтеза и анализа релейноконтактных схем. <...> Первопроходцем здесь стал В.И. Шестаков, не поддержанный у нас и малоизвестный на Западе. <...> Его теория релейно-контактных схем была переоткрыта К. <...> В настоящей работе мы напомним об одной малоизвестной работе отечественного гидротехника Н.М. Герсеванова, который, как и В.И. Шестаков, обдумывал проблему приложения <...>