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

Juan Rafael Zamorano Mansillamundos, tal vez hipotéticos. D. Dowty define este lenguaje en los siguientes términos: “[It is]a language for which we provide a definition of denotation for all expressions not just for asingle state of affairs but for many possible states of affairs” (Dowty et al. 1981). Otrosautores prefieren el término “world-state”, como Lyons (1977): “we can take the truth or falsityof a proposition as being relative to the world, or world-state, that it purports to describe”,o “possible world”, como P.J. Tedeschi (1981): “An adequate truth-theory for natural languageswill evaluate the truth-value of sentences with respect to a possible world and time”.En efecto, frente al lenguaje empleado para definir las condiciones veritativas de proposicionesatemporales, que hacen referencia a un estado del mundo tal y como lo concebimos, lalógica temporal hace también referencia a mundos posibles, especialmente en lo que respectaal futuro. De ahí que la lógica temporal se halle estrechamente ligada a la lógica modal, ramaen la que de hecho se originó.Una vez visto el método de trabajo empleado en la lógica temporal, conviene decir que laaportación hecha por los estudiosos dentro de esta disciplina al conocimiento de los sistemastemporales de las lenguas es muy similar a la de los autores que provienen de la lingüística.De hecho, como J. Clifford admite, el trabajo de los lógicos parte de las descripciones de lossignificados de los tiempos hechas por los propios lingüistas, ya que su tarea consiste en representarformalmente dichos significados: “To achieve this aim, [la representación del valorde los operadores temporales] it will be necessary to report the findings of linguistics on what,exactly, the tense forms of natural languages do represent”(Clifford 1975).Por esta razón muchos de los autores que trabajan en la lógica temporal son encuadradosdentro del campo de la filosofía, más que la lingüística, aunque es cierto que según cada autorindividual se da una orientación más lingüística o filosófica. Aquellos lógicos que claramente70