Haken is a contemporary philosopher working on questions at the intersection of logic, epistemology, and the philosophy of computation. Their work examines tensions between traditional a priori conceptions of logical knowledge and computational or empirical approaches to understanding mathematical and logical reasoning.
Contributed to debates on the a priori status of logical knowledge
Analyzed the relationship between computational complexity and logical reasoning
Explored tensions between traditional epistemology and computational models of cognition