Studies in History and of Modern Physics 50 (2015) 13–18

Contents lists available at ScienceDirect Studies in History and Philosophy of Modern Physics

journal homepage: www.elsevier.com/locate/shpsb

Essay Review Taking times out: Tense as a theory of time

Thomas Pashby

Mudd Hall of Philosophy, 3709 Trousdale Parkway, University of Southern California, Los Angeles, CA 90089, USA article info abstract

Article history: Ulrich Meyer’s book The Nature of Time uses tense logic to argue for a ‘modal’ view of time, which Received 8 January 2015 replaces substantial times (as in Newton’s Absolute Time) with ‘ersatz times’ constructed using Accepted 24 January 2015 conceptually basic tense operators. He also argues against Bertrand Russell’s relationist theory, in which Available online 25 February 2015 times are classes of events, and against the idea that relativity compels the integration of time and space Keywords: (called by Meyer the Inseparability Argument). I find fault with each of these negative arguments, as well Nature of Time as with Meyer’s purported reconstruction of empty spacetime from tense operators and substantial Meyer spatial points. I suggest that Meyer’s positive project is best conceived as an elimination of time in the Tense logic mode of Julian Barbour's The End of Time. Ersatz times & 2015 Elsevier Ltd. All rights reserved. Relationism Russell

When citing this paper, please use the full journal title Studies in History and Philosophy of Modern Physics

Ulrich Meyer's fascinating book TheNatureofTimeuses a novel temporal substantivalism in Chapter 3. Then the preferred theory development of Arthur Prior's tense logic to argue for a ‘modal’ is outlined (in Chapters 4, 6 and 8) and declared the victor, with account of time. Meyer's metaphysical view requires tense primitivism the rest of the book devoted to showing how remaining difficulties (the view that are irreducibly tensed) and so, in Quine's turn of may be accommodated. In particular, there are chapters that deal phrase, trades for ideology. Meyer's temporal with temporal propositions and truthmakers (Chapter 5), temporal eschews ontological commitment to temporal instants through the structure (Chapter 7), presentism (Chapter 9), becoming (Chap- introduction of so-called ‘ersatz times’, developed in analogy with the ter 10), motion (Chapter 11) and relativity theory (Chapter 12). ersatz possible worlds of . There is much to admire about Meyer's book: aside from the In modal logic, linguistic ersatzism about possible worlds is novel metaphysical view advocated within, this elegantly slim associated with actualism (the thesis that only actual objects and volume contains authoritative discussions of—if not all then an events exist) so one might expect an advocate of ersatz times to immodest subset of—the key issues in contemporary philosophy of endorse presentism (the thesis that only present objects and time. I will, however, take issue with two claims in particular: first, events exist). Many of physics (myself included) take that Meyer's novel argument against temporal relationism rules presentism to be inconsistent with special relativity. Meyer, how- out Russell's theory of time; it does not. Second, that hybrid views ever, argues that the analogy between presentism and actualism is provide a sensible and robust approach to the metaphysics of time weak, and denies the presentist's claim that the present is in relativity theory. Before that, let's delve into some of the details metaphysical privileged. Furthermore, Meyer claims that relativity of Meyer's theory of time. allows for the introduction of ‘hybrid views’ that combine distinct, Meyer, who rejects substantial times (as exemplified by New- seemingly incompatible metaphysical accounts of time and space. ton's Absolute Time) as “ontologically extravagant” (p. 28), aims to In particular, Meyer advocates a metaphysics of relativistic space- give an account of instants of time in terms of sets of sentences of time that combines spatial substantivalism with his ‘modal’ view tense logic, that is ersatz times. In so doing, Meyer hopes to limit of time. his metaphysical commitments to just the tense operators and The argument of the book follows an almost Aristotelian axioms of a minimal tense logic—to temporal ideology alone. This methodology. First, in Chapter 1, the desiderata for a theory of trading of ontology for ideology is, for Meyer, the main attraction time are outlined. Next, rival metaphysical theories are dismissed of his view: one by one: varieties of temporal relationalism in Chapter 2, and The advantage of the times-as-sets view is that it preserves the ontological frugality of tense primitivism. It provides the E-mail address: [email protected] needed referents for dates without incurring commitment to http://dx.doi.org/10.1016/j.shpsb.2015.01.007 1355-2198/& 2015 Elsevier Ltd. All rights reserved. 14 T. Pashby / Studies in History and Philosophy of Modern Physics 50 (2015) 13–18

