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

КАФЕДРА ЛОГІКИ
Ф
ІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИ
ЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ

імені ТАРАСА ШЕВЧЕНКА

і

КАФЕДРА ЛОГІКИ

ФИЛОСОФСЬКОГО ФАКУЛЬТЕТУ

МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ

імені М.В. ЛОМОНОСОВА

31 жовтня5 листопада 2013 р.

проводить курс лекцій «Сучасна багатозначна логіка»

 за участю

доктора філософських наук, професора

Зайцева Дмитра Володимировича

(МДУ імені М.В. Ломоносова)


Програма

 

Четвер, 31.10.2013

Ауд. 326

Час

Подія

10.00 – 11.20

Філософські й математичні передумови виникнення багатозначної логіки

11.20 – 11.40

Перерва

11.40 – 13.00

Ранні «класичні» системи багатозначної логіки

 

П’ятниця, 1.11.2013

Ауд. 326

Час

Подія

10.00 – 11.20

Матричний спосіб завдання багатозначних логік. Проблема аксіоматизації

11.20 – 11.40

Перерва

11.40 – 13.00

Логіки Лукасевича

 

Понеділок, 4.11.2013

Ауд. 326

Час

Подія

10.00 – 11.20

Багатозначна логіка як система оцінок. Теза Сушко

11.20 – 11.40

Перерва

11.40 – 13.00

Нечітка логіка

 

Вівторок, 5.11.2013

Ауд. 326

Час

Подія

10.00 – 11.20

Парадигма багатозначності в некласичній логіці: модальні, релевантні, паранесуперчливі логіки як багатозначні

11.20 – 11.40

Перерва

11.40 – 13.00

Залік