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

Undergraduate Course: Mathematical Logic (PHIL10053)

Course Outline
SchoolSchool of Philosophy, Psychology and Language Sciences CollegeCollege of Humanities and Social Science
Credit level (Normal year taken)SCQF Level 10 (Year 3 Undergraduate) AvailabilityAvailable to all students
SCQF Credits20 ECTS Credits10
SummaryMathematical Logic: a 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
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 None
Information for Visiting Students
Pre-requisitesVisiting students should have at least 3 Philosophy courses at grade B or above (or be predicted to obtain this). We will only consider University/College level courses.
Course Delivery Information
Not being delivered
Learning Outcomes
To develop further the philosophical skills, and to extend as well as deepen the philosophical knowledge, acquired in previous philosophy courses.
Reading List
None
Additional Information
Course URL http://www.philosophy.ed.ac.uk
Graduate Attributes and Skills Not entered
Special Arrangements There is a course quota of 35.
KeywordsNot entered
Contacts
Course organiserDr Tillman Vierkant
Tel: (0131 6)51 3748
Email: T.Vierkant@ed.ac.uk
Course secretaryMiss Susan Richards
Tel: (0131 6)51 3733
Email: sue.richards@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:37 am