Семинары МЛ ЛогЛинФФ
В международной лаборатории логики, лингвистики и формальной философии действуют три семинара:
Теоретический семинар «Формальная философия»
Научно-исследовательский семинар «From the Logical Point of View»
Научно-учебный семинар «Логическая семантика»
| Дата | Докладчики/ Модераторы | Тема | Семинар
|
| 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 |
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.