When not working on Church and related matters, the main goal of my current research is to discover a philosophy of language suitable for mathematical language, in order to better understand how we acquire mathematical knowledge. Although my work draws on insights from the analytic tradition (of Frege, Russell, Church, and Kripke), I also use empirical work on the cognitive capacities that are associated with the relevant aspects of thought and language, as well as work on the history and anthropology of mathematics, to the extent that this work augments the lessons of the analytic tradition.