2024-03-28T16:28:38Zhttp://digital.csic.es/dspace-oai/requestoai:digital.csic.es:10261/94222021-03-22T08:39:24Zcom_10261_10com_10261_7col_10261_893
Algunos desarrollos recientes en la articulación de lógicas temporales
Peña, Lorenzo
Martin Vide, Carlos
Peña, Lorenzo [0000-0002-0186-6215]
Martin Vide, Carlos [0000-0003-1670-6000]
Lógica temporal
Cálculo combinatorio
Anterioridad
Posterioridad
Lógica cronológica
Temporal logic
Chronological logic
Combinatory calculus
Anteriority
Posteriority
En: Lenguajes naturales y lenguajes formales IV.1 ed. by Carlos Martin Vide. Barcelona: Universitat de Barcelona, 1989 pp. 413-39.
Tras estudiar la diferencia entre las lógicas cronológicas y las
temporales --que arrancan de la obra de Prior--, se propone una lógica
no gradualista y contradictorial del transcurso temporal, que se acerca
más a las cronológicas (las de inspiración russelliana, que dejan de
lado el tiempo verbal y se sitúan en un plano objetivo).
Se articula esa lógica con un cálculo combinatorio; se muestra cómo
pueden implementarse formalmente ciertas ideas filosóficas sobre la
autocontradicción del flujo temporal y la no-coincidencia plena de una
duración con otra, ni siquiera consigo misma; lo simultáneo nunca lo es
del todo y, con relación a sí mismo, cualquier acaecimiento es en parte
pasado y en parte futuro. La posterioridad es cuestión de grado.
2009-01-02T09:45:54Z
2009-01-02T09:45:54Z
1989
capítulo de libro
84-7665-516-9
http://hdl.handle.net/10261/9422
spa
openAccess
Universidad de Barcelona