Международная конференция «Формальная философия 2023»

Важные даты

• 4 октября

  Последний день приема заявок

• 6 октября

  Уведомление участников о приёме

• 11 октября

  начало работы конференции

• 13 октября

  окончание работы конференции

Процедура подачи заявок

Заявки принимаются через EasyChair.

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

Формат заявки: не более 1000 слов.

Пожалуйста, обратите внимание, что заявки можно подавать на английском или русском языке.

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

Контакты

Электронная почта оргкомитета llfp@hse.ru

Регистрация

• Регистрация открыта до 10 октября (до 18.00)
• Регистрация необходима только слушателям, докладчикам регистрироваться не нужно 
• Если вы регистрируетесь как очный участник и вы не сотрудник / студент Вышки, то для вас будет заказан электронный пропуск на все дни конференции 
• Если вы регистрируетесь как дистанционный участник, то вам будет отправлена ссылка для подключения (непосредственно перед началом конференции). Пожалуйста, не распространяйте эту ссылку и подключайтесь к конференции строго под своим именем 
• Можно одновременно зарегистрироваться и как очный, и как дистанционный участник
• Если вы студент / сотрудник Вышки, то все равно нужно зарегистрироваться
• Регистрация бесплатная (оргвзнос не требуется)

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

Программа

Ауд. А-307 + Zoom

• 11 октября

  СРЕДА

  10.00 – 10.30

  РЕГИСТРАЦИЯ. ОТКРЫТИЕ

  10.30 – 11.30

  А.Н. Поддъяков (НИУ ВШЭ), Нетранзитивность превосходства как поле междисциплинарных исследований

  11.30 – 12.00

  КОФЕ-БРЕЙК

  12.00 – 12.30

  Louis Vervoort (HSE), Epistemic Relativism And The Gettier Problem: Insights From Philosophy Of Science

  12.30 – 13.00

  Mikhail Smirnov (Financial University, HSE, Russian Society for History and Philosophy of Science), Individuation of Events for Theory of Probabilities

  13.00 – 13.30

  И.Б. Микиртумов (НИУ ВШЭ), Намерения, решения и действия как компоненты мысли у Фреге

  13.30 – 14.00

  КОФЕ-БРЕЙК

  14.00 – 15.00

  Е.В. Борисов (Институт философии и права СО РАН), И.И. Мухаметшина (ТГУ), Модальная логика с поссибилистскими кванторами

  15.00 – 16.00

  ПЕРЕРЫВ НА ОБЕД

  16.00 – 18.00

  КРУГЛЫЙ СТОЛ «Логика, лингвистика и психология рассуждений» 

  18.00 – 18.15

  ПЕРЕРЫВ

  18.15 – 18.45

  О.А. Шапиро (СЗИУ РАНХиГС), Понятийная картина мира как основание стиля мышления эпохи

  18.45 – 19.15

  В.А. Степанов (Дородницын вычислительный центр), Тезис Сушко для логики самореферентных предложений

• 12 октября

  ЧЕТВЕРГ

  11.00 – 12.00 

  С.О. Кузнецов (НИУ ВШЭ), Понятия, таксономии и зависимости в данных

  12.00 – 12.30

  КОФЕ-БРЕЙК

  12.30 – 13.00

  Daniel Tiskin (HSE, Immanuel Kant Baltic Federal University), Reflexivity, De Re and Equivalence

  13.00 – 13.30

  И.А. Соболев (НИУ ВШЭ), Критерии различия конвенциональных импликатур и пресуппозиций

  13.30 – 14.00

  КОФЕ-БРЕЙК

  14.00 – 15.00

  Elia Zardini (Complutense University of Madrid, HSE), Ápeiron

  15.00 – 15.30

  Kobina Oduro Korankye (The University of Georgia), Private Language By Accident: Implications of Wittgenstein’s Private Language Argument on an Accidentally Private Language

  15.30 – 16.30

  ПЕРЕРЫВ НА ОБЕД

  16.30 – 17.00

  К.Г. Фролов (НИУ ВШЭ), О построении молекулярных аргументов в моделях абстрактной структуры аргументации

  17.00 – 17.30

  В.Г. Денисова (СПбГУ), Применение кондиционалов и контрафактуалов в мышлении людей

  17.30 – 18.00

  ПОСТЕРНАЯ СЕКЦИЯ–1

  18.00 – 19.00

  Itala D'Ottaviano (Unicamp), Charles Peirce's 'Three-valued Logic'

