Alan Weir

Alan Weir is an Adjunct Professor in the Department of Philosophy at the University of Glasgow. His work focuses on the philosophy of mathematics, logic, and formal systems, particularly addressing foundational questions and the interplay between formalism and realism. He has authored influential works such as Truth Through Proof (2010) and contributed to debates on Gödel, Putnam, and Quine's naturalism.

His research spans formalism in mathematics, non-transitive logics, and the semantics of truth. Weir has also explored philosophical issues in perception, metaphysics, and the indeterminacy of translation. Notable contributions include critical analyses of neo-Fregeanism and the limits of abstraction, as well as metatheoretic studies of non-transitive systems.

Despite his prolific output, no specific academic awards are listed. His advising record remains undisclosed, though his scholarly influence is evident through contributions to journals like International Journal of Philosophical Studies and Review of Symbolic Logic. Weir's affiliations and research interests reflect a deep engagement with both historical and contemporary analytic philosophy.