Lógica temporal:perspectiva histórica y relación con los flujos del tiempo

Categoría: 
Resumen: 

El tiempo es uno de los elementos básicos en la experiencia de la vida del ser humano y, a la vez, uno de los mayores misterios que entraña la realidad. Este trabajo pretende ofrecer una perspectiva general de los principales problemas que filósofos y lógicos se han encontrado desde tiempos remotos al tratar con la lógica temporal y la filosofía del tiempo. Por ello, se tratarán algunas de las grandes preguntas que grandes autores se han hecho a lo largo de la historia al intentar comprender el funcionamiento del tiempo, se verán las principales consideraciones que se han tenido y se tienen en cuenta en relación con la naturaleza y la forma del tiempo, y se presentará la relación que la lógica temporal moderna tiene con todas estas consideraciones filosóficas más allá del propio lenguaje formal. El objetivo principal del trabajo es, pues, mostrar como estas aproximaciones filosóficas e históricas siguen estando presentes en el núcleo de la lógica temporal formal y que, por lo tanto, todas esas preguntas que originaron los primeros debates en torno a la lógica relacionada con el tiempo y la modalidad siguen presentes en la actualidad.

Este trabajo se divide en tres partes principales: en la parte 1 se introducirán algunas de las preguntas más importantes que, desde la antigüedad, la humanidad se ha planteado en relación con la lógica del tiempo. En la parte 2 se verán diferentes concepciones de flujos temporales junto con algunas consideraciones formales respecto a sus propiedades, así como dos aproximaciones modernas a la hora de tratar la lógica temporal y algunos de los aspectos más relevantes del trabajo de A.N. Prior. En la parte 3 se presentarán algunos de los sistemas de lógica temporal fundamentales junto con los axiomas que los forman. Seguidamente se expondrá la relación existente entre dichos axiomas y las propiedades de los flujos del tiempo vistas en la parte 2. En esta última parte se consideran algunas de las diversas implicaciones que tiene esta relación entre lógica formal y filosofía de la lógica temporal para, luego, mostrar como estas disciplinas siguen íntimamente ligadas incluso hoy en día.

En el curso 2017-2018 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad