|
Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
(14 сентября–21 декабря 2022 г., МИАН, комн. 313 (ул. Губкина, 8) + online, г. Москва)
|
Традиционно всякая логика, отличная от классической, называется «неклассической». Существует много неклассических логик, которые применяются в основаниях математики, информатике, формальной философии и эпистемологии, лингвистике и т.д. Причины, по которым ту или иную логическую систему называют неклассической, могут быть самыми разнообразными. В частности, неклассической будет любая система, удовлетворяющая хотя бы одному из следующих условий:
- поведение одной из стандартных связок (импликации, дизъюнкции, отрицания, конъюнкции) в ней отличается от классического, например импликация в ней может быть более «релевантной», избегающей так называемых «парадоксов материальной импликации»;
- в её языке присутствуют дополнительные связки, такие как модальные связки «возможно, что…» или «необходимо, что…», чья конкретная интерпретация зависит от области приложений;
- в её языке присутствуют виды кванторов, невыразимые в рамках классической логики первого порядка, такие как «существует бесконечно много x таких, что…».
Неклассические логики могут быть сильно полны относительно подходящей семантики, сильно отличающейся от классической (семантики возможных миров, топологической семантики, алгебраической семантики, теоретико-игровой семантики и т.д.). Вместе с тем для некоторых неклассических логик не существует полных дедуктивных систем ввиду их большой алгоритмической сложности; однако такие логики по-прежнему можно изучать с теоретико-модельной точки зрения.
Очередной доклад: на заседании 21.12.2022 будет доклад К. Шишова о реляционной семантике исчисления Ламбека.
Финансовая поддержка. Семинар проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2022-265).
 Программа
Руководители семинара
Кузнецов Степан Львович
Сперанский Станислав Олегович
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН) |
|
| Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики", г. Москва, 14 сентября–21 декабря 2022 г. |
|
|
21 декабря 2022 г. (ср) |
 |
| 1. |
Семинар 14. Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте
Константин Шишов
21 декабря 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
14 декабря 2022 г. (ср) |
|
| 2. |
Семинар 13. Полиномиальная вероятностная логика для рассуждения о вероятностях
Владимир Карпов
14 декабря 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
7 декабря 2022 г. (ср) |
|
| 3. |
Семинар 12. Монадическая логика второго порядка. Теорема Бюхи–Элгота–Трахтенброта
Павел Соколов
7 декабря 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
30 ноября 2022 г. (ср) |
|
| 4. |
Семинар 11. Логика Гёделя–Лёба. Защищенная рекурсия
Диана Калиниченко
30 ноября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
23 ноября 2022 г. (ср) |
|
| 5. |
Семинар 10. Вложение Int в S4
Григорий Вельмакин
23 ноября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
16 ноября 2022 г. (ср) |
|
| 6. |
Семинар 9. Алгебраический взгляд на неклассические логики
Т. Г. Пшеницын
16 ноября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
2 ноября 2022 г. (ср) |
|
| 7. |
Семинар 8. Мягкая линейная логика
Данила Демин
2 ноября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
26 октября 2022 г. (ср) |
|
| 8. |
Семинар 7. Теоретико-игровая семантика
Георгий Потапов
26 октября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
19 октября 2022 г. (ср) |
|
| 9. |
Семинар 6. Динамическая логика
Глеб Красилич
19 октября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
12 октября 2022 г. (ср) |
|
| 10. |
Семинар 5. Конструктивная математика
Иван Слюсарев
12 октября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
5 октября 2022 г. (ср) |
|
| 11. |
Семинар 4. Логика свидетельств
Е. Л. Попова
5 октября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
28 сентября 2022 г. (ср) |
|
| 12. |
Семинар 3. Интуиционистская логика и некоторые конструктивные логики на её основе
А. В. Грефенштейн
28 сентября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
21 сентября 2022 г. (ср) |
|
| 13. |
Семинар 2: Субструктурные логики и их приложения в лингвистике
С. Л. Кузнецов
21 сентября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
14 сентября 2022 г. (ср) |
|
| 14. |
Семинар 1: Вводный доклад
С. О. Сперанский
14 сентября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
|
|
|
|
|
|
|
Обратная связь: