An prior

la lógica temporal de los programas

Arthur Norman Prior (4 de diciembre de 1914 – 6 de octubre de 1969), habitualmente citado como A. N. Prior, fue un lógico y filósofo nacido en Nueva Zelanda. Prior (1957) fundó la lógica tensional, 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, siendo el único hijo de padres australianos: 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 el niño quedó al cuidado de la hermana de su padre. Su padre, médico generalista, tras el servicio de guerra en Gallipoli y en Francia -donde se le concedió la Cruz Militar- se casó en 1920 y tuvo tres hijos más. 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 al sur de Australia como misioneros en 1875[7].

ludwig wittgenstein

Arthur Norman Prior (4 de diciembre de 1914 – 6 de octubre de 1969), habitualmente citado como A. N. Prior, fue un lógico y filósofo nacido en Nueva Zelanda. Prior (1957) fundó la lógica tensional, 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, siendo el único hijo de padres australianos: 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 el niño quedó al cuidado de la hermana de su padre. Su padre, médico generalista, tras el servicio de guerra en Gallipoli y en Francia -donde se le concedió la Cruz Militar- se casó en 1920 y tuvo tres hijos más. 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 al sur de Australia como misioneros en 1875[7].

lenguaje de programación de lógica temporal

Arthur Norman Prior (1914-69) desarrolló la lógica temporal; en concreto, articuló las visiones “interna” (o serie A) y “externa” (o serie B) del tiempo, mostrando cómo ambas podían tratarse formalmente. La mayoría de los metafísicos piensan que hay una diferencia “real” entre estos dos puntos de vista, que sólo uno describe la naturaleza real del tiempo. Prior también pensaba que había una diferencia, y argumentaba que la visión interna es la “correcta” -que la visión correcta toma el “presente” como metafísicamente privilegiado- y que todos los aspectos del tiempo podían estudiarse desde esta perspectiva. El debate al respecto sigue siendo acalorado, y hoy en día muchos metafísicos apoyan el punto de vista externo, argumentando que el presente no es fundamentalmente diferente de otros instantes del tiempo. Las ramificaciones filosóficas de esta distinción interna/externa deben explorarse a fondo, y nuestro proyecto consiste en explicar, en primer lugar, la ex

c. i. lewis

Arthur Norman Prior (4 de diciembre de 1914 – 6 de octubre de 1969), habitualmente citado como A. N. Prior, fue un lógico y filósofo nacido en Nueva Zelanda. Prior (1957) fundó la lógica tensional, 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, siendo el único hijo de padres australianos: 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 el niño quedó al cuidado de la hermana de su padre. Su padre, médico generalista, tras el servicio de guerra en Gallipoli y en Francia -donde se le concedió la Cruz Militar- se casó en 1920 y tuvo tres hijos más. 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 al sur de Australia como misioneros en 1875[7].