John Horty is a Professor in the Philosophy Department and the Institute for Advanced Computer Studies at the University of Maryland. He is the author of Frege on Definitions (Oxford, 2007) as well as papers on a variety of topics in logic, philosophy, and computer science.