Harold Hodes is an analytic philosopher at Cornell University whose work spans philosophy of mathematics, philosophical logic, and metaphysics. He is known for his contributions to neo-logicist debates and for scrutinizing the ontological commitments of arithmetic and abstract object theory. His writing is technically rigorous and engages closely with Fregean and post-Fregean traditions.
Developed influential critiques of logicist reductions of arithmetic ('Logicism and the Ontological Commitments of Arithmetic', 1984)
Contributed to debates on the metaphysics of abstract objects and mathematical Platonism
Engaged critically with trope theory and relational ontology
Applied modal and intensional logic to problems in philosophy of mathematics