Ladner is a contemporary philosopher whose work engages with questions at the intersection of logic, epistemology, and philosophy of mind. Their contributions address tensions between traditional a priori conceptions of logical knowledge and computational or naturalistic accounts of cognition.
Analyzed the tension between a priori logical knowledge and computational models of reasoning
Contributed to contemporary debates in philosophy of logic and epistemology