Семинары МЛ ЛогЛинФФ
В международной лаборатории логики, лингвистики и формальной философии действуют следующие регулярные семинары:
Теоретический семинар «Формальная философия»
Научно-исследовательский семинар «From the Logical Point of View»
Научно-учебный семинар «Логическая семантика»
Ридинг-семинар «Analytics»
Научно-учебный семинар «Математическая Логика и Теория Категорий»
Научно-учебный семинар «Дополнительные главы логики»
Прошедшие семинары
Дата | Докладчики / Модераторы | Тема | Семинар
|
| 18.01.2025 | Э.А. Бирючевский | Естественные преобразования. Часть 1 | Математическая логика и теория категорий |
| 23.01.2025 | И.О. Пыльцын | Алгебраическая логика-1 | Логическая семантика |
| 25.01.2025 | Обсуждение статьи К. Fine "The Question of Realism" | Analytics | |
| 24.01.2025 | Э.Б. Рахманкулов | Логико-грамматическая теория в проекте универсального языка Дж. Дальгарно | Формальная философия-90 |
| 25.01.2025 | Э.А. Бирючевский | Естественные преобразования. Часть 2 | Математическая логика и теория категорий |
| 28.01.2025 | Ю.О. Копчева | Континуальные множества | Дополнительные главы логики |
| 29.01.2025 | И.О. Пыльцын | Алгебраическая логика-2 | Логическая семантика |
| 31.01.2025 | Н.С. Янофский | Self-Referential Paradoxes | Формальная философия-91 |
| 04.02.2025 | Ю.О. Копчева | Порядки на множествах | Дополнительные главы логики |
| 05.02.2025 | И.О. Пыльцын | Алгебраическая логика-3 | Логическая семантика |
| 07.02.2025 | А. Коченков | Проблемы автономности неконцептуального ментального содержания | From the Logical Point of View |
| 12.02.2025 | И.О. Пыльцын | Алгебраическая логика-4 | Логическая семантика |
| 14.02.2025 | Д.Н. Федянин | Топологический подход к формальным моделям убеждений (beliefs) | From the Logical Point of View |
| 15.02.2025 | Э.А. Бирючевский | Сопряженные функторы | Математическая логика и теория категорий |
| 18.02.2025 | Ю.О. Копчева | Математическая индукция | Дополнительные главы логики |
| 19.02.2025 | И.О. Пыльцын | Алгебраическая логика-5 | Логическая семантика |
| 21.02.2025 | В.Г. Денисова, Р.П. Кавассане | Applying the theory of quasi-truth for clarification of cognitive distortions | From the Logical Point of View |
| 22.02.2025 01.03.2025 | Обсуждение статьи A. Moran "Disjunctivism and the Causal Conditions of Hallucination" | Analytics | |
| 26.02.2025 | И.О. Пыльцын | Алгебраическая логика-6 | Логическая семантика |
| 28.02.2025 | У. Нат | A Puzzle about Wisdom: Stability, Bias, and Reflection | From the Logical Point of View |
| 05.03.2025 | И.О. Пыльцын | Алгебраическая логика-7 | Логическая семантика |
| 12.03.2025 | И.О. Пыльцын | Алгебраическая логика-8 | Логическая семантика |
| 14.03.2025 | А.В. Кузнецов | Морской Ёж: формальная теория познания на основе графов | From the Logical Point of View |
| 19.03.2025 | И.О. Пыльцын | Алгебраическая логика-9 | Логическая семантика |
| 21.03.2025 | И.А. Гущин | Метафизика в философии математики и эпистемологические последствия для доказательства | Формальная философия-92 |
| 22.03.2025 29.03.2025 05.04.2025 | M. Queloz "Function-Based Conceptual Engineering and the Authority Problem" | Analytics | |
| 29.03.2025 | А.А. Григорян | Введение в декартово закмнутые категории. Экспоненциалы | Математическая логика и теория категорий |
| 04.04.2025 | А. Вольский | Эпистемология математики между прагматизмом и эмпиризмом | From the Logical Point of View |
| 05.04.2025 | А.А. Григорян | Гейтинговы алгебры и декартово закмнутые категории | Математическая логика и теория категорий |
| 08.04.2025 | И.О. Пыльцын | Алгебраическая логика-10 | Логическая семантика |
| 09.04.2025 | Ю.С. Казаков | Натуральный вывод в древесной форме для классической и интуиционистской логики | Дополнительные главы логики |
| 11.04.2025 | Э. Дзардини | Black Boxes: The Semantics and Logic of Obliterative Modalities | Формальная философия-93 |
| 12.04.2025 | А.А. Григорян | Лямбда исчисление и декартово закмнутые категории ч.1 | Математическая логика и теория категорий |
| 12.04.2025 | Обсуждение статьи J.J. Kupperman "The Indispensability of Character" | Analytics | |
| 15.04.2025 | И.О. Пыльцын | Алгебраическая логика-11 | Логическая семантика |
| 15.04.2025 | Ю.С. Казаков | Теорема о нормальной форме (нормализации) ч.1 | Дополнительные главы логики |
| 18.04.2025 | Е.В. Мельникова | Теория понимания у раннего Хайдеггера: трансцендентально-феноменологическая перспектива | Формальная философия-94 |
| 19.04.2025 | А.А. Григорян | Лямбда исчисление и декартово закмнутые категории ч.2 | Математическая логика и теория категорий |
| 22.04.2025 | И.О. Пыльцын | Алгебраическая логика-12 | Логическая семантика |
| 22.04.2025 | Ю.С. Казаков | Теорема о нормальной форме (нормализации) ч.2 | Дополнительные главы логики |
| 25.04.2025 | А.А. Поддьяков | Диалоги с чатами больших языковых моделей на тему "Поставь совершенно новую научную проблему в ...» | Формальная философия-95 |
| 10.05.2025 | Обсуждение статьи Michael Devitt "Relying on Intuitions: Where Cappelen and Deutsch Go Wrong" | Analytics | |
| 16.05.2025 | П. Штекелер-Вайтхофер | Concepts of objects. On the logical significance of Hegel’s criticism of infinitesimals | Формальная философия-96 |
| 23.05.2025 | И.А. Соболев | Имплицированное и сказанное. Несколько контрпримеров к дихотомии значения Пола Грайса | Формальная философия-97 |
| 30.05.2025 | Ю.С. Казаков | Модальная логика с точки зрения теоретико-доказательственной семантики | From the Logical Point of View |
| 31.05.2025 07.06.2025 | Обсуждение статьи Costanza Larese "Hintikka’s conception of syntheticity as the introduction of new individuals" | Analytics | |
| 06.06.2025 | Ю.О. Копчева | Модификация аксиом о позитивности в онтологическом доказательстве Геделя | From the Logical Point of View |
| 13.06.2025 | Д.П. Попова | Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции | From the Logical Point of View |
| 27.06.2025 | С.П. Одинцов | Модальная логика Мойсила и родственные системы | Формальная философия-98 |
| 10.09.2025 | Р.И. Аюпов | Frege's Philosophy of Language: On the Way to Pragmatics? | Формальная философия-99 |
| 13.09.2025 | С.Н. Артёмов | The consistency of Peano Arithmetic PA is provable in PA, after all | Математическая логика и теория категорий |
| 17.09.2025 | В.В. Долгоруков | Основы теории сложности: машины Тьюринга | Логическая семантика |
| 17.09.2025 | А.Ю. Моисеева | Набросок логики интенционального двойничества в контексте рассуждений о фикциях (ICFR Logic). Язык и семантика» | Формальная философия-100 |
| 01.10.2025 | В.В. Долгоруков | Основы теории сложности: О-большое и о-малое | Логическая семантика |
| 24.09.2025 01.10.2025 | И.В. Зайцев | Классические и интуиционистские кондициональные логики: метатеория, семантика, теория доказательств | From the Logical Point of View |
| 04.10.2025 | Дж. Халперн | Математическая логика и теория категорий | |
| 08.10.2025 | А.Д. Савелов | П.Ф. Стросон и инструменталистский подход к моральной ответственности | Формальная философия-101 |
| 15.10.2025 | И.О. Пыльцин | Нефундированная система исчисления на примере интуиционистской и модальных логик | From the Logical Point of View |
| 22.10.2025 | Г.Ю. Филатов | Сначала были факты: логический холизм и метафилософский квиетизм раннего Витгенштейна | Формальная философия-102 |
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.