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
|
| Academic year 2019/20, Available to all students (SV1)
|
Quota: 45 |
| Course Start |
Semester 1 |
Timetable |
Timetable |
| Learning and Teaching activities (Further Info) |
Total Hours:
200
(
Seminar/Tutorial Hours 42,
Programme Level Learning and Teaching Hours 4,
Directed Learning and Independent Learning Hours
154 )
|
| Assessment (Further Info) |
Written Exam
50 %,
Coursework
50 %,
Practical Exam
0 %
|
| Additional Information (Assessment) |
Assignment 1: 20%
Assignment 2: 30%
Final exam: 50%
|
| Feedback |
Not entered |
| Exam Information |
| Exam Diet |
Paper Name |
Hours & Minutes |
|
| Main Exam Diet S1 (December) | | 2:00 | | | Resit Exam Diet (April/May Sem 1 resits only) | | 2:00 | |
|
| Academic year 2019/20, Part-year visiting students only (VV1)
|
Quota: 10 |
| Course Start |
Semester 1 |
Timetable |
Timetable |
| Learning and Teaching activities (Further Info) |
Total Hours:
200
(
Seminar/Tutorial Hours 32,
Programme Level Learning and Teaching Hours 4,
Directed Learning and Independent Learning Hours
164 )
|
| Assessment (Further Info) |
Written Exam
50 %,
Coursework
50 %,
Practical Exam
0 %
|
| Additional Information (Assessment) |
Assignment 1: 20%
Assignment 2: 30%
Final exam: 50%
|
| Feedback |
Not entered |
| Exam Information |
| Exam Diet |
Paper Name |
Hours & Minutes |
|
| Main Exam Diet S1 (December) | | 2:00 | | | Resit Exam Diet (April/May Sem 1 resits only) | | 2:00 | |
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: Wolfgang.Schwarz@ed.ac.uk |
Course secretary | Miss Ann-Marie Cowe
Tel: (0131 6)50 3961
Email: Annmarie.Cowe@ed.ac.uk |
|
|
University Homepage