Lógica temporal: Prior y Borges

Prior señala con vigor la importancia que en la lógica tiene el tiempo (time) y las formas temporales (tenses). Llega a sostener que toda la lógica es una lógica de las formas temporales. Argumenta que la lógica temporal se basa en que la distinción en las formas temporales es tema propio de la lógica y que lo verdadero en un tiempo puede ser falso en otro y viceversa. Afirma que estos supuestos fueron aceptados por los antiguos y medievales pero que, después del Renacimiento, fueron negados o ignorados; tal vez, digo yo, por el prolongado deslizamiento de la "grasa psicológica" a la que hacía referencia Frege