As far as our experience goes, we live in a dynamic present. Those two phenomenal features of experience—presentness and dynamism—are obviously connected. However, how they are connected is not obvious at all. In this paper, I criticise the view according to which the former can explain the latter, which I call sophisticated representationalism. My criticism will be based on an ambiguity in the notion of tense found in the philosophical literature, that between the perspectival understanding and the dynamic understanding (...) of tenses. The distinction is not just of independent interest, but it has a role in providing indirect evidence for the claim that the feeling of passage of time should be understood in non-representationalist terms. (shrink)

I attempt to set the stage for a constructive analysis of the nature and function of tensed belief as a distinct psychological type. After introducing tensed beliefs, I describe the philosophical issues that implicate them, including Prior’s “ thank goodness it’s over ” argument against the B-theory of time. I proceed to flesh out, and then argue against, two traditional treatments of tensed belief from the philosophy of time: the A-theoretic view, which starts from present facts or properties, and Hugh (...) Mellor's B-theoretic reply, which starts from the tenseless properties of tensed belief tokens. The explanatory failure of the former shows that, pace Prior, the existence of tensed attitudes does not favor the A-theory, while the failure of both shows that there are still explanatory gaps that we need to fill. I conclude by offering a working definition of tensed belief and the ideal methodology for filling out these explanatory gaps in future study. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture (...) of reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

Presentism faces a serious challenge from truthmaker theory. Standard solutions to the truthmaker objection against presentism proceed in one of two ways. Easy road presentists invoke new entities to satisfy the requirements of truthmaker theory. Hard road presentists, by contrast, flatly refuse to give in to truthmaker demands. Recently, a third way has been proposed. This response seeks to address the truthmaking problem by tensing our truthmaker principles. These views, though intuitive, are under-developed. In this paper, I get serious about (...) a fundamentally tensed approach to truthmaking by sketching out the underlying ontological picture needed to make sense of tensed truthmaker theory. (shrink)

At the centre of Arthur Prior’s ‘Thank goodness’ argument for the A-theory of time is a particular form of relief. Time must objectively pass, Prior argues, or else the relief felt when a painful experience has ended is not intelligible. In this paper, I offer a detailed analysis of the type of relief at issue in this argument, which I call temporal relief, and distinguish it from another form of relief, which I refer to as counterfactual relief. I also argue (...) that existing discussions of the ‘Thank goodness’ argument—including Prior’s own—fail to give a satisfactory account of temporal relief, and that it needs to be seen as an emotion linked to the ability to engage in fairly sophisticated forms of planning. I also suggest that this has an impact on Prior’s claim that the idea of points in time plays no fundamental role in the semantic analysis of tenses. (shrink)

We direct different attitudes towards states of affairs depending on where in time those states of affairs are located. Call this the type asymmetry. The type asymmetry appears fitting. For instance, it seems fitting to feel guilt or regret only about states of affairs that are past, and anticipation only of states of affairs that are future. It has been argued that the type asymmetry could only be fitting if there are tensed facts, and hence that since it is fitting, (...) there are tensed facts. In this paper I argue that tensed facts are not necessary to ground the fittingness of the type asymmetry, and thus we have no reason, arising from the fittingness of the asymmetry, to posit such facts. I also argue for a stronger conclusion: even if these facts obtain they are no part of what grounds the fittingness of the type asymmetry. These facts are explanatorily redundant. (shrink)

In recent years the idea that perceptual content is tensed in the sense that we can perceive objects as present or as past has come under attack. In this paper the notion of tensed content is to the contrary defended. The paper argues that assuming that something like an intentionalistic theory of perception is correct, it is very reasonable to suppose that perceptual content is tensed, and that a denial of this notion requires a denial of some intuitively very plausible (...) principles. The paper discusses some common objections against the notion of tensed content and concludes that none of them succeeds in showing that perceptual content cannot be tensed. (shrink)

If, as the new B-theory of time maintains, tensed sentences have tenseless truth conditions, it follows that it is possible for two sentence-tokens to have the sametruth conditions but different meanings. This conclusion forces a rethink of the traditional identification of truth conditions with meaning. There is an aspect of the meanings of tensed sentences that is not captured by their truth conditions, and that has so far eluded explanation. In this paper I intend to locate, examine, and explain this (...) feature of tensed meaning. (shrink)

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are (...) developed, and mapped to the ontology of time. (shrink)

Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience base for (...) the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain (...) respects. Specifically, I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with (...) other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic. (shrink)

