The operator argument and the case of timestamp semantics

The Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of the debate in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019 https://doi.org/10.1007/s11098-018-1158-8). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments.


Introduction
Propositions are one of the central notions in philosophy of language.Roughly speaking, propositions are what is said in a given act of assertion.It is often assumed that propositions play a lot of different roles.They are much more than only assertoric contents.In the standard picture, they are the primary bearers of truth-values, the objects of beliefs (and of propositional attitudes in general), the referents of that-clauses, and the compositional semantic values of sentences in a given context.One of the fundamental questions is whether there are any entities that can play all these roles.The assumption that there are such entities is called Propositional Multitasking (Weber, 2012).
Let us begin with the claim that propositions are truth-bearers.In the standard possible worlds framework, propositions are true or false not absolutely, but only relative to a possible world.For example, the proposition that 2+2=4 is true at all possible worlds, while the proposition that Andrzej Duda won the election in 2015 in Poland is true at the actual world and false at the possible world in which Bronisław Komorowski was elected.There is an analogical issue concerning time: are propositions true at some times and false at others, or do they keep their truth-values eternally?Although it is commonly assumed that the truth-values of propositions vary across worlds1 , the analogical issue concerning time is a matter of some controversy.At first glance, it seems that eternalism, i.e., the thesis that all propositions keep their truth-values eternally, is very plausible.For example, if I assert that it is raining, I mean that it is raining at some particular time -the time of the utterance.Therefore, if what I said is true, it follows that it is raining at time t c , i.e, the time of utterance, but then what I said is true at all times because it is true at all times that it is raining at time t c .If this is correct, then propositions -if true at all -are true eternally.This is part of Twardowski's famous argument against relativism (1900, pp. 151-153).On the other hand, there are a lot of arguments against eternalism, but they are similar in spirit: each one of them is designed to show that eternal entities are not suitable for one of the roles required by Propositional Multitasking. 2 One of these arguments is the Operator Argument, which aims to show that eternal entities cannot serve as compositional semantic values of sentences in a given context of utterance.
In this paper I will examine the Operator Argument.The goal is threefold: First, I want to present some aspects of the debate in a more elaborate way, especially those concerning formal matters.Secondly, I will argue that eternalism can escape the Operator Argument.There are two main strategies for handling the Operator Argument.The first one is based on replacing temporal operators by object-language quantifiers.The second rejects the identification of compositional semantic value with assertoric content.My third goal is to show that none of them is as good as the strategy that I will propose.I am going to argue that (1) the quantificational treatment of tenses is compatible with temporalism, and (2) the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position.My strategy is to show that it is possible to postulate temporal operators that operate on eternal propositions in a non-trivial way.To that end, I will develop the theory called Timestamp Semantics, which was introduced in a paper by Fritz et al. (2019).The theory's core idea is to represent propositions as pairs S, t , where S is the set of indices (the traditional Kaplanian content), and t is contextually provided time -usually the time of the utterance.I will provide a formalization of the theory and defend it against three potential objections.
The structure of the paper is as follows.In the second section, I introduce some formalism and basic definitions.In the third, I reconstruct the Operator Argument in detail.I discuss possible answers to the argument, each of which is associated with rejecting one of the key assumptions.What is more, I will show how temporalism can be smuggled into the quantificational framework and criticize the so-called "twocontent strategy".Finally, I will defend Timestamp Semantics -a particular answer to the Operator Argument -against three potential objections.I will end with presenting a new formalization of that theory.Thus, I will argue that an eternalist can successfully escape the Operator Argument.

Setting the stage: definitions
Let us start by introducing a basic formal system which may be considered part of Kaplan's Logic of Demonstratives (1989a, pp. 541-546).To keep things simple, let us focus on a language L D , which contains only sentential variables ( ), two truthfunctional connectives (∧, ¬) and four intensional operators: P ("it was the case that"), F ("it will be the case that"), N ("it is now the case that"), Y ("yesterday, it was the case that").
Definition 1 A L D -model is a triple T , ≤, V , where • T is a nonempty set-the set of times.
• The ordering ≤ on T is linear3 , i.e., for each a, b, c ∈ T we have: • V is a function V : → P(T ), where P(T ) is the set of all subsets of T .
Throughout the paper I will assume, following Kaplan (1989a, p. 543), that the set of times T is the set of integers, i.e., T = Z.This is not meant to be a metaphysical claim about the nature of time.Rather, this assumption is made to avoid technical difficulties that are not important from our point of view.In Kaplan's framework, contexts are represented as sequences of parameters that are needed to generate content.
If we think of the formal role played by context within model-theoretic semantics, then we should say that context provides whatever parameters are needed.From Synthese (2023) 202 :198 this point of view, context is a package of whatever parameters are needed to determine the referent (Kaplan, 1989b, p. 591).
For simplicity, in our case we can assume that contexts are points in time, i.e., elements of the set T .The important message from Kaplan is that we must relativize truth not only to a context but also to an index.Since in our language L D there are tense operators only, it is enough to postulate only a time parameter in the semantic index.
Definition 2 A sentence φ is true in L D -model A as uttered in a context of utterance t c and evaluated at a point t: To get a truth value of φ in a context, we must evaluate it with respect to the parameters that are supplied by the context of utterance.Thus, given a L D -model A, we may say that a sentence φ is true in a context t c if and only if A, t c , t c φ. Having this, we can define a proposition expressed by φ in a given context of utterance.For Kaplan, a proposition is a set of all indices at which a sentence is true.This is captured by the following definition.

Definition 3
The Kaplanian proposition expressed by φ in L D -model A and context of utterance t c is a set P φ,t c ⊆ T such that Equivalently, one can take as a Kaplanian proposition the characteristic function of the set P φ,t c .Note that since Kaplan's original language LD also contains modal operators, he represents propositions as characteristic functions of sets of pairs w, t .This complication is not needed for our purposes.As was mentioned, the important assumption concerning propositions is Propositional Multitasking.
Definition 4 Propositional Multitasking (PM) 5 is the assumption that there are entities -propositions -which play all the following roles: 1. they are the primary bearers of truth-values; 2. they are the objects of propositional attitudes (such as beliefs); 3. they are the contents of speech acts; 4. they are the compositional semantic values of sentences in a given context of utterance; 5. they are the referents of that-clauses.Now, let me introduce the formal language which will be helpful in analyzing the Operator Argument. 6We need time variables (t, t 1 , t 2 , ...), proposition variables ( p, q, p 1 , q 1 , p 2 , ...) and universal quantifier ∀, which bounds variables of both kinds.The existential quantifier is defined in the standard way: ∃ := ¬∀¬.We also need a binary relation between propositions and times T r( p, t), which is understood as "proposition p is true at time t".Having all this, we can define eternalism in a formal way.
Definition 5 Eternalism (ET) is the thesis that all propositions keep their truth-values eternally.

∀
One might be tempted to think that temporalism is a thesis that is as strong as eternalism, that is, it is the thesis that all propositions change their truth-values through time.However, unless something more is said, temporalism understood in such a way is trivially false, since every tautological sentence expresses a proposition that is always true.Thus, I assume that temporalism is the thesis that at least some propositions change their truth-values over time.Clearly, temporalism as understood in such a way is the negation of eternalism.
Definition 6 Temporalism (TP) is the thesis that there is a proposition that is true at some time but false at another.
Note that, according to Definition 3, Kaplanian propositions are sets of times.For example, the proposition that it is raining in Kraków is the set of all times at which it is raining in Kraków.Obviously, there are times at which it is raining at Kraków and there are also times at which this is not the case.Thus, if we take T r( p, t) as t ∈ p, then at least some Kaplanian propositions are temporal in the sense of the above definition.

The operator argument reconstructed
In this section I will reconstruct the Operator Argument, whose aim is to show that (ET) is false. 7Let us start with the three key assumptions.
The first assumption states that tenses are best represented by intensional operators rather than by quantifiers in the object language.For example, in our framework, the past tense gets the following treatment: where P is the past tense operator.To see how this works on a concrete example, assume that φ stands for "Jakub is a policeman".Then, the sentence "Jakub was a policeman" is true as uttered at t c and evaluated at t if and only if "Jakub is a policeman" is true at some time t 1 prior to t.Although we have an existential quantifier in the analysis of the past tense, it appears not in the logical form but in the truth-conditions of tensed sentences.
The second assumption (A2) is that tense operators operate on propositions.This can be seen as a consequence of (A1)+(PM): there are tense operators, according to (A1), which operate on compositional values of sentences in contexts; however, according to (PM), these are propositions.
One point is worth mentioning here.At first glance, it may seem that operators operate on formulas, since the operator P takes as an argument a formula φ and produces another formula, namely Pφ.However, the proposition expressed by Pφ in a given context of utterance can be seen as obtained from the proposition expressed by φ in this context.Our Kaplanian propositions provide a good illustration of this mechanism: Thus, it is natural to think that operators operate on propositions and extend the formal definition of every operator O in the way that O(P φ,t c ) = P Oφ,t c .This indicates that the notion of operating that we have in mind is something like following: X operates on Y s if and only if there is a function f X associated with X such that for each y ∈ Y , f X (y) is well-defined.The Principle of Compositionality (defined later on) will clarify these issues.
The third assumption (A3) is that tense operators are redundant if applied to eternal entities.The classical illustration of this phenomenon involves applying the past tense operator to a time-specified proposition such as It is raining at t 1 in Kraków.After applying the past tense operator to that proposition, we get the proposition that it was the case that it is raining at t 1 in Kraków, which is true if and only if it is raining at t 1 in Kraków.Thus, the past tense operator has no effect at all when applied to a time-specific eternal proposition.For example, Kaplan states this assumption very clearly: If we built the time of evaluation into the contents (thus removing time from the circumstances, leaving only, say, a possible world history, and making contents specific as to time), it would make no sense to have temporal operators.(...) Temporal operators applied to eternal sentences (those whose contents incorporate a specific time of evaluation) are redundant.Kaplan (1989a, p. 503).
Both premises (A1) and (A3) say something about the redundancy of operators.Thus, to make things precise we need a clear notion of redundancy.It seems that a plausible notion of redundancy is captured by the following definition.8

Definition 7
The operator O is redundant with respect to a time if and only if for all propositions p the truth-value of Op is the same as the truth-value of p at any time t.
Consider the example presented above once again.In our framework, the timespecified proposition pthat it is raining at t 1 in Kraków is either the set T or ∅, depending on whether it is raining at t 1 in Kraków.Since P(T ) = T and P(∅) = ∅, we conclude that P is redundant with respect to p in the sense of Definition 7. The Operator Argument proceeds as follows: (P1) By way of contradiction, assume that (ET) is true.(P2) By (P1) and (A2), tense operators operate on eternal entities.(P3) By (P2) and (A3), tense operators are redundant.(P4) Obviously (P3) contradicts (A1).Therefore, (ET) is false and (TP) is consequently true.
It seems that if one accepts all the assumptions (A1)-(A3), then one is committed to temporalism, namely the thesis that some propositions vary in truth-value across time.
In the following subsections I will discuss possible answers to the Operator Argument.Each strategy is connected with rejecting one of the assumptions (A1)-(A3).

