John Corcoran – Wikipedia

Posted on by

John Corcoran (20 mars 1937 à Baltimore – 8 janvier 2021 [d’abord] ) était un logiciste et philosophe américain. Il a principalement traité la relation entre la logique et l’épistémologie ainsi que l’importance de la théorie des preuves et de la théorie du modèle dans la logique.

Son travail [2] À propos de la logique d’Aristote de l’analytica Priora adhère à l’esprit du texte grec et au contexte historique. C’est la base de nombreuses enquêtes supplémentaires et a été utilisée pour la traduction de l’analytique Priaa par Robin Smith en 1989.

De 1956 à 1962, Corcoran a étudié l’ingénierie, les mathématiques et la philosophie et a reçu un PHDO en 1963. En philosophie avec le travail Structure générative des logiques à deux valeurs . Son superviseur était Robert McNaughton (un étudiant de Willard Van Orman Quine). En 1964, il étudiait le post-doc en mathématiques.

De 1963 à 1964, il a été membre du groupe linguistique du IBM Research Center. En 1965, il est devenu professeur de linguistique à l’Université de Pennsylvanie et enfin professeur agrégé de philosophie à l’Université de Buffalo (SUNY) en 1970. Il y a été professeur de philosophie depuis 1973.

  • Professeur invité de logique, Université de Santiago de Compostela 1994;
  • Érudit invité, Institut linguistique, Université de Buffalo (SUNY) Oswego 1976;
  • Directeur de projets de séminaire NSF (National Science Foundation), Linguistic Institute, Université de Buffalo 1971;
  • Professeur agrégé de philosophie et associé de recherche, Université du Michigan 1969-1970;
  • Conférencier invité en philosophie, Université de Californie, Berkeley 1964–1965;
  • Mathématicien, General Electric Research Center 1962;
  • Mathématicien, Aeronca Astromechanics Institute, 1961;
  • Instructeur junior en philosophie, Johns Hopkins University 1960–1961.

Les Corcorans travaillent dans le domaine de l’histoire de la logique traite de la majorité de la période la plus productive de la discipline. Entre autres choses, il a travaillé sur les logicistes suivants: Aristote, The Stoiker, Wilhelm von Ockham, Giovanni Girolamo Saccheri, George Boole, Richard Dedekind, Gottlob Frege, Alfred Tarski et Willard Van Orman Quine.

Son interprétation de 1972 d’Aristotle Analytica Priaa, qui a également été proposée par Timothy Smiley, quel que soit lui, est considérée comme plus originale que toutes les interprétations précédentes; Cela affecte à la fois le texte grec et le contexte historique. Ce travail est la base des recherches ultérieures de Boger, Correia, Crivelli, Gasser, Martin, Mulhern, Scanlan, Smith et autres, et il a été utilisé par Robin Smith comme base de sa traduction de l’analytica Priaa.

Sa reconstruction critique du système logique de Boole à partir de 1847 a dû éclairer les lacunes et les erreurs inaperçues dans le travail de Boole et a fait la base essentiellement aristotélicienne de la philosophie logique de Boole. Un article de 2003 fournit une comparaison systématique et une évaluation critique de la logique d’Aristote et de Boole.

La collaboration de Corcoran avec Alfred Tarski à la fin des années 70 et au début des années 1980 a conduit à des publications sur Tarski et sur l’article Notes sur la fondation des logiques et du métalogique: Aristote, Boole et Tarski à partir de 2007, qui suit les traces des idées d’Aristote et de Boole dans le travail de Tarski et dans lequel le statut de Tarski est confirmé comme l’un des pères fondateurs de la logique – à un niveau avec Aristote et Boole.

Les œuvres de John Corcoran sur la philosophie de la logique se concentrent sur l’essence de la logique, la structure conceptuelle de la logique, les exigences métaphysiques et épistémologiques de la logique, la nature de la logique mathématique et les différences entre la théorie logique et la pratique mathématique. Sa logique mathématique traite de la logique de déclaration, de la modalogie, de la logique d’identité, de la logique syllogiste, de la logique des prédicats de la deuxième étape, de la théorie du modèle et de la théorie des chaînes frappantes – une discipline basée sur tous les domaines de la logique et qui fournit le contexte essentiel pour tous les autres de ses travaux mathématiques.

Dans la philosophie des mathématiques, Corcoran est guidé par un platonisme inclusif nuancé qui essaie de rendre justice à tous les aspects de l’expérience mathématique et logique; Cela comprend les aspects qui sont soulignés par des perspectives philosophiques concurrentes telles que le logicisme, le constructivisme, le déductivisme et le formalisme.

Bien que certaines de ses œuvres philosophiques nécessitent quelques connaissances antérieures historiques ou mathématiques, son travail historique concerne souvent les questions originales de la philosophie (par exemple son article Schémas [3] ) ou les mathématiques (par exemple, être en 1980 dans le magazine Histoire et philosophie de la logique Article publié Catégoricité [4] ). Il a décrit la dimension mathématique de l’histoire comme “archéologie mathématique”. Son travail philosophique traite souvent de la science historique. Il peut être guidé par le principe aristotélicien que la nature des pensées modernes peut parfois être mieux comprise à la lumière de son développement historique. Il attribue ce point de vue au programme “History of Ideas” d’Arthur Lovejoy à l’Université Hopkins de John, pour laquelle il a été encouragé par le philosophe et historien américain Peter Hare.

