This unit continues the study of logic begun in
HPA291/391 Introduction to Logic. Students will be introduced to modal logics. These are logics enriched with non-truth-functional operators, which can be used to study the logic of possibility and necessity, the logic of time, and the logic of knowledge. Other topics may include the metatheory of propositional logic (including completeness and soundness results), and multi-valued logics.
ASSESSMENT: 2 x 1,000-word assignments (20% ea), 3-hr exam (60%)
FLEXIBLE & ONLINE STUDY OPTIONS Note: Class attendance may still be required
Web supported - H,L Online access to some part of this unit online is optional
Resource dependent teaching & learning - H,L Independent study with provided resources replaces face-to-face or other classes (e.g. lectures)
Video conferencing - H A live video link between campuses is used for at least some teaching in this unit
About Flexible Study Options
Units are offered in attending mode unless otherwise indicated (that is attendance is required at the campus identified). A unit identified as offered by distance, that is there is no requirement for attendance, is identified with a nominal enrolment campus. A unit offered to both attending students and by distance from the same campus is identified as having both modes of study.
Campus - H Hobart, L Launceston, W Burnie. Study Centre - V Sydney, R Rozelle, P Beauty Point. Distance units may also have a campus identifier of I Isolated, N Interstate, O Overseas. Units delivered in Transnational Education (TNE) Programs have a campus identifier of A Hangzhou, F Fuzhou, G Shanghai, K KDU Malaysia, Q Kuwait or Y Hong Kong.