Tense operators are redundant
The first strategy of replying to the Operator Argument is associated with rejecting premise (A1).It may be argued that tense operators should be replaced by objectlanguage quantifiers.When we do not have tense operators in our theory, we can remove the time parameter from the semantic index; since propositions are sets of indices, there is no problem in thinking that propositions are eternal.9This line of response is adapted by King (2003).Let us examine this strategy in detail.Consider the sentence φ ="Jakub was a policeman".According to the quantificational account, it has the following logical form: where t is the time of the utterance.To capture this in formal terms, we need to introduce another language L ∃ , which contains at least the set of time variables ( t ), the set of predicates of arity 1, (Q = {Q i } i∈N ), and existential quantifier (∃).
• T is a nonempty set-the set of times.
• The ordering ≤ on T is linear.
• The relation < is defined in the standard way.
• For each predicate Q i ∈ Q, the function I returns the set We need to introduce the semantics for our language L ∃ .The following notation will be helpful.
To handle the quantifiers, we need to relativize the truth to the assignments of values to the variables.The language L ∃ does not contain temporal operators, so we do not need to postulate a time parameter within the index.However, we need to change the formal definition of the context a little bit.In quantificational analysis, as will soon become clear, it is not enough to have a time in order to generate the content of a sentence: an assignment f is also needed.Thus, it is reasonable to assume that the context supplies such an assignment.As Kaplan puts it Taking context in this more abstract, formal way -as providing the parameters needed to generate content -it is natural to treat the assignment of values to free occurrences of variables as simply one more aspect of context (1989b, p. 591).
In consequence, I will represent any context of utterance c as an ordered pair f , t c11 .Now, we can define truth clauses for complex sentences.
King's proposal may be viewed as a version of eternalism, since he agrees with the central idea of Kaplanian propositions -that propositions are sets of indices.Within an index, as King claims, there is no time parameter, so propositions cannot change truthvalues through time. 12As we shall see, this particular idea -the idea that propositions are sets of indices -is crucial to the fact that his proposal is a version of eternalism.Let us see how this framework works on a particular example.Consider again the sentence φ="Jakub was a policeman" as uttered at t c .According to King, it has the following logical form.
where t denotes the time of utterance t c , and Q 1 denotes the predicate "Jakub-be-apoliceman-at".But what is the exact relation between t and t c ?We have two possible cases.Either t is a constant symbol whose referent is t c , or it is a variable such that f (t ) = t c .It is not clear from King's paper what exactly t is.However, assuming that it is a constant symbol suggests that in our language we need a constant symbol for each time of utterance.Since time is continuous, it is doubtful that such a language is possible; more importantly, it is doubtful that English is such a language.This seems to suggest that t is a variable, 13,14 so in what follows, I will assume that t is a variable.Now, having said all this, we can calculate the truth-conditions of φ in a given context of utterance c = f , t c : This is equivalent to , we conclude that the truth-conditions are such that φ is true if and only if there is a time t 1 which is earlier than t c and such that Jakub is a policeman at t 1 .Since, according to the operator analysis, φ has a logical form Pq, where q ∈ , we conclude that, according to the operator analysis, the truth-conditions of φ in a context t c are exactly the same as on King's account.In the same spirit, we can replace temporal operators P, F, N with ∃(t < t ), ∃(t > t ), ∃(t = t ), respectively.In consequence, we really do not need temporal operators at all.However, the quantificational analysis, if formalized as above, does not imply eternalism.Intuitively, this is because t in the logical form is a variable.Since it is a variable, its value can change through the assignments.Thus, if one is willing to agree that propositions can change truth-values with respect to assignments, one can smuggle temporalism into the quantificational analysis.One elegant way to do this is to replace the notion of a Kaplanian proposition with the following notion.
Definition 11 Temporal diagonal proposition15 expressed by a sentence φ in a given L ∃ -model A is the set According to this definition, propositions are sets of contexts.If for a temporal diagonal proposition p, we define then it is easy to see that (TP) is true.This is captured by the fact that f (t ) = t c , so the referent of t does not remain constant through different contexts. 16To illustrate this, consider once again the sentence φ="Jakub was a policeman".According to the quantificational analysis, the (Kaplanian) proposition expressed by the sentence φ as uttered at t c is that there is a time prior to t c at which Jakub is a policeman.Clearly such a proposition is eternal.However, the temporal diagonal proposition expressed by φ is that there is an earlier time at which Jakub is a policeman, and such a proposition is genuinely temporal.Similar remarks can be found in Dever (2015, pp. 7-10), Ninan (2010, pp. 372-378), but these authors show their ideas by using the λ-abstractor, which, as we have seen, is not needed.The conclusion is that even if we agree with King that operators should be replaced with quantifiers, that does not automatically mean that eternalism is true.By rejecting the notion of Kaplanian propositions, one can smuggle temporalism into the quantificational account. 17Contrary to this, let us assume that the notion of Kaplanian proposition is favored for other reasons.Why should we replace operators with quantifiers?King presents three main arguments for such a move.
Obviously, the sentence φ is not ambiguous at all, but the bizarre result of the operator analysis is that it should be.What is worse, the reading (φ 1 ) is not even a plausible reading: where ψ stands for "Jakub turns off the stove".Thus, φ 1 is true if there is a time before a day prior to the time of utterance at which Jakub turned off the stove.Note that the reading (φ 2 ) gives the correct prediction: But this is just a coincidence produced by the fact that operator Y ignores the time parameter of the index. 18On the other hand, given the quantificational analysis, it is natural to treat "Yesterday" as a restriction of the domain of quantification.Therefore -or so the argument goes -the quantificational analysis is more adequate than the operator analysis.
In my opinion, this argument is not convincing.It rests on the assumption that time adverbials such as "Yesterday" are necessarily -given the operator analysis -treated as intensional operators.It seems to me that, given the operator analysis of tenses, one is not forced to make such claims.In fact, it is natural to think that "Yesterday" picks out the past tense operator "It was the case that" and returns as a result the more complex operator "Yesterday, it was the case that".If this is right, then we have only one possible reading of φ which gives correct truth-conditions.This argument is developed by Brogaard (2012, pp. 78-101).I conclude that King's argument does not threaten the operator analysis of tenses.
The second argument against the operator analysis of tenses is concerned with Partee's (1973) observation that the past tense in English does not always behave in the same way as the operator P. Consider the sentence "Jakub had breakfast" as uttered at time t c .According to the operator analysis, it is true if and only if Jakub had breakfast at any time prior to t c .For example, it is true if Jakub had breakfast two years ago, but in most contexts it clearly means that Jakub had breakfast at some particular contextually provided time (or time interval) prior to t c (usually, it means that Jakub had breakfast today).According to King, accounting for this phenomenon is problematic for the operator analysis: Thus, it looks as though here the tense in some way picks out a particular contextually determined past time (or interval of time).But in so doing, it is hardly behaving like a standard past tense operator (King, 2003, p. 216).
Unfortunately, King gives only a short comment on how quantificational analysis can handle such examples: If we think that the past tense (...) picks out a particular past time, we could suppose that in context of utterance the existential quantification over times (...) is further restricted just as happens in cases like 'All the beer is in the fridge.' (King, 2003, p. 240).
It seems that, according to King, in such cases context provides an additional feature: the restriction of the domain of quantification of the existential quantifier, which occurs in the logical form of the sentence uttered.This indicates that, according to the quantificational analysis, the sentence "Jakub had breakfast" has the following logical form where t p is the contextually provided time of the breakfast.I will not analyze this idea in detail, but I want to note that, in principle, there is no reason that the operator analysis cannot mimic this strategy.Although there is no quantifier in the logical form according to the operator analysis, there is one in the truth-conditions of the sentence in the past tense.This additional feature -the restriction of the domain of quantification -can be seen as going directly to the truth-conditions of the proposition itself, not through its logical form.If this is right, then this restriction can be seen as an example of the so-called unarticulated constituent 19 .The proponent of the quantificational analysis may respond here in the spirit of Stanley (2000).The argument would be that the time of the event in question (and similarly, the restriction of the domain of quantification in the general case) must be a part of the logical form because it can be bound by some operator.In our case, the time that is picked out in "Jakub had breakfast" can be bound by the expression "Each time I was in Paris" as in the case of "Each time I was in Paris, Jakub had breakfast".The time of the breakfast varies with the temporal values introduced by the operator "Each time I was in Paris".This indicates that the logical form of "Each time I was in Paris, Jakub had a breakfast" should be something like 19 C.f. Perry and Blackburn (1986), Stanley (2000), Recanati (2002).
Therefore, the objector would conclude that the time must be a value of some variable present in the logical form, because there is no binding without such a variable. 20If this is right, then the time of Jakub's breakfast cannot be an example of unarticulated constituent because, by definition, unarticulated constituents are not traceable to the logical form.Does this kind of argumentation work?I do not think so.Firstly, as Recanati (2002, pp. 325-326) persuasively argued, this kind of reasoning proves too much.Consider a sentence α ="The policeman stopped the car".Since the manner of stopping the car can be bound by the operator "in some way or another" (as in the example "in some way or another, the policeman stopped the car"), this implies that in the logical form of α there is a variable representing the manner of stopping.This seems to be counter-intuitive.Secondly, note that the logical form of "Each time I was in Paris, Jakub had breakfast" is not obtained from the logical form of "Jakub had breakfast" because L 1 is not equivalent to This observation casts doubts on the assumption that the mere fact that operators such as "Each time I was in Paris" can be applied to sentences such as "Jakub had breakfast" implies that there must be a temporal variable in the logical form of the sentence.In fact, the expression "Each time I was in Paris" can (1) contribute the so-called variadic function, i.e., the function which maps the temporal proposition "Jakub-have-breakfast" onto a property of times "Jakub-have-breakfast-at(t)",21 and (2) bind the newly introduced time variable t.If that is the case, there is no time variable in the standalone case of "Jakub had breakfast", but there is one in "Each time I was in Paris, Jakub had breakfast" because the variable is both introduced and bound by the operator "Each time I was in Paris".Observe that the temporalist can think that operator "Each time I was in Paris" picks out the past tense operator and returns as a result the more complex operator "Each time I was in Paris, it was the case that".In such a case, the logical form of "Each time I was in Paris, Jakub had breakfast" would be the following L 3 = Each time I was in Paris, it was the case that(Jakub-have-breakfast), where "Jakub-have-breakfast" is the temporal proposition true at all times t such that Jakub has breakfast at t.
Even if the unarticulated constituents account fails, the proponent of the operator analysis has another more standard strategy of replying to King's problem: she may claim that in the discussed cases the contextually provided time is not a part of what is said or of a proposition, but it is implicated via conversational implicatures (Grice, 1975).In our example, it is said that Jakub had breakfast at some time prior to t c , but it is implicated that Jakub had breakfast today.The implicature can be recovered from Gricean maxims: if the speaker did not want to communicate that Jakub had a breakfast today, she would break the maxim of relevance.In conclusion, the operator analysis can account for the discussed phenomenon.
King's third argument in favor of quantifiers is that quantificational analysis is simpler, more elegant and less ad hoc than operator analysis.Consider the following sentences: (s 1 ) One day, all persons alive now will be dead.(s 2 ) Once all persons alive then would be dead.
According to the operator analysis, they get the following logical forms: where P is the past tense operator, F is the future tense operator, N is the "now" operator, A, D are predicates which stand for "alive" and "dead", and K is Vlach's (1973) operator defined in the following way.