Human beings seem to capture time and the temporal properties of events and things in thought by having beliefs usually expressed with statements using tense, or notions such as ‘now’, ‘past’ or ‘future’. Tensed beliefs like these seem indispensable for correct reasoning and timely action. For instance, my belief that my root canal is over seems inexpressible with a statement that does not use tense or a temporal indexical. However, the dominant view on the nature of time is (...) that it forms, with space, a four-dimensional continuum where time does not encompass private perspectives or an absolute, fixed present. This ‘tenseless’ theory of time encounters a challenge in integrating tensed belief, because it cannot easily explain what constitutes a tensed belief in a tenseless world and how such a belief works inside our cognitive network to bring about the actions it does. Providing such an account is the main goal of this dissertation. -/- I argue here that the correct way to proceed would be to utilize philosophical theories dealing with indexicality, as the puzzling features of tensed belief are shared with beliefs expressed by first-person or spatial indexicals. In chapters II and III I expand the dominant theories about indexicality (Lewis, Perry, Kaplan) and apply them to tensed belief. I show that each is in certain respects incomplete or inadequate. -/- My preferred account critiques the preceding theories as mis-attributing the indexicality involved to a fully conceptual element in the way people think about time. I argue that we should instead connect tensed belief to not fully conceptual elements thought. For support I turn to work in perceptual psychology that connects beliefs about space to perceptions of spatial features. In chapter IV I develop an analogous argument about temporal thought and discuss how mental representations involved in perceptions are constitutively related to the formation and preservation of tensed beliefs. Combining this story with a tenseless theory of time should give us a complete, metaphysically uncontroversial, account of the way a tensed belief functions in reasoning and produces timely action. (shrink)

I consider whether the self-ascription theory can succeed in providing a tenseless (B-theoretic) account of tensed belief and timely action. I evaluate an argument given by William Lane Craig for the conclusion that the self-ascription account of tensed belief entails a tensed theory (A-theory) of time. I claim that how one formulates the selfascription account of tensed belief depends upon whether one takes the subject of selfascription to be a momentary person-stage or an enduring person. I provide two different formulations (...) of the self-ascription account of tensed belief, one that is compatible with a perdurantist account of persons and the other that is compatible with an endurantist account of persons. I argue that a self-ascription account of tensed beliefs for enduring subjects most plausibly involves the self-ascription of relations rather than properties. I argue that whether one takes the subject of self-ascription to be a momentary personstage or an enduring person, the self-ascription theory provides a plausible B-theoretic account of how tensed belief and timely action are possible. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to (...) embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

60% of meanings conveyed by English grammar tenses are not recognized automatically by the Russian language. Russian translations tend to be some 30% longer than their English originals. -/- Is there any way for us to map and systematise those discrepancies? -/- Here is an attempt of modelling, or reconstructing the cognitive system of English natives imprinted in the English Tense System, as seen by a Slavic native speaker.

60% of meanings conveyed by English grammar tenses are not recognized automatically by the Russian language. Russian translations tend to be some 30% longer than their English originals. -/- Is there any way for us to map and systematise those discrepancies? -/- Here is an attempt of modelling, or reconstructing the cognitive system of English natives imprinted in the English Tense System, as seen by a Slavic native speaker.

Abstract: A theory of time is a theory of the nature of temporal reality, and temporal reality determines the truth-value of temporal sentences. Therefore it is reasonable to ask how a theory of time can account for the way the truth of temporal sentences is determined. This poses certain challenges for both the A theory and the B theory of time. In this paper, I outline an account of temporal sentences. The key feature of the account is that the primary (...) bearers of truth-values are not utterances, but sentences evaluated with respect to a time. I argue that unlike other views, the present proposal can meet the challenges faced both by the A and the B theory. (shrink)

Abstract According to an influential theory, English tenses are anaphoric to an aforementioned reference point. This point is sometimes construed as a time (e.g. Reichenbach 1947, Partee 1973, Stone 1997) and sometimes as an event (e.g. Kamp 1979, 1981, Webber 1988). Moreover, some researchers draw semantic parallels between tenses and pronouns (e.g. Partee 1973, 1984, Stone 1997), whereas others draw parallels between tenses and anaphorically anchored (in)definite descriptions (e.g. Webber 1988). This paper proposes a unified approach.

This is my contribution to a symposium on Berit Brogaard's book "Transient Truths" in which I criticize her treatment of various linguistic phenomena related to tense.

Normative concepts have a special taste, which many consider to be proof that they cannot be reductively analyzed into entirely nonnormative components. This paper demonstrates that at least some intuitively normative concepts can be reductively analyzed. I focus on so-called ‘hypothetical imperatives’ or ‘anankastic conditionals’, and show that the availability of normative readings of conditionals is determined by features of grammar, specifically features of tense. Properly interpreted, these grammatical features suggest that these deontic modals are analyzable in terms of (...) conditional necessity with a certain temporal structure. (shrink)

