Алгебра логики как средство обоснования архитектурного проекта: вклад русского инженера Н. М. Герсеванова
https://doi.org/10.18384/2310-7227-2023-2-108-119
Аннотация
Цель. Анализ логико-математических идей выдающегося российского гидроинженера, основателя отечественной школы механики грунтов Н. М. Герсеванова. В тот период, когда математическая логика в России делала первые шаги, известный инженер-механик уже широко применял её подходы при расчёте устойчивости насыпей с опорой на «ряж» – заполняемый булыжником и глиной деревянный сруб, служащий основанием для набережных. Для достижения цели исследования автор решает следующие задачи: показать, в каких условиях происходило обращение Н. М. Герсеванова к логическому инструментарию; определить, какие схемы алгебры логики применял российский гидроинженер для обоснования устойчивости гидросооружений; выявить мотивы, побудившие Герсеванова применить математическую логику, и, в частности, силлогистику, в своих теоретических построениях.
Процедура и методы. Методом исследования автору послужили ретроспективный анализ источников по истории логики.
Результаты. В ходе исследования было установлено, что Герсеванов, активно внедрявший аппарат математической логики в ткань инженерных расчётов, опередил в этом вопросе современных ему отечественных логиков.
Теоретическая и/или практическая значимость. Исследование проливает свет на формирование отечественных школ неклассической и математической логики в XX в.
Ключевые слова
Об авторе
И. П. ПрядкоРоссия
Прядко Игорь Петрович – кандидат культурологии, доцент кафедры социальных, психологических и правовых коммуникаций Национального исследовательского
129337, г. Москва, Ярославское шоссе, д. 26
Список литературы
1. Бирюков Б. В., Кузичева З. А. Из приложений логики: о работе Герсеванова «Применение математической логики к расчёту сооружений» // Современная логика: материалы X научной конференции, г. Санкт-Петербург, 26–28 июня 2008 г. / под ред. В. И. Кобзаря. СПб: Санкт-Петербургский государственный университет, 2008. С. 194–196.
2. Бирюков Б. В., Тростников В. И. Жар холодных числ и пафос бесстрастной логики. М.: ЛИБРОКОМ, 2009. 232 с.
3. Герсеванов Н. М. Применение математической логики к расчёту сооружений // Герсеванов Н. М. Собрание сочинений: в 2 т. Т. 1. М.: Стройвоениздат, 1948. С. 123–204.
4. Драганова А. К. Проблемы и перспективы социально-экономического развития г. Новороссийска // Эколого-географические проблемы регионов России: материалы X Всероссийской научно-практической конференции с международным участием, посвящённой 100-летию со дня рождения д. г. н., профессора В. И. Прокаева и 90-летию естественно-географического факультета СГСПУ, г. Самара, 15 января 2019 г. Самара: Самарский государственный социально-педагогический университет, 2019. С. 306–308.
5. Жалдак Н. Н. Задачи по логике. Белгород: ЛитКараВан, 2010. 83 с.
6. Кочерженко В. В., Сулейманова Л. А., Кочерженко А. В. Инновационные свайные технологии (забивные сваи). Белгород: Белгородский государственный технологический университет имени В. Г. Шухова, 2021. 93 с.
7. Крыленко В. В. Современное состояние берегов Азово-Черноморского побережья России // XXIX Береговая конференция: Натурные и теоретические исследования: сборник материалов конференции, г. Калининград, 18–24 апреля 2022 г. Калининград: Балтийский федеральный университет имени И. Канта, 2022. С. 19–24.
8. Кузичева З. А. Из истории языков представления знаний // Вопросы кибернетики. Кибернетика и математическая логика в историко-методологическом аспекте. М.: АН СССР, 1984. С. 10–22.
9. Кутюра Л. Алгебра логики / пер. И. Слешинского. Одесса: Mathesis, 1909. 108 c.
10. Левин В. И. История открытия логического моделирования дискретных систем // Современная логика: проблемы теории, истории и применения в науке: материалы X Общероссийской научной конференции, 26–28 июня 2008 г. / под ред. В. И. Кобзаря. СПб.: Санкт-Петербургский государственный университет, 2008. С. 437–439.
11. Мейдич А. П., Албутова Т. К., Боженко А. М. Механизированная безотходная технология возведения свайных фундаментов // Перспективы науки. 2020. № 11 (134). С. 247–249.
12. Петров Ю. А. Практическая методология науки // Вестник МСИ. 1998. № 4. С. 45–49.
13. Рябов М. Г. Реконструкция открытых городских пространств Юга России // Актуальные вопросы охраны и использования культурного наследия Крыма: материалы VI научной конференции, г. Симферополь, 21–22 октября 2020 г. Симферополь: Ариал, 2019. С. 220–225.
14. Фреге Г. Логика и логическая семантика: сборник трудов / пер. Б. Бирюкова. М.: Аспект-Пресс, 2000. 512 с.
15. Frege G. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Verlag Von Louis Nebert, 1879. 105 p.