De nombreuses publications de Corcoran ont des co-auteurs, et beaucoup d’autres reconnaissent explicitement l’inclusion de collègues et d’étudiants. Corcoran souligne la nature très personnelle de toutes les connaissances réelles, y compris la logique. Il souligne également l’importance des communautés de connaissances et l’avantage de chaque individu grâce à une coopération critique avec d’autres chercheurs. Une liste de publication, complètement jusqu’en 2000, a été publiée dans le magazine Histoire et philosophie de la logique , Né en 1999. Ce volume contient un article de vue d’ensemble de M. Scanlan et S. Shapiro «Le travail de John Corcoran: une appréciation». Trois autres articles sur son travail sont dans l’anthologie Sujets actuels en logique et philosophie analytique , publié en 2007 par l’Université de Santiago de Compostela Press. Ce sont les contributions

  • «Corcoran le mathématicien» par S. Shapiro
  • «Corcoran le philosophe» de J. M. Sagüillo,
  • «Corcoran en espagnol» par C. Martínez-vidal
  • Trois théories logiques. Philosophie des sciences 36: 1969. 153–177.
  • Exhaustivité d’une logique ancienne. Journal of Symbolic Logic 37: 1972. 696–702.
  • Les lacunes entre la théorie logique et la pratique mathématique. Dans Bunge, M., éd. Unité méthodologique de la science. Dordrecht: Kluwer. 1973. 23–50.
  • Significations d’implication, Dialogos 9 (1973) 59–76. Réimprimé dans R. Hughes, éd., Philosophical Companion to First Order Logic. Indianapolis: Hackett. 1993. Traduction de l’aspect par J. M. Saguillo Agora 5 (1985) 279-294.
  • Système de déduction naturelle d’Aristote. Dans la logique ancienne et ses interprétations modernes. Éd. J. Corcoran, Dordrecht: Kluwer, 1974. 85–131.
  • Remarques sur la déduction stoïque. Ibid., 169–181.
  • La théorie des cordes. Journal of Symbolic Logic 39 (1974) 625–37. Avec W. Frank et M. Maloney.
  • Structures logiques de la théorie de la supposition d’Ockham. Franciscan Studies 38 (1978) 161–83. Avec J. Swiniarski.
  • Crossley sur la logique mathématique. Philosophie 8 (1978) 79–94. Traduction espagnole par A. Garciadiego Mathèse X (1988) 133–150. Avec S. Shapiro.
  • Catégoricité. Histoire et philosophie de la logique 1 (1980) 187-208.Reprinced in S. Shapiro, éd., The Limits of Logic, Aldershot, Angleterre: Dartmouth Publishing Company. 1996.
  • Les critères de validité et d’invalidité de Boole. Notre Dame Journal of Formal Logic 21 (1980) 609639. Avec S. Wood. Réimprimé dans J. Gasser, éd. Boole Anthologie. DORDRECHT: KLUWER.2000.
  • Introduction et indice analytique. Dans Tarski, A. Logic, sémantique, métamathématiques. Deuxième éd. Sous la direction de J. Corcoran. Trans. J. H. Woodger. Indianapolis: Hackett. 1983.
  • Pertinence contemporaine de la théorie logique ancienne. Philosophie Quarterly 32 (1982) 76–86. Avec M. Scanlan.
  • Arguments et logique. Argumentation 3 (1989) 17–43., Traduction espagnole par R. Fernandez et J. Sagüillo Agora 13/1 (1994) 27–55.
  • Revue d’Alfred Tarski: Documents collectés. 4 vol. Édité par S. Givant et R. McKenzie. Bâle: Birkhäuser. 1986. Dans les revues mathématiques 91h: 01101, 2, 3,4. 1991.
  • La fondation de la logique. Philosophie ancienne 14 (1994) 9-24.
  • Logique théorique de l’information, en vérité en perspective édité par C. Martínez, U. Rivas, L. Villegas-Fororo, Ashgate Publishing Limited, Aldershot, Angleterre (1998) 113-135.
  • Logique de second ordre. Dans le «volume commémoratif de l’église», la logique, le sens et le calcul: Essays in Memory of Alonzo Church édité par M. Zeleny et C.A. Anderson., Kluwer Publishing Company, Dordrecht, Holland. 1998.
  • Les analyses antérieures d’Aristote et les lois de la pensée de Boole. . Histoire et philosophie de la logique 24 (2003) 261-288.
  • Schémas: le concept de schéma dans l’histoire de la logique. Bulletin de logique symbolique. 12 (2006) 219–40.
  • C. I. Lewis: histoire et philosophie de la logique. Transactions de la C. S. Peirce Society. 42 (2006) 1–9.
  • Publication commémorative: double édition du magazine Histoire et philosophie de la logique 1999 (éd. M. Scanlan et S. Shapiro);
  • Prix ​​de boursier exceptionnel Der Université de Buffalo 2002;
  • Docteur H.C. Der Université de Santiago de Compostela (Spanien) 2003;
  • Corcoran Symposium , Université de Santiago de Compostela (Spanien) 2003.
  1. ↑ Dans Memoriam John Corcoran (1937 – 2021) , Buffalo.edu
  2. ↑ John Corcoran: Exhaustivité d’une logique ancienne . Dans: J. de la logique symbolique . 37e année, Non. 4 . ASL, 1972, S. 696–702 .
  3. ↑ John Corcoran: Schémas: le concept de schéma dans l’histoire de la logique . Dans: Bulletin de logique symbolique . 12e année. ASL, 2006, S. 219–40 .
  4. ↑ John Corcoran: Catégoricité. Dans: Histoire et philosophie de la logique 1 (1980) 187–208. Réimprimé dans S. Shapiro, éd.: Les limites de la logique , Aldershot, Angleterre: Dartmouth Publishing Company. 1996