FSB focuses on issues in the foundations of mathematics, as well as philosophy of mathematics and logic more widely construed.
Some of our research interests are theories of truth, set theory, structuralism in the philosohy of mathematics, homotopy type theory as a foundation for mathematics, logics for epistemology.
Some recent publications
Current funded research projects
- Set Theoretic Pluralism (Principal Investigator: Philip Welch; Coordinator: Benedict Eastaugh; Leverhulme Trust)
- Formal Truth in Epistemology (Principal Investigator: Johannes Stern; Marie Skłodowska-Curie actions)
Past funded research projects
- Applying Homotopy Type Theory in Logic, Metaphysics, and the Philosophy of Physics (Principal Investigator: James Ladyman; Leverhulme Trust)
- Inner model theory in outer models (Principal Investigator: Philip Welch; EPSRC; Mar 2012 - Oct 2014)
- The Scope and Limits of Arithmetical Knowledge (Principle Investigators: Leon Horsten & Philip Welch; Templeton Foundation; Mar 2011 - Sep 2012)
- The Foundations of Structuralism (Principal Investigator: James Ladyman; AHRC; Oct 2009 - Oct 2012)
- Philosophical Theories of Truth, Transfinite Computation, and Infinite Games (Principal Investigator: Philip Welch; Templeton Foundation; Oct 2008 - Sep 2010)
- Logical Methods in Epistemology, Semantics, & Philosophy of Mathematics (Principal Investigator: Philip Welch; British Academy; Mar 2005 - Sep 2009)
- Mathematics into Philosophy: analysing complexity theoretic issues in current philosophical theories of epistemology, semantics and truth (Principal Investigator: Philip Welch; EPSRC; Oct 2005 - Oct 2006).
- Interactions between combinatorics of stationary sets, bounded forcing axioms and inner models of set theory (Principal Investigator: Philip Welch; EPSRC; Oct 2003 - Sep 2005)