Десятые Смирновские чтения по логике. Краткий отчет Текст научной статьи по специальности «Философия, этика, религиоведение»

Беликов А. А. Десятые Смирновские чтения по логике. Краткий отчет // Философия. Журнал Высшей школы экономики. — 2017. — Т. I, № 4. — С. 245-248.

Александр Беликов*

Десятые Смирновские чтения по логике. Краткий отчет**

В июне 2017 г. на философском факультете МГУ имени М. В. Ломоносова прошли юбилейные десятые Смирновские чтения по логике. Помимо философского факультета в организации традиционно приняли участие сектор логики Института философии РАН, Институт логики, когнитологии и развития личности, а также Фонд логико-философских исследований. За три дня конференции — с 15 по 17 июня—работали четыре секции и состоялось два пленарных заседания, а завершились чтения специальным общим заседанием, посвященным памяти выдающейся отечественной ученой-логика Елены Дмитриевны Смирновой.

Первое, что привлекает внимание в сборнике тезисов, выпущенном по итогам конференции (Десятые Смирновские чтения, 2017), — это количество участников: их больше ста. По сравнению с чтениями последних лет налицо заметный рост числа докладчиков. География выступающих, как всегда, очень обширна: помимо участников из России на конференции собрались представители ближнего (Украина, Белоруссия, Азербайджан, Таджикистан, Узбекистан) и дальнего (Австралия, Бразилия, Польша, Франция) зарубежья. В этом году большой процент выступающих составили специалисты-математики.

Программу первого дня чтений составили пленарные доклады, тематика которых затронула одни из наиболее актуальных направлений в современной логике. Интересными выступлениями отметились иностранные гости конференции. Профессор Университета Западной Австралии Марк Рейнольдс осветил проблему поиска адекватной аксиоматизации для логик ветвящегося времени и предложил авторское решение. Доклады профессоров Торуньского университета—Анжея Петрушчака и Марека Насиньевского —были посвящены различным модальным модификациям пропозициональных логик.

*Беликов Александр Александрович, аспирант, философский факультет, МГУ им. Ломоносова, [email protected].

**© Беликов, А. А. © Философия. Журнал Высшей школы экономики.

Особого внимания заслуживают выступления математиков С. П. Одинцова (Институт математики имени С. Л. Соболева) и В. Б. Шехтмана (МГУ имени М. В. Ломоносова), в которых была освещена философ-ско-логическая проблематика.

В докладе С. П. Одинцова был представлен вариант семантики для логики IF-FOL (Independence-Friendly Logic). Несмотря на высокую техническую сложность, данное направление имеет глубокую философскую мотивацию, связанную с рассмотрением первопорядковых логик с независимыми кванторами. Ввиду такой трактовки кванторов рассматриваемая логика имеет некоторые существенные преимущества перед стандартной первопорядковой логикой1.

Выступление В. Б. Шехтмана состояло из подробного обзора основных проблемных, с философско-логической точки зрения, мест в современных исследованиях модальной логики предикатов. Помимо «классических вопросов» о семантических свойствах формулы Баркан в различных модальных предикатных логиках, В. Б. Шехтман отвел особое место вопросам, связанным с «пучковыми семантиками» для модальной логики предикатов с равенством, различным ограничениям области интерпретации в семантике модальных предикатных логик и т. п.

Не менее актуальная проблематика была затронута профессором Д. В. Зайцевым, чей доклад был посвящен новым расширениям известной четырехзначной логики Данна-Белнапа и их алгебраической семантике.

Завершил программу первого дня конференции Н. Н. Непейвода, доклад которого носил предельно содержательный характер. Н.Н. Непей-вода в свойственной ему манере четко обозначил критические точки при использовании логики в познавательной деятельности, которые выявляются в процессах формализации и деформализации.

Второй день чтений прошел в формате секций, посвященных символической логике, философской логике, истории логики и логике научного познания.

Заседания отличались широким диапазоном обсуждаемых тем — от глубинных историко-логических штудий, за которыми следовали оживленные дискуссии, до передовых исследований в различных областях философской и символической логики.

В рамках секции «Символическая логика» прошло два специальных заседания, первое из которых было посвящено памяти А. В. Чагрова.

1Подробнее см.: Tulenheimo, 2013.

Т. I, №4]

ДЕСЯТЫЕ СМИРНОВСКИЕ ЧТЕНИЯ ПО ЛОГИКЕ

247

Оно отличалось сильным уклоном в область модальных логик предикатов, а также особым интересом к проблеме разрешимости данных логик. Основную массу участников составили крупнейшие отечественные математики; явно заметен повышенный интерес математиков-логиков к исследованию предикатных модальных логик.

Второе заседание было посвящено памяти А. С. Карпенко. Среди докладчиков отметились прямые ученики Александра Степановича — Н.Е. Томова и Л.Ю. Девяткин. Все доклады, посвященные различным многозначным логикам, были явно или неявно связаны с проблемами паранепротиворечивости, параполноты и т. д.

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

Завершилась конференция специальным заседанием, посвященным памяти Е. Д. Смирновой. Кроме обсуждения проблем, связанных с логической семантикой и философскими основаниями логики, многие ученики Елены Дмитриевны поделились воспоминаниями о своей наставнице. В конце заседания организационный комитет решил посвятить следующие Смирновские чтения двум выдающимся отечественным логикам— В. А. Смирнову и Е.Д. Смирновой.

Литература

Десятые Смирновские чтения : материалы Междунар. науч. конф., Москва, 1517 июня 2017 г. / под ред. В. И. Маркина. — М. : Современные тетради, 2017. Tulenheimo T. Independence Friendly Logic // The Stanford Encyclopedia of Philosophy. Spring 2017 Edition / ed. by E.N. Zalta. — 2013. — URL: https://plato. stanford.edu/archives/spr2017/entries/logic-if/ (visited on Nov. 3, 2017).

Belikov, A. A. 2017. "Desyatyye Smirnovskiye chteniya po logike. Kratkiy otchet [The Tenth Smirnov Readings in Logic. Summary]" [in Russian]. Filosofiya. Zhurnal Vysshey shkoly ekonomiki [Philosophy. Journal of the Higher School of Economics] I (4), 245-248.

Aleksandr Belikov

PhD Student at the Department of Philosophy, Lomonosov Moscow State University

The Tenth Smirnov Readings in Logic. Summary

REFERENCES

Markin, V. I., ed. 2017. Desyatyye Smirnovskiye chteniya [10th Smirnov Readings]: mate-rialy Mezhdunar. nauch. konf., Moskva, 15—17 iyunya 2017 g. [The Materials of the International Research Conference, Moscow, 15—17 June, 2017] [in Russian]. Moskva [Moscow]: Sovremennyye tetradi. Tulenheimo, T. 2013. "Independence Friendly Logic." In The Stanford Encyclopedia of Philosophy. Spring 2017 Edition, ed. by E.N. Zalta. Accessed Nov. 3, 2017. https://plato. stanford.edu/archives/spr2017/entries/logic-if/.