John Corcoran

John Corcoran (March 20, 1937 – January 8, 2021) was an American logician, philosopher, mathematician, and historian of logic. He is recognized for his philosophical explorations into the nature of inference, the connections between conditions and arguments, the distinctions between argument, deduction, and proof, the interplay between logic and epistemology, and the roles of proof theory and model theory in logic. His scholarly output includes numerous papers, many of which have been translated into various languages, and several have been reprinted. Corcoran's interpretation of Aristotle's Prior Analytics, developed independently and concurrently with Timothy Smiley, is praised for its fidelity to the original Greek text and historical context, serving as a basis for further research. He also made significant mathematical contributions concerning the definitional equivalence of formal character-string theories, which are foundational to logic, formal linguistics, and computer science. His academic career included positions at the University at Buffalo and the University of Pennsylvania, and he held visiting professorships at several other institutions. Corcoran's scholarly work spanned various historical periods and figures in logic, including Aristotle, Boole, Frege, and Tarski. He engaged deeply with the philosophy of logic, examining its nature, role in inquiry, conceptual structure, and its metaphysical and epistemological underpinnings. His mathematical logic encompassed propositional, modal, identity, syllogistic, and second-order logics, as well as model theory and string theory. In the philosophy of mathematics, he advocated a nuanced Platonism. Corcoran was also actively involved in the academic community, co-founding logic colloquia, serving on editorial boards, and organizing conferences.