Tim Button

Tim Button is a Professor of Philosophy & Logic at the Department of Philosophy, University College London (UCL). Previously, he held academic roles at the University of Cambridge, including as a PhD student (2006–2010), research fellow (2010–2012), and faculty member (2012–2019). His research focuses on philosophy of mathematics, formal logic, set theory, and metaphysics. He has authored influential works on topics such as iterative concepts of set theory, alternative set theories, and fictionalism in metaphysics. Button is also known for developing textbooks like forall x: Calgary, which introduces formal logic to students. His recent publications explore foundational questions in mathematics and logic, including critiques of type theory and explorations of level theory as an axiomatic framework. Button has contributed to debates on model-theoretic arguments, computability, and the philosophy of Hilary Putnam. His work bridges formal methods with philosophical inquiry, emphasizing clarity and rigor in conceptual analysis.

Research interests include: logic, set theory, philosophy of mathematics, formal ontology, metaphysical debates about universals, and the foundations of mathematics. His scholarship often intersects with technical logic and broader philosophical questions about truth, existence, and methodology.

Notable contributions include critiques of cumulative type theory, the development of level theory as an alternative to traditional set theories, and analyses of model-theoretic skepticism. Button’s pedagogical efforts, such as open-access logic textbooks, aim to make formal methods accessible to a wider audience.