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

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

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

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

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

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

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

Дата

Докладчики/

Модераторы

 

Тема

Семинар

 

20.01.2021

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

О трудностях определения группового имплицитного знания

From the Logical Point of View

27.01.2021

 

Обсуждение статьи Van der Hoek W., Meyer J.J. (1997) "A Complete Epistemic Logic for Multiple Agents"

From the Logical Point of View

03.02.2021

 

Обсуждение статьи Van der Hoek W., Meyer J.J. (1997) "A Complete Epistemic Logic for Multiple Agents"

From the Logical Point of View

10.02.2021

 

Обсуждение статьи Wang Y. N., Agotnes Т. "Simpler completeness proofs for modal logics with intersection"

From the Logical Point of View

17.02.2021

 

Обсуждение статьи Wang Y. N., Agotnes Т. "Simpler completeness proofs for modal logics with intersection"

From the Logical Point of View

24.02.2021

 

Обсуждение статьи Berto F. "Equivalence in Imagination" 

From the Logical Point of View

25.02.2021

Е.Л. Попова

Схема Скотта-Леммона

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

03.03.2021

 

Обсуждение статьи van der Hoek, W., & Wooldridge, M. (2003). Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.

 

From the Logical Point of View

04.03.2021

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

Введение в структурную теорию доказательств: древесный натуральный вывод

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

10.03.2021

 

 

Обсуждение статьи Gaudou B., Herzig A., Longin D., & Lorini E. (2015). On Modal Logics of Group Belief

 

From the Logical Point of View

11.03.2021

 

Древесный натуральный вывод: решение задач

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

17.03.2021

Е.Л. Попова

Логика намерения KD45

From the Logical Point of View

18.03.2021

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

Введение в структурную теорию доказательств: исчисление секвенций

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

24.03.2021

Я. Гомулка, А. Роман

Tractatus 6 Reconsidered: Wittgensten’s Trade-off and the S-operation

 

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

25.03.2021 Е.Л. Попова

Исчисление секвенций: решение задач

Логическая семантика
07.04.2021, 14.04.2021 Р. Агамов

Логика топологических T_0 пространств в языке с модальностью неравенства

 

 From the Logical Point of View
15.04.2021 Е.Л. Попова
Д.Г. Хайтович

Исчисление секвенций: решение сложных задач

 

 Логическая семантика
 16.04.2021  В.Л. Васюков,
Е.Г. Драгалина-Черная

Круглый стол, приуроченный к трехлетию лаборатории

 

 
21.04.2021 В.В. Рыбаков

Много-агентные Модальные и Временные Логики

From the Logical Point of View
 22.04.2021  Е.Л. Попова
Д.Г. Хайтович

Исчисление секвенций в модальной логике

 

 Логическая семантика
28.04.2021 Й. Хэльд

Inference and Predication

Формальная философия
29.04.2021
13.05.2021
В.А. Пригоркина

Введение в генеративную грамматику

Логическая семантика
19.05.2021 В.А. Пригоркина

 Временная референция в русских деепричастиях: влияние позиции и связанности событий

 

From the Logical Point of View
26.05.2021 Е.А. Паршина

Теория когнитивных шагов как дополнение к теории семантических автоматов

From the Logical Point of View
02.06.2021 В.К. Кудряшова

Структура и логика ценностей в теории добродетельного релайабилизма Э. Созы

From the Logical Point of View
03.06.2021  

Решение эпистемических задач

Логическая семантика
09.06.2021 С.В. Картавцева

Проблема объекта в логических и феноменологических теориях формальных отношений

From the Logical Point of View
10.06.2021 Д.Г. Хайтович

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

Логическая семантика
16.06.2021 К. Копнев 

Окрестностная семантика: полнота и финитная аппроксимируемость

From the Logical Point of View
30.06.2021 А.Н. Поддьяков

Понимание нетранзитивности превосходства и объекты экспериментального интереса вразных областях и парадигмах

 

 Формальная философия
15.09.2021 К.Г. Фролов Логико-семантические аспекты моральной аргументации с точки зрения нонкогнитивизма  Формальная философия
22.09.2021 В.В. Долгоруков Абдукция и типы R-импликатур From the Logical Point of View
08.10.2021 С.В. Картавцева Модальная эпистемология воображения Крипке From the Logical Point of View
09.10.2021 Е.В. Емельянов Диаграмматическая логика Пирса Логическая семантика
15.10.2021 Е.Л. Попова «Я подумаю об этом завтра»: эволюционно эпистемическая модель для темпоральной делиберации From the Logical Point of View
29.10.2021 В. Яковлева Логика со штрафами: что было и что будет From the Logical Point of View
12.11.2021 Д.Н. Федянин Проблемы агрегирования экспертных мнений From the Logical Point of View

19.11.2021

26.11.2021

Д. Рогозин 

 

A survey of relation algebras From the Logical Point of View
24.11.2021   Презентация книги  И. Канта "Венская логика" Формальная философия
03.12.2021 Д.Г. Хайтович  Исчисление секвенций с лейблами для геометрически аксиоматизируемых нормальных модальных логик From the Logical Point of View
24.12.2021 Е.Г. Драгалина-Чёрная Эпистемология тривиальности: случай modus ponens Формальная философия

 


 

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