Мини-курс Е. В. Борисова "Модальная логика первого порядка"
В рамках семинара "Логическая семантика" состоится мини-курс "Модальная логика первого порядка" доктора философских наук, профессора кафедры истории философии и логики Томского государственного университета Евгения Васильевича Борисова.
Цель мини-курса:
освоение метода табличного доказательства теорем в пропозициональной и первопорядковой модальной логике. На семинарах будем упражняться в доказательстве теорем и обсуждать интуитивный смысл используемых правил.
Расписание занятий:
- Семинар 1. Табличный метод (метод семантического древа) в пропозициональной и первопорядковой логике.
14 октября, ауд. 512, 18.10-19.30
- Семинар 2. Метод семантического древа в модальной пропозициональной логике.
17 октября, ауд. А-120, 16.40-18.00
- Семинар 3. Метод семантического древа в модальной первопорядковой логике.
18 октября, ауд. 511, 16.40-18.00
18 октября состоятся два семинара с 16.40 до 19.30.
Семинар 1. Табличный метод (метод семантического древа) в пропозициональной и первопорядковой логике
Семинар 2. Метод семантического древа в модальной пропозициональной логике
Семинар 3. Метод семантического древа в модальной первопорядковой логике
Дополнительная литература к семинарам