John Corcoran taught logic at Berkeley, Penn, Michigan, Santiago de Compostela, and, most recently, Buffalo--from 1970 to 2010. His writings are on history and philosophy of logic, mathematical logic, epistemology, and linguistics. His most important contributions to history of logic concern his reconstruction of Aristotle’s logic as a natural deduction system. His work in history of logic also treats the Stoics, Ockham, Saccheri,Boole,Lewis,Church,Quine,and Tarski. He has worked in several areas of mathematical logic including proof theory, model theory, string theory, and variable-binding term-operators. He edited the 1983 second edition of…
John Corcoran taught logic at Berkeley, Penn, Michigan, Santiago de Compostela, and, most recently, Buffalo--from 1970 to 2010. His writings are on history and philosophy of logic, mathematical logic, epistemology, and linguistics. His most important contributions to history of logic concern his reconstruction of Aristotle’s logic as a natural deduction system. His work in history of logic also treats the Stoics, Ockham, Saccheri,Boole,Lewis,Church,Quine,and Tarski. He has worked in several areas of mathematical logic including proof theory, model theory, string theory, and variable-binding term-operators. He edited the 1983 second edition of Tarski’s 1956 LOGIC, SEMANTICS, METAMATHEMATICS. He also edited the 1993 second edition of the 1934 Cohen-Nagel INTRODUCTION TO LOGIC. His signature 1989 article “Argumentations and Logic”, which appeared in ARGUMENTATION, has been translated into Spanish, Portuguese, and Farsi. Corcoran headed the committee that organized the 1990 Alonzo Church Symposium and that successfully petitioned the University of Buffalo to award the Doctor Honoris Causa to Alonzo Church.