Курс лекцій Шрамка Ярослава Владиславовича
КАФЕДРА ЛОГІКИ
ФІЛОСОФСЬКОГО ФАКУЛЬТЕТУ
КИЇВСЬКОГО НАЦІОНАЛЬНОГО УНІВЕРСИТЕТУ
імені ТАРАСА ШЕВЧЕНКА
18 – 20 грудня 2013 р.
проводить курс лекцій
«Інтуїціоністська логіка»
доктора філософських наук, професора
Шрамка Ярослава Владиславовича
Програма
Середа, 18.12.2013
Ауд. 326
|
Час |
Подія |
|
12.00 – 13.20 |
Філософські засади інтуїціоністської логіки, основні поняття та визначення. |
Четвер, 19.12.2013
Ауд. 326
|
Час |
Подія |
|
11.00 – 12.20 |
Розбудова інтуїціоністського числення висловлювань, його характеристичні властивості |
|
12.20 – 12.40 |
Перерва |
|
12.40 – 14.00 |
Семантика Кріпке для інтуїціоністської логіки, її філософський зміст |
П’ятниця, 20.12.2013
Ауд. 326
|
Час |
Подія |
|
11.00 – 12.20 |
Інтуїціоністська логіка серед інших конструктивних логік. |
|
12.20 – 13.00 |
Залік |