• 13 октября

  ПЯТНИЦА

  10.00 – 10.30

  Fabien Schang, (Lycée Alfred Mézières, Longwy), Internal Negations as Span Operators

  10.30 – 11.30

  Stanislav Speranski (Steklov Mathematical Institute), A Carnapian framework for reasoning about arbitrary natural numbers (joint work with Leon Horsten)

  11.30 – 12.15

  КОФЕ-БРЕЙК  / ПОСТЕРНАЯ СЕКЦИЯ-2

  12.15 – 12.30

  В.И. Пятаков (НИУ ВШЭ), Погружение неклассических логик в логику предикатов

  12.30 – 13.00

  А.Ю. Моисеева (НИУ ВШЭ), Тематически чувствительная эпистемическая логика EUL

  13.00 – 13.30

  Denis Fedyanin (HSE), Reasoning Games in Social Context

  13.30 – 14.00

  КОФЕ–БРЕЙК

  14.00 – 14.30

  В.Л. Васюков (ИФ РАН, НИУ ВШЭ), Формальная (пост)феноменология

   

  14.30 – 15.00

  А.А. Оноприенко (МГУ, НИУ ВШЭ), Перевод интуиционистской эпистемической логики в бимодальную логику доказуемости и уверенности

  15.00 – 16.00

  ПЕРЕРЫВ НА ОБЕД

  16.00 – 16.30

  А.А. Беликов (МГУ), Замечания об импликации Фаррелла

  16.30 – 17.00

  А.В. Шкотин (ACM ICS), Каркас теории – концентратор знаний. сообщение №1

  17.00 – 17.30

  Arnold Grigoryan (HSE), Intensionality in Homotopy Type Theory

  17.30 – 18.00

  Kelvin King Fung (Toronto Metropolitan University), Possibility of a Coherent Future Semantics Under an Aristotelian Framework

  18.00 – 18.30

  ЗАКРЫТИЕ

• Программа круглого стола «Логика, лингвистика и психология рассуждений» 

  • А.С. Боброва (НИУ ВШЭ), Анализ обыденных рассуждений в психологии рассуждений и в логике
  • Н.А. Зевахина (НИУ ВШЭ), Разнообразие пресуппозиций: мягкие и жесткие триггеры в синтаксически (не)зависимых контекстах
  • Д.П. Попова (НИУ ВШЭ), Варьирование импликаций в контекстах с пропозициональными глаголами
  • Е.Н. Лисанюк (СПбГУ, НИУ ВШЭ), Триада Фреге, логические чужаки и когнитивная терапия депрессии
  • В.В. Долгоруков (НИУ ВШЭ), Логические модели в психологии рассуждений

  Круглый стол проводится при поддержке РНФ «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» No 23-18-00695.

• Программа постерной секции

  Постерная секция–1

  • Игорь Зайцев (РГГУ), Субординантные натуральные исчисления для базовой интуиционистской кондициональной логики и ее расширений
  • Анна Овчинникова (НИУ ВШЭ), De Re and De Dicto Knowledge in Egocentric Setting (совместная работа с Павлом Наумовым)

  Постерная секция–2

  • Владислав Аксиотис, Елена Попова (НИУ ВШЭ), Роль порядка предъявления посылок в условных рассуждениях
  • Ирина Никитина (НИУ ВШЭ), Альтернативные возможности и формальные системы моральной ответственности
  • Георгий Филатов (НИУ ВШЭ), Л. Витгенштейн: реалистический дух (анти–) реалистической философии
  • Никита Чураков (НИУ ВШЭ), The Сomplexity of Сomputing Nash Equilibrium in Boolean Games

Материалы конференции

• Плейлист с записями пленарных докладов
• Репортаж о конференции