Undergraduate Course: Logic 2: Modal Logics (PHIL10162)
Course Outline
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 |
SCQF Credits | 20 |
ECTS Credits | 10 |
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.
|
Course description |
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)
Pre-requisites |
Students MUST have passed:
Logic 1 (PHIL08004)
|
Co-requisites | |
Prohibited Combinations | |
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? |
Yes |
Course Delivery Information
Not being delivered |
Learning Outcomes
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.
|
Additional Information
Graduate Attributes and Skills |
Not entered |
Keywords | Logic,Modality,Necessity,Possibility,Semantics. |
Contacts
Course organiser | Dr Wolfgang Schwarz
Tel:
Email: |
Course secretary | Mr Peter Cruickshank
Tel: (131 6)503961
Email: |
|
|