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 2024/25, Available to all students (SV1)
|
Quota: 0 |
| Course Start |
Semester 2 |
Timetable |
Timetable |
| Learning and Teaching activities (Further Info) |
Total Hours:
200
(
Seminar/Tutorial Hours 22,
Programme Level Learning and Teaching Hours 4,
Directed Learning and Independent Learning Hours
174 )
|
| Assessment (Further Info) |
Written Exam
50 %,
Coursework
50 %,
Practical Exam
0 %
|
| Additional Information (Assessment) |
Assignment 1: 20%
Assignment 2: 30%
Exam: 50%
|
| Feedback |
Not entered |
| Exam Information |
| Exam Diet |
Paper Name |
Hours & Minutes |
|
| Main Exam Diet S2 (April/May) | | 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 |
Students will gain skills concerning the understanding of the course¿s content and academic reading by actively participating in the lectures and reading the assigned material. They will gain skills concerning written communication, workload and time management by completing the weekly assignments. Finally, they will gain skills concerning critical thinking by actively participating to the tutorials. By the end of the course, students will have a good understanding of propositional and quantified modal logic and their applications in several philosophical fields, including metaphysics, philosophy of time, epistemology, and ethics. Students will become familiar with formal notions and techniques, learning how to read and write proofs in the language of modal logic and increasing their mathematical abilities. Most of these skills are transferable to a wide range of careers and activities outside philosophy, such as logic and computer science.
Core skills gained or developed on this course:
Being open to different perspectives; Challenging own perspectives and assumptions; Critical thinking; Critical analysis and evaluation; Group work (delegation, influencing, conflict resolution, motivating others, taking responsibility); Preparation, planning and organisation; Independence; Problem solving; Academic reading skills; Research skills; Self-reflection; Taking initiative; Time management; Understanding broader perspectives; Workload management; Writing clearly and concisely; Written communication; Formulating original arguments and justifying it. |
| Keywords | Logic,Modality,Necessity,Possibility,Semantics. |
Contacts
| Course organiser | Mr Matteo Nizzardo
Tel:
Email: mnizzard@ed.ac.uk |
Course secretary | Ms Joan MacKenzie
Tel:
Email: jmacken8@ed.ac.uk |
|
|
University Homepage