Prior, arthur norman (1914-1969)

Arthur Norman Prior nació el 4 de diciembre en Masterton, cerca de Wellington, Nueva Zelanda. Reconoció una deuda filosófica temprana con John Findlay. Pero su primer puesto académico fue en Canterbury University College, donde sucedió a Karl Popper. Fue el profesor invitado John Locke en Oxford en 1956, y en 1958 fue nombrado profesor de filosofía en la Universidad de Manchester. Después de breves períodos como profesor invitado en la Universidad de Chicago y en la Universidad de California en Los Ángeles, se trasladó en 1966 a una beca de tutoría en Balliol College, Oxford, y la Universidad de Oxford lo nombró como lector concurrente.

Los primeros intereses intelectuales de Prior fueron de carácter muy religioso. Fue influenciado durante varios años por el teólogo Arthur Miller, quien combinó una estricta adherencia a la doctrina presbiteriana con un apoyo igualmente fuerte al socialismo y 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 cambió gradualmente, ayudado por un ataque ocasional de ateísmo, de la teología a la ética y la lógica. Intercambió ideas con un amplio círculo de amigos y conocidos, y su hospitalidad hacia los estudiantes fue legendaria.

El primer libro de Prior, Lógica y fundamento de la ética (1949) trazó las anticipaciones de los siglos XVII, XVIII y XIX de la crítica de GE Moore a la llamada falacia naturalista. Pero su principal reclamo a la fama radica en su trabajo pionero sobre la lógica formal de las relaciones temporales. Sus investigaciones más importantes en este campo fueron publicadas en Tiempo y modalidad (1957) Pasado, Presente y Futuro (1967), y Artículos sobre tiempo y tiempo (1968). Pero también escribió sobre varios temas lógicos en esta enciclopedia; Publicó un estudio sustancial del estado actual de la investigación lógica bajo el título de Lógica formal (1955; 2ª ed., 1962); y un volumen póstumo de artículos, Objetos de pensamiento (1971), fue editado por PT Geach y AJP Kenny.

Prior casi siempre usó el estilo polaco de notación en la discusión de pruebas y principios lógicos y fue un campeón convencido, aunque en gran parte infructuoso, de sus virtudes. Sin embargo, la mayor insuficiencia de su lógica tensa fue la incapacidad de discutir o acomodar las diferencias de aspecto, es decir, diferencias entre los significados expresados ​​por los verbos en un tiempo perfecto y los expresados ​​por los verbos en un tiempo imperfecto (ver Galton, 1984). Se pueden encontrar otras críticas en la revisión de LJ Cohen (1958) de Tiempo y modalidad y en su posterior controversia con Prior (Filosofía 34 [1959]). En su Lógica formal Prior mostró un conocimiento impresionantemente amplio con los sistemas lógicos fuera del campo de la lógica del tiempo, y este libro sigue siendo un texto útil para cualquier persona interesada en las comparaciones entre diferentes axiomatizaciones del cálculo proposicional, entre diferentes tipos de cuantificación lógica, entre diferentes lógicas modales o entre distintas lógicas trivaluadas o institucionalistas. Pero el tratamiento de las cuestiones metálicas en el libro es en ocasiones bastante selectivo: por ejemplo, en su discusión de las pruebas de completitud para el cálculo de predicados frente a su tratamiento de las pruebas de completitud para el cálculo proposicional.

Fuera de la brillante originalidad de su trabajo sobre la lógica del tiempo, quizás la idea más llamativa de Prior se expresó en "The Runabout Inference-Ticket" (1960), donde argumentó que, si el significado de un conectivo lógico consistía sólo en los usos lógicos a los que puede decirse (como muchos parecían sostener), entonces sería fácil inventar un conectivo con un significado que permitiera inferir cualquier conclusión a partir de cualquier premisa.

Véase también Ateísmo; Lógica modal; Moore, George Edward; Nacionalismo; Pacifismo; Popper, Karl Raimund; Socialismo.

Bibliografía

Obras de anteriores

Lógica y fundamento de la ética. Oxford: Clarendon Press, 1949.

Lógica formal. Oxford: Clarendon Press, 1955. 2ª ed., 1962.

Tiempo y modalidad. Oxford: Clarendon Press, 1957.

"El boleto de inferencia de Runabout". Análisis 21 (1960): 38 – 39.

Pasado, Presente y Futuro. Oxford: Clarendon Press, 1967.

Artículos sobre tiempo y tiempo. Oxford: Clarendon Press, 1968.

Objetos de pensamiento, editado por PT Geach y AJP Kenny. Oxford: Clarendon Press, 1971.

Funciona en anteriores

Cohen, LJ Revisión de Tiempo y modalidad. Philosophical Quarterly 8 (1958): 266 – 271.

Galón, A. La lógica del aspecto. Oxford: Clarendon Press, 1984.

LJ Cohen (1996)