Undergraduate Course: Logic 2: Modal Logics (PHIL10162)
|School||School of Philosophy, Psychology and Language Sciences
||College||College of Arts, Humanities and Social Sciences
|Credit level (Normal year taken)||SCQF Level 10 (Year 3 Undergraduate)
||Availability||Available to all students
|Summary||This course is a follow-on course to Logic 1, exploring the logics of various non-truth-functional concepts such as necessity, knowledge, obligation, past and future, as well as general ideas from meta-logic.
This course covers "modal" extensions of classical propositional and predicate logic and some of their applications, such as the logic of possibility and necessity, the logic of knowledge and belief, the logic of obligation and permission, and the logic of time. Throughout, the model-theoretic perspective on logic will be in the foreground. That is, we will spend comparatively little time learning new proof rules, and more time thinking about how to formalise the concepts of validity and logical consequence. We will also cover elementary results in meta-logic such as the ideas of soundness and completeness.
Entry Requirements (not applicable to Visiting Students)
|| Students MUST have passed:
Logic 1 (PHIL08004)
||Other requirements|| None
Information for Visiting Students
|Pre-requisites||Visiting students should have completed at least 3 Philosophy courses at grade B or above including the equivalent of Logic 1. We will only consider University/College level courses. Applicants should note that, as with other popular courses, meeting the minimum does NOT guarantee admission. **Please note that 3rd year Philosophy courses are high-demand, meaning that they have a very high number of students wishing to enrol in a very limited number of spaces.** These enrolments are managed strictly by the Visiting Student Office, in line with the quotas allocated by the department, and all enquiries to enrol in these courses must be made through the CAHSS Visiting Student Office. It is not appropriate for students to contact the department directly to request additional spaces.
|High Demand Course?
Course Delivery Information
|Academic year 2023/24, Available to all students (SV1)
|Learning and Teaching activities (Further Info)
Seminar/Tutorial Hours 42,
Programme Level Learning and Teaching Hours 4,
Directed Learning and Independent Learning Hours
|Assessment (Further Info)
|Additional Information (Assessment)
||Assignment 1: 20%
Assignment 2: 30%
|No Exam Information
On completion of this course, the student will be able to:
- A comprehensive understanding of the syntax and semantics of standard modal logics.
- Acquaintance with various standard modal systems.
- Understanding how proof methods such as natural deduction and axiomatic systems work with respect to proofs involving modalized sentences.
- Understanding the important relation between deontic, epistemic, and temporal logic.
|Graduate Attributes and Skills
|Course organiser||Dr Wolfgang Schwarz
|Course secretary||Mr Peter Cruickshank
Tel: (131 6)50 3961