Логічний семінар «Сучасна релевантна логіка»
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
та
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
МОСКОВСЬКОГО ДЕРЖАВНОГО УНІВЕРСИТЕТУ
імені М.В. ЛОМОНОСОВА
26 – 28 квітня 2012
проводить логічний семінар
«Сучасна релевантна логіка»
Лектор: к.філос.н., доц. Зайцев Дмитро Володимирович (МДУ)
Програма логічного семінару
Четвер, 26.04.2012
|
Час |
Подія |
|
10.00 – 11.20 |
Мотивація та передісторія виникнення релевантної логіки. |
|
11.20 – 11.40 |
Перерва |
|
11.40 – 13.00 |
Алгебра релевантної логіки першого рівня. |
П’ятниця, 27.04.2012
|
Час |
Подія |
|
10.00 – 11.20 |
Семантика релевантної логіки першого рівня. |
|
11.20 – 11.40 |
Перерва |
|
11.40 – 13.00 |
Семантика релевантної логіки першого рівня. |
Субота, 28.04.2012
|
Час |
Подія |
|
10.00 – 11.20 |
Релевантна логіка вищого рівня. Аксіоматизація. |
|
11.20 – 11.40 |
Перерва |
|
11.40 – 13.00 |
Семантика системи R. |
