Курс лекцій «Релевантна логіка» в КНУ

В Київському національному університеті події найближчого часу, пов’язані з логікою, не вичерпуються міжнародним семінаром «Філософія і логіка». Практично одразу після заходу, 27–30 травня ць. р. учасник семінару Зайцев Д. В. (МДУ, Москва) прочитає на філософському факультеті курс лекцій «Релевантна логіка». Наводимо план лекцій:

КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА

і

КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ
імені М. В. ЛОМОНОСОВА

27 – 30 травня 2013 р.

проводять курс лекцій

«Релевантна логіка»

за участю

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

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

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

 


Програма


 

Понеділок, 27.05.2013
Ауд. 326
Час Подія
10:00 – 11:20 Парадокси експлікації умовного зв’язку і логічне випливання
11:20 – 11:40 Перерва
11:40 – 13:00 Релевантна логіка першого рівня (FDE): мова, числення, алгебраїчна структура

 

Вівторок, 28.05.2013
Ауд. 326
Час Подія
10:00 – 11:20 Інформаційна семантика Войшвилло для системи FDE
11:20 – 11:40 Перерва
11:40 – 13:00 Чотиризначна релевантна логіка Данна-Белнапа

 

Середа, 29.05.2013
Ауд. 326
Час Подія
10:00 – 11:20 Системи релевантної логіки високого рівня R, E, T, їхні властивості
11:20 – 11:40 Перерва
11:40 – 13:00 Модальність та імплікація

 

Четвер, 30.05.2013
Ауд. 326
Час Подія
10:00 – 11:20 Система R, натуральна побудова
11:20 – 11:40 Перерва
11:40 – 13:00 Семантика можливих світів для системи R