因
授课地点:费彝民楼(新闻传播学院楼)二楼210室
时间:下午两点至五点(三学时,含讲授、讨论、习题训练)
日期:2011年12月29、30日
2012年1月3、4、5、9、10、11、12、13日。
(
授课内容:
Introduction
Session 1, December 29. Review of classical logic, the material conditional and the existential quantifier. (1.1-1.10, 12.1-12.7)
Conditionals
Session 2, December 30. Modal logic and the strict conditional. (2.1-2.8, 3.1-3.6, 4.5-4.9)
Session 3, January 3. Conditional logic. (5.1-5.5, and maybe 5.6-5.8)
Session 4, January 4. Intuitionist logic and its conditional. (6.1-6.6)
Session 5, January 5. Many-valued logics and their conditionals. (7.1-7.10)
Session 6, January 9. Relevant logic. (8.1-8.6, 10.1-10.4)
Session 7, January 10. Fuzzy logic, and modus ponens. (11.1-11.6)
Existence
Session 8, January 11. Free logic. (13.1-13.5)
Session 9, January 12. Quantified modal logic. (14.1-14.5, 15.1-15.4)
Session 10 January 13. Existence in intuitionistic logic and many-valued logics. (20.1-20.6, 21.1-21.7)
