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