Translator Disclaimer
May 2020 The Formalities of Temporaryism without Presentness
Fabrice Correia, Sven Rosenkranz
Notre Dame J. Formal Logic 61(2): 181-202 (May 2020). DOI: 10.1215/00294527-2020-0001

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. Expansionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterizations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterizations 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.

Citation

Download Citation

Fabrice Correia. Sven Rosenkranz. "The Formalities of Temporaryism without Presentness." Notre Dame J. Formal Logic 61 (2) 181 - 202, May 2020. https://doi.org/10.1215/00294527-2020-0001

Information

Received: 16 May 2018; Accepted: 14 April 2019; Published: May 2020
First available in Project Euclid: 7 April 2020

zbMATH: 07222686
MathSciNet: MR4092530
Digital Object Identifier: 10.1215/00294527-2020-0001

Subjects:
Primary: 03B45

Rights: Copyright © 2020 University of Notre Dame

JOURNAL ARTICLE
22 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.61 • No. 2 • May 2020
Back to Top