Семинары МЛ ЛогЛинФФ
В международной лаборатории логики, лингвистики и формальной философии действуют три семинара:
Теоретический семинар «Формальная философия»
Научно-исследовательский семинар «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 | В.В. Долгоруков | Теорема о полноте для интуиционистской логики | Логическая семантика |
| 17.06.2022 | В.С. Шевченко | Концепция социальных институтов как rules-in-equilibria | From the Logical Point of View |
| 23.09.2022 | Н. Чураков | Введение в эпистемическую теорию игр | From the Logical Point of View |
| 07.10.2022 14.10.2022 | Г.Ю. Филатов | ридинг-семинар "Об универсуме Трактата" | From the Logical Point of View |
| 21.10.2022 | Г.С. Рогонян | Гегель и Витгенштейн о границах мышления | Формальная философия |
| 28.10.2022 | Презентация проекта «Логико-философский калькулятор: интерактивные модели для вычислительной философии и вычислительной семантики» | From the Logical Point of View | |
| 18.11.2022 | Д.С. Шамканов | Циклические и нефундированные выводы в модальной логике | Формальная философия |
| 09.12.2022 | В.А. Аксиотис Е.Л. Попова В. Пригоркина | Логика в лаборатории: анализ рассуждений с применением modus ponens | From the Logical Point of View |
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.