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: | Articles publicats en revistes (Filosofia) Publicacions de projectes de recerca finançats per la UE |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
697262.pdf | 234.99 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.