
Курс лекцій «Релевантна логіка» в КНУ
В Київському національному університеті події найближчого часу, пов’язані з логікою, не вичерпуються міжнародним семінаром «Філософія і логіка». Практично одразу після заходу, 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 |
- Версія для друку
- Увійдіть щоб залишати відгуки
Останні коментарі
7 years 8 weeks тому
10 years 22 weeks тому
12 years 5 weeks тому
12 years 8 weeks тому
12 years 13 weeks тому
12 years 24 weeks тому
12 years 24 weeks тому
12 years 24 weeks тому
12 years 32 weeks тому
12 years 32 weeks тому