THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2022/2023

Timetable information in the Course Catalogue may be subject to change.

University Homepage
DRPS Homepage
DRPS Search
DRPS Contact
DRPS : Course Catalogue : School of Philosophy, Psychology and Language Sciences : Philosophy

Undergraduate Course: Logic 2: Modal Logics (PHIL10162)

Course Outline
SchoolSchool of Philosophy, Psychology and Language Sciences CollegeCollege of Arts, Humanities and Social Sciences
Credit level (Normal year taken)SCQF Level 10 (Year 3 Undergraduate) AvailabilityAvailable to all students
SCQF Credits20 ECTS Credits10
SummaryThis 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-requisitesVisiting 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 2022/23, Available to all students (SV1) Quota:  45
Course Start Semester 2
Timetable Timetable
Learning and Teaching activities (Further Info) Total Hours: 200 ( Programme Level Learning and Teaching Hours 4, Directed Learning and Independent Learning Hours 196 )
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
No Exam Information
Learning Outcomes
On completion of this course, the student will be able to:
  1. A comprehensive understanding of the syntax and semantics of standard modal logics.
  2. Acquaintance with various standard modal systems.
  3. Understanding how proof methods such as natural deduction and axiomatic systems work with respect to proofs involving modalized sentences.
  4. Understanding the important relation between deontic, epistemic, and temporal logic.
Reading List
None
Additional Information
Graduate Attributes and Skills Not entered
KeywordsLogic,Modality,Necessity,Possibility,Semantics.
Contacts
Course organiserDr Wolfgang Schwarz
Tel:
Email: Wolfgang.Schwarz@ed.ac.uk
Course secretaryMr Peter Cruickshank
Tel: (131 6)503961
Email: pcruicks@exseed.ed.ac.uk
Navigation
Help & Information
Home
Introduction
Glossary
Search DPTs and Courses
Regulations
Regulations
Degree Programmes
Introduction
Browse DPTs
Courses
Introduction
Humanities and Social Science
Science and Engineering
Medicine and Veterinary Medicine
Other Information
Combined Course Timetable
Prospectuses
Important Information