Grover is a contemporary philosopher whose work engages questions at the intersection of logic, epistemology, and the philosophy of mind. Their arguments examine tensions between traditional a priori conceptions of logical knowledge and computational or naturalistic accounts of reasoning.
Articulated tensions between a priori logical knowledge and computational accounts of reasoning
Contributed to contemporary debates in the epistemology of logic
Engaged the intersection of philosophy of mind and formal reasoning