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

Juan Rafael Zamorano Mansillatemporal tiene por objeto especificar las condiciones veritativas de aquellas proposiciones queestán marcadas temporalmente en el lenguaje natural, o dicho de otra forma, se interesa pordeterminar la contribución que el tiempo gramatical tiene dentro del valor total de la proposicióny por cómo ésta puede ser representada formalmente. Para ello, es corriente que los lógicospartan del supuesto de que toda oración contiene una proposición atemporal, a la que seaplican operadores temporales. Esta postura queda claramente reflejada en las palabras de F.Vlach (1981): “it is most reasonable, then, to let the tenseless form have whatever truth conditionsit needs to have in order to fulfil its function, rather than to identify it with some predeterminedEnglish tense”.Así pues, y tomando un ejemplo del propio F. Vlach, la oración Max built a house contienela proposición atemporal [Max build a house], y para definir la aportación semánticade la forma de Pasado podemos ignorar las condiciones veritativas de esta proposición. Deeste modo, podemos representar la proposición con símbolos simples como “a” o “φ”, a losque llamamos fórmulas. Como explica F. Vlach, las condiciones veritativas de los tiempos serepresentan en la forma de operadores temporales que actúan sobre la proposición. Dichosoperadores se anteponen a la fórmula que representa la proposición, dando otra fórmula deltipo F(a), Wa o Pφ, donde F, W y P representan el tiempo futuro, pasado, etc. del lenguajenatural. Lógicamente el significado de dichos operadores ha de ser explicitado a su vez mediantedefiniciones formales como las que se ofrecen en la figura 2.23, las cuales pueden tomarsecomo representativas del modo de presentar las condiciones veritativas de un operadortemporal:If φ is a formula, then Fφ is a formula.If φ is a formula, then Pφ is a formula.68