Classical logic is what you study in introductory units such as PHIL1012. This unit covers major extensions of and alternatives to classical logic, such as temporal, modal, intuitionist, relevance, and many-valued logics. As well as looking at the internal workings of these logics, we examine some of their applications, and the philosophical issues surrounding them.
1x2hr lecture/week, 1x1hr tutorial/week
assignments (50%) and 1x2hr exam (50%)