Please use this identifier to cite or link to this item: http://hdl.handle.net/2445/153093
Title: The formalities of temporaryism without presentness
Author: Correia, Fabrice
Rosenkranz, Sven
Keywords: Temps (Filosofia)
Lògica
Time (Philosophy)
Logic
Issue Date: 16-Feb-2020
Publisher: University of Notre Dame
Abstract: 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.
Note: Versió postprint del document publicat a:
It is part of: Notre Dame Journal of Formal Logic, 2020, vol. 61
URI: http://hdl.handle.net/2445/153093
ISSN: 0029-4527
Appears in Collections:Publicacions de projectes de recerca finançats per la UE
Articles publicats en revistes (Filosofia)

Files in This Item:
File Description SizeFormat 
697262.pdf234.99 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.