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

Семинары МЛ ЛогЛинФФ

2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012

В международной лаборатории логики, лингвистики и формальной философии действуют три семинара:

Теоретический семинар «Формальная философия»

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

Научно-учебный семинар «Логическая семантика»

 

Дата

Докладчики/

Модераторы

 

Тема

Семинар

 

15.01.2020

Е.Е. Золин

Абстрактная теория определимости

Формальная философия

29.01.2020

А. С. Мишура

Свобода воли и моральная ответственность

From the Logical Point of View

05.02.2020

Е.Г. Драгалина-Чёрная

Материальное следование

Формальная философия

12.02.2020

А.А. Запрягаев

Формальные арифметики в логике

From the Logical Point of View

19.02.2020

Д.Н. Федянин

Model of opinion dynamics in a social network when opinions are in logical relations

From the Logical Point of View

26.02.2020

С. Титов

Statistical relevance explanation models and modern methods of interpretable machine learning

From the Logical Point of View

11.03.2020

 

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

From the Logical Point of View

25.03.2020

Р. Агамов

Классы сложности вычислений

From the Logical Point of View

01.04.2020

 

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

From the Logical Point of View

08.04.2020

 

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

From the Logical Point of View

15.04.2020

 

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

From the Logical Point of View

22.04.2020

И.И. Кирилова

Вероятностный подход в психологии рассуждений и теория дуального процесса

From the Logical Point of View

29.04.2020

Д.Г. Хайтович

Формальные модели ответственности в stit логике и расширениях

From the Logical Point of View

30.04.2020

М.А. Гладышев

Работа в LaTeX

Логическая семантика

07.05.2020

М.А. Гладышев

Обзор динамических эпистемических логик и событийных моделей

Логическая семантика

13.05.2020

М.В. Федорова

Проблема самости в аналитической феноменологии действия

From the Logical Point of View

14.05.2020

Д.Г. Хайтович

Введение в stit-логику

Логическая семантика

17.05.2020

В.Л. Васюков

Логический плюрализм в Львовско-Варшавской школе

Формальная философия

20.05.2020

Е.А. Паршина

Когнитивные характеристики обобщенных кванторов

From the Logical Point of View

03.06.2020

Я.К. Михайлов

Пространственная интуиция в математике после Лобачевского и Римана

From the Logical Point of View

10.06.2020

А.А. Запрягаев

Арифметика Пресбургера

From the Logical Point of View

11.06.2020

К.А. Ушаков

Вежливость в теоретико-игровой прагматике

Логическая семантика

17.06.2020

А.М. Павлова

От игр сравнения степеней истины до исчислений секвенций для логики Гёделя

Формальная философия

18.06.2020

С.В. Картавцева

Интерпретация интенциональности как интенсиональности в семантике возможных миров

Логическая семантика

24.06.2020

Д.Н. Федянин

О связи между структурами эпистемических моделей

From the Logical Point of View

03.07.2020

В.В. Долгоруков

Каноническая модель и теоремы о полноте для логик K и K.t

Логическая семантика

23.09.2020

М.А. Гладышев

Эпистемические расширения логик ветвящегося времени и их приложения

From the Logical Point of View

08.10.2020

Е.Л. Попова

Головоломка с токсином: намерение как перформативный акт

Логическая семантика

14.10.2020

В.А. Пригоркина

Отрицание, тип речевого акта и порядок клауз в Conditional Perfection

From the Logical Point of View

28.10.2020

М.А. Смирнов

Онтологические основания семантики событий

From the Logical Point of View

30.10.2020

А.А. Овчинникова

Первые попытки построения логики предпочтений: как Аристотель и Сорен Холлден выбирали лучшее?

Логическая семантика

04.11.2020

В.А. Петровский

Логика правомерности: опыт построения алгебраической модели

Формальная философия

05.11.2020

Е.Л. Попова

Решение соритов методом диаграмм Льюиса Кэрролла

Логическая семантика

11.11.2020

Х.Л. Мендес Мартинес

Acoustic mereotopology

From the Logical Point of View

13.11.2020

Е.А. Строюк

Разрыв в объяснении феноменального знания с точки зрения динамической эпистемической логики

Логическая семантика

19.11.2020

Е.Л. Попова

Введение в теорию игр

Логическая семантика

25.11.2020

 

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

From the Logical Point of View

04.12.2020

 

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

From the Logical Point of View

09.12.2020

 

Презентация проекта "Логико-философский калькулятор: интерактивные модели для вычислительной философии и вычислительной семантики"

From the Logical Point of View

16.12.2020

В.В. Долгоруков,

Н.А. Зевахина и

Д.П. Попова

Презентация книги "Введение в лингвистическую прагматику"

Формальная философия


 

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