Alonzo Church's contributions to philosophy and intensional logic

§0. AlonzoChurch’s contributions to philosophy and to thatmost philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical observations of the first importance. Many of the less formal philosophical contributions center around questions concerningmeaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.