John Corcoran ( 20 de marzo de 1937 - 8 de enero de 2021) fue un lógico , filósofo, matemático e historiador de la lógica estadounidense . Es más conocido por su trabajo filosófico sobre conceptos como la naturaleza de la inferencia , las relaciones entre condiciones , las distinciones entre argumento-deducción-prueba , la relación entre lógica y epistemología y el lugar de la teoría de la prueba y la teoría de modelos en la lógica. Nueve de los artículos de Corcoran han sido traducidos al español , portugués , persa y árabe ; su ensayo "de firma" de 1989 [1] fue traducido a tres idiomas. Catorce de sus artículos han sido reimpresos; uno fue reimpreso dos veces.
Su obra [2] sobre la lógica aristotélica de los Analíticos Priores se considera muy fiel tanto al texto griego como al contexto histórico. [3] Es la base de muchas investigaciones posteriores. [a]
Sus resultados matemáticos sobre la equivalencia definicional de las teorías formales de cadenas de caracteres y las ciencias de las cadenas de caracteres sobre alfabetos finitos son fundamentales para la lógica, la lingüística formal y la informática . [4]
Corcoran se graduó del Programa Preparatorio Universitario Avanzado (el "Curso A") del Instituto Politécnico de Baltimore en 1956 y recibió el BES en Ingeniería Mecánica en 1959 de la Universidad Johns Hopkins , donde recibió el doctorado en Filosofía en 1963. Sus estudios postdoctorales en matemáticas fueron en la Universidad Yeshiva en 1964 y en la Universidad de California en Berkeley en 1965. El tema de su disertación fue Estructura generativa de lógicas de dos valores.
El primer profesor de lógica de Corcoran fue Albert L. Hammond. Corcoran estudió a Platón y Aristóteles con Ludwig Edelstein . Sus dos siguientes profesores de lógica fueron Joseph Ullian y Richard Wiebe. El supervisor de tesis de Corcoran fue Robert McNaughton . En la Universidad Yeshiva de la ciudad de Nueva York, Corcoran estudió con Raymond Smullyan y Martin Davis . El primer puesto de titularidad de Corcoran fue en la Universidad de Pensilvania , donde su supervisor de tesis fue un profesor de informática y ciencias de la información.
Corcoran fue profesor de Filosofía en la Universidad de Buffalo (SUNY) de 1970 a 1973; profesor asociado de Filosofía en la Universidad de Buffalo entre 1970 y 1973; profesor adjunto de Lingüística en la Universidad de Pensilvania entre 1965 y 1969; miembro del Grupo de Lingüística del Centro de Investigación IBM entre 1963 y 1964.
Corcoran fue Profesor Visitante de Lógica en la Universidad de Santiago de Compostela 1994; Académico Visitante en el Instituto Lingüístico de la SUNY Oswego 1976; Director del Proyecto del Seminario de la NSF en el Instituto Lingüístico de la Universidad de Buffalo 1971; Profesor Visitante Asociado de Filosofía e Investigador Asociado en la Universidad de Michigan 1969-1970; Profesor Visitante de Filosofía en la Universidad de California, Berkeley 1964-1965; Matemático en el Laboratorio de Investigación de General Electric 1962; Matemático en el Instituto de Astromecánica Aeronáutica 1961; Instructor Junior en Filosofía en la Universidad Johns Hopkins 1960-1961.
El trabajo de Corcoran en la historia de la lógica abarca la mayoría de los períodos productivos de la disciplina. Ha analizado a Aristóteles , los estoicos , Guillermo de Ockham , Giovanni Girolamo Saccheri , George Boole , Richard Dedekind , Gottlob Frege , Charles Sanders Peirce , Clarence Irving Lewis , los teóricos del postulado estadounidense, Alfred Tarski , Willard Van Orman Quine y Warren Goldfarb .
Su interpretación de 1972 de los Analíticos Priores de Aristóteles , [3] propuesta independientemente por Timothy Smiley aproximadamente al mismo tiempo, ha resultado ser más fiel que las interpretaciones anteriores tanto al texto griego como al contexto histórico. Ha formado la base para investigaciones posteriores de Edgar Andrade, George Boger, Manuel Correia, Paolo Crivelli, Newton da Costa , Catarina Dutilh, Paolo Fait, Nicolas Fillion, James Gasser, Klaus Glashoff, John Martin, Mary Mulhern, Michael Scanlan, Robin Smith, Neil Tennant y otros. Fue adoptada para la traducción de 1989 de los Analíticos Priores por Robin Smith y para la traducción de 2009 del Libro A de los Analíticos Priores por Gisela Striker .
Su reconstrucción crítica de 1980 del sistema original de Boole de 1847 reveló lagunas y errores previamente inadvertidos en el trabajo de Boole y estableció la base esencialmente aristotélica de la filosofía de la lógica de Boole. Un artículo de 2003 [5] proporciona una comparación sistemática y una evaluación crítica de la lógica aristotélica y la lógica booleana ; también revela la centralidad de la referencia holística en la filosofía de la lógica de Boole . Según Corcoran, Boole aceptó y respaldó plenamente la lógica de Aristóteles. Boole no cuestionó ningún punto que Aristóteles planteó, pero sí "fue por debajo, por encima y más allá" de la lógica de Aristóteles al 1) proporcionarle fundamentos matemáticos que involucraban ecuaciones, 2) extender la clase de problemas que podía tratar (a la evaluación de la validez agregó la resolución de ecuaciones) y 3) expandir el rango de aplicaciones que podía manejar (por ejemplo, de proposiciones que tenían solo dos términos a aquellas que tenían arbitrariamente muchos).
Más específicamente, Boole estaba de acuerdo con lo que decía Aristóteles ; los «desacuerdos» de Boole, si se los puede llamar así, se refieren a lo que Aristóteles no dijo. En primer lugar, en el ámbito de los fundamentos, Boole redujo las cuatro formas proposicionales de Aristóteles a una sola forma, la de las ecuaciones, lo que en sí mismo era una idea revolucionaria. En segundo lugar, en el ámbito de los problemas de la lógica, la adición de Boole de la resolución de ecuaciones a la lógica (otra idea revolucionaria) implicaba la doctrina de Boole de que las reglas de inferencia de Aristóteles (los « silogismos perfectos ») deben complementarse con reglas para la resolución de ecuaciones. En tercer lugar, en el ámbito de las aplicaciones, el sistema de Boole podía manejar proposiciones y argumentos de múltiples términos, mientras que Aristóteles sólo podía manejar proposiciones y argumentos de sujeto-predicado de dos términos. Por ejemplo, el sistema de Aristóteles no podía deducir "Ningún cuadrángulo que sea un cuadrado es un rectángulo que sea un rombo" de "Ningún cuadrado que sea un cuadrángulo es un rombo que sea un rectángulo" o de "Ningún rombo que sea un rectángulo es un cuadrado que sea un cuadrángulo".
Su colaboración con Alfred Tarski a finales de los años 1970 y principios de los años 1980 [6] condujo a publicaciones sobre el trabajo de Tarski [7] y al artículo de 2007 Notas sobre la fundación de la lógica y la metalógica: Aristóteles, Boole y Tarski, que rastrea las ideas aristotélicas y booleanas en el trabajo de Tarski y que confirma el estatus de Tarski como una figura fundadora de la lógica a la par de Aristóteles y Boole.
Su trabajo en filosofía de la lógica se centra en la naturaleza de la lógica, el papel de la lógica en la investigación, la estructura conceptual de la lógica, las presuposiciones metafísicas y epistemológicas de la lógica, la naturaleza de la lógica matemática y las brechas entre la teoría lógica y la práctica matemática. Su lógica matemática trata las lógicas proposicionales , las lógicas modales , las lógicas de identidad, las lógicas silogísticas , la lógica de los operadores de términos de primer orden que vinculan variables, las lógicas de segundo orden , la teoría de modelos y la teoría de cuerdas , una disciplina que es fundamental en todas las áreas de la lógica y que proporciona una base esencial para todo su otro trabajo matemático. En filosofía de las matemáticas, Corcoran se ha guiado por un platonismo matizado e inclusivo que se esfuerza por hacer justicia a todos los aspectos de la experiencia matemática y lógica, incluidos los aspectos enfatizados por perspectivas filosóficas en competencia como el logicismo , el constructivismo , el deductivismo y el formalismo . Aunque varios de sus artículos filosóficos presuponen poco de historia o matemáticas, sus artículos históricos a menudo involucran filosofía original (por ejemplo, su reciente artículo BSL "Schemata") o matemáticas originales (por ejemplo, su artículo HPL de 1980 "Categoricidad"). Se ha referido a la dimensión matemática de su enfoque de la historia como arqueología matemática. Sus artículos filosóficos a menudo involucran investigación histórica original. Se ha guiado por el principio aristotélico de que la naturaleza del pensamiento moderno a veces se entiende mejor a la luz de su desarrollo histórico, una visión que atribuye al Programa de Historia de las Ideas de Arthur Lovejoy en la Universidad Johns Hopkins y en la que ha sido alentado por el filósofo e historiador estadounidense Peter Hare . [8]
Muchos de los artículos y reseñas de Corcoran son escritos por coautores y muchas de sus publicaciones de un solo autor reconocen la participación de colegas y estudiantes. Corcoran enfatiza la naturaleza intensa y esencialmente personal de todo conocimiento genuino, incluido el conocimiento lógico. Sin embargo, también destaca la importancia de las comunidades de conocedores y cuánto puede beneficiarse cada persona en la búsqueda personal de la verdad a partir de la cooperación crítica con otros investigadores objetivos. Durante más de 40 años fue el líder del "Buffalo Syllogistic Group", una comunidad de filósofos, historiadores, lingüistas, lógicos y matemáticos dedicados al estudio del origen de la lógica. Los logros de esta comunidad se esbozan en su artículo de 2009 "Aristotle's Logic at the University at Buffalo's Department of Philosophy", Ideas y Valores: Revista Colombiana de Filosofía 140 (agosto de 2009) 99-117. Una lista de sus publicaciones, completa hasta el año 2000, aparece en el volumen de 1999 de History and Philosophy of Logic, que también incluye el artículo expositivo de M. Scanlan y S. Shapiro "The Work of John Corcoran: An Appreciation". Otros artículos sobre su obra incluyen "Corcoran the Mathematician" de S. Shapiro , "Corcoran the Philosopher" de JM Sagüillo y "Corcoran in Spanish" de C. Martínez-Vidal; todos aparecen en un volumen de 2007 publicado por la Editorial de la Universidad de Santiago de Compostela . [9] El trabajo de Corcoran en la década de 1990 sobre lógica teórica de la información es discutido por José M. Sagüillo en el artículo "Práctica metodológica y conceptos complementarios de consecuencia lógica: la consecuencia teórica del modelo de Tarski y la consecuencia teórica de la información de Corcoran" (Historia y filosofía de la lógica volumen 30, 2009, 21–48), que recibió el Premio Ivor Grattan-Guinness 2009 para la historia y filosofía de la lógica (informaworld.com).
Para obtener una lista completa, consulte la página de inicio de John Corcoran. Algunos de sus artículos están disponibles en línea: https://buffalo.academia.edu/JohnCorcoran
Corcoran murió el 8 de enero de 2021, a la edad de 83 años. [11]