Семинары МЛ ЛогЛинФФ
В международной лаборатории логики, лингвистики и формальной философии действуют четыре регулярных семинара:
Теоретический семинар «Формальная философия»
Научно-исследовательский семинар «From the Logical Point of View»
Научно-учебный семинар «Логическая семантика»
Ридинг-семинар «Analytics»
| Дата | Докладчики/ Модераторы | Тема | Семинар
|
| 13.01.2023 | Э. Дзардини | Формальная философия | |
| 13.01.2023 | В.В.Долгоруков | Аксиоматическое построение классической логики высказываний: теорема о дедукции, решение задач | Логическая семантика |
| 20.01.2023 | А.А. Запрягаев | Интерпретации в слабых арифметических теориях | From the Logical Point of View |
| 20.01.2023 | В.В.Долгоруков | Аксиоматическое построение классической логики высказываний: решение задач | Логическая семантика |
| 23.01.2023 | В.В.Долгоруков | Аксиоматическое построение классической логики высказываний: решение задач | Логическая семантика |
| 27.01.2023 | М. А. Смирнов | Семантика незнания: о некоторых аспектах ситуационной семантики и семантики событий | From the Logical Point of View |
| 30.01.2023 | В.В. Долгоруков | Аксиоматическое построение классической логики высказываний: решение задач | Логическая семантика |
| 03.02.2023 | В.В. Долгоруков | "Структуры знания": альтернативная семантика для эпистемической логики | From the Logical Point of View |
| 06.02.2023 | В.В. Долгоруков | Аксиоматическое построение классической логики высказываний: решение задач | Логическая семантика |
| 10.02.2023 | А.В. Кудинов | Логика пространств подмножеств с публичными высказываниями | Формальная философия |
| 13.02.2023 | В.В. Долгоруков | Теорема об эквивалентной замене | Логическая семантика |
| 17.02.2023 | И. Никитина | Формальные теории коллективной ответственности в stit-моделях и деонтических играх | From the Logical Point of View |
| 20.02.2023 | В.В. Долгоруков | Теорема о полноте для пропозициональной логики (часть 1) | Логическая семантика |
| 03.03.2023 | А.А. Оноприенко | Совместная логика задач и высказываний | Формальная философия |
| 06.03.2023 | И. Пыльцын | Метод математической индукции и его применение | Логическая семантика |
| 10.03.2023 | Е. Н. Лисанюк, | Презентация книги «Формальная философия аргументации» | Формальная философия |
| 13.03.2023 | В.В. Долгоруков | Теорема о полноте для пропозициональной логики (часть 2) | Логическая семантика |
| 17.03.2023 | Д. Васильев | Формальная семантика падежных форм в русском языке | From the Logical Point of View |
| 24.03.2023 | Е.Л. Попова | Ридинг-семинар по статье Лаури Карттунена «Presuppositions of Compound Sentences» | From the Logical Point of View |
| 07.04.2023 | И. Никитина | Алгоритм Гейла-Шепли: стабильность брака и поступление в колледж | From the Logical Point of View |
| 14.04.2023 | Т. Пшеницын | Фокус в естественных языках и исчисление Ламбека | From the Logical Point of View |
| 28.04.2023 | К.В. Шишов | Логика и “строительные леса” мира: философские поиски Е.Д. Смирновой и В.А. Смирнова | From the Logical Point of View |
| 12.05.2023 | С.Л. Кузнецов | Категориальные грамматики Ламбека (часть 1) | Формальная философия |
| 19.05.2023 | С.Л. Кузнецов | Категориальные грамматики Ламбека (часть 2) | Формальная философия |
| 16.06.2023 | Д.Н. Федянин | Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов | From the Logical Point of View |
| 15.09.2023 | Н.А. Зевахина | Избыточная спецификация количества и цвета в референциальный коммуникации | From the Logical Point of View |
| 22.09.2023 | И.О. Пыльцын | Введение в арифметику Пеано | Логическая семантика |
| 22.09.2023 | Л. Вашенцева | From the Logical Point of View | |
| 29.09.2023 | В.В. Долгоруков | Введение в арифметику Пеано (продолжение) | Логическая семантика |
| 29.09.2023 | А. Овчинникова | Эпистемическая логика предпочтений | From the Logical Point of View |
| 04.10.2023 | В.В. Долгоруков | Лемма о диагонализации и 2-я теорема Гёделя | Логическая семантика |
| 06.10.2023 | И. А. Соболев | Таксономия типов подразумеваемого значения | From the Logical Point of View |
| 18.10.2023 | В.В. Долгоруков | 2-я теорема Гёделя о неполноте и теорема Лёба (в модальной версии) | Логическая семантика |
| 20.10.2023 | Г.А. Золотков | Об основных направлениях рецепции философии Витгенштейна в витгенштейнианстве | From the Logical Point of View |
| 27.10.2023 03.11.2023 | С.О. Сперанский | Об одном модальном подходе к рассуждениям о «произвольных» натуральных числах | Формальная философия |
| 11.11.2023 18.11.2023 | Г. Ю. Филатов | H.-J. Glock. Was Wittgenstein an Analytic Philosopher? | Analytics |
| 10.11.2023 17.11.2023 | И.О. Пыльцын | О сильной эквивалентности арифметики Пеано и теории конечных множеств | From the Logical Point of View |
| 24.11.2023 | А.Ю. Моисеева | Две тематически чувствительные логики для описания ограниченной рациональности: логика EUL и логика эффектов фрейминга. Их особенности, сходства и различия | From the Logical Point of View |
| 28.11.2023 | И.А. Никитина | Древесный натуральный вывод для классической логики высказываний (часть 1) | Логическая семантика |
| 01.12.2023 | В.А. Николаева | Модальный взгляд: теодицея и проблема божественного детерминизма | From the Logical Point of View |
| 05.12.2023 | И.А. Никитина | Древесный натуральный вывод для классической логики высказываний (часть 2) | Логическая семантика |
| 08.12.2023 | И.П. Рыгаев | Семантико-прагматический подход к синтаксическим структурам | From the Logical Point of View |
| 25.11.2023 | И.А. Никитина | Тимоти Уильямсон «A risky challenge for intransitive preferences» | Analytics |
| 16.12.2023 23.12.2023 30.12.2023 | Е.В. Емельянов | Thomas Hurka «Against 'Good for'/'Well-Being', for 'Simply Good'» | Analytics |
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.