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

• Truth and Semantics. (PI: Johannes Stern; European Research Council starting grant; 2018-23)
• Undermining Scenarios and Imprecise Probabilities. (Catrin Campbell-Moore; Leverhulme Trust Research Fellowship; 2019-20)

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)