Research projects

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)
Edit this page