Hoover is a contemporary philosopher whose work engages with questions in the philosophy of logic and epistemology, particularly concerning the status of logical knowledge. Their contributions examine tensions between traditional a priori conceptions of logic and computational or naturalistic approaches to logical cognition.
Analyzed the tension between a priori conceptions of logical knowledge and computational accounts of cognition
Contributed to contemporary debates in the epistemology of logic
Engaged with questions concerning the nature of logical knowledge