Back جون كوركوران Arabic جون كوركوران ARZ جان کورکران (منطیق) AZB John Corcoran German John Corcoran Spanish
 |
John Corcoran | |
|---|---|
&sq=crain_ford&lang=en&file=File:John_Corcoran_Logician2.jpg) | |
| Born | March 20, 1937 Baltimore, Maryland, U.S. |
| Died | January 8, 2021 (aged 83) |
| Alma mater | Johns Hopkins University |
| Known for | Interpretation of Aristotle's Prior Analytics, reconstruction of Boole's original works, work on logic, work on mathematical logic, character-string theory, subregular polyhedra |
| Scientific career | |
| Fields | Logic, history of logic, philosophy of logic, mathematical logic, philosophy of mathematics, epistemology, ontology, linguistics |
| Institutions | University at Buffalo (SUNY) |
| Doctoral advisor | Robert McNaughton |
| Doctoral students | Stewart Shapiro |
John Corcoran (/ˈkɔːrkərən/ KOR-kər-ən; March 20, 1937 – January 8, 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[1] was translated into three languages. Fourteen of his papers have been reprinted; one was reprinted twice.
His work[2] on Aristotle's logic of the Prior Analytics is regarded as being highly faithful both to the Greek text and to the historical context.[3] It is the basis for many subsequent investigations.[a]
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.[4]
- ^ Corcoran, John (1989). "Argumentations and Logic". Argumentation. 3 (1): 17–43. doi:10.1007/BF00116415. S2CID 117108202.; 1994 Spanish translation by R. Fernandez and J. Sagüillo; 2010 Portuguese translation by W. Sanz; 2011 Persian translation by H. Masoud.
- ^ Corcoran, John (1972). "Completeness of an Ancient Logic". Journal of Symbolic Logic. 37 (4): 696–702. CiteSeerX 10.1.1.543.7404. doi:10.2307/2272415. JSTOR 2272415. S2CID 38252950.
- ^ Degnan, Michael J (1994). "Aristotle's Logic". Philosophical Books. 35 (2): 81–89. doi:10.1111/j.1468-0149.1994.tb02858.x.
- ^ Corcoran, John; Frank, William; Maloney, Michael (1974). "String theory". Journal of Symbolic Logic. 39 (4): 625–637. doi:10.2307/2272846. JSTOR 2272846. S2CID 2168826.
Cite error: There are <ref group=lower-alpha> tags or {{efn}} templates on this page, but the references will not show without a {{reflist|group=lower-alpha}} template or {{notelist}} template (see the help page).