Definition 12
The truth of K φ in a L D -model A as uttered at t c and evaluated at t is given by the equivalence: Intuitively, the operator K picks out the time to which 'then' refers to.In our case, the operator stores the time introduced by a past tense operator that embeds it.
I am not going to analyze (s 1 ) and (s 2 ) in detail since it would require some extra elements to be introduced in our language L D22 which are not important from our point of view.The operator analysis can account for the truth-conditions of (s 1 ) and (s 2 ).However, the problem is that even though (s 1 ) and (s 2 ) appear to have the same number and sort of syntactic constituents combined in the same ways, and they differ only in tense and the words 'now' and 'then', they have very different LFs: (s 1 )'s LF contains two operators and (s 2 )'s LF contains four!Surely this looks ad hoc and presupposes a very messy relation between the surface structures of sentences and their LFs.King (2003, p. 222). 23rogaard (2012, p. 101) proposes a solution with the use of the "complex operator strategy".She suggests that "one day" picks out the future tense operator and returns a more complex operator "one day, it will be the case"; "once" picks out the past tense and returns a more complex operator "It once was the case that".Consequently, one can have an elegant account of (s 1 ) and (s 2 ).
(s 1 ): For all persons x, it will be one day that (x does not exist).(s 2 ): It once was the case that (for all persons x, it will be the case that (x does not exist)).This indicates that operator analysis is able to paraphrase s 1 and s 2 in a way that is not ad hoc nor complicated.
Zeman (2013) provides some arguments against the complex operator strategy.His main worry is that there is not much positive evidence for the claim that the operator analysis is the best on the market.This leads to the question: if there is no positive syntactic evidence for basic tense operators being sentential, what grounds do we have to claim that composite ones are sentential?(Zeman, 2013, p. 326) Zeman's suggestion is that we do not have any such grounds.It is true that there is not much positive evidence for such claims, but this worry equally applies also to the quantificational analysis.As it has been shown in this section, all the data that allegedly support the quantificational account can be accommodated by the operator treatment of tenses.Thus, there is not much positive evidence that the quantificational formalization of tenses is the best choice.The conclusion of this section is that King's arguments by themselves are not decisive.The operator analysis still seems to be an option.

