THE UNIVERSITY of EDINBURGH

DEGREE REGULATIONS & PROGRAMMES OF STUDY 2014/2015
Archive for reference only
THIS PAGE IS OUT OF DATE

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

Postgraduate Course: Mathematical Logic (MSc) (PHIL11044)

Course Outline
SchoolSchool of Philosophy, Psychology and Language Sciences CollegeCollege of Humanities and Social Science
Credit level (Normal year taken)SCQF Level 11 (Postgraduate) AvailabilityAvailable to all students
SCQF Credits20 ECTS Credits10
SummaryA one-semester course in mathematical logic covering the following topics. Basic arithmetic and set theory (including cardinality, diagonalization, inductive definitions). Review of introductory logic. The Completeness theorem for first-order logic and related metalogical results. Theory of computability (Turing machines and recursive functions). Axiomatic systems of arithmetic. Limitative results: undecidability and incompleteness). Supplementary topics may include extended logics (modal and second-order) and non-classical logics (intuitionistic and many-valued) logics.

Shared with UG Course PHIL10053 Mathematical Logic.
Course description Not entered
Entry Requirements (not applicable to Visiting Students)
Pre-requisites Students MUST have passed: Logic 1 (PHIL08004)
Co-requisites
Prohibited Combinations Other requirements Students holding an undergraduate degree from another institution should have passed an introductory course in logic before taking this course.
Information for Visiting Students
Pre-requisitesVisiting students should have passed an introductory course in logic. We will only consider University/College level courses.
Course Delivery Information
Not being delivered
Learning Outcomes
Students who have completed this course should be able to:
* Demonstrate a good understanding of the semantics (and deductive systems) for propositional and first-order logic
* Demonstrate a good understanding of the proofs of the soundness and completeness theorems, and related metalogical results, for propositional and first-order logic
* Demonstrate a good understanding of the formalization of arithmetic, and the limitative / incompleteness results for formal systems of arithmetic
Reading List
None
Additional Information
Graduate Attributes and Skills Not entered
KeywordsNot entered
Contacts
Course organiserDr Tillman Vierkant
Tel: (0131 6)51 3748
Email: T.Vierkant@ed.ac.uk
Course secretaryMiss Lynsey Buchanan
Tel: (0131 6)51 5002
Email: Lynsey.Buchanan@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
 
© Copyright 2014 The University of Edinburgh - 12 January 2015 4:38 am