Arthur Norman Prior (4 de diciembre de 1914 - 6 de octubre de 1969), generalmente citado como A. N. Prior , fue un lógico y filósofo nacido en Nueva Zelanda . Prior (1957) fundó la lógica temporal , ahora también conocida como lógica temporal , e hizo importantes contribuciones a la lógica intensional , particularmente en Prior (1971).
Prior nació en Masterton , Nueva Zelanda , el 4 de diciembre de 1914, hijo único de padres nacidos en Australia: Norman Henry Prior (1882-1967) y su esposa Elizabeth Munton Rothesay Teague (1889-1914). Su madre murió menos de tres semanas después de su nacimiento y fue cuidado por la hermana de su padre. Su padre, un médico de medicina general, después del servicio de guerra en Galípoli y en Francia, donde fue galardonado con la Cruz Militar , se volvió a casar en 1920. Hubo tres hijos más: Elaine, el epidemiólogo Ian Prior y Owen. Arthur Prior creció en un destacado hogar metodista . Sus dos abuelos wesleyanos, los reverendos Samuel Fowler Prior y Hugh Henwood Teague, fueron enviados desde Inglaterra a Australia del Sur como misioneros en 1875. [6] La familia Prior se mudó por primera vez a Nueva Zelanda en 1893.
Hijo de un médico, Prior pensó en un principio en convertirse en biólogo, pero acabó centrándose en teología y filosofía, graduándose en la Universidad de Otago en 1935 con una licenciatura en filosofía. Mientras estudiaba para su licenciatura, Prior asistió al seminario en el Knox Theological Hall de Dunedin, pero decidió no entrar en el ministerio presbiteriano . John Findlay, profesor de filosofía en Otago, fue el primero en abrirle el estudio de la lógica . [7] En 1936, Prior se casó con Clare Hunter, una periodista independiente, y pasaron varios años en Europa, durante los cuales intentaron ganarse la vida como escritores. Acobardados por la perspectiva de una invasión de Gran Bretaña, él y Clare regresaron a Nueva Zelanda en 1940. [1] En ese momento de su vida era un devoto presbiteriano, aunque más tarde se convirtió en ateo . [8] [9]
Tras divorciarse de su primera esposa, se volvió a casar en 1943 con Mary Wilkinson, con quien tendría dos hijos. Sirvió en la Real Fuerza Aérea de Nueva Zelanda de 1943 a 1945 antes de embarcarse en una carrera académica en el Canterbury University College en febrero de 1946. Su primer puesto fue una cátedra que quedó vacante cuando Karl Popper dejó la universidad. [10]
Tras regresar a Nueva Zelanda tras un año en Oxford como profesor visitante, en 1959 aceptó una cátedra en la Universidad de Manchester , donde permaneció hasta que fue elegido miembro del Balliol College de Oxford en 1966 y nombrado lector . Continuó con su práctica de Manchester de aceptar cátedras visitantes. [10]
Arthur Prior fue a dar conferencias en universidades noruegas en septiembre de 1969 y el 6 de octubre de 1969, la noche antes de que diera una conferencia allí, murió de un ataque cardíaco en Trondheim, Noruega . [10]
Prior se educó íntegramente en Nueva Zelanda, donde tuvo la suerte de haber estado bajo la influencia de J. N. Findlay , [1] bajo quien escribió su tesis de maestría sobre 'La naturaleza de la lógica'. [11] Si bien Prior era muy aficionado a la teología de Karl Barth , su crítica temprana de la adhesión de Barth al idealismo filosófico es una marca de la influencia de Findlay en Prior. [11]
Comenzó a enseñar filosofía y lógica en el Canterbury University College en febrero de 1946, llenando la vacante creada por la renuncia de Karl Popper . En 1951, Prior conoció a J. J. C. Smart , también conocido como "Jack" Smart, en una conferencia filosófica en Australia y los dos desarrollaron una amistad de por vida. Su correspondencia influyó en el desarrollo de la lógica temporal de Prior . Smart se adhirió a la teoría atemporal del tiempo y nunca fue persuadido por los argumentos de Prior, aunque Prior influyó en que Smart se mostrara escéptico sobre la visión de Wittgenstein sobre las pseudorrelaciones. [12] Se convirtió en profesor en 1953. Gracias a los buenos oficios de Gilbert Ryle , que había conocido a Prior en Nueva Zelanda en 1954, Prior pasó el año 1956 de permiso en la Universidad de Oxford , donde dio las conferencias John Locke en filosofía. Estas fueron publicadas posteriormente como Tiempo y modalidad (1957). Esta es una contribución seminal al estudio de la lógica temporal y la metafísica del tiempo, en la que Prior defendió la visión de la teoría A de que las modalidades temporales del pasado, presente y futuro son categorías ontológicas básicas de importancia fundamental para nuestra comprensión del tiempo y del mundo. Prior fue advertido varias veces por J. J. C. Smart de no hacer de la lógica temporal el tema de sus conferencias sobre John Locke . Smart temía que la lógica temporal hiciera que Prior "se involucrara en cuestiones secundarias, incluso en la filosofía pura, y no en las cosas que más le harían bien a Oxford". [13] Sin embargo, Prior estaba convencido de que la lógica temporal tenía el potencial de beneficiar a la lógica, así como a la filosofía, y por lo tanto consideraba sus conferencias como una "expresión de una convicción de que la lógica formal y la filosofía general tienen más para aportarse mutuamente de lo que a veces se supone". [14]
Durante su estancia en Oxford, Prior conoció a Peter Geach y William Kneale , influyó en John Lemmon y mantuvo correspondencia con el adolescente Saul Kripke . La lógica en el Reino Unido se encontraba entonces en un estado bastante bajo, estando «profundamente pasada de moda y sus practicantes estaban aislados y algo desmoralizados». [15] Prior organizó un coloquio sobre lógica que reunió a lógicos como John Lemmon , Peter Geach , Czesław Lejewski y otros. [16] Los coloquios fueron un gran éxito y, junto con la conferencia de Prior sobre John Locke y sus visitas por el país, ayudó a revitalizar la lógica británica. [16] De 1959 a 1966, fue profesor de filosofía en la Universidad de Manchester , habiendo enseñado a Osmund Lewry . Desde 1966 hasta su muerte fue miembro y tutor de filosofía en el Balliol College de Oxford . Entre sus estudiantes se incluyen Max Cresswell , Kit Fine y Robert Bull.
Prior, que aprendió casi por completo de forma autodidacta la lógica formal moderna , publicó cuatro artículos importantes sobre lógica en 1952, [17] cuando tenía 38 años, poco después de descubrir el trabajo de Józef Maria Bocheński y Jan Łukasiewicz , [18] a pesar de que muy poco del trabajo de Łukasiewicz se había traducido al inglés. [19] [20] Llegó al extremo de leer textos polacos sin traducir sin poder hablar polaco, afirmando que "los símbolos son tan esclarecedores que el hecho de que el texto sea incomprensible no importa mucho". [19] Continuó empleando la notación polaca a lo largo de su carrera. [21] Prior (1955) destila gran parte de su enseñanza temprana de lógica en Nueva Zelanda. El trabajo de Prior sobre la lógica temporal proporciona una defensa sistemática y extendida de una concepción temporal de la realidad en la que las declaraciones proposicionales pueden cambiar el valor de verdad con el tiempo. [22]
Prior se destacó por su gran interés en la historia de la lógica . Fue uno de los primeros lógicos de habla inglesa en apreciar la naturaleza y el alcance del trabajo lógico de Charles Sanders Peirce , y la distinción entre de dicto y de re en la lógica modal . Prior enseñó e investigó la lógica modal antes de que Kripke propusiera su semántica de mundos posibles para ella, en una época en la que la modalidad y la intencionalidad generaban poco interés en el mundo de habla inglesa, e incluso habían sido objeto de fuertes ataques por parte de Willard Van Orman Quine .
Ahora se dice que es el precursor de la lógica híbrida . [23] Al emprender (en una sección de su libro Pasado, presente y futuro (1967)) el intento de combinar operadores temporales binarios (por ejemplo, "hasta") y unarios (por ejemplo, "siempre será") en un sistema de lógica temporal , Prior—como resultado incidental—construye una base para lenguajes híbridos posteriores.
Su obra Tiempo y Modalidad exploró el uso de una lógica de múltiples valores para explicar el problema de los nombres no referenciales .
El trabajo de Prior era a la vez filosófico y formal y proporciona una sinergia productiva entre la innovación formal y el análisis lingüístico. [ cita requerida ] El lenguaje natural , observó, puede encarnar la locura y la confusión, así como la sabiduría de nuestros antepasados. Fue escrupuloso al exponer los puntos de vista de sus adversarios y proporcionó muchas sugerencias constructivas sobre el desarrollo formal de puntos de vista alternativos.
Los siguientes libros fueron escritos por Prior o son colecciones póstumas de artículos de revistas y trabajos inéditos que escribió:
En esta etapa de su vida, estaba obsesionado con la religión. Creía en el nacimiento virginal y en la voz del diablo, y era un devoto presbiteriano (Prior 1940)... Más adelante, sin embargo, se describió a sí mismo como alguien "sin creencias religiosas" (Prior c.1967). En 1961, cuando Max Cresswell, entonces estudiante de lógica de 21 años, lo conoció por primera vez en Manchester, Prior anunció: "Sr. Cresswell, ¿no es una lástima que Dios no exista?".
Durante varios años estuvo influido por el teólogo Arthur Miller, que combinaba una estricta adhesión a la doctrina presbiteriana con un apoyo igualmente fuerte al socialismo y una oposición al nacionalismo. Pero el pacifismo de Prior se debilitó y sirvió entre 1942 y 1945 en la fuerza aérea de Nueva Zelanda. Y el foco central de sus intereses se fue desplazando gradualmente -ayudado por un ocasional ataque de ateísmo- de la teología a la ética y la lógica.
De los cuatro artículos técnicos que marcaron el explosivo comienzo de la carrera de Prior como lógico formal en 1952 (1952a-d), dos se referían a la lógica modal... Su único recurso ante el aislamiento era leer, y leyó. En lógica empezó volviendo a WE Johnson. Después vinieron los Estudios y ejercicios de lógica formal de JN Keynes y luego (en su propia frase) se metió de lleno en los Principia Mathematica. Aprendió mucho sobre la historia del tema de Peirce, a quien encontró "inesperadamente magnífico". Un descubrimiento importante, en 1950, fue el Précis de Logique Mathematique de Bochenski (Bochenski 1949). Prior quedó fascinado por la "notacion simbólica muy nítida" debida a Łukasiewicz, y en poco tiempo le dio la espalda por completo a la notación más usual de Peano-Russell.
Este artículo fue el preludio del extenso estudio de Prior sobre la obra de Łukasiewicz sobre la modalidad, y a partir de entonces leyó a Łukasiewicz ampliamente... A juzgar por sus referencias en The Craft, sus primeros encuentros con la lógica modal simbólica moderna deben haber sido las exploraciones pioneras de Lewis en su obra Symbolic Logic y la de Langford, el capítulo de Bochenski 'La Logique de la Modalité' en su La Logique de Théophraste y el artículo de Feys 'Les Systèmes Formalisés des Modalités Aristotéliciennes'... Un descubrimiento importante, en 1950, fue el Précis de Logique Mathematique de Bochenski (Bochenski 1949). Prior quedó fascinado por la "notacion simbólica muy clara" debida a Łukasiewicz, y al poco tiempo le dio la espalda por completo a la notación más usual de Peano-Russell.
Este artículo fue el preludio del extenso estudio de Prior sobre el trabajo de Łukasiewicz sobre la modalidad, y posteriormente leyó a Łukasiewicz ampliamente, incluso material en polaco, y dijo que "los símbolos son tan esclarecedores que el hecho de que el texto sea incomprensible no importa mucho".
Debe haber sido muy apreciada por el autor, ya que en 1995 comenzó a traducirla al inglés.
Prior estaba fascinado por la 'notación simbólica muy ordenada' debida a Łukasiewicz, y en poco tiempo le dio la espalda por completo a la notación más habitual de Peano-Russell... La lógica formal está impregnada de notación polaca y del método axiomático, y tipifica el trabajo maduro de Prior.
Esta idea de que las proposiciones tensas pueden ser verdaderas en un momento y falsas en otro se volvió central para la filosofía de Prior. En un resumen de sus puntos de vista, compuesto casi dos décadas después, escribió: Ciertamente hay verdades inmutables, pero también hay verdades cambiantes, y es una lástima que la lógica las ignore y deje... a 'dialécticos' comparativamente informales el estudio de los aspectos más 'dinámicos' de la realidad. (Prior 1996a: 46)
Lo más parecido a una biografía de Prior es:
Un excelente resumen de la vida y los logros de Prior es:
Investigación en curso sobre la importancia de la filosofía y la lógica de Prior: