Журнальный клуб Интелрос » Вестник РОССИЙСКОГО ФИЛОСОФСКОГО ОБЩЕСТВА » №3, 2011
Чтения состоялись 24-26 июня с.г. на философском факультете МГУ имени М.В. Ломоносова. Поделюсь личными впечатлениями. Пленарные заседания были достаточно скучными и темы не очень «свежими», исключая сообщение проф. Г. Малиновского и доклад В. Васюкова о логическом плюрализме в логике. Отмечу сразу, что значительным продвижением в работе секций, а их было три: символическая логика, философская логика и симпозиум, посвящённый вопросам доказательств в математике и логике, явилось то, что, по требованию организаторов, некоторые заседания (первое заседание секции символической логики, где я бы отметил доклады В. Шангина и особенно доклад Ю. Шрамко) были проведены целиком на английском языке. Второе такое заседание состоялось 23 июня во второй половине дня в секции философской логики. Конечно, большинство докладов секций прослушать не удалось, однако хотелось бы отметить актуальность доклада Ю. Зайцева по релевантной логике, А. Анисова (с немного странным названием, но я с этой темой знаком был и ранее) об интерпретации времени мутазилитов и интересного по охвату доклада Б. Фёдорова о «систематизации» логики.
В целом чтения оставили приятные научные впечатления и прошли на достаточно высоком уровне. Но в качестве замечания хотелось бы отметить, что заседание симпозиума, упомянутого выше, состоялось, собственно, без участия кого-либо из квалифицированных специалистов-математиков, в первую очередь тех, кто занимается вопросами оснований математики (теории множеств, теории категорий и т.д.).