PH419
Set Theory and Further Logic
This information is for the 2014/15 session.
Teacher responsible
Prof David Makinson LAK3.06
Availability
This course is available on the MPhil/PhD in Philosophy of the Social Sciences, MSc in Economics and Philosophy, MSc in Philosophy of Science and MSc in Philosophy of the Social Sciences. This course is available as an outside option to students on other programmes where regulations permit.
Pre-requisites
Introductory level logic.
Course content
The aim of the course is to render students of philosophy familiar with the elements of naive set theory, classical logic, and modal logic. From set theory, the course covers both ‘working’ set theory as a tool for use in formal reasoning, and ‘conceptual’ set theory of philosophical interest in itself particularly in its treatment of infinite sets, cardinals and ordinals. From classical logic, the course deals with propositional and first-order inference from both semantic and axiomatic viewpoints. The material on modal logic presents the main modal propositional systems and their analysis using relational models. Throughout, a balance is sought between formal proof and intuition, as also between technical competence and conceptual reflection.
Teaching
15 hours of lectures and 10 hours of seminars in the MT. 15 hours of lectures and 10 hours of seminars in the LT.
Formative coursework
Students are required to write two 1,500 word essays during the year on a topic from a list or proposed by the student with approval of the instructor, and are to hand in two or three problem solutions each term.
Indicative reading
Textbooks: Makinson, David 2012 Sets, Logic and Maths for Computing, 2nd edition. Springer; Cameron, Peter 1999 Sets, Logic and Categories. Springer; Sider, Theodore 2010 Logic for Philosophy. Oxford University Press.
Complementary reading: Crossley, John 1972 What is Mathematical Logic? Dover reprint 1991; Goble, Lou (ed) 2001 The Blackwell Guide to Philosophical Logic, Blackwell; Halmos, Paul 1960 Naive Set Theory, Springer reprint 2011; Smith, Peter 2014, Gödel without (too many) tears. Internet access: http://www.logicmatters.net/igt/godel-without-tears/; Stanford Encyclopedia of Philosophy, internet access: http://plato.stanford.edu/.
Remark: The precise chapters and sections of the textbooks and complementary titles that are needed will be indicated in the weekly topic list, which will be posted on Moodle.
Assessment
Exam (100%, duration: 3 hours) in the main exam period.
Student performance results
(2010/11 - 2012/13 combined)
Classification | % of students |
---|---|
Distinction | 46.7 |
Merit | 10 |
Pass | 10 |
Fail | 33.3 |
Key facts
Department: Philosophy
Total students 2013/14: 7
Average class size 2013/14: 7
Controlled access 2013/14: No
Lecture capture used 2013/14: No
Value: One Unit
Personal development skills
- Problem solving
- Application of information skills
- Application of numeracy skills
- Specialist skills