This paper identifies a new source of differences in religiosity: the type of future tense marking in language. We argue that the rewards and punishments that incentivize religious behaviour are more effective for speakers of languages without inflectional future tense. Consistent with this prediction, we show that speakers of languages without inflectional future tense are more likely to be religious and to take up the short-term costs associated with religiosity. What is likely to drive this behaviour, according (...) to our results, is the relatively greater appeal of the religious rewards to these individuals. Our analysis is based on within-country regressions comparing individuals with identical observable characteristics who speak a different language. (shrink)

Two of the main debates in philosophy of language concerning time and tense are the debate about the semantics of the tenses in the English language and the debate over whether propositions can be transiently true or false as opposed to always being eternally true or false. The latter quarrel is also known as the "temporalism–eternalism debate." Given standard semantics, the two debates are not logically independent, as we will see. Those who believe propositions are eternally true or false (...) needn’t treat the tenses as operators. Their opponents, on the other hand, appear to be committed to an operator theory of the tenses, given a standard semantic framework. In this chapter I will focus primarily on these two debates. (shrink)

In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric moods and/or attitudinal verbs.

Here I develop the idea, which I have presented elsewhere, that time instants are abstract entities existing tenselessly and therefore that events and changes likewise may be said to exist tenselessly in virtue of their place at a certain space-time point.

It is suggested that the notion of truth value plays a role in syntactic theory and should be incorporated in the appropriate formulation of conditions on transformations.

M. Johnston proposed an adverbialist solution to the problem of intrinsic change of enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing having a property simpliciter by standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring having a property to be non-relational, while I disagree with him on restricting it to having simpliciter. (...) I tense the copula non-relationally and yet more seriously than Johnston, by characterizing tense as a copulative de re modality concerning endurance, which I relate to R. Taylor’s ‘pure becoming’. I will show that my way gives a better solution to the problem of intrinsic change than those by other endurantists, because of its close connection to an account of tense, endurance and becoming. (shrink)

According to James McCawley (1981) and Richard Larson and Gabriel Segal (1995), the following sentence is three-ways ambiguous: -/- Harry wants to be the mayor of Kenai. -/- According to them also, the three-way ambiguity cannot be accommodated on the Russellian view that definite descriptions are quantified noun phrases. In order to capture the three-way ambiguity of the sentence, these authors propose that definite descriptions must be ambiguous: sometimes they are predicate expressions; sometimes they are Russellian quantified noun phrases. After (...) explaining why the McCawley-Larson-Segal solution contains an obvious flaw, I discuss how an effort to correct the flaw brings to light certain puzzles about the individuation of desires, about quantifying in, and about the disambiguation of desire ascriptions. (shrink)

The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design of (...) an Intelligent Tutoring System for teaching English language grammar to help students learn English grammar easily and smoothly. The system provides all topics of English grammar and generates a series of questions automatically for each topic for the students to solve. The system adapts with all the individual differences of students and begins gradually with students from easier to harder level. The intelligent tutoring system was given to a group of students of all age groups to try it and to see the impact of the system on students. The results showed a good satisfaction of the students toward the system. (shrink)

Fine (2005, 2006) has presented a ‘trilemma’ concerning the tense-realist idea that reality is constituted by tensed facts. According to Fine, there are only three ways out of the trilemma, consisting in what he takes to be the three main families of tense-realism: ‘presentism’, ‘(external) relativism’, and ‘fragmentalism’. Importantly, although Fine characterises tense-realism as the thesis that reality is constituted (at least in part) by tensed facts, he explicitly claims that tense realists are not committed to (...) their fundamental existence. Recently, Correia and Rosenkranz (2011, 2012) have claimed that Fine’s tripartite map of tense realism is incomplete as it misses a fourth position they call ‘dynamic absolutism’. In this paper, I will argue that dynamic absolutists are committed to the irreducible existence of tensed facts and that, for this reason, they face a similar trilemma concerning the notion of fact-content. I will thus conclude that a generalised version of Fine’s trilemma, concerning both fact-constitution and fact-content, is indeed inescapable. (shrink)

Our aim in the present paper is to investigate, from the standpoint of truth-theoretic semantics, English tense, temporal designators and quantifiers, and other expressions we use to relate ourselves and other things to the temporal order. Truth-theoretic semantics provides a particularly illuminating standpoint from which to discuss issues about the semantics of tense, and their relation to thoughts at, and about, times. Tense, and temporal modifiers, contribute systematically to conditions under which sentences we utter are true or (...) false. A Tarski-style truth-theoretic semantics, by requiring explicitly represented truth conditions, helps to sharpen questions about the function of tense, and to deepen our insight into the contribution the tenses and temporal modifiers make to what we say by using them. (shrink)

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is (...) translatable to a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views (...) that its predecessors rule out by fiat. (shrink)

