en
Scientific article
French

The Formalities of Temporaryism without Presentness

Publication date2020
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 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.

Keywords
  • First-order temporal logic
  • Presentism
  • Growing block theory of time
  • Presentness
Funding
Citation (ISO format)
CORREIA, Fabrice, ROSENKRANZ, Sven. The Formalities of Temporaryism without Presentness. In: Notre Dame Journal of Formal Logic, 2020.
Main files (1)
Article (Submitted version)
accessLevelPublic
Identifiers
  • PID : unige:132868
ISSN of the journal0029-4527
341views
133downloads

Technical informations

Creation03/16/2020 6:36:00 AM
First validation03/16/2020 6:36:00 AM
Update time03/15/2023 9:19:13 PM
Status update03/15/2023 9:19:12 PM
Last indexation01/17/2024 9:17:05 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack