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