Fitxers

697262.pdf (234.99 KB)

Tipus de document

Article

Versió

Versió acceptada

Data de publicació

2020-02-16

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

Temps (Filosofia), Lògica

Matèries (anglès)

Time (Philosophy), Logic

Citació

Col·leccions

Articles publicats en revistes (Filosofia)
Publicacions de projectes de recerca finançats per la UE

Citació

CORREIA, Fabrice and ROSENKRANZ, Sven. The formalities of temporaryism without presentness. Notre Dame Journal of Formal Logic. 2020. Vol. 61. ISSN 0029-4527. [consulted: 4 of July of 2026]. Available at: https://hdl.handle.net/2445/153093

Exportar metadades

JSON - METS

Compartir registre