Carregant...
Fitxers
Tipus de document
ArticleVersió
Versió acceptadaData de publicació
Tots els drets reservats
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/153093
The formalities of temporaryism without presentness
Títol de la revista
Autors
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
Temporaryism the view that not always everything always exists comes in two main versions: presentism and expansionism (aka the growing block theory of time). Both versions of the view are commonly formulated using the notion of being present, which we, among others, find problematic. Expan- sionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterisations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterisations are full blown logics, each logic comprising an axiomatic proof system and an intuitive semantics with respect to which the system is both sound and complete.
Matèries
Matèries (anglès)
Citació
Citació
CORREIA, Fabrice, ROSENKRANZ, Sven. The formalities of temporaryism without presentness. _Notre Dame Journal of Formal Logic_. 2020. Vol. 61. [consulta: 21 de gener de 2026]. ISSN: 0029-4527. [Disponible a: https://hdl.handle.net/2445/153093]