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

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

2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012

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

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

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

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

Дата

Докладчики/

Модераторы

 

Тема

Семинар

 

21.01.2022

В.В. Долгоруков
Е.Л. Попова

Осведомленность в динамике: эволюционная эпистемическая логика

From the Logical Point of View

28.01.2022 М.А. Гладышев  Динамическая эпистемическая логика для агентов с ограниченными ресурсами From the Logical Point of View
04.02.2022 А.А. Запрягаев Арифметики Бюхи и конечные автоматы From the Logical Point of View
11.02.2022 В.С. Шевченко Координация как натуралистическая социальная онтология From the Logical Point of View
18.02.2022 Д.Г. Хайтович Прояснение аксиоматики эпистемической логики с общим знанием From the Logical Point of View
25.02.2022 К.В. Шишов Динамическая эпистемическая логика как субструктурная логика From the Logical Point of View
17.03.2022 В.В. Долгоруков  Аксиоматическое исчисление высказываний и теорема дедукции Логическая семантика
25.03.2022 Д.Г. Хайтович Аксиоматизация стратегического фрагмента классической stit логики From the Logical Point of View
08.04.2022 В.А. Пригоркина Иконичность порядка следования клауз и таксисные значения разновременности в русских причастных и деепричастных конструкциях совершенного вида From the Logical Point of View
15.04.2022 В.В. Долгоруков  Интуиционистское исчисление высказываний Логическая семантика
15.04.2022 В.К. Кудряшова Базовые пропозиции и соотношение пропозиционального и практического знания в эпистемологии Э. Созы From the Logical Point of View
22.04.2022 Г.Ю. Филатов Критерий внутренних отношений в творчестве Людвига Витгенштейна: от “немыслимости обратного” к “вневременности” From the Logical Point of View
29.04.2022 К.В. Шишов Теорема о полноте для классической логики высказываний (часть 1) Логическая семантика
13.05.2022 К.В. Шишов Теорема о полноте для классической логики высказываний (часть 2) Логическая семантика
20.05.2022 С.О. Сперанский  О теории истины по Крипке (часть 1) Формальная философия

27.05.2022

С.О. Сперанский О теории истины по Крипке (часть 2) Формальная философия
10.06.2022 О. Козырева Индексикализм и проблема определения семантического содержания From the Logical Point of View
17.06.2022 В.В. Долгоруков Теорема о полноте для интуиционистской логики (часть 1) Логическая семантика
17.06.2022 В.С. Шевченко Концепция социальных институтов как rules-in-equilibria From the Logical Point of View

 

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