В Київському національному університеті події найближчого часу, пов’язані з логікою, не вичерпуються міжнародним семінаром «Філософія і логіка». Практично одразу після заходу, 27–30 травня ць. р. учасник семінару Зайцев Д. В. (МДУ, Москва) прочитає на філософському факультеті курс лекцій «Релевантна логіка». Наводимо план лекцій:
і
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ
імені М. В. ЛОМОНОСОВА
27 – 30 травня 2013 р.
проводять курс лекцій
за участю
доктора філософських наук, доцента
Зайцева Дмитра Володимировича
(МДУ імені М.В. Ломоносова)
| Час | Подія |
|---|---|
| 10:00 – 11:20 | Парадокси експлікації умовного зв’язку і логічне випливання |
| 11:20 – 11:40 | Перерва |
| 11:40 – 13:00 | Релевантна логіка першого рівня (FDE): мова, числення, алгебраїчна структура |
| Час | Подія |
|---|---|
| 10:00 – 11:20 | Інформаційна семантика Войшвилло для системи FDE |
| 11:20 – 11:40 | Перерва |
| 11:40 – 13:00 | Чотиризначна релевантна логіка Данна-Белнапа |
| Час | Подія |
|---|---|
| 10:00 – 11:20 | Системи релевантної логіки високого рівня R, E, T, їхні властивості |
| 11:20 – 11:40 | Перерва |
| 11:40 – 13:00 | Модальність та імплікація |
| Час | Подія |
|---|---|
| 10:00 – 11:20 | Система R, натуральна побудова |
| 11:20 – 11:40 | Перерва |
| 11:40 – 13:00 | Семантика можливих світів для системи R |