John Corcoran (logician)
| John Corcoran | |
|---|---|
 |
|
| Born | 1937 Baltimore, United States |
| Fields | Logic, History of logic, philosophy of logic, mathematical logic, philosophy of mathematics, epistemology, ontology, linguistics |
| Institutions | University at Buffalo (SUNY) |
| Alma mater | Johns Hopkins University |
| Doctoral advisor | Robert McNaughton |
| Known for | Interpretation of Aristotle’s Prior Analytics, reconstruction of Boole’s original works, work on logic, work on mathematical logic, string theory, subregular polyhedra. |
John Corcoran (born 1937) is a logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work on concepts such as the nature of inference, relations between conditions, argument-deduction-proof distinctions, the relationship between logic and epistemology, and the place of proof theory and model theory in logic. Nine of Corcoran’s papers have been translated into Spanish, Portuguese, Persian, and Arabic; his 1989 "signature" essay was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice.
His work on Aristotle’s logic of the Prior Analytics is regarded as being highly faithful both to the Greek text and to the historical context. It is the basis for many subsequent investigations. It was adopted for the 1989 translation of the Prior Analytics by Robin Smith and for the 2009 translation of the Prior Analytics Book A by Gisela Striker. A bibliography of Corcoran’s publications on Aristotle's logic is available at ResearchGate.
Corcoran’s 2014 paper with Hassan Masoud – “Existential import today: New metatheorems; historical, philosophical, and pedagogical misconceptions” – is currently first on the “most-read” list at History and Philosophy of Logic. His mathematical results on definitional equivalence of formal string theories, sciences of strings of characters over finite alphabets, are foundational for logic, formal linguistics, and computer science. A current list of all of Corcoran’s publications is available at ResearchGate.
Corcoran studied engineering at the Baltimore Polytechnic Institute, Advanced Curriculum Engineering 1956, and the Johns Hopkins University, BES Mechanical Engineering 1959. After briefly working in engineering, he studied philosophy at the Johns Hopkins University: MA Philosophy 1962, PhD. Philosophy 1963. Post-doctoral study: Yeshiva University, Mathematics 1964 and University of California Berkeley, Mathematics 1965. Dissertation: Generative Structure of Two-valued Logics; Supervisor Robert McNaughton (PhD student of Willard Van Orman Quine).
...
Wikipedia