temporal propositions, temporal parts, metaphysically basic Aside from the usual logical connectives ‘not’ (:) and ‘implies’ time points, or any other recognizably temporal entities. (-), modal logic introduces a necessity operator (□) and a (Meyer, 2013, p. 66) possibility operator (♢). In tense logic, these operators have an interpretation in terms of times: necessary means true at all times However, nowhere does Meyer explain why it is such a good idea and possible means true at some time. However, tense logic aims to eschew any recognizable temporal ontology, other than the to model tensed temporal discourse so is based instead on two “ vague claim that [t]heories with fewer ideological and ontological ‘possibility’ operators which distinguish between past and future: ” — commitments are usually thought to be preferable (p.3) by ‘It was the case that’ (P) and ‘It will be the case that’ (F). As a whom, and why? result, tense logic comes equipped with two ‘dual’ operators that fi The closest Meyer comes to an of cial answer (in Chapter 1) is play the role of necessity: H≔:P: and G≔:F:. that the best theory of time will (i) solve the Problem of Change, A model for Meyer's minimal tense logic Z (for Zeitlogik) is a triple (ii) mesh well with physics, and (iii) accord with ordinary ways of 〈T; o; p〉,whereT is a set of time-indexed models of propositional speaking about time, all with a minimum of ontological and logic, o is a relation between times (the ‘earlier-than’ relation), and ‘ ’ ideological commitments. In reverse order: by design, a modal pAT is a particular time chosen as ‘the present’ (in modal logic, this theory of time scores highly when it comes to modeling our would be a possible world chosen as ‘actual’). A sentence φ is true at ordinary tensed temporal discourse. However, despite his best atimet iff vt ðφÞ¼T. We can now give a semantics for these tense efforts, I will argue that Meyer's project does not mesh as well operators as follows: with spacetime physics as he would have us believe. Finally, the Problem of Change 0 0 Pφ is true at tiff(t such that t ot and vt0 ðφÞ¼T. is the task reconciling the possibility of change with the 0 0 Hφ is true at tiff8t such that t ot, vt0 ðφÞ¼T. Indiscernability of Identicals. An object [a] experiences change 0 0 Fφ is true at tiff(t such that t ot and vt0 ðφÞ¼T. just in case it possesses some property K at one time that it 0 0 Gφ is true at tiff8t such that t ot , v 0 ðφÞ¼T. lacks at another. (Meyer, 2013, p. 4). t

That is, a experiences change if and only if the following is true: a Furthermore, a sentence φ is true simpliciter iff it is true at the is K and a is not K. This apparent contradiction must be avoided by present time p. a theory of time. A few remarks here will serve to introduce the details of Meyer's Equipped with an ontology of substantial times the resolution of project. First, the interpretation of the tense operators above intro- the paradox is clear: a is K at time t and a is not K at time t0,with duces an explicit quantification over times, which by Quineian t at0. However, in Chapter 3, Meyer argues that things are not so strictures incurs an ontological commitment. It is precisely this simple and the introduction of substantial times causes more ontological commitment that Meyer hopes to avoid through (i) the problems than it solves. Meyer's ‘modal’ theory approaches the replacement of times by ersatz times and (ii) a commitment to tense problem differently. Taking his cue from natural language, in which primitivism, the idea that tense operators are conceptually basic. In sum, Meyer wants P and F left uninterpreted so that he can build up we cannot attribute a property to an object without commit- an interpretation of the time series (given by ersatz times) in terms of ting ourselves, by our choice of tense, to a past, present, or P and F, rather than vice versa. Having done so, he introduces an future time at which the object possesses that attribute[,] object language that allows for quantification over the ersatz time (Meyer, 2013, p. 37) series, which allows P and F to be interpreted as above, replacing timeswithersatztimes.Inthisway,heavoidsontologicalcommit- — Meyer endorses the property-time link the idea that truths about ment to substantial temporal instants. objects come irreducibly tensed. Second, Meyer's commitment to a minimal tense logic takes The core idea of Meyer's project is that, by taking objects and pains to avoid making any particular assumptions about the tensed property attributions as fundamental, the property-time (ersatz) time series. In reading the interpretation above it would link allows him to reconstruct the times needed to solve the be easy to assume that the times T are ordered by o as if they Problem of Change without a commitment to an ontology of times. were elements of the real line, but this is far from necessary: Instead, Meyer's view of time relies on a timeless ontology of models of Z exist in which the time series branches (in which case 1 objects and properties, from which a non-trivial ideological the relation o is not comparable), or has endpoints, or is not commitment to tense logic allows him reconstruct an ersatz time dense, or is discrete. Indeed, the relation o need not even form a ‘ ’ series of possible presents . To see how this works we need some (strict) preorder on T since models of Z exist in which it is not details of tense logic. transitive. Each additional condition on the time series corre- Tense logic is nothing new, and it was originally introduced by sponds to an additional axiom of the tense logic. By restricting his Prior (1957) through an analogy with modal logic (hence the idea ideological commitments to just the minimal axiom set Z, Meyer ‘ ’ of a modal theory of time). Taking the models as our starting hopes to secure a priori status for our knowledge of the nature of point, a possible world semantics for modal logic builds on time and apparently he regards the theorems of Z as analytic propositional logic in the following way. We begin with a set of truths, i.e. true by definition (pp. 47–48). … L atomic sentences A, B, C, of a formal language . A model for Third, philosophical criticism of tense logic has often involved v ‘ ’ propositional logic is a valuation, , which assigns either true , showing that it is not fit for (its original) purpose as a formal account φ ‘ ’ φ vð Þ¼T,or false , vð Þ¼F, to every sentence of the language, of the uses of verb tense in natural language. By presenting sentences φAL W . Modal logic introduces a set of worlds, , each of which is a in English that cannot be expressed in tense logic without the model of propositional logic. Tense logic replaces this set of worlds introduction of further operators (such as Kamp's ‘Achildwasborn T with a set of times, , each of which corresponds to a model of which would be king’) it has been argued that a sufficiently expressive AT propositional logic in the same way. That is, each time t is a tense logic must ultimately rely on quantification over times (Massey, v L valuation, t, of the language . 1969; van Benthem, 1983). In essence, the complaint is that tense logic is a mere notational variant of a classical that merrily

1 fi This is made quite explicit in Meyer's development of a quantified tense logic quanti es over an ontology of times. Meyer's answer to this is, again, (in Chapter 8) in terms of a tenseless domain of objects. the introduction of quantification over an ersatz times series, which Download English Version: https://daneshyari.com/en/article/1161152

Download Persian Version:

https://daneshyari.com/article/1161152

Daneshyari.com