Общие сведения о семинаре
Междисциплинарный семинар PhML представляет собой серию сессий, которые будут проводиться регулярно, не реже двух раз в семестр, в Санкт-Петербургском отделении Математического института им. В. А. Стеклова Российской академии наук (ПОМИ). По своей тематике семинар продолжит спорадические междисциплинарные конференции PhML‑2009, PhML‑2012, PhML‑2014 которые проводились там в прошлые годы. Сессии могут включать короткие лекции, содержащие сегменты вопросов и ответов, панельные дискуссии, круглые столы, которые сосредоточены на обсуждении или представлении некоторых конкретных тем, тенденций или проблем, касающихся различных аспектов взаимодействия философии, математики и лингвистики. Рабочие языки семинара — русский и английский. Сессии проводятся в гибридном формате, что позволяет участникам присутствовать как лично, так и онлайн через Zoom.
Участие бесплатное, но предварительная регистрация требуется для каждого участника предстоящей сессии семинара: как для гостя, так и для приглашенного докладчика. Для участия в очном формате регистрация необходима для посещения здания ПОМИ, для участия в онлайн формате регистрация необходима для получения ссылки на Zoom по электронной почте.
Цели и темы
Целью настоящего междисциплинарного семинара является предоставление исследователям и аспирантам возможности обмениваться информацией и новыми идеями, а также обсуждать новые работы в области взаимодействия философии, математики и лингвистики. Объединяя исследователей из разных научных сообществ, семинар будет способствовать плодотворным научным обменам и будет способствовать развитию междисциплинарного подхода в гуманитарных науках.
Сессии семинара будут охватывать несколько тем, связанных с взаимодействием философии, математики и лингвистики, включая (но не ограничиваясь) следующими:
- Новые тенденции в основаниях математики;
- Междисциплинарные подходы к пониманию человеческого интеллекта;
- Онтология математики и природа математической истины;
- Проблема абстрактных сущностей в математике, философии и лингвистике;
- Философия математики, философия логики и философии естественного языка;
- Математические и логические методы в философии;
- Философские аспекты информатики, новых вычислительных моделей и парадигм;
- Сложность в математике, сложность в логике, сложность в лингвистике;
- Философия математики и философия естественного языка;
- Математические и логические методы в науках о языке;
- Математическое исследование структур естественного языка;
- Новые теоретические подходы к моделированию и анализу текстов на естественном языке.
Данный список тем может быть уточнен и расширен в ходе семинара.
Организационно-программный комитет
Работу по подготовке сессий семинара PhML и составлению их научных программ осуществляет Международный организационно-программный комитет в составе:
- Олег Прозоров (ПОМИ, Санкт-Петербург),председатель комитета
- Анатоль Слисенко (Université Paris‑Est Créteil, Paris)
- Сергей Соловьёв (IRIT, Toulouse, and LETI, St. Petersburg)
Прошедшие сессии
В настоящее время наш проект по организации Междисциплинарного семинара только начинает свою работу, и поэтому в серии прошедших сессий состоялась только его 1-я сессия, которая представлена ниже в подразделе с соответствующим названием.
Программа 1-й сессии, состоявшейся 30 апреля 2025 г.
Место проведения:
Аудитория 311 в здании ПОМИ, расположенном по адресу: г. Санкт-Петербург, наб. р. Фонтанки, д. 27.
Расписание:
| 13:00 - 13:05 | Приветственное слово и представление докладчика аудитории Олег Прозоров |
| 13:05 - 13:50 | Математика и естествознание: через призму эволюционной парадигмы Елена Чеботарёва (Санкт-Петербургский университет, Санкт-Петербург)
Юджин Вигнер в своей знаменитой статье о непостижимой эффективности математики
задается тревожным вопросом о потенциальной противоречивости биологических
и физических теорий, не сомневаясь в возможности математического инструмента
описывать любые явления природы. Алан Тьюринг предложил конструктивные примеры
описания математических закономерностей живой природы. Глобальный эволюционизм
как довлеющий мировоззренческий тренд заставляет нас критически пересматривать
границы применения математики в биологии.
|
| 13:50 - 14:00 | Обсуждение и вопросы, ответы |
| 14:00 - 14:05 | Представление докладчика аудитории Олег Прозоров |
| 14:05 - 14:50 | Семантические игры с ограничениями на вычислительную сложность стратегий Сергей Соловьев (IRIT, Toulouse, и LETI, St. Petersburg)
Традиционная теоретико-игровая семантика разрабатывалась
с целью подтверждения (иным способом) уже известной семантики
логических систем. Обычно устанавливалось, что Верификатор имеет
выигрышную стратегию в игре, связанной с формулой А тогда и только
тогда, когда А доказуема в определенной логической системе или истинна
в определенной модели. Хорошо известно, что ограничения на классы
допустимых стратегий Верификатора и Фальсификатора могут разрушить
эту взаимосвязь: например, активно изучался вопрос, что происходит,
если ограничиться только эффективно вычислимыми стратегиями.
Мы изучаем вопрос с другой точки зрения: как семантика может
«извратиться» при наличии асимметрии между игроками.
Некоторые виды асимметрии рассматрвиались в литературе,
например, когда один из игроков имеет право «брать ход назад».
В данной работе принимается во внимание также другой вид
асимметрии – неравнество вычислительных возможностей.
Оказывается, что при некоторых условиях Верификатор может выиграть,
даже если формула является ложной (и наоборот, Фальчификатор
если формула является истинной).
|
| 14:50 - 15:00 | Обсуждение и вопросы, ответы |
Будущие сессии
В дальнейшем, по мере поступления заявок на выступление, и/или получения согласия на выступление от приглашенных докладчиков, или реализации других проектов в работе семинара, будет сформирован и опубликован в этом разделе настоящей веб-страницы рабочий план семинара.
Регистрация
Для регистрации в качестве участника предстоящей суссии семинара отправьте электронное письмо на адрес Олега Прозорова prosorov@pdmi.ras.ru, председателя Организационно-программного комитета. В тексте письма сообщите следующую информацию о себе: имя, фамилию, принадлежность к организации (аффилиацию), адрес электронной почты для контактов, формат вашено участия (очно или онлайн).
Приём заявок на выступление
Мы приглашаем к подаче заявок на выступления с докладами, в которых рассматриваются исследования, касающиеся взаимодействия философии, математики и лингвистики. Приветствуются исследования следующие любой традиции и с различных теоретических точек зрения, включая, но не ограничиваясь перечисленными выше темами. Поскольку мы намерены содействовать междисциплинарной совместной работе, мы особенно приветствуем исследования, которые выходят за рамки дисциплин и рассматривают различные аспекты взаимодействия философии, математики и лингвистики.
Желающим представить доклад на одной из предстоящих сессий семинара, следует отправить по электронной почте на phml_2012@pdmi.ras.ru заявку с расширенной аннотацией доклада, включенной в качестве приложения к письму (одна страница формата А4 максимум), и указать «Аннотация доклада на семинаре PhML» как тему. Текст приложения должен быть написан на одном из рабочих языков семинара, то есть на русском или английском, и прготовлен для слепого рецензирования. В тексте письма следует указать:
- Название доклада
- Сведения об авторе: имя, фамилия; учёная степень (если имеется); учёное звание (если имеется); принадлежность к организации (аффилиация)
- Адрес электронной почты для контактов
Все представленные заявки подлежат отбору после рецензирования экспертами с целью обеспечения соответствия конкретным темам семинара, технического соответствия рекомендациям по подаче материалов для авторов, сформулированным выше, и соблюдения общеизвестных критериев в отношении содержания аннотаций: цель, методология, собственный вклад, результаты, выводы.
Новости
Последняя сессия Семинара состоялась 30 апреля 2025 года. Фактически, это была самая первая сессия в работе Семинара. Следующая сессия Семинара запланирована на осенний семестр 2025 года. Дальнейшая работа Семинара будет анонсирована далее в этом разделе. Следите за объявлениями.
Контактная информация
По всем вопросам обращайтесь в Организационно-программный комитет по электронной почте на phml_2012@pdmi.ras.ru.
Вы также можете задать вопрос лично:
- Олегу Прозорову (председателю Организационно-программного комитета) по электронной почте на prosorov@pdmi.ras.ru,
- Светлане Петраковой (секретарю) по электронной почте на petrakova@pdmi.ras.ru.