RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB


Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
7 сентября–28 декабря 2020 г., МИАН, конф. зал 9-й этаж (ул. Губкина, 8), г. Москва

Со школьной скамьи мы узнаём, что рассуждение, содержащее "логический круг", является некорректным. Чтобы подчеркнуть эту мысль, сами "логические круги" также называют "порочными", а о рассуждении говорят, что оно содержит "порочный круг". В нашем курсе по формальной логике мы познакомимся с дедуктивными системами, в которых удивительным образом можно встретить вполне законные и, при этом, формальные "круговые" (или циклические) доказательства. Более того, мы рассмотрим произвольные доказательства, в которых движение от заключения к посылкам может продолжаться бесконечно долго, не приходя к аксиомам. Мы планируем сосредоточиться на двух примерах дедуктивных систем, в которых можно встретить циклические доказательства: на логике доказуемости Гёделя–Лёба и на логике действий (логике алгебр Клини с делениями). От слушателей ожидается знакомство с классическим исчислением высказываний.

Финансовая поддержка. Курс проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).

Заметки к курсу:
Д.С. Шамканов, Циклические и нефундированные выводы в модальных логиках $GL$ и $GL_\infty$ (21.09.2020)

Программа

Регистрация участников

RSS: Ближайшие семинары

Руководители семинара
Кузнецов Степан Львович
Шамканов Данияр Салкарбекович

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства", г. Москва, 7 сентября–28 декабря 2020 г.

5 октября 2020 г. (пн)
1. Лекция 5. Циклические доказательства
С. Л. Кузнецов, Д. С. Шамканов
5 октября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)

28 сентября 2020 г. (пн)
2. Лекция 4. Циклические доказательства
С. Л. Кузнецов, Д. С. Шамканов
28 сентября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)

21 сентября 2020 г. (пн)
3. Лекция 3. Нефундированные выводы и алгебраическая семантика
С. Л. Кузнецов, Д. С. Шамканов
21 сентября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
  

14 сентября 2020 г. (пн)
4. Лекция 2. Доказуемостная интерпретация логики Гёделя-Лёба
Д. С. Шамканов
14 сентября 2020 г. 16:30, г. Москва, МИАН,конф. зал 9 этаж, (ул. Губкина, 8)
  

7 сентября 2020 г. (пн)
5. Лекция 1. Циклические выводы в логике Гёделя-Лёба
Д. С. Шамканов
7 сентября 2020 г. 16:00, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
Д. С. Шамканов
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020