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. 

Current funded research projects

Past funded research projects

  • Set Theoretic Pluralism (PI: Philip Welch; Coordinator: Benedict Eastaugh; Leverhulme Trust; )
  • Formal Truth in Epistemology (PI: Johannes Stern; Marie SkÅ‚odowska-Curie actions; 2016-18)
  • Applying Homotopy Type Theory in Logic, Metaphysics, and the Philosophy of Physics (PI: James Ladyman; Leverhulme Trust)
  • Inner model theory in outer models (PI: 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 (PI: James Ladyman; AHRC; Oct 2009 - Oct 2012)
  • Philosophical Theories of Truth, Transfinite Computation, and Infinite Games (PI: Philip Welch; Templeton Foundation; Oct 2008 - Sep 2010)
  • Logical Methods in Epistemology, Semantics, & Philosophy of Mathematics (PI: Philip Welch; British Academy; Mar 2005 - Sep 2009)
  • Mathematics into Philosophy: analysing complexity theoretic issues in current philosophical theories of epistemology, semantics and truth (PI: Philip Welch; EPSRC; Oct 2005 - Oct 2006).
  • Interactions between combinatorics of stationary sets, bounded forcing axioms and inner models of set theory (PI: Philip Welch; EPSRC; Oct 2003 - Sep 2005)


Some recent publications

Edit this page