Колеги з кафедри логіки Київського університету повідомляють, що в найближчі чотири дні (14–17 листопада 2012 р.) московський логік Дмитро Зайцев прочитає курс лекцій на тему «Сучасна багатозначна логіка». Повідомлення та розклад лекцій:
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
і
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ
імені М. В. ЛОМОНОСОВА
14–17 листопада 2012 р.
проводять курс лекцій «Сучасна багатозначна логіка»
за участю
доктора філософських наук, доцента
Зайцева Дмитра Володимировича
(МДУ імені М. В. Ломоносова)
Середа, 14.11.2012
Ауд. 303
Час | Подія |
10:00 – 11:20 | Філософські й математичні передумови виникнення багатозначної логіки |
11:20 – 11:40 | Перерва |
11:40 – 13:00 | Ранні «класичні» системи багатозначної логіки |
Четвер, 15.11.2012
Ауд. 303
Час | Подія |
10:00 – 11:20 | Матричний спосіб задання багатозначних логік. Проблема аксіоматизації |
11:20 – 11:40 | Перерва |
11:40 – 13:00 | Логіки Лукасевича |
Час | Подія |
10:00 – 11:20 | Багатозначна логіка як система оцінок. Теза Сушка |
11:20 – 11:40 | Перерва |
11:40 – 13:00 | Нечітка логіка |
Час | Подія |
10:00 – 11:20 | Парадигма багатозначності в некласичній логіці: модальні, релевантні, паранесуперечливі логіки як багатозначні |
11:20 – 11:40 | Перерва |
11:40 – 13:00 | Залік |