Suspended in 2025/26
PH236 Half Unit
Set Theory
This information is for the 2025/26 session.
Course Convenor
Prof Miklos Redei
Dr Wesley Wrigley
Availability
This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics, BSc in Politics and Philosophy, Erasmus Reciprocal Programme of Study and Exchange Programme for Students from University of California, Berkeley. This course is freely available as an outside option to students on other programmes where regulations permit. It does not require permission. This course is available with permission to General Course students.
Requisites
Additional requisites:
Students should have taken Introduction to Logic (PH111) and obtained a grade of at least 65.
Students who have not taken PH111 should instead have taken Mathematical Proof and Analysis (MA102) or Introduction to Abstract Mathematics (MA103).
Course content
The aim of the course is to make students of philosophy familiar with the elements of naive set theory.
Two types of concepts and theorems are covered:
- the ones needed to understand the basic notions, constructions and mode of thinking in modern mathematical logic
- those that have philosophical-conceptual significance in themselves (elementary theory of ordinals and cardinals, transfinite induction, Axiom of Choice, its equivalents and their non-constructive character, Continuum Hypothesis, set theoretical paradoxes /such as Russell paradox/).
The emphasis is on the conceptual-structural elements rather than on technical-computational details. Not all theorems that are stated and discussed are proven and not all proofs are complete. Students taking this course should tolerate abstract mathematics well but it is not assumed that they know higher mathematics (such as linear algebra or calculus).
Teaching
15 hours of lectures and 10 hours of classes in the Autumn Term.
This course has a reading week in Week 6 of Autumn Term.
Formative assessment
Students are required to submit solutions to two problem-sets, and write one essay (word limit 1,500 words) on a topic selected from a list or proposed by the student and approved by the instructor in the Autumn Term.
Indicative reading
- Cameron, Peter: Sets, Logic and Categories (Springer, 1999);
- Halmos, Paul: Naive Set Theory (Springer reprint 2011)
Specific sections of this text that are relevant to weekly topics will be indicated in the detailed course description and in the Moodle page of the course.
Assessment
Exam (100%), duration: 120 Minutes in the January exam period
The exam questions are chosen from a list of questions that are made available at the beginning of the academic year ("seen exam").
Key facts
Department: Philosophy, Logic and Scientific Method
Course Study Period: Autumn Term
Unit value: Half unit
FHEQ Level: Level 5
CEFR Level: Null
Total students 2024/25: Unavailable
Average class size 2024/25: Unavailable
Capped 2024/25: NoCourse selection videos
Some departments have produced short videos to introduce their courses. Please refer to the course selection videos index page for further information.
Personal development skills
- Self-management
- Problem solving
- Application of numeracy skills
- Specialist skills