Arthur Norman Prior (4 de diciembre de 1914 - 6 de octubre de 1969), citado habitualmente como A. N. Prior , fue un lógico y filósofo nacido en Nueva Zelanda . Prior (1957) fundó la lógica tensa , 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, nacida Elizabeth Munton Rothesay Teague (1889-1914). Su madre murió menos de tres semanas después de su nacimiento y la hermana de su padre lo cuidó. Su padre, médico de cabecera, que sirvió después de la guerra en Gallipoli y en Francia, donde recibió la Cruz Militar , se volvió a casar en 1920. Tuvieron tres hijos más: Elaine, el epidemiólogo Ian Prior y Owen. Arthur Prior creció en un prominente 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.
Como hijo de un médico, Prior al principio consideró convertirse en biólogo, pero terminó centrándose en teología y filosofía, graduándose de 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 ingresar al ministerio presbiteriano . John Findlay, profesor de Filosofía en Otago, fue el primero en abrirle el estudio de la lógica a Prior. [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. Intimidado por la perspectiva de una invasión de Gran Bretaña, él y Clare regresaron a Nueva Zelanda en 1940. [1] En este momento de su vida era un presbiteriano devoto, aunque más tarde se volvió 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ó disponible cuando Karl Popper dejó la universidad. [10]
Después de regresar a Nueva Zelanda después de un año en Oxford como profesor invitado, asumió una cátedra en 1959 en la Universidad de Manchester , donde permaneció hasta que fue elegido miembro del Balliol College de Oxford en 1966 y nombrado lector . Continuó su práctica de Manchester de aceptar cátedras visitantes. [10]
Arthur Prior fue a dar conferencias a universidades noruegas en septiembre de 1969 y el 6 de octubre de 1969, la noche antes de dar 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] con quien escribió su tesis de maestría sobre "La naturaleza de la lógica". [11] Si bien a Prior le gustaba mucho 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 la Universidad de Canterbury 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 para toda la vida. Su correspondencia influyó en el desarrollo de la lógica tensa de Prior . Smart se adhirió a la teoría del tiempo sin tiempo y nunca se dejó persuadir por los argumentos de Prior, aunque Prior influyó en hacer que Smart se mostrara escéptico sobre la visión de Wittgenstein sobre las pseudorelaciones. [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 licencia en la Universidad de Oxford , donde impartió las conferencias de filosofía de John Locke. . Estos se publicaron posteriormente como Tiempo y Modalidad (1957). Esta es una contribución fundamental al estudio de la lógica tensa y la metafísica del tiempo, en la que Prior defendió la visión del teórico 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 el tiempo. mundo. J. J. C. Smart advirtió a Prior en varias ocasiones que no hiciera de la lógica tensa el tema de sus conferencias sobre John Locke . Smart temía que la lógica tensa hiciera que Prior "se involucrara en cuestiones secundarias, incluso en filosofía pura, y no en las cosas que más beneficiarían 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 una "expresión de una convicción de que la lógica formal y la filosofía general tienen más que aportar entre sí de lo que es 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, "profundamente pasada de moda y sus practicantes estaban aislados y algo desmoralizados". [15] Prior organizó un coloquio lógico que reunió a lógicos como John Lemmon , Peter Geach , Czesław Lejewski y más. [16] Los coloquios fueron un gran éxito y, junto con la conferencia de John Locke de Prior y sus visitas por todo 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 alumnos se encuentran Max Cresswell , Kit Fine y Robert Bull.
Casi completamente autodidacta en lógica formal moderna , Prior 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 muy poco de la traducción al inglés de la obra de Łukasiewicz. [19] [20] Llegó incluso a leer textos polacos no traducidos 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) resume gran parte de su temprana enseñanza de la lógica en Nueva Zelanda. El trabajo de Prior sobre lógica tensa proporciona una defensa sistemática y ampliada de una concepción tensa de la realidad en la que los enunciados proposicionales pueden cambiar el valor de verdad con el tiempo. [22]
Prior 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 de la obra lógica 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 , en un momento en que la modalidad y la intensionalidad despertaban poco interés en el mundo de habla inglesa, e incluso habían sido objeto de un fuerte ataque por parte de Willard Van Orman Quine .
Ahora se dice que es el precursor de la lógica híbrida . [23] 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 En 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 multivaluada para explicar el problema de los nombres no referenciales .
El trabajo de Prior fue tanto filosófico como formal y proporciona una sinergia productiva entre la innovación formal y el análisis lingüístico. [ cita necesaria ] El lenguaje natural , comentó, puede encarnar la locura y la confusión, así como la sabiduría de nuestros antepasados. Fue escrupuloso al exponer las opiniones 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 artículos inéditos que escribió:
En esta etapa de su vida estaba obsesionado con la religión.
Creía en el nacimiento virginal y la voz del diablo, y era un presbiteriano devoto (Prior 1940)... Sin embargo, más tarde se describió a sí mismo como "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 le anunció: "Señor Cresswell, ¿no es una lástima que Dios no exista?".
Estuvo influenciado durante varios años por el teólogo Arthur Miller, quien combinó una estricta adhesión a la doctrina presbiteriana con un apoyo igualmente fuerte al socialismo y la oposición al nacionalismo. Pero el pacifismo de Prior se debilitó y sirvió de 1942 a 1945 en la fuerza aérea de Nueva Zelanda. Y el foco central de sus intereses se desplazó gradualmente -ayudado por un ataque ocasional de ateísmo- de la teología a la ética y la lógica.
De los cuatro artículos técnicos que marcaron el comienzo explosivo 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 frente al aislamiento fue leer, y leyó.
En lógica, empezó volviendo a WE Johnson.
Luego vinieron los Estudios y ejercicios de lógica formal de JN Keynes y luego (según sus propias palabras) se quedó atrapado en los Principia Mathematica.
Aprendió mucho sobre la historia del tema gracias a 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 "notación simbólica muy cuidada" debida a Łukasiewicz, y en poco tiempo le dio la espalda por completo a la notación más habitual de Peano-Russell.
Este artículo abrió el telón del extenso estudio de Prior sobre el trabajo de Łukasiewicz sobre la modalidad, y posteriormente leyó ampliamente a Łukasiewicz... 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 Lógica simbólica 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 de Bochenski. Matemáticas (Bochenski 1949).
Prior quedó fascinado por la "notación simbólica muy cuidada" debida a Łukasiewicz, y en poco tiempo le dio la espalda por completo a la notación más habitual de Peano-Russell.
Este artículo abrió el telón del extenso estudio de Prior sobre el trabajo de Łukasiewicz sobre la modalidad, y posteriormente leyó a Łukasiewicz ampliamente, incluso material en polaco, diciendo que "los símbolos son tan esclarecedores que el hecho de que el texto sea incomprensible no importa mucho".
.
...Debe haber sido muy apreciado por el autor, ya que en 1995 comenzó a traducirlo al inglés.
Prior estaba fascinado por la 'notación simbólica muy clara' 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 la notación polaca y el método axiomático, y tipifica la madurez de Prior. trabajar.
Esta idea de que las proposiciones tensas pueden ser verdaderas en un momento y falsas en otro se volvió central en 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 la responsabilidad. estudiar los aspectos más "dinámicos" de la realidad.
(Antes de 1996a: 46)
Lo más parecido a una biografía de Prior es:
Un excelente estudio de la vida y los logros de Prior es:
Investigaciones en curso sobre la importancia de la filosofía y la lógica de Prior: