Undergraduate Course: Mathematical Logic (PHIL10053)
Course Outline
| School | School of Philosophy, Psychology and Language Sciences |
College | College of Humanities and Social Science |
| Course type | Standard |
Availability | Available to all students |
| Credit level (Normal year taken) | SCQF Level 10 (Year 3 Undergraduate) |
Credits | 20 |
| Home subject area | Philosophy |
Other subject area | None |
| Course website |
http://www.philosophy.ed.ac.uk |
Taught in Gaelic? | No |
| Course description | Mathematical 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 |
Entry Requirements (not applicable to Visiting Students)
| Pre-requisites |
Students MUST have passed:
Logic 1 (PHIL08004)
|
Co-requisites | |
| Prohibited Combinations | |
Other requirements | None |
| Additional Costs | None |
Information for Visiting Students
| Pre-requisites | Visiting 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. |
| Displayed in Visiting Students Prospectus? | Yes |
Course Delivery Information
|
| Delivery period: 2012/13 Semester 2, Available to all students (SV1)
|
WebCT enabled: Yes |
Quota: 35 |
| Location |
Activity |
Description |
Weeks |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
| Central | Lecture | | 1-11 | | 16:10 - 18:00 | | | |
| First Class |
First class information not currently available |
| No Exam Information |
Summary of Intended Learning Outcomes
| To develop further the philosophical skills, and to extend as well as deepen the philosophical knowledge, acquired in previous philosophy courses. |
Assessment Information
exam 100%
or
coursework dissertation 100% (not available to visiting students) |
Special Arrangements
| There is a course quota of 35. |
Additional Information
| Academic description |
Not entered |
| Syllabus |
Not entered |
| Transferable skills |
Not entered |
| Reading list |
Not entered |
| Study Abroad |
Not entered |
| Study Pattern |
Not entered |
| Keywords | Not entered |
Contacts
| Course organiser | Dr Tillman Vierkant
Tel: (0131 6)51 3748
Email: |
Course secretary | Miss Susan Richards
Tel: (0131 6)51 3733
Email: |
|
© Copyright 2012 The University of Edinburgh - 6 March 2012 6:29 am
|
University Homepage