
Курс лекцій «Релевантна логіка» в КНУ
В Київському національному університеті події найближчого часу, пов’язані з логікою, не вичерпуються міжнародним семінаром «Філософія і логіка». Практично одразу після заходу, 27–30 травня ць. р. учасник семінару Зайцев Д. В. (МДУ, Москва) прочитає на філософському факультеті курс лекцій «Релевантна логіка». Наводимо план лекцій:
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
і
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНИВЕРСИТЕТУ
імені М. В. ЛОМОНОСОВА
27 – 30 травня 2013 р.
проводять курс лекцій
«Релевантна логіка»
за участю
доктора філософських наук, доцента
Зайцева Дмитра Володимировича
(МДУ імені М.В. Ломоносова)
Програма
Понеділок, 27.05.2013
Ауд. 326
Ауд. 326
Час | Подія |
---|---|
10:00 – 11:20 | Парадокси експлікації умовного зв’язку і логічне випливання |
11:20 – 11:40 | Перерва |
11:40 – 13:00 | Релевантна логіка першого рівня (FDE): мова, числення, алгебраїчна структура |
Вівторок, 28.05.2013
Ауд. 326
Ауд. 326
Час | Подія |
---|---|
10:00 – 11:20 | Інформаційна семантика Войшвилло для системи FDE |
11:20 – 11:40 | Перерва |
11:40 – 13:00 | Чотиризначна релевантна логіка Данна-Белнапа |
Середа, 29.05.2013
Ауд. 326
Ауд. 326
Час | Подія |
---|---|
10:00 – 11:20 | Системи релевантної логіки високого рівня R, E, T, їхні властивості |
11:20 – 11:40 | Перерва |
11:40 – 13:00 | Модальність та імплікація |
Четвер, 30.05.2013
Ауд. 326
Ауд. 326
Час | Подія |
---|---|
10:00 – 11:20 | Система R, натуральна побудова |
11:20 – 11:40 | Перерва |
11:40 – 13:00 | Семантика можливих світів для системи R |
- Версія для друку
- Увійдіть щоб залишати відгуки
Останні коментарі
5 years 19 weeks тому
8 years 32 weeks тому
10 years 15 weeks тому
10 years 18 weeks тому
10 years 24 weeks тому
10 years 35 weeks тому
10 years 35 weeks тому
10 years 35 weeks тому
10 years 43 weeks тому
10 years 43 weeks тому