2012

Курс лекцій «Сучасна багатозначна логіка»

Колеги з кафедри логіки Київського університету повідомляють, що в найближчі чотири дні (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 Логіки Лукасевича

 

П’ятниця, 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 Залік