[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/john-corcoran-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/john-corcoran-wikipedia\/","headline":"John Corcoran – Wikipedia","name":"John Corcoran – Wikipedia","description":"before-content-x4 John Corcoran (20 mars 1937 \u00e0 Baltimore – 8 janvier 2021 [d’abord] ) \u00e9tait un logiciste et philosophe am\u00e9ricain.","datePublished":"2020-08-06","dateModified":"2020-08-06","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/3\/34\/John_Corcoran_Logician2.jpg\/220px-John_Corcoran_Logician2.jpg","url":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/3\/34\/John_Corcoran_Logician2.jpg\/220px-John_Corcoran_Logician2.jpg","height":"170","width":"220"},"url":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/john-corcoran-wikipedia\/","wordCount":2020,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4 John Corcoran (20 mars 1937 \u00e0 Baltimore – 8 janvier 2021 [d’abord] ) \u00e9tait un logiciste et philosophe am\u00e9ricain. Il a principalement trait\u00e9 la relation entre la logique et l’\u00e9pist\u00e9mologie ainsi que l’importance de la th\u00e9orie des preuves et de la th\u00e9orie du mod\u00e8le dans la logique.        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Son travail [2] \u00c0 propos de la logique d’Aristote de l’analytica Priora adh\u00e8re \u00e0 l’esprit du texte grec et au contexte historique. C’est la base de nombreuses enqu\u00eates suppl\u00e9mentaires et a \u00e9t\u00e9 utilis\u00e9e pour la traduction de l’analytique Priaa par Robin Smith en 1989. De 1956 \u00e0 1962, Corcoran a \u00e9tudi\u00e9 l’ing\u00e9nierie, les math\u00e9matiques et la philosophie et a re\u00e7u un PHDO en 1963. En philosophie avec le travail Structure g\u00e9n\u00e9rative des logiques \u00e0 deux valeurs . Son superviseur \u00e9tait Robert McNaughton (un \u00e9tudiant de Willard Van Orman Quine). En 1964, il \u00e9tudiait le post-doc en math\u00e9matiques. De 1963 \u00e0 1964, il a \u00e9t\u00e9 membre du groupe linguistique du IBM Research Center. En 1965, il est devenu professeur de linguistique \u00e0 l’Universit\u00e9 de Pennsylvanie et enfin professeur agr\u00e9g\u00e9 de philosophie \u00e0 l’Universit\u00e9 de Buffalo (SUNY) en 1970. Il y a \u00e9t\u00e9 professeur de philosophie depuis 1973.        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Professeur invit\u00e9 de logique, Universit\u00e9 de Santiago de Compostela 1994; \u00c9rudit invit\u00e9, Institut linguistique, Universit\u00e9 de Buffalo (SUNY) Oswego 1976; Directeur de projets de s\u00e9minaire NSF (National Science Foundation), Linguistic Institute, Universit\u00e9 de Buffalo 1971; Professeur agr\u00e9g\u00e9 de philosophie et associ\u00e9 de recherche, Universit\u00e9 du Michigan 1969-1970; Conf\u00e9rencier invit\u00e9 en philosophie, Universit\u00e9 de Californie, Berkeley 1964\u20131965; Math\u00e9maticien, General Electric Research Center 1962; Math\u00e9maticien, Aeronca Astromechanics Institute, 1961; Instructeur junior en philosophie, Johns Hopkins University 1960\u20131961. Les Corcorans travaillent dans le domaine de l’histoire de la logique traite de la majorit\u00e9 de la p\u00e9riode la plus productive de la discipline. Entre autres choses, il a travaill\u00e9 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\u00e9tation de 1972 d’Aristotle Analytica Priaa, qui a \u00e9galement \u00e9t\u00e9 propos\u00e9e par Timothy Smiley, quel que soit lui, est consid\u00e9r\u00e9e comme plus originale que toutes les interpr\u00e9tations pr\u00e9c\u00e9dentes; Cela affecte \u00e0 la fois le texte grec et le contexte historique. Ce travail est la base des recherches ult\u00e9rieures de Boger, Correia, Crivelli, Gasser, Martin, Mulhern, Scanlan, Smith et autres, et il a \u00e9t\u00e9 utilis\u00e9 par Robin Smith comme base de sa traduction de l’analytica Priaa. Sa reconstruction critique du syst\u00e8me logique de Boole \u00e0 partir de 1847 a d\u00fb \u00e9clairer les lacunes et les erreurs inaper\u00e7ues dans le travail de Boole et a fait la base essentiellement aristot\u00e9licienne de la philosophie logique de Boole. Un article de 2003 fournit une comparaison syst\u00e9matique et une \u00e9valuation critique de la logique d’Aristote et de Boole. La collaboration de Corcoran avec Alfred Tarski \u00e0 la fin des ann\u00e9es 70 et au d\u00e9but des ann\u00e9es 1980 a conduit \u00e0 des publications sur Tarski et sur l’article Notes sur la fondation des logiques et du m\u00e9talogique: Aristote, Boole et Tarski \u00e0 partir de 2007, qui suit les traces des id\u00e9es d’Aristote et de Boole dans le travail de Tarski et dans lequel le statut de Tarski est confirm\u00e9 comme l’un des p\u00e8res fondateurs de la logique – \u00e0 un niveau avec Aristote et Boole.        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Les \u0153uvres 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\u00e9taphysiques et \u00e9pist\u00e9mologiques de la logique, la nature de la logique math\u00e9matique et les diff\u00e9rences entre la th\u00e9orie logique et la pratique math\u00e9matique. Sa logique math\u00e9matique traite de la logique de d\u00e9claration, de la modalogie, de la logique d’identit\u00e9, de la logique syllogiste, de la logique des pr\u00e9dicats de la deuxi\u00e8me \u00e9tape, de la th\u00e9orie du mod\u00e8le et de la th\u00e9orie des cha\u00eenes frappantes – une discipline bas\u00e9e sur tous les domaines de la logique et qui fournit le contexte essentiel pour tous les autres de ses travaux math\u00e9matiques. Dans la philosophie des math\u00e9matiques, Corcoran est guid\u00e9 par un platonisme inclusif nuanc\u00e9 qui essaie de rendre justice \u00e0 tous les aspects de l’exp\u00e9rience math\u00e9matique et logique; Cela comprend les aspects qui sont soulign\u00e9s par des perspectives philosophiques concurrentes telles que le logicisme, le constructivisme, le d\u00e9ductivisme et le formalisme. Bien que certaines de ses \u0153uvres philosophiques n\u00e9cessitent quelques connaissances ant\u00e9rieures historiques ou math\u00e9matiques, son travail historique concerne souvent les questions originales de la philosophie (par exemple son article Sch\u00e9mas [3] ) ou les math\u00e9matiques (par exemple, \u00eatre en 1980 dans le magazine Histoire et philosophie de la logique Article publi\u00e9 Cat\u00e9goricit\u00e9 [4] ). Il a d\u00e9crit la dimension math\u00e9matique de l’histoire comme “arch\u00e9ologie math\u00e9matique”. Son travail philosophique traite souvent de la science historique. Il peut \u00eatre guid\u00e9 par le principe aristot\u00e9licien que la nature des pens\u00e9es modernes peut parfois \u00eatre mieux comprise \u00e0 la lumi\u00e8re de son d\u00e9veloppement historique. Il attribue ce point de vue au programme “History of Ideas” d’Arthur Lovejoy \u00e0 l’Universit\u00e9 Hopkins de John, pour laquelle il a \u00e9t\u00e9 encourag\u00e9 par le philosophe et historien am\u00e9ricain Peter Hare. De nombreuses publications de Corcoran ont des co-auteurs, et beaucoup d’autres reconnaissent explicitement l’inclusion de coll\u00e8gues et d’\u00e9tudiants. Corcoran souligne la nature tr\u00e8s personnelle de toutes les connaissances r\u00e9elles, y compris la logique. Il souligne \u00e9galement l’importance des communaut\u00e9s de connaissances et l’avantage de chaque individu gr\u00e2ce \u00e0 une coop\u00e9ration critique avec d’autres chercheurs. Une liste de publication, compl\u00e8tement jusqu’en 2000, a \u00e9t\u00e9 publi\u00e9e dans le magazine Histoire et philosophie de la logique , N\u00e9 en 1999. Ce volume contient un article de vue d’ensemble de M. Scanlan et S. Shapiro \u00abLe travail de John Corcoran: une appr\u00e9ciation\u00bb. Trois autres articles sur son travail sont dans l’anthologie Sujets actuels en logique et philosophie analytique , publi\u00e9 en 2007 par l’Universit\u00e9 de Santiago de Compostela Press. Ce sont les contributions \u00abCorcoran le math\u00e9maticien\u00bb par S. Shapiro \u00abCorcoran le philosophe\u00bb de J. M. Sag\u00fcillo, \u00abCorcoran en espagnol\u00bb par C. Mart\u00ednez-vidal Trois th\u00e9ories logiques. Philosophie des sciences 36: 1969. 153\u2013177. Exhaustivit\u00e9 d’une logique ancienne. Journal of Symbolic Logic 37: 1972. 696\u2013702. Les lacunes entre la th\u00e9orie logique et la pratique math\u00e9matique. Dans Bunge, M., \u00e9d. Unit\u00e9 m\u00e9thodologique de la science. Dordrecht: Kluwer. 1973. 23\u201350. Significations d’implication, Dialogos 9 (1973) 59\u201376. R\u00e9imprim\u00e9 dans R. Hughes, \u00e9d., Philosophical Companion to First Order Logic. Indianapolis: Hackett. 1993. Traduction de l’aspect par J. M. Saguillo Agora 5 (1985) 279-294. Syst\u00e8me de d\u00e9duction naturelle d’Aristote. Dans la logique ancienne et ses interpr\u00e9tations modernes. \u00c9d. J. Corcoran, Dordrecht: Kluwer, 1974. 85\u2013131. Remarques sur la d\u00e9duction sto\u00efque. Ibid., 169\u2013181. La th\u00e9orie des cordes. Journal of Symbolic Logic 39 (1974) 625\u201337. Avec W. Frank et M. Maloney. Structures logiques de la th\u00e9orie de la supposition d’Ockham. Franciscan Studies 38 (1978) 161\u201383. Avec J. Swiniarski. Crossley sur la logique math\u00e9matique. Philosophie 8 (1978) 79\u201394. Traduction espagnole par A. Garciadiego Math\u00e8se X (1988) 133\u2013150. Avec S. Shapiro. Cat\u00e9goricit\u00e9. Histoire et philosophie de la logique 1 (1980) 187-208.Reprinced in S. Shapiro, \u00e9d., The Limits of Logic, Aldershot, Angleterre: Dartmouth Publishing Company. 1996. Les crit\u00e8res de validit\u00e9 et d’invalidit\u00e9 de Boole. Notre Dame Journal of Formal Logic 21 (1980) 609639. Avec S. Wood. R\u00e9imprim\u00e9 dans J. Gasser, \u00e9d. Boole Anthologie. DORDRECHT: KLUWER.2000. Introduction et indice analytique. Dans Tarski, A. Logic, s\u00e9mantique, m\u00e9tamath\u00e9matiques. Deuxi\u00e8me \u00e9d. Sous la direction de J. Corcoran. Trans. J. H. Woodger. Indianapolis: Hackett. 1983. Pertinence contemporaine de la th\u00e9orie logique ancienne. Philosophie Quarterly 32 (1982) 76\u201386. Avec M. Scanlan. Arguments et logique. Argumentation 3 (1989) 17\u201343., Traduction espagnole par R. Fernandez et J. Sag\u00fcillo Agora 13\/1 (1994) 27\u201355. Revue d’Alfred Tarski: Documents collect\u00e9s. 4 vol. \u00c9dit\u00e9 par S. Givant et R. McKenzie. B\u00e2le: Birkh\u00e4user. 1986. Dans les revues math\u00e9matiques 91h: 01101, 2, 3,4. 1991. La fondation de la logique. Philosophie ancienne 14 (1994) 9-24. Logique th\u00e9orique de l’information, en v\u00e9rit\u00e9 en perspective \u00e9dit\u00e9 par C. Mart\u00ednez, U. Rivas, L. Villegas-Fororo, Ashgate Publishing Limited, Aldershot, Angleterre (1998) 113-135. Logique de second ordre. Dans le \u00abvolume comm\u00e9moratif de l’\u00e9glise\u00bb, la logique, le sens et le calcul: Essays in Memory of Alonzo Church \u00e9dit\u00e9 par M. Zeleny et C.A. Anderson., Kluwer Publishing Company, Dordrecht, Holland. 1998. Les analyses ant\u00e9rieures d’Aristote et les lois de la pens\u00e9e de Boole. . Histoire et philosophie de la logique 24 (2003) 261-288. Sch\u00e9mas: le concept de sch\u00e9ma dans l’histoire de la logique. Bulletin de logique symbolique. 12 (2006) 219\u201340. C. I. Lewis: histoire et philosophie de la logique. Transactions de la C. S. Peirce Society. 42 (2006) 1\u20139. Publication comm\u00e9morative: double \u00e9dition du magazine Histoire et philosophie de la logique 1999 (\u00e9d. M. Scanlan et S. Shapiro); Prix \u200b\u200bde boursier exceptionnel Der Universit\u00e9 de Buffalo 2002; Docteur H.C. Der Universit\u00e9 de Santiago de Compostela (Spanien) 2003; Corcoran Symposium , Universit\u00e9 de Santiago de Compostela (Spanien) 2003. \u2191  Dans Memoriam John Corcoran (1937 – 2021) , Buffalo.edu  \u2191  John Corcoran: Exhaustivit\u00e9 d’une logique ancienne . Dans: J. de la logique symbolique . 37e ann\u00e9e, Non.  4 . ASL, 1972, S.  696\u2013702 .   \u2191  John Corcoran: Sch\u00e9mas: le concept de sch\u00e9ma dans l’histoire de la logique . Dans: Bulletin de logique symbolique . 12e ann\u00e9e. ASL, 2006, S.  219\u201340 .   \u2191  John Corcoran: Cat\u00e9goricit\u00e9. Dans: Histoire et philosophie de la logique 1 (1980) 187\u2013208. R\u00e9imprim\u00e9 dans S. Shapiro, \u00e9d.: Les limites de la logique , Aldershot, Angleterre: Dartmouth Publishing Company. 1996       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2fr\/wiki1\/john-corcoran-wikipedia\/#breadcrumbitem","name":"John Corcoran – Wikipedia"}}]}]