BSc in Mathematics and Philosophy
The BSc in Mathematics and Philosophy provides the opportunity to study both subjects in depth while also exploring how they are related through logic and philosophy of mathematics. In addition to Central Themes in Philosophy and Symbolic Logic during your first year, you’ll also take core mathematics modules in analysis, geometry, abstract algebra, and probability, which will prepare you for more advanced work in mathematics.
In your honours years you’ll explore further topics in logic, for example, Gödel’s completeness and incompleteness theorems, set theory, modal operators, Turing machines, undecidable problems, computational complexity, as well as having the opportunity to consider related philosophical questions, for example, 'What is a mathematical proof?'
Are there true but unprovable statements? How is mathematics related to computation and to the empirical sciences?
Programme content
Why study Mathematics and Philosophy at Warwick?
 A fully integrated degree programme, not just modules from two departments.
 Personalised supervision in both departments.
 Many specialised modules: Gödel's completeness and incompleteness theorems, set theory, modal logic, philosophy of mathematics, logic, computation, science...
 Opportunties to study abroad, both in Europe and North America.
 Large and active faculties in both mathematics and philosophy.
 Strong record placing students in postgraduate and professional programmes.
Course structure
In your first year you will take the following core modules:
 Central Themes in Contemporary Philosophy
 Logic I: Introduction to Symbolic Logic
 Linear Algebra
 Differential Equations
 Geometry and Motion
 Foundations
 Introduction to Abstract Algebra
 Analysis
 Probability A
You will also take an option of at least 6 CATS which could be either Mind and Reality in Philosophy, or another option in Mathematics or related subjects.
In your second year you will take:
You will also take a combination of optional core modules such as
You may also choose between 2454 CATS, either from another subject or from options in either Mathematics or Philosophy (2045% of your overall load). There are usually more than 20 optional modules for you to choose from in both departments, covering a wide range of topics.
In your third year, if you have earned good marks in your first and second years, you are eligible to transfer to a four year version of the degree, (the BSc in Mathematics and Philosophy with Specialism in Logic and Foundations). This will determine the core modules which you do in your third (or optional fourth) year. Amongst the core modules are:
 Set Theory
 Metaphysics
 Logic III: Incompleteness and Undecidability
 Philosophy of Computation Theory
Between 3050% of your third year (or optional fourth) year load will be composed of optional modules.
If you elect to do the four year course, you will do either a Dissertation in Philosophy or an Essay in Mathematics. These modules enable you to pursue independent research under the supervision of a faculty member, leading to written work of between 6,000 and 10,000 words.
Further information
About the courseProgramme Directors: Walter Dean (Philosophy) Adam Epstein (Maths)
