la generación de tiempo y aspecto en inglés y español

Revisión de las categorías de tiempo y aspectoIf φ is a formula, then [Fφ]M,i,g = 1 iff there is some i’ in I such that i < i’ and [φ]M,i’,g= 1; otherwise, [Fφ]M,i,g = 0.If φ is a formula, then [Pφ]M,i,g = 1 iff there is some i’ in I such that i’ < i and [φ]M,i’ ,g =1; otherwise, [Pφ] M,i,g = 0.Figura 2.23. Definición formal de los operadores temporales P y F. A partir de Dowtyet al. (1981)El significado de estas fórmulas es que Pφ (siendo P el operador de pasado) es verdad si, ysólo si, hay un tiempo i’ dentro del intervalo I tal que i’ es anterior a otro tiempo i y la proposiciónφ es cierta en el tiempo i’. La misma explicación es aplicable al operador F (de futuro),con la salvedad, lógicamente, de que el tiempo i debe ser anterior a i’ y no posterior. Estosoperadores básicos (pasado y futuro) pueden utilizarse de forma recurrente, es decir, igual quedefinimos la fórmula Pφ, es posible definir PPφ, lo que implicaría que φ es verdad si i, i’ y json puntos de I y se cumple que i < i’ y i’ < j. No obstante resulta evidente que el lenguaje dela lógica temporal necesita ser dotado de mayor complejidad para captar los matices del lenguajenatural. Así diferentes autores han añadido nuevos operadores como H (“será siempre elcaso que”) y G (“era siempre el caso que”), o S (“alguna vez en el pasado”) y U (“alguna vezen el futuro”); o se utilizan conectores que permiten la creación de proposiciones más complejas.Un ejemplo lo proporciona la extensión de los operadores F y P para que pudieran incluirintervalos de tiempo (Moens y Steedman 1988, Bennet y Partee 1972, Kamp 1979), puntos dereferencia secundarios (Balckburn 1990, Kamp 1971) o matices más sutiles como pasado inmediato,cercano y remoto (Johnson 1981).Un hecho característico del lenguaje lógico empleado en fórmulas temporales es que es intensional.Con este término se quiere decir que se trata de un tipo de lógica que define condicionesveritativas con respecto no a un único estado o mundo, sino con respecto a varios69