Курс лекцій «Сучасна багатозначна логіка»
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
і
КАФЕДРА ЛОГІКИ
ФИЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ
імені М.В. ЛОМОНОСОВА
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 |
Логіки Лукасевича |
П’ятниця, 16.11.2012
Ауд. 303
|
Час |
Подія |
|
10.00 – 11.20 |
Багатозначна логіка як система оцінок. Теза Сушко |
|
11.20 – 11.40 |
Перерва |
|
11.40 – 13.00 |
Нечітка логіка |
Субота, 17.11.2012
Ауд. 303
|
Час |
Подія |
|
10.00 – 11.20 |
Парадигма багатозначності в некласичній логіці: модальні, релевантні, паранесуперчливі логіки як багатозначні |
|
11.20 – 11.40 |
Перерва |
|
11.40 – 13.00 |
Залік |
