The Formalities of Temporaryism without Presentness
Fabrice Correia,Sven Rosenkranz +1 more
Reads0
Chats0
TLDR
This paper has put forward systematic characterisations of presentism and expansionism which 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.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.read more
Citations
More filters
Time Tense And Causation
TL;DR: The time tense and causation is universally compatible with any devices to read and is available in the digital library an online access to it is set as public so you can download it instantly.
Journal ArticleDOI
The rotten core of presentism
Jonathan Tallant,David Ingram +1 more
TL;DR: The authors argue that such attempts are doomed to fail because there is no theoretical core to presentism and presentism is not a single view or family of views that is presentism, but a set of views.
Journal ArticleDOI
Neppur si muove! Reply to Correia and Rosenkranz
TL;DR: The authors argue that Correia and Rosenkranz's argument is either unsound or question-begging, and they also argue that tense realism implies realism about temporal passage.
References
More filters
Book
An Introduction to Modal Logic
Max J. Cresswell,G. E. Hughes +1 more
TL;DR: This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic with all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing clarity of exposition and approachability.
Book
Four-Dimensionalism: An Ontology of Persistence and Time
TL;DR: In this paper, the authors present arguments against four-dimensional picture and present a unified theory of the paradoxes of coincidence, which they call the best Unified Theory of the Paradoxes of Coincidence.
Book
Modal Logic as Metaphysics
TL;DR: The Barcan Formula and its Converse: Early Developments 3. Possible Worlds Model Theory 4. Predication and Modality 5. From First Order to Higher-Order Modal Logic 6. Intensional Comprehension Principles and Metaphysics 7. Mappings between Contingentist and Necessitist Discourse 8. Consequences of necessitism as discussed by the authors.
Journal ArticleDOI
In Defense of Presentism
TL;DR: This article argued that history of science should be written as it should have taken place, given a particular philosophy of science, rather than as it actually did take place, and pointed out that history is an inductive science.
Book
Truth and the Past
TL;DR: In this article, Bilgrami discusses the concept of truth and the Indispensability of truth statements about the past and the Semantics of the past tense in the context of deniers and defenders.