University of Bristol
- Leon Horsten // website, PhilPapers
- Specialties: formal theories of truth, philosophy of mathematics.
- Richard Pettigrew // website, PhilPapers
- Specialties: formal epistemology, philosophy of mathematics.
Also at Bristol, in the School of Mathematics, is the set theorist Philip Welch.
Relevant groups and projects at the University of Bristol include Foundational Studies Bristol, the Epistemic Utility Theory project and Applying Homotopy Type Theory in Logic, Metaphysics, and Philosophy of Physics.