John Corcoran ( / ˈk ɔːr kər ən / KOR -kər-ən ; 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 mejor conocido por su trabajo filosófico sobre conceptos como la naturaleza de la inferencia , las relaciones entre condiciones , las distinciones 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 "firma" de 1989 [1] fue traducido a tres idiomas. Se han reimpreso catorce de sus artículos; uno fue reimpreso dos veces.
Su trabajo [2] sobre la lógica de Aristóteles 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 de definiciones de teorías formales de cadenas de caracteres , ciencias de 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. Su post- Sus estudios de doctorado en matemáticas fueron en la Universidad Yeshiva en 1964 y en la Universidad de California Berkeley en 1965. El tema de su tesis fue la estructura generativa de la lógica bivaluada.
El primer profesor de lógica de Corcoran fue Albert L. Hammond. Corcoran estudió a Platón y Aristóteles con Ludwig Edelstein . Sus siguientes dos 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 permanente de Corcoran fue en la Universidad de Pensilvania , donde su supervisor de tesis era profesor de Ciencias de la Información y la Computación.
Corcoran fue profesor de Filosofía en la Universidad de Buffalo (SUNY) de 1970 a 1973; Profesor asociado de Filosofía, Universidad de Buffalo entre 1970 y 1973; Profesor asistente de lingüística, Universidad de Pensilvania entre 1965 y 1969; Miembro del Grupo de Lingüística del Centro de Investigación de IBM entre 1963 y 1964.
Corcoran fue profesor invitado de Lógica, Universidad de Santiago de Compostela 1994; Académico visitante, Instituto Lingüístico, SUNY Oswego 1976; Director del Proyecto del Seminario NSF, Instituto Lingüístico, Universidad de Buffalo 1971; Profesor asociado visitante de Filosofía e investigador asociado, Universidad de Michigan, 1969–1970; Profesor invitado de Filosofía, Universidad de California, Berkeley, 1964–1965; Matemático, Laboratorio de Investigación de General Electric 1962; Matemático, Instituto de Astromecánica Aeronca, 1961; Instructor junior de Filosofía, Universidad Johns Hopkins 1960–1961.
El trabajo de Corcoran en historia de la lógica involucra 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 .
Se ha descubierto que su interpretación de 1972 de los Análisis previos de Aristóteles , [3] propuesta independientemente por Timothy Smiley aproximadamente al mismo tiempo, es más fiel que las interpretaciones anteriores tanto al texto griego como al contexto histórico. Ha servido de 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 adoptado para la traducción de 1989 de Prior Analytics de Robin Smith y para la traducción de 2009 del Libro A de Prior Analytics de 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ó un punto planteado por Aristóteles, 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 involucran ecuaciones, 2) extender la clase de problemas que podía tratar, hasta evaluar la validez que agregó resolución de ecuaciones, y 3) expandió la gama de aplicaciones que podía manejar, por ejemplo, desde proposiciones que tienen sólo dos términos hasta aquellas que tienen muchos arbitrariamente.
Más específicamente, Boole estuvo de acuerdo con lo que dijo Aristóteles ; Los "desacuerdos" de Boole, si se les 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, una idea revolucionaria en sí misma. En segundo lugar, en el ámbito de los problemas de la lógica, el hecho de que Boole añadiera 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 términos múltiples, 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 cuadrilátero que sea un cuadrado es un rectángulo que sea un rombo" de "Ningún cuadrado que sea un cuadrilátero es un rombo que sea un rectángulo" o de "Ningún rombo que sea un rectángulo es un cuadrado que es un cuadrilátero".
Su colaboración con Alfred Tarski a finales de los años 1970 y principios de los 1980 [6] condujo a publicaciones sobre el trabajo de Tarski [7] y al artículo de 2007 Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski, que rastrea los conceptos aristotélicos y booleanos. ideas en la obra de Tarski y que confirma el estatus de Tarski como 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 la lógica proposicional , la lógica modal , la lógica de identidad, la lógica silogística , la lógica de los operadores de términos vinculantes de variables de primer orden, la lógica de segundo orden , la teoría de modelos y la teoría de cuerdas , una disciplina fundamental en todas las áreas. de lógica y que proporciona un trasfondo esencial para todos sus demás trabajos matemáticos. 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 aquellos 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 poca historia o matemáticas, sus artículos históricos a menudo involucran filosofía original (por ejemplo, su reciente artículo de BSL "Schemata") o matemáticas originales (por ejemplo, su artículo de HPL de 1980 "Categoricity"). 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 implican investigaciones históricas originales. Se ha guiado por el principio aristotélico de que la naturaleza del pensamiento moderno a veces se comprende mejor a la luz de su desarrollo histórico, visión que atribuye al Programa de Historia de las Ideas de Arthur Lovejoy en la Universidad Johns Hopkins y que lo ha alentado. por el filósofo e historiador estadounidense Peter Hare . [8]
Muchos de los artículos y reseñas de Corcoran son 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 enfatiza 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 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 describen en su artículo de 2009 "La lógica de Aristóteles en el Departamento de Filosofía de la Universidad de Buffalo", 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 Historia y Filosofía de la Lógica, 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 el Matemático" de S. Shapiro , "Corcoran el Filósofo" de JM Sagüillo, y "Corcoran en Español" 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 de la teoría de la información es discutido por José M. Sagüillo en el artículo "Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence" (Historia y Filosofía de Logic volumen 30, 2009, 21–48), que recibió el Premio Ivor Grattan-Guinness de Historia y Filosofía de la Lógica 2009 (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]