About me

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…

Read more