Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs" September 7–December 14, 2020, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
From high school we know that an argument which contains a "logical
circle" is incorrect. In order to emphasize this, these "logical circles" are
called "vicious," and the argument itself is marked ill-formed, since it
contains a "vicious circle." In our formal logic course, we shall become
acquainted with deductive systems which surprisingly allow absolutely
legitimate and, at the same time, formally "circular" (or "cyclic") proofs.
Moreover, we shall consider arbitrary proofs in which the way from the
conclusion to premises can be infinite, never reaching an axiom. We plan
to concentrate on two examples of deductive systems where one can find
circular proofs: Gödel–Löb provability logic and action logic (the logic
of residuated Kleene algebras). As a prerequisite for this course, the
attendees are supposed to be familiar with classical propositional
calculus.
Announcement the lecture on November 16th is cancelled.
Financial support. The course is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, Agreement no. 075-15-2019-1614).
Program
Lecturers
Kuznetsov Stepan Lvovich
Shamkanov Daniyar Salkarbekovich
Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow Steklov International Mathematical Center |
|
Course by S. L. Kuznetsov and D. S. Shamkanov "Circular proofs", September 7–December 14, 2020 |
|
|
December 14, 2020 (Mon) |
![](/gifs/1pts.gif) |
1. |
Lecture 14. Circular proofs S. L. Kuznetsov, D. S. Shamkanov December 14, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
December 7, 2020 (Mon) |
![](/gifs/1pts.gif) |
2. |
Lecture 13. Circular proofs S. L. Kuznetsov, D. S. Shamkanov December 7, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
November 30, 2020 (Mon) |
![](/gifs/1pts.gif) |
3. |
Lecture 12. Circular proofs S. L. Kuznetsov, D. S. Shamkanov November 30, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
November 23, 2020 (Mon) |
![](/gifs/1pts.gif) |
4. |
Lecture 11. Circular proofs S. L. Kuznetsov, D. S. Shamkanov November 23, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
November 9, 2020 (Mon) |
![](/gifs/1pts.gif) |
5. |
Lecture 10. Circular proofs S. L. Kuznetsov, D. S. Shamkanov November 9, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
November 2, 2020 (Mon) |
![](/gifs/1pts.gif) |
6. |
Lecture 9. Circular proofs S. L. Kuznetsov, D. S. Shamkanov November 2, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
October 26, 2020 (Mon) |
![](/gifs/1pts.gif) |
7. |
Lecture 8. Circular proofs S. L. Kuznetsov, D. S. Shamkanov October 26, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
October 19, 2020 (Mon) |
![](/gifs/1pts.gif) |
8. |
Lecture 7. Circular proofs S. L. Kuznetsov, D. S. Shamkanov October 19, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
October 12, 2020 (Mon) |
![](/gifs/1pts.gif) |
9. |
Lecture 6. Circular proofs S. L. Kuznetsov, D. S. Shamkanov October 12, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
October 5, 2020 (Mon) |
![](/gifs/1pts.gif) |
10. |
Lecture 5. Circular proofs S. L. Kuznetsov, D. S. Shamkanov October 5, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
September 28, 2020 (Mon) |
![](/gifs/1pts.gif) |
11. |
Lecture 4. Circular proofs S. L. Kuznetsov, D. S. Shamkanov September 28, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
September 21, 2020 (Mon) |
![](/gifs/1pts.gif) |
12. |
Lecture 3. Circular proofs S. L. Kuznetsov, D. S. Shamkanov September 21, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
September 14, 2020 (Mon) |
![](/gifs/1pts.gif) |
13. |
Лекция 2. Доказуемостная интерпретация логики Гёделя-Лёба D. S. Shamkanov September 14, 2020 16:30, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
|
|
September 7, 2020 (Mon) |
![](/gifs/1pts.gif) |
14. |
Лекция 1. Циклические выводы в логике Гёделя-Лёба D. S. Shamkanov September 7, 2020 16:00, Steklov Mathematical Institute, Conference hall, 9th floor (8 Gubkina)
|
|
|
|
![](/gifs/1pts.gif) |
|