Tense operators do not operate on propositions
The second strategy is to reject premise (A2).The claim is that tense operators do not operate on propositions.In practice, rejecting (A2) is done by rejecting (PM).Tense operators operate on semantic values of sentences in contexts, so it follows that the semantic values of sentences in contexts cannot be propositions.Thus, we reject Propositional Multitasking.This strategy is argued for in Lewis (1980), Rabern (2012), Yli-Vakkuri (2013).The conclusion is that our theory is more complex because we have two types of entities involved -two types of content 24 : one that is compositional and plays the role of the semantic values of sentences in contexts; and one that is non-compositional and plays the role of the contents of assertions 25 .The motivation for such a move comes from the Principle of Compositionality.There seems to be a tension between this principle and the (ET)+(PM) package.
The Principle of states, roughly, that the meaning of a complex expression is determined by the meaning of its parts and how they are combined.What is the "meaning" in our definition?It is the semantic value of a given expression in a given context of utterance.Assuming (PM), this is also the assertoric content.Consider the following example.Let X 1 be the sentence "it is raining"; let X 2 be the sentence "it is raining now"; and let O be the past tense operator.According to (ET), in a given context of utterance X 1 and X 2 express the same proposition, thus m(X 1 ) = m(X 2 ).By the Principle of Compositionality, we get This means that the propositions expressed by the sentences O(X 1 ) = "it was raining" and O(X 2 ) = "it was the case that it is raining now" in that context are the same.However, they are clearly not: the first is true if and only if there is a past time at which it is raining; the second is true if and only if it is raining at the time of the utterance.The conclusion is that (ET)+(PM) is incompatible with the Principle of Compositionality.
Rabern's suggestion ( 2012) is that we should reject (PM) as it is stated by claiming that compositional semantic values and propositions are two different kinds of entities.Firstly, the compositional semantic values of sentences in contexts are sets of indices; they are what we call Kaplanian propositions.However, propositions are defined in some other way.If we assume that we have modal operators in the language and the world parameter in the semantic index, it is natural to claim that the proposition expressed by the sentence φ in the context c is the set of possible worlds w such that φ is true as uttered at c and evaluated at the time of utterance t c and world w.In this sense, propositions are not compositional semantic values of sentences, but they are determined by them.
There are two main concerns regarding this strategy. 27The first is connected with the motivation from the Compositionality Principle.It seems natural for the temporalist to claim that the Principle of Compositionality strengthens her point, i.e., that the argument presented above shows that one should reject (ET).From such a point of view, we have two arguments for temporalism and no arguments against it, so the strategy of rejecting (A2) seems ad hoc.
The second concern is that the two-content strategy violates Ockham's Razor.What motivates (PM) is that by assuming it we end up with a very simple theory -we have only one kind of entity to play all the theoretical roles.However, given the discussed proposal, we have two kinds of contents.The intuition of Ockham's Razor is that, other things being equal, simpler theories should be preferred.In this spirit, the temporalist may argue that her theory is simpler and, consequently, that rejecting (A2) is a road not worth pursuing.The conclusion is that the two-content strategy is not as innocent as it may look.