This essay is a contribution to a symposium on Barry Stroud’s book The Quest for Reality. It exploits various analogies between tense and colour to defend the idea, about which Stroud is deeply sceptical, that we can successfully undertake what Stroud calls ‘the philosophical quest for reality’—more specifically, to defend the idea that we can do this by arguing that any fact can be represented from no point of view.

The aim of this essay is to characterize the issue whether tense is real. Roughly, this is the issue whether, given any tensed representation, its tense corresponds in some suitably direct way to some feature of reality. The task is to make this less rough. Eight characterizations of the issue are considered and rejected, before one is endorsed. On this characterization, the unreality of tense is equivalent to the unity of temporal reality. The issue whether tense (...) is real, so characterized, is then related to Kant’s deduction of the categories in his Critique of Pure Reason. It is argued that Kant’s deduction does not provide the argument for the unreality of tense that it may appear to. The conclusion drawn at the end of the essay is that the unreality of tense cannot be argued for—not because tense is real, but because, even if it is unreal, its unreality is basic. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the interpretation (...) of a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

In “The Open Future” (2021) Patrick Todd argues that the future is open, and that as a consequence all future contingents are false (as opposed to the more common view that they are neither true nor false). Very roughly, this latter claim is motivated by the idea that (a) presentism is true, and so future (and indeed past) things do not exist and (b) if future things do not exist, then the only thing that could ground there being future tensed (...) facts, and hence make those future tensed claims true, is the present and the laws of nature. But (c) the present and the laws of nature cannot ground there being future tensed facts because they do not necessitate there being any such fact. Hence future tensed claims are all false. Todd then goes on to present a semantics for his version of the open future on which all future contingents are false. In what follows we take up two strands of Todd’s view. First, we begin, in Section 2, by outlining Todd’s argument that future contingents are all false. We suggest that the considerations that Todd adduces for this conclusion do not support this being so. Then in Section 3 we consider the semantics that Todd offers, and argue that it yields implausible consequences. (shrink)

The nature and topology of time remains an open question in philosophy, both tensed and tenseless concepts of time appear to have merit. A concept of time including both kinds of time evolution of physical systems in quantum mechanics subsumes the properties of both notions. The linear dynamics defines the universe probabilistically throughout space-time, and can be seen as the definition of a block universe. The collapse dynamics is the time evolution of the linear dynamics, and is thus of different (...) logical type to the linear dynamics. These two different kinds of time evolution are respectively tensed and tenseless. Ascribing tensed semantics to the collapse dynamics is problematic in the light of special relativity, but this difficulty does not apply to a relational quantum mechanics. In this context, while the linear dynamics is the time evolution of the universe objectively, the collapse dynamics is the time evolution of the universe subjectively, applying solely in the functional frame of reference of the observer. (shrink)

One of the theories that have been produced in linguistics in the light of J. E. McTaggart’s influential essay “The Unreality of Time” (1908) is a critique of reality that may be attributed to the semantics of tenses in natural languages. This chapter from my book The Linguistic Picture of the World: Alice’s Adventures in Many Languages proposes an alternative approach to the semantics of time, not as a dubious product of linguists’ imagination, i.e. not as something that can easily (...) be discarded from the philosophy of language but rather as a firm category of human thinking. Particular emphasis is placed on the idea of time as it is expressed by the seemingly rather contradictory morphology of the past, present, and future. (shrink)

McTaggart has an insight that changes of property rely on changes of tense (McTaggart 1908). As I show in this paper, he fails to define A-series as a series for changes of tense, and therefore his proof for the unreality of time is unsuccessful. A-series found in the proof is reduced to a number of mere indexicals of time, and this reduction is pushed forward in Dummett's defense. My aim in this paper is not only to check the (...) validity of their arguments but to investigate invincible difficulties faced in defining changes of tense. The latter is my main aim, and the former is a preliminary argument for it. (shrink)

Some people think that pastness, presentness and futurity (and their metric variants, such as being two days past) are genuine propeties of times and events. These putative properties are sometimes called “A properties” and the philosopers who believe in them are often called “A Theorists.” Other philosophers don’t believe in the reality of A properties, but instead say that talk that appears to be about such properties is really about “B relations” – two-place temporal relations like earlier than, simultaneous with, (...) and later than (together with their metric variants, like two days earlier than). The latter philosophers are often called “B Theorists,” and the debate between A Theorists and B Theorists has dominated the philosophy of time since 1908.1 The two views can be put this way. The A Theory: There are genuine, irreducible A properties; talk that appears to be about A properties is not analyzable in terms of B relations. (shrink)