• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Научно-исследовательский семинар «From the Logical Point of View»

Регулярный научно-исследовательский семинар «From the Logical Point of View» предназначен для обсуждения классических результатов и новейшей литературы в области логики, формальной лингвистики и формальной философии, а также для презентации текущих исследовательских наработок сотрудников ЛогЛинФФа и приглашенных докладчиков. 

  • Когда: среда, 16.20–18.00
  • Где: ул. Ст.Басманная, д. 21/4, стр.1, ауд. А–121 (иногда аудитория меняется, актуальная информация в анонсах мероприятий)
  • Регистрация: Участие в семинаре открыто для всех желающих. Для оформления пропуска в НИУ ВШЭ необходимо заполнить форму

Темы следующих семинаров:

25.11.20 (онлайн), Обсуждение статьи Evans, R., Sergot, M., & Stephenson, A. (2020) "Formalizing Kant’s Rules: A Logic of Conditional Imperatives and Permissives"

Регистрация

Темы прошедших семинаров:

12.09.2018, Е.Г.Драгалина-Черная, «Логика цветового пространства Людвига Витгенштейна»

19.09.2018, Д.Н.Федянин, «Модель социального влияния ДеГроота»

26.09.2018, Д.Н.Федянин, «Модель социального влияния ДеГроота: некоторые расширения»

03.10.2018, В.В.Долгоруков, «Модель ДеГроота и доксатическая логика»

10.10.2018, обсуждение статьи С. Н. Артемова

17.10.2018, обсуждение статьи С.Н.Артемова

31.10.2018, А.С.Мишура, «Этика веры в работе "О Достоверности" Л. Витгенштейна»

07.11.2018, А.С.Мишура, «Этика убеждений и проблема конфликтующих норм»

14.11.2018, Я.И.Петрухин, «О трехзначном подходе М.Видаля к дефективной логике и ее применению в математике»

21.11.2018, Я.И.Петрухин, «Обобщение корреспондентского анализа Коя и Тамминги для трехзначных логик»

12.12.2018, А.О.Копылова, «"Verificatur" в логике Чаттона и Оккама»

14.12.2018, Е.В.Борисов, «Аскрипция мнения в динамической семантике»

22.01.2019, С.В.Данько, «Парадокс Тесея: как быть с проблемой идентичности»

29.01.2019, Е.А.Пасальская. Жестовые языки сквозь призму лингвистических теорий

05.02.2019, А.М.Денисенко. Оценка сложности речевых актов и их конститутивных правил

12.02.2019, 19.02.2019, 26.02.2019 Обсуждение статьи Martin-Löf P. Analytic and Synthetic Judgements in Type Theory

05.03.2019, В. В. Долгоруков. Проблема проекции пресуппозиции с точки зрения динамической эпистемической логики

12.03.2019, М. А. Смирнов. Языки с локализацией особенностей и событийно-ориентированная онтология

19.03.2019, С. М. Нечагина. Факторы, вызывающие затруднения при оценке корректности силлогизма.

03.04.2019, М. А. Смирнов "Онтологические основания семантики событий", Хорхе Луис Мендес-Мартинес (1) "If sounds were dispositions, a framework for an underdeveloped theory", (2) "Logic and Phenomenology of Non-Visual Representation. The case of Sound. Chapter 1, Guidelines, Questions and Theory Choice"

10.04.2019, В. А. Елисеев "Эпистемические контексты STIT-логики действия", Д. М. Панюхина "Рациональные рассуждения в играх"

17.04.2019, И. И. Кирилова "Естественные рассуждения: двухпроцессная теория и ментальные модели", П. О. Старосоцкая "Логика в познавательном процессе: задачи на ложное убеждение"

24.04.2019, М. А. Гладышев "Парадоксы теории коллективного выбора", А. А. Мельников "Проблема свободы в наилучшем из возможных миров"

15.05.2019, Д.Н. Федянин, "An approach to the solution of Knights and Liers (or Spies, Knaves) logical puzzle: Graphs and Haskell"

22.05.2019, В.А. Елисеев, "Некоторые проблемы формализации делиберативности".

29.05.2019, Предзащиты курсовых работ стажеров-исследователей МЛ ЛогЛинФФ

05.06.2019, Д.С.Шамканов,  "О логиках свидетельств" 

11.09.2019, А.М.Денисенко, "Некоторые проблемы классификации речевых актов: взгляд с точки зрения филогенеза коммуникации"

18.09.2019, Е.А.Пасальская, "Отрицательное согласование в русском жестовом языке (РЖЯ)"

09.10.2019, Е.В.Борисов, "Логика для кросс-мировой предикации"

30.10.2019, Е.В.Борисов, "Табличное исчисление для логики кросс-мировой предикации"

06.11.2019, М.А.Смирнов, "Бессмысленные" высказывания и естественные классы: формальный подход"

13.11.2019, 20.11.2019, Цикл ридинг-семинаров, посвященных обсуждению литературы по динамической эпистемической логике: "Abductive Reasoning in Dynamic Epistemic Logic".

27.11.2019, 04.12.2019, 20.12.2019 Цикл ридинг-семинаров, посвященных обсуждению литературы по динамической эпистемической логике: "How does uncertainty about other voters determine a strategic vote?"

29.01.2020, А. С. Мишура, «Свобода воли и моральная ответственность»

12.02.2020, А. А. Запрягаев, «Формальные арифметики в логике»

19.02.2020, Д. Н. Федянин, "Model of opinion dynamics in a social network when opinions are in logical relations"

26.02.2020, С. Титов, "Statistical relevance explanation models and modern methods of interpretable machine learning"

11.03.2020, Обсуждение статьи Naumov P. Tao J. " Budget-Constrained Knowledge in Multiagent Systems"

25.03.2020 (онлайн), Р. Агамов, "Классы сложности вычислений"

01.04.2020 (онлайн), Обсуждение статьи I. van de Pol, I. van Rooij, J. Szymanik, "Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic"

08.04.2020, 15.04.2020 (онлайн) Обсуждение статьи A. Solaki, F. Berto, S. Smets, "The Logic of Fast and Slow Thinking"

22.04.2020 (онлайн) И. И. Кирилова, "Вероятностный подход в психологии рассуждений и теория дуального процесса"

29.04.2020 (онлайн) Д. Г. Хайтович, "Формальные модели ответственности в stit логике и расширениях"

13.05.2020 (онлайн) М. В. Фёдорова, "Проблема самости в аналитической феноменологии действия"

20.05.2020 (онлайн) Е.А.Паршина, "Когнитивные характеристики обобщенных кванторов"

03.06.2020 (онлайн) Я.К. Михайлов, "Пространственная интуиция в математике после Лобачевского и Римана"

10.06.2020 (онлайн) А.А.Запрягаев, "Арифметика Пресбургера"

24.06.2020 (онлайн) Д.Н.Федянин, "О связи между структурами эпистемических моделей"

23.09.2020 (онлайн), М. А. Гладышев, "Эпистемические расширения логик ветвящегося времени и их приложения"

14.10.2020 (онлайн), В. А. Пригоркина, "Отрицание, тип речевого акта и порядок клауз в Conditional Perfection"

28.10.2020 (онлайн), М. А. Смирнов, "Онтологические основания семантики событий"

11.11.2020 (онлайн), Х. Л. Мендес Мартинес, "Acoustic mereotopology"


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.