operators may operate on eternal entities
The third strategy is to reject assumption (A3).Lots of authors have overlooked this type of response.For example, Brogaard (2012) recognizes that premise (A3) is needed for the Operator Argument to be valid, but she does not discuss rejecting it and she analyses only the two previous strategies.In this section, I will show how this strategy can be obtained by adopting Timestamp Semantics (Fritz et al., 2019(Fritz et al., , pp. 2939(Fritz et al., -2941)).Timestamp Semantics is the theory for L D which results in replacing the codomain of V , i.e., the set P(T ), with the product P(T ) × T in Definition 1.This entails that the notion of Kaplanian proposition must also be abandoned.It is natural to replace it with the notion of the timestamp proposition.

Definition 13
The timestamp proposition expressed by φ in L D -model A and context of utterance t c is an ordered pair P φ,t c , t c , where P φ,t c is a Kaplanian proposition expressed by φ in t c .
Intuitively, the proposition expressed by it is raining, as uttered at t, is represented in Timestamp Semantics by S, t , where S is the set of all times at which it is raining.We say that a timestamp proposition p = S, t is true at a time t if and only if t ∈ S. Thus, the truth at a point does not depend on a point t , but only on proposition p. Formally, we can represent truth as a relation T r such that T r( S, t , t ) ⇐⇒ t ∈ S.
We can define the past tense operator P, which operates on timestamp propositions in a very natural way: And consequently, for any operator O: Fact 1 A feature of Timestamp Semantics is that it violates (A3) but retains (A1), (A2) and (ET).
Proof Recall that the underlying set of times is the set of integers, i.e., T = Z.

Proof
Thus (ET) is true: 123 The counterexample shows that this rule is not satisfied, but bear in mind that Kaplanian temporalism also rejects it.To see this, consider two Kaplanian propositions p = {3, 4} and q = {4, 5}.We see that T r( p, 4) and T r(q, 4) holds.It follows that T r( p, 4) ↔ T r(q, 4) also holds.We can calculate P( p) = {n ∈ Z : n > 3} and P(q) = {n ∈ Z : n > 4}.In consequence, T r(Pp, 4) holds, but T r(Pq, 4) does not.This means that tense operators are intensional in Timestamp Semantics for the same reason that they are intensional in Kaplan's semantics.To sum up, adopting Timestamp Semantics is a way to reject (A3) and retain (ET).Timestamp Semantics does this by replacing the notion of Kaplanian proposition with the notion of a timestamp proposition.In the next chapter, I will discuss three potential arguments against Timestamp Semantics in detail.I will show that they are not conclusive.

The case of timestamp semantics
In this section I will provide the motivation for considering Timestamp Semantics as a valuable position available on the market, and then consider three potential arguments against Timestamp Semantics.I will argue that none of them is conclusive and, consequently, that eternalists can escape the Operator Argument by adopting Timestamp Semantics.

Motivation for timestamp semantics
I believe that Timestamp Semantics is worth investigating, mainly because it captures the intuition that a sentence can have a tensed logical form while simultaneously expressing an eternal proposition.For instance, according to Timestamp Semantics, the sentece "Jakub was a policeman" has the logical form P(Jakub is a policeman), where P is the past tense operator "it was the case that".However, it expresses an eternal proposition, which is true if and only if there is a time t prior to the time of the utterance at which Jakub is a policeman.Note that all sentences have tenseless logical form according to quantificational analysis.This is a crucial difference between these two frameworks.Note also that the debate between eternalism and temporalism is semantic rather then syntactic.It is a debate about whether propositions can change their truth-values over time; it is not about whether sentences have tenseless logical form.This indicates that there should be an eternalist-friendly semantic theory which is consistent with tensed language.Timestamp Semantics is such a theory: it does not translate each sentence to a tenseless language, it only provides eternalistic truth-conditions.28

The transparency
The first argument against Timestamp Semantics is that it violates the transparency principle.Consider the proposition p = S, t , expressed by "it is raining", as uttered at t.The strange thing about Timestamp Semantics is that whether that content is true at a time -say, last Tuesday -has nothing to do with how the weather is at that time.By contrast, it seems that whether it was raining last Tuesday has everything to do with how the weather was last Tuesday.But, of course, the content of 'It is raining' as uttered now is that it is raining, so there is an odd disconnect between whether that it is raining is true at a given time and whether it is raining at that time.In some sense, this violates a transparency principle for relational truth (Fritz et al., 2019(Fritz et al., , pp. 2941(Fritz et al., -2942)).Now, I will present this argument more precisely.For a start, we need a clear formulation of the transparency principle.The authors propose the following.
The transparency principle.At any time t, a content p is materially equivalent to p being true at t.
Let us assume that I uttered "It is raining" on 15:00, 01.06.2022, while standing on the main square in Kraków.According to Timestamp Semantics, the content expressed by "It is raining" on 15:00, 01.06.2022 is p = S, t c where S is the set of all times at which it is raining in Kraków and t c = 15 : 00, 01.06.2022.If we agree with the authors that content p is the content that it is raining in Kraków, then the transparency principle implies that However, this is equivalent to Let us consider time t 1 (e.g., last Tuesday) at which it is not raining in Kraków.The transparency principle implies that it is true that At t 1 : ((that) it is raining in Krak ów ↔ T r( S, t c , t 1 )) However, this is not the case because at t 1 the left-hand side of the equivalence is false (it is not raining in Kraków at t 1 ), but the right-hand side is true because t c ∈ S; so, by our previous definitions, T r( S, t c , t 1 ) holds.Thus, Fritz et al. (2019) conclude that Timestamp Semantics is in trouble because it violates the transparency principle.The problem with this reasoning is that it seems to assume what it aims to prove.From the eternalists' point of view, the content of the considered assertion is not just that is raining.It is rather something like it is raining at 15:00, on 01.06.2022 in Kraków.When evaluated at different times, this content does not change its truthvalue29 .To strengthen this intuition, we may imagine that on 02.06.2022I ask whether what I said on 01.06.2022 was true.It seems that the answer has nothing to do with how the weather was on 02.06.2022.Rather it depends on the actual weather on 01.06.2022.
This indicates that, according to eternalists, (T1) is not a proper instance of the transparency principle, whose actual prediction is that ∀ t∈T At t : ((that) it is raining at 15:00 on 01.06.2022 in Kraków ↔ T r( p, t)) which is equivalent to ∀ t∈T At t : ((that) it is raining at 15:00 on 01.06.2022 in Kraków ↔ T r( S, t c , t)), which clearly holds because t in T r( S, t c , t) is irrelevant.The conclusion is that the transparency principle does not posit a genuine problem for eternalists.
The objector may reply here that this is not the formulation of the transparency principle which she had in mind.One such possible reformulation is as follows: At any time t, the content that would be expressed by φ uttered at t is equivalent to the content actually expressed by φ being true at t. Eternalism is at odds with such a principle because the content that would be expressed by "it is raining" at t 1 is that it is raining in Kraków at t 1 , which of course is not equivalent to the content p being true at t 1 .30However, the eternalist may answer that the transparency principle is just false when formulated like this.The reformulation looks reasonable only if we assume temporalism from the beginning, so this reformulation does no better than the starting argument.

Now vs.
The other controversial thing concerning Timestamp Semantics is that, while being eternalist-friendly, it denies that, in a given context of utterance, the two sentences φ and N φ express the same proposition.To see this, assume that φ stands for "it is raining" and is uttered at t c .According to Timestamp Semantics, the proposition p 1 expressed by φ is the ordered pair p 1 = P φ,t c , t c .The sentence "it is raining now" is formalized by N φ, and the proposition p 2 expressed by it is the ordered pair Synthese (2023) 202 :198 p 2 = N φ,t c , t c .Note that However, the set P φ,t c is the set of times at which it is raining.Therefore, it is not equal to ∅ nor T .It follows that P φ,t c = P N φ,t c , and this implies that p 1 = p 2 .The conclusion is that, in a given context, the sentences φ and N φ always express different propositions.At first glance, this consequence in unwelcome.Many philosophers started from this assumption when providing motivation for accepting eternalism.For example, Richard (1982, p. 337) explicitly invokes this intuition: For the eternalist, a sentence like 'Nixon is president' contains an 'implicit reference' to a time: in his view, the use of (1) ['Nixon is president'] at time t expresses what the use of 'Nixon is now president' expresses relative to t.The second proposition, however, is eternal, i.e., it is either always true or always false.
This intuition is also a part of Twardowski's (1900, p. 151) argument against relativism.He claims that when I assert that it is raining while standing on High Castle Hill in Lwów, I obviously do not have in mind just any rain, falling at just any place and time; I voice a judgment about the rain falling here and now.I do not articulate this explicitly because there is no danger of being misunderstood, since it is under the mentioned conditions that I assert that it is raining; still, I do in fact have in mind the rain falling here and now.So, if I want to express the judgment without abbreviating it, I must say "It is raining here and now".
However, I believe that the proponent of eternalism is not forced to make the claim that φ and N φ must express the same proposition.Eternalism is the thesis that all propositions keep their truth-value eternally.This is captured by Timestamp Semantics.Note that Timestamp Semantics can accommodate the intuition that what is said by φ and N φ is in some sense "the same", since the truth of p 1 is equivalent to the truth of p 2 : (1) Since p 1 = P φ,t c , t c , we have T r( p 1 , t ) is equivalent to t c ∈ P φ,t c .
(2) By previous observations t c ∈ P φ,tc is equivalent to The conclusion is that Rabern's motivation for rejecting (A2) is equally good motivation for adopting the semantic theory by which φ and N φ express different propositions.Timestamp Semantics has this feature: as we noted, the eternalist may claim that, in a given context of utterance, φ and N φ express different propositions.
It may be argued that, by postulating two distinct propositions for φ and N φ in a given context, Timestamp Semantics results in a more complex theory than classical This is true only at first glance: the classical eternalist will probably take the strategy of rejecting (A2).As I mentioned previously, this move also violates Ockham's Razor.It seems to me that, from the point of simplicity, Timestamp Semantics does better than the two-content strategy because it breaks Ockham's Razor's intuition only in the quantitative sense (it does not postulate different kinds of content -only a greater number of contents of the same kind), while the two-content strategy breaks it in the qualitative sense.
What is more, one can handle Weber's (2012, pp. 206-209) substitution argument as well.According to eternalism -or so the argument goes -the two sentences it is raining and it is raining at t c express the same proposition if uttered at t c .However, if we apply the past tense operator31 , then by the Principle of Compositionality we should get two sentences that express the same proposition.Unfortunately, the proposition that it was raining is not the same as the proposition that it was the case that it is raining at t c .Weber concludes that the eternalist is in trouble.An eternalist may reply in the same vein as in the case of "Now".Consider the following definition.

Definition 14
The truth of At t 1 : φ in a L D -model A as uttered at t c and evaluated at t is given by the equivalence: This definition implies that the Kaplanian proposition expressed by At t 1 : φ is either the set T or ∅, depending on whether A, t c , t 1 φ.Thus, as in the case of "now", the eternalist concludes that the two sentences it is raining and it is raining at t c do not express the same proposition even if uttered at t c .
The final worry here may be that, according to the considered account, the sentences "it is raining now" and "it is raining at t" (assuming that they are both uttered at t) express the same proposition.This seems to be a problem since one may believe that it is raining now, without believing that it is raining at t and vice versa. 32Since propositions are objects of beliefs, these two should express different propositions and, given our account, they do not, which is a violation of (PM).These issues go beyond the scope of this paper, but I want to note that these sentences cause also a problem for Kaplan-style temporalism and classical eternalism.

Rejecting premise (A2)
The final argument against Timestamp Semantics is that it seems that the Timestamp Semantics rejects (A3) by some kind of formal "cheating".After all, do operators really operate on timestamp propositions?The intuition is that they do not: Kaplanian propositions are parts of timestamp propositions, and tense operators operate on timestamp propositions in virtue of how they operate on Kaplanian propositions.Thus, it seems that tense operators do not "genuinely" operate on timestamp propositions.It follows that Timestamp Semantics the two-content strategy in disguise, or so the argument goes.
The response here is that operators operate on semantic values of sentences; by definition of Timestamp Semantics, these are elements of the set P(T ) × T and not of the set T .Since propositions are pairs S, t , they really are semantic values of sentences in contexts, so Timestamp Semantics does not reject the identification of compositional semantic values with assertoric contents.In consequence, Timestamp Semantics retains both (PM) and (A2).To complete the defence, we should define how the compositional semantic value of complex sentences is constructed from the values of their parts.I will present the formal details in the final part of the paper.

Formal details
I will follow a suggestion from Fritz et al. (2019Fritz et al. ( , p. 2941, footnote 11.) , footnote 11.) and base my formalization of Timestamp Semantics in the formalism of Neighborhood Models (Pacuit, 2017).For simplicity, let us assume that we have a language L containing sentential variables ( ), two truth-functional connectives (∧, ¬) and one temporal operator H ("it has always been the case that").The operator P can be defined in the standard way: P := ¬H ¬.
• T is a non-empty set of times; • For the temporal operator H , the set N H ⊆ P(T ) × T is the set of propositions; • C is a non-empty set of contexts; • V : × C → P(T ) × T is a valuation function.
In the standard version of Neighborhood Semantics, instead of the set N H , there is a function N H : T → P(T ), such that for each time t ∈ T , N H (t) is the set of all propositions that are necessary (in the relevant sense) at t. Since we are considering eternalism, we want to remove the time parameter from the semantics index.Thus, we should also remove the time parameter from the definition of N H .This indicates that when constructing an eternalist-friendly Neighborhood Semantics, we should define the function N H as constant.Thus, we treat it as a set.We can define it in the following way.

Definition 16
The set N H is defined as The set N H is the set of all such propositions in which the first element (the set of times) contains all the times that are earlier than the distinguished time (i.e., the second element).The semantics for the eternal case is analogical to the classic case.
We do not have the time parameter in the index, but we relativize the truth of sentences to the context of utterance, which is similar to the case of Kaplanian semantics.
Note that in the above definition, we mimic the classic case for the truth of sentences of the form H φ. Thus, we must define the compositional semantic value of any sentence φ.The intuition is that we want to mimic the classic case in this respect as well.To do this, the following notation would be helpful.What remains is the function m N H .Note that in the classic case, the function m N H takes a proposition as an argument and gives another proposition as an output.We can use this intuition, having in mind that in the eternal case propositions are sets of times together with a time determined by the context of utterance.The following definition captures this quite well.

Definition 20
The function m N H : P(T ) × T → P(T ) × T is defined as follows For each proposition X , t , the function m N H returns the proposition that contains the set of all times t such that all times earlier than t belong to X and time t.
This definition completes our framework.Let us illustrate that the truth conditions of the sentences H φ are correct.For simplicity, let us assume that the time of the utterance is t c and that [φ] M,c = S, t c .
Let us assume that proposition expressed by φ at c is that it is raining in Kraków.In such a case, S denotes the set of all times at which it is raining in Kraków.The sentence H φ expresses the proposition that it has always been the case that it is raining in Kraków; according to our analysis, it is true at c if each time t < t c belongs to the set S; that is, if at each time t < t c it is raining in Kraków.The truth-conditions are correct.
Previously, we defined the timestamp proposition using the notion of a Kaplanian Proposition.The important thing to note is that the compositional semantic value of a sentence in a given context c is the proposition expressed by that sentence in c.
Fact 2 For each M, φ, c it is the case that  According to this fact, compositional semantic values of sentences in a given context of utterance are (timestamp) propositions, thus the Propositional Multitasking assumption holds.This also proves that the Principle of Compositionality is satisfied.It follows that the argument which says that the Timestamp Semantics is the two content strategy in disguised is misplaced.

Conclusion
In this paper, I have argued that there is an elegant way for the eternalist to deal with the Operator Argument.I followed a suggestion from Fritz et al. (2019) and adopted Timestamp Semantics.Unfortunately, Fritz et al. rejected their own proposal and decided to go with the two-content strategy after all.I claimed that allowing for temporal operators that operate on eternal entities in a non-vacuous way is a better solution.Firstly, the alleged motivation for the two-content strategy is also motivation for the temporalist position.It seems natural for the temporalist to claim that the Principle of Compositionality strengthens her point, i.e., that substitution arguments show that one should reject eternalism.From such a point of view, we have two arguments for temporalism and no arguments against it, so the strategy of (A2) seems ad hoc.Secondly, the assumption that propositions do not serve as compositional semantic values results in a more complex theory, thus it violates Ockham's Razor's intuition.What is more, King's (2003) strategy of using quantifiers is not as good as one might think since it also allows for temporal propositions.Finally, I discussed three potential counterarguments to my proposal.The important message is that the eternalist is not obliged to claim that the two sentences φ and it is now the case that φ express the same proposition, even when uttered in the same context.Such a move allows us to handle substitution arguments of various kinds (Weber, 2012;Rabern, 2012).In the last section I presented the full formalization of Timestamp Semantics, and showed that it is compositional in the desired sense.