Abstract

John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Alfred Tarski, a prominent 20th-century logician. This collaboration manifested in Corcoran's substantial introduction to Tarski's seminal book, Logic, Semantics, Metamathematics (1956). Additionally, Corcoran's posthumous editorial involvement in 'What are logical notions?' (1986) breathed new life into this seminal paper authored by Tarski. His scholarly pursuits extended to the intricate explication of fundamental concepts in modern logic, including variables, propositions, truth, consequences, and categoricity. Corcoran's academic curiosity extended further to the intersection of ethics and logic, reflecting his contemplation of their interrelation. Beyond these theoretical contributions, Corcoran was deeply engaged in the pedagogical dimensions of logic instruction.