Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
John Corcoran (logician)
Summary
John Corcoran (ˈkɔrkərən ; 20 March 1937 – 8 January 2021) was an American 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.
His mathematical results on definitional equivalence of formal character-string theories, sciences of strings of characters over finite alphabets, are foundational for logic, formal linguistics, and computer science.
Corcoran graduated from the Advanced College Preparatory Program (the "A Course") of the Baltimore Polytechnic Institute in 1956 and received the BES in Mechanical Engineering in 1959 from the Johns Hopkins University, where he received the PhD in Philosophy in 1963. His post-doctoral studies in mathematics were at Yeshiva University in
1964 and at the University of California Berkeley in 1965. His dissertation topic was Generative Structure of Two-valued Logics.
Corcoran's first logic teacher was Albert L Hammond. Corcoran studied Plato and Aristotle with Ludwig Edelstein. His next two logic teachers were Joseph Ullian and Richard Wiebe. Corcoran's dissertation supervisor was Robert McNaughton. At Yeshiva University in New York City Corcoran studied with Raymond Smullyan and Martin Davis. Corcoran's first tenure-track position was at the University of Pennsylvania, where his dissertation supervisor was a Professor of Computer and Information Science.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.