John Corcoran (1937, Baltimore) fue un lógico eminente, filósofo y matemático estadounidense.
Se le conoce fundamentalmente por su trabajo filosófico que nos ha ayudado a entender cuestiones tan centrales como la naturaleza de la inferencia, la relación entre lógica y epistemología, y el lugar de la teoría de la demostración y de la teoría de modelos en lógica. Su trabajo sobre la lógica de Aristóteles en los Primeros Analíticos se considera como muy fiel tanto al texto griego como al contexto histórico. Es la base de muchas investigaciones subsiguientes y fue adoptada por Robin Smith en su traducción de 1989 de los Analíticos Primeros.
El trabajo de Corcoran en historia de la lógica está relacionado con la mayoría de los períodos productivos de la disciplina. Ha discutido a Aristóteles, los estoicos, Ockham, Saccheri, Boole, Dedekind, Frege, los "postulate theorists" americanos, Alfred Tarski y Quine. Su interpretación de los Primeros Analíticos de Aristóteles, propuesta independientemente y casi simultáneamente por Timothy Smiley, se ha considerado más fiel que interpretaciones previas tanto al texto griego como al contexto histórico. Ha sido la base para investigaciones subsiguientes realizadas por Boger, Correia, Crivelli, Gasser, Martin, Mulhern, Scanlan, Smith y otros y fue adoptada en la traducción de este texto realizada por Robin Smith en 1989. Su reconstrucción crítica de 1980 del sistema original de Boole de 1847 reveló omisiones y errores que habían pasado desapercibidos y estableció la base esencialmente aristotélica de la filosofía de la lógica de Boole. Su colaboración con Alfred Tarski hacia el final de los 70 y el comienzo de los 80 dio lugar a publicaciones sobre el trabajo de Tarski y en 2007 al artículo "Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski", que rastrea las ideas aristotélicas y booleanas en el trabajo de Tarski, y que confirma el estatus de Tarski como figura fundadora 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 la distancia entre la teoría lógica y la práctica matemática. Su lógica matemática considera la lógica proposicional, la lógica modal, la lógica de la identidad, la lógica silogística, la lógica de primer orden con variables de ligazón para operadores de término, lógicas de segundo orden, teoría de modelos, y la teoría de concatenaciones –disciplina que es fundacional en todas las áreas de lógica y que proporciona las bases para todo el resto de su trabajo matemático. En filosofía de la matemática Corcoran se ha guiado por un platonismo matizado e inclusivo que intenta hacer justicia a todos los aspectos de la experiencia lógica y matemática incluyendo aquellos aspectos destacados por perspectivas filosóficas en competencia, tales como el logicismo, el constructivismo, el deductivismo y el formalismo. Aunque varios de sus artículos filosóficos incluyen poca historia o poca matemática, sus artículos históricos a menudo involucran ya sea filosofía original (e.g. su reciente artículo del BSL “Schemata”) o matemática original (e.g. su artículo de 1980 del HPL “Categoricity”). Corcoran se ha referido a la dimensión matemática de su aproximación a la historia como "arqueología matemática". Sus artículos filosóficos a menudo presentan investigación histórica original. Corcoran 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, concepción que él atribuye al Programa de Historia de las Ideas de Arthur O. Lovejoy de la Universidad Johns Hopkins, programa al cual se ha sumado por influencia del filósofo e historiador americano Peter Hare.
Muchos de los artículos y reseñas de Corcoran han sido realizados en cooperación y en muchas de sus publicaciones individuales agradece la contribución de colegas y estudiantes. Corcoran enfatiza la naturaleza intensa y esencialmente personal de todo el conocimiento genuino, incluido el conocimiento lógico. También señala la importancia de las comunidades de conocedores y cómo toda persona puede beneficiarse en su búsqueda personal de la verdad de la cooperación crítica con otros investigadores. Un listado completo (hasta el 2000) de sus publicaciones aparece en el volumen de 1999 de History and Philosophy of Logic, que también incluye un artículo expositivo de M. Scanlan y S. Shapiro "The work of John Corcoran: An Appreciation". Otros artículos relativos a su trabajo son "Corcoran the Mathematician" de S. Shapiro, "Corcoran the Philosopher" de José Miguel Sagüillo, y "Corcoran in Spanish" de Concha Martínez Vidal; todos ellos aparecen en un volumen de 2007 publicado por la editorial de la Universidad de Santiago de Compostela.
La primera traducción al español de un trabajo de John Corcoran data de 1985. Se trata de una traducción de su artículo de Diálogos de 1973 "Meanings of Implication". Se publicó bajo el título “Los significados de la implicación” en la revista de la Facultad de Filosofía de la Universidad de Santiago de Compostela, Agora (5, 1985, 279-294). Roberto Torretti ha calificado la conferencia que con el mismo título impartió Corcoran en San Juan de Puerto Rico en 1973 como: "la brillante conferencia [...]que sacudió como un terremoto las ideas que me había ido formando sobre la esencia y el propósito de la lógica" (Torretti en su "Introduction of John Corcoran at the International Colloquium on Aristotle’s Logic", Santiago de Chile, 20 de noviembre de 2007). Este artículo resulta de gran utilidad para los estudiantes ya que facilita su viaje a través de los distintos sentidos de la palabra “implica” que subyacen a su uso en las lenguas naturales. En él Corcoran distingue doce sentidos diferentes del término ‘implicación`. Entre ellos están los sentidos más elementales, esto es, implicación material, A → B, consecuencia lógica, A╞═ B, y deducibilidad, A├─ B. Pero Corcoran va mucho más allá; Su análisis de los usos del término ‘implicación’ constituye un hilo a través del cual aborda muchas otras cuestiones. Así, señala la diferencia entre derivabilidad de una proposición a partir de un conjunto de proposiciones y el hecho de que una persona en concreto consiga o no llevar a cabo la derivación. Analiza además varias formas posibles de entender el término ‘deducción’ para defender que el más apropiado es el sentido estándar ya que coincide con los usos, matemático y filosófico, del término. En el sentido que a él le parece más apropiado, una deducción es un proceso epistémico que produce conocimiento de que una conclusión es implicada por un conjunto de premisas, es decir, produce conocimiento de que la información contenida en la conclusión está ya en las premisas, conocimiento de que sería redundante afirmar la conclusión una vez se han afirmado las premisas. Discute también errores históricos relacionados con el uso del término ‘implicar’; en particular presenta el uso que del término hace Russell para mostrar sus desaciertos. Introduce la noción de consecuencia de Alfred Tarski y plantea una nueva tesis histórica; esta tesis ha adquirido gran relevancia a partir del trabajo de Etchemendy de 1980: The concept of Logical Consequence. Corcoran defiende que la noción de consecuencia introducida en el artículo de Tarski de 1936 es distinta de la modelo-teórica, y que es Bolzano el autor al que se debe acreditar como el autor que formuló inicialmente la noción que contemporáneamente asignamos a Tarski. Finalmente, John Corcoran explica en pocas palabras, por qué los contrafácticos no pueden ser analizados en términos del condicional material veritativo-funcional.
Los cursos de Corcoran son todos introductorios, sin ningún prerrequisito y sin presupuestos de conocimiento previo. En cada curso reconstruye su contenido o asunto desde su base y nunca cubre el mismo material dos veces. Corcoran se afana en ayudar a sus estudiantes a conectar con la realidad de la que se ocupa la lógica de modo que puedan convertirse en jueces autónomos de la adecuación a su campo enfatizando la prioridad de la educación sobre la adoctrinación y la superioridad del aprendizaje de cómo pensar más que de qué pensar. Sus estudiantes enseñan, entre otros lugares, en Bryn Mawr, Canisius College, Colorado State, Dordt College, Ohio State, Oregón State, Universidad Pontificia de Río de Janeiro, St. John’s College, UCLA, Universidad de Lausana, Universidad de Santiago de Compostela. Sus estudiantes más conocidos incluyen a George Boger, James Gasser, Calvin Jongsma, Edward Keenan, José Miguel Sagüillo, Michael Scanlan, Stewart Shapiro, y George Weaver.
Escribe un comentario o lo que quieras sobre John Corcoran (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)