According to the presentist the present time is the only one that there is. Nevertheless, things persist. Most presentists think that things persist by enduring. Employing E. J. Lowe’s notion of identity-dependence, Jonathan Tallant argues that presentism is incompatible with any notion of persistence, even endurance. This consequence of Lowe’s ideas, if soundly drawn, is important. The presentist who chooses to deny persistence outright is a desperate figure. However, though Lowe’s notion is a legitimate and worthwhile one, this application is (...) faulty. The incompatibility of presentism and persistence is not part of Lowe’s heritage. A positive conclusion can be drawn. A form of persistence is compatible with presentism. It is one on which persistence is defined in tensed terms using an adverbial tense operator: x persists iff x exists and existed or will exist. Unsurprisingly, so understood persistence is endurance. The commonly held view is correct. (shrink)

Might something I do now make something have happened earlier? This paper is about an argument which concludes that I might. Some arguments about “backward causation” conclude that the world could have been the kind of place in which actions make things have happened earlier. The present argument says that it is that kind of place: that we actually are continually doing things that really make earlier things have happened. The argument is not new. It sees temporal direction as logically (...) independent of any direction which necessary and sufficient conditions may have and it sees causal direction as properly deriving from the latter. Thus the directions of time and of making things happen need not coincide and, as it turns out, do not actually coincide in fact. There are examples of events which are sufficient, in a suitably rich sense, for the occurrence of earlier events; hence they make the earlier events happen. My purpose in this paper is to lend support to the argument by filling in some details which ‘backward sufficient conditions’ may lay claim to. (shrink)

In classical quantificational logic, every individual constant is assigned a value from the domain of discourse, thus ensuring that every instance of \\) is valid and so a theorem of a complete logic. Standard tense and modal logics validate a rule of necessitation, according to which, crudely, every theorem is always and necessarily true. Combining these two generates the result that everything always and necessarily exists. In a number of works from the late 1950s through to his death in 1969, (...) Prior worked to develop tense and modal logics that avoided these results. Prior’s key idea was to reject the rule of necessitation. In this essay, I present and criticize Prior’s account of the contingency of existence and offer a more satisfying account that shares many of the virtues of Prior’s account. (shrink)

In this paper, I investigate the nature of the metaphysical possibility of disunified time. A possibility that I argue presents unique problems for those who adhere to a strict A-theory of time, particularly those A-theorists who propose a presentist view. The first part of the paper discusses various arguments against the coherence of the concept of disunified time. I attempt to discount each of these objections and show that disunified time is indeed a possible and consistent topology of time. Then, (...) I attempt to show that disunified time is a problem for a semantics based on the A-series since A-truthmakers are hard to come by in a universe of temporally disconnected time-series. Finally, I provide a novel argument showing that presentists should be particularly fearful of such a universe. (shrink)

Frege taught us how to understand one form of predication: an atemporal one. There is also a different, temporal form of predication, which I briefly introduce. Accordingly, there are two fundamentally different approaches to time: a reductive one, aiming to account for time in terms of Frege’s atemporal predication, and a non-reductive one, insisting that the temporal form of predication is sui generis, and that time is to be understood in its terms. I do not directly argue for or against (...) reductionism in this paper. Rather, by evaluating the debates on endurantism–perdurantism, A-theory–B-theory, and presentism–eternalism, I argue that these debates, although aiming to be fundamental, largely boil down to mere quarrels between alternative reductive approaches. We should take notice of this fact and reorient ourselves within the debate on time accordingly: the real issue is whether we should reduce or not. I briefly sketch in what sense endurantism, A-theory, and presentism may be developed on a properly anti-reductionist basis. (shrink)

This paper presents an argument against the A-Theory of time. Briefly, I shall contend that the A-Theorist has no explanation for why the present moment in particular has the metaphysical privilege she accords it, and that this puts the theory at a disadvantage. In what follows, I shall begin by presenting this argument. I will follow that with some potential explanations for why the present moment is privileged and reasons militating against them, in addition to some other possible objections to (...) my argument and my responses to them. The conclusion will be that the A-Theorist fails to provide either an obvious or a theoretical explanation of the present time’s privileged status and is thereby at a theoretical disadvantage to theories that do not posit a metaphysically privileged present time. Topics covered include the purported analogy between times and worlds, the possibility that times are individuated by what is true at them, and the semantic status of titles for date-times. (shrink)

The paper re-evaluates Prior's tenets about indeterminism and relativity from the point of view of the current state of the debate. We first discuss Prior's claims about indeterministic tense logic and about relativity separately and confront them with new technical developments. Then we combine the two topics in a discussion of indeterministic approaches to space-time logics. Finally we show why Prior would not have to "dig his heels in" when it comes to relativity: We point out a way of combining (...) the existential import of the distinction between past, present, and future with a frame-relative notion of the present. (shrink)

This article discusses the argument we cannot have knowledge of abstract entities because they are not part of the causal order. The claim of this article is that the argument fails because of equivocation. Assume that the “causal order” is concerned with contingent facts involving time and space. Even if the existence of abstract entities is not contingent and does not involve time or space it does not follow that no truths about abstract entities are contingent or involve time or (...) space. I argue that it is the latter which is required to obtain the desired conclusion. (shrink)

Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal analog (...) for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations. (shrink)

This paper aims to clarify the connection between the logic of temporal distinctions and the temporal features of propositions. Contra Prior, it argues that the adoption of tense operators does not commit one to the view that propositions can change their truth value over time.

This paper defends three theses: that presentism is either trivial or untenable; that the debate between tensed and tenseless theories of time is not about the status of presentism; and that there is no temporal analogue of the modal thesis of actualism.

This article surveys some of the key issues that arise when one tries to use tense logic as a metaphysical theory of the nature of time. Topics discussed include basic tense logic, tense logic and verb tense, the structure of the time series, instants of time, quantified tense logic, and the expressive resources of tense logic.

ABSTRACT A crucial issue in the debate about the correct treatment of natural language tense concerns covert variables: do we have reason to think there are any in the syntax, as the quantifier theorist maintains? If not, it seems we can quickly discount the quantifier theory from consideration, without even considering the data in its favour. And, indeed, there is a good reason to doubt that there are such variables: contemporary syntactic theory, notably, does not seem to posit them. I (...) respond to this argument going from the premise that positing covert variables is illicit to the conclusion that quantifier theories of tense are false. I argue that the argument fails by suggesting a non-committal understanding of the process of positing covert variables. On this view, even if we are not doing fundamental syntax in so positing, nevertheless there is a reason to think we are doing something theoretically productive, because it seems like an important part of the practice of semantics and because it seems like semantics is a discipline which is making progress. The progress of semantics supports the methodology of positing variables at its heart; the quantifier theorist of tense, accordingly, need not worry about their syntactic commitments. (shrink)

There seem to be topics on which people can disagree without fault. For example, you and I might disagree on whether Picasso was a better artist than Matisse, without either of us being at fault. Is this a genuine possibility or just apparent? In this paper I pursue two aims: I want to provide a systematic map of available responses to this question. Simultaneously, I want to assess these responses. I start by introducing and defining the notion of a faultless (...) disagreement. Then I present a simple argument to the conclusion that faultless disagreement is not possible. Those who accept the argument have to explain away apparent cases of faultless disagreement. Those who want to maintain the possibility of faultless disagreement must deny one of the argument's premisses. The position I want to promote belongs to the latter category and is a form of genuine relativism. (shrink)

This paper defends the possibility of admitting occurrents in a presentist ontology. Two ways of doing so are proposed, the first one involves Meinongian presentism. By using the notion of non-existent object and coherently modifying some mereological principle, it is argued, the presentist can allow for occurrents. The second proposal involves ex-concrete objects. Ex-concrete objects, i.e. objects that are contingently not concrete, have been used by Linsky and Zalta, 431-458, 1994), Williamson in the modal metaphysics debate, by Orilia, 589-607, 2016) (...) in the presentism-eternalism debate, and by Longenecker, 5091-5111, 2018) in the debate about material constitution. I argue that, just by admitting ex-concrete objects, it is possible to have occurrents even for the presentist. Of course, in order to do so we must modify our definitions of occurrent and continuant. Nevertheless, I argue that my theory is metaphysically sound, at least for the presentist persuaded by the intuitive claim that there are occurrents, which otherwise she must reject. (shrink)

Since the early part of this century there has been a considerable amount of discussion of the question 'Does time pass?'. A useful way of approaching the debate over the passage of time is to consider the following thesis: The space-time thesis (SPT): Time is similar to the dimensions of space in at least this one respect: there is no set of properties such that (i) these properties are possessed by time, (ii) these properties are not possessed by any dimension (...) of space, and (iii) in virtue of time's possession of these properties it is true to say that time passes. Those who say that time does not pass generally want to affirm something like SPT. But those, on the other hand, who say that time does pass generally want to deny SPT. Of course, SPT is, as it stands, a mere skeleton of a thesis. It needs to be fleshed out. What could the relevant properties be? Why exactly would it be that in virtue of time's possession of these properties it is true to say that time passes? What exactly would it mean to say that time passes? These are all matters that require considerable discussion. The aim of this paper, however, is to take up some linguistic issues that have been considered central to the debate over the passage of time. There are two main reasons why I think it is appropriate to discuss these linguistic issues independently of the relevant metaphysical issues. The first reason is historical: many of the writers who have taken up the issue of whether or not time passes have begun their discussions by focusing on linguistic.. (shrink)

A finitely alternative normal tense logic \ is a normal tense logic characterized by frames in which every point has at most n future alternatives and m past alternatives. The structure of the lattice \\) is described. There are \ logics in \\) without the finite model property, and only one pretabular logic in \\). There are \ logics in \\) which are not finitely axiomatizable. For \, there are \ logics in \\) without the FMP, and infinitely many pretabular (...) extensions of \. (shrink)

In the first section of this paper I offer a necessary condition for members of a particular class of arguments to be acceptable asproofs. In the second section, I point out that a plausible extension of this principle reveals that a number of additional arguments cannot function successfully as proofs. Finally, I note that a number of theological arguments, particularly cosmological and ontological arguments, are suspect in the light of this extended principle. Standardly in the ontological argument, criticism falls on (...) the conditional, modality-enriching premise which involves a move from possibility to actuality. I offer two defences of this premise, and argue that—as the use of Moore's extended maxim shows—the problem lies with the premise that asserts mere possibility. (shrink)

R. C. Sleigh's Leibniz and Arnauld: A Commentary on Their Correspondence is a very good book: it is detailed, clearly written, well argued and attentive to the historical background. The more I read it, the more I enjoyed it and the more I learned. Not only does it offer a wide variety of interesting points for the reader to agree and disagree with, it has, also, the virtue of pretty well forcing the reader to think about the issues involved and (...) their connection with a variety of other philosophical problems. It breaks a good deal of new ground and, as is the way with new ground-breaking, it sometimes only scratches the surface: it points out both the need for further, more detailed investigations and the way in which such investigations might fruitfully proceed. By and large, however, it does a great deal more than scratch the surface: its depth of discussion is such that only a comparably sized book could hope to discuss in all their ramifications the problems raised by Sleigh. (shrink)

“ Ich liebe dich 3 ” the swains in mountain valleys of Austria inscribe on their presents to those to whom they plight their troth. The pun is a rare one in German. Only in remote valleys does the word for ‘three’ rhyme with joy; and the word for ‘true’ is usually ‘ wahr ’ not ‘ treu ’ ‘ Wahr ’ is more propositional, less evaluative than our ‘true’. So too in Latin and the romance languages ‘ verum ’, (...) ‘ Vrai ’ ‘ vera ’ ‘ verdadero ’ carry a lighter load of feeling. Only the Hebrews resembled us in giving their word for ‘true’ strong moral overtones, and using the same or some cognate word to praise him who had used no deceitfulness to his neighbour as to recommend some statement as being meet to be believed. (shrink)

Section 1 recalls a point noted by A. N. Prior forty years ago: that a certain formula in the language of a purely implicational intermediate logic investigated by R. A. Bull is unprovable in that logic but provable in the extension of the logic by the usual axioms for conjunction, once this connective is added to the language. Section 2 reminds us that every formula is interdeducible with (i.e. added to intuitionistic logic, yields the same intermediate logic as) some conjunction-free (...) formula. Thus it would seem that any detour going via formulas with conjunction can be avoided, which raises a puzzle: how is this consistent with the point from Section 1? Sections 3 and 4 raise and discuss this puzzle. In fact, the puzzle turns out on closer inspection not to be so puzzling after all, but it does serve as a convenient centrepiece around which to organize a discussion of the phenomenon illustrated by the Bull–Prior example. Section 5 notes that Prior's observation can be extended to the case of the result of adding disjunction to Bull's logic, while Section 6 includes some further remarks aimed at diagnosing one source of possible residual puzzlement. A subtext of our discussion—spanning several of the notes—is that this work by Bull and Prior has been overlooked, their results having to be rediscovered, by many algebraists and logicians in more recent years. (shrink)

Deflationists hold that it does not seem to us, in experience, as though time robustly passes. There is some recent empirical evidence that appears to support this contention. Equally, empirical evidence suggests that we naïvely represent time as dynamical. Thus deflationists are faced with an explanatory burden. If, as they maintain, the world seems to us in experience as though it is non-dynamical, then why do we represent time as dynamical? This paper takes up the challenge of investigating, on the (...) part of the deflationist, one candidate explanation. We hypothesise that people’s belief that the future is what we call deliberatively open partly explains why they represent time as dynamical. In a series of two experiments we test this hypothesis. We find no evidence that beliefs about deliberative openness explain why people represent time as dynamical. Hence there remains an explanatory burden for the deflationist to discharge. (shrink)

We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while we found stable results across our (...) two experiments regarding the percentage of participants that have a dynamical or non-dynamical extant theory of time, we did not find such stability regarding which particular dynamical or non-dynamical theory of time they take to be most similar to our world. This suggests that there might be two extant theories in the population—a broadly dynamical one and a broadly non-dynamical one—but that those theories are sufficiently incomplete that participants do not stably choose the same dynamical theory as being most similar to our world. This suggests that while appeals to the ordinary view of time may do some work in the context of adjudicating disputes between dynamists and non-dynamists, they likely cannot do any such work adjudicating disputes between particular brands of dynamism. (shrink)

In their book Relativism, Maria Baghramian and Annalisa Coliva (B&C; 2020) offer a panoramic view of various forms of relativism and their history. They mak.

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

The connective of realisation associates propositions with names of contexts, at which they are said to be realised. Realisation is usually understood as relativised truth-connective, thus under mo...

In “Experience and Time,” Brian Garrett poses a challenge to friends of the rationality of pure time preferences. In this discussion note, we accept the challenge and provide two kinds of cases wherein some pure time preferences could be deemed rational.

In his Formal Logic, Arthur N. Prior declared that Jan Łukasiewicz's logical notation is ‘unquestionably the best logical symbolism for most purposes’. Whether he had a substantive, and...

Investigation into the reality of time can be pursued within the ontological domain or it can also span human thought and natural language. I propose to approach time by correlating three domains of inquiry: metaphysical time, the human concept of time, and temporal reference in natural language, entertaining the possibility of what I call a ‘horizontal reduction’ and ‘vertical reduction’. I present a view of temporalityL/E as epistemic modality, drawing on evidence from the L domain and its correlates in the (...) E and M domains. On this view, the human concept of time is a complex, ‘molecular’ concept and can be broken down into primitive concepts that are modal in nature, featuring as degrees of epistemic commitment to representations of states of affairs. I present evidence from tensed and tenseless languages and point out its compatibility with the view of real time as metaphysical modality. (shrink)

In his famous letter to A. N. Prior dated 3 September 1958, Saul Kripke suggested the use of branching time in temporal logic. In this paper, however, it is argued that Prior worked with an idea close to the notion of branching time (‘the big Y’) already the year before he received Kripke’s letter. It is likely that Prior’s findings based on this early study can explain why Prior so quickly accepted the idea of branching time when he received Kripke’s (...) letter. (shrink)

A. N. Prior very much admired the logic and philosophy of C.S. Peirce. In the spring of 1962 Prior went to Chicago to study Peirce's ideas. One of the topics that caught his attention was Peirce's existential graphs. This interest continued when he returned to England. In this paper Prior's grappling with the existential graphs will be discussed.

In “Divine Foreknowledge and Facts” Paul Helm defends a traditional argument to the incompatibility of foreknowledge and free will “against the attempts of Kenny and some other recent writers to provide a reconciliation.” I shall here set out a reconciliationist position similar to those he attacks, but innocent of the charges he makes against them.The argument, discussed by St. Thomas in the Summa Theologiae, employs the doctrine of the necessity of the past to show that literally prior knowledge of a (...) free action is impossible. Since prior knowledge of an action is past relative to the ·action, the fact of that knowledge is necessary. It is a past fact, and so cannot be undone. From this it follows that the action itself must be necessary; for necessity is transitive, and knowledge of p implies p. But only contingent actions can be free, and so no free action can be foreknown. (shrink)

The problem of change plays a central role in the metaphysics of time and material objects, and whoever does best in solving this problem has a leg up when it comes to choosing a metaphysics of time and material objects. But whether this central role of the problem of change in metaphysics is legitimate is not at all clear. This is so in part since it is not clear what the problem of change is, and why it is a problem (...) in metaphysics. We will investigate what metaphysical problem the problem of change might be, and how it relates to various other problems related to change that are studied in the empirical sciences. The problem of change can thus be a case study of what makes a problem a metaphysical one and how metaphysics relates to other parts of inquiry. We conclude that the central role the problem of change is given in the contemporary metaphysics of time is not justified. (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)

European Journal of Philosophy, Volume 30, Issue 1, Page 245-258, March 2022.

Presentism is the view, roughly speaking, that only presently existing things exist. Though presentism offers many attractive solutions to problems in metaphysics, philosophy of language, and philosophy of mind, it faces threats from two main sources: McTaggart and the special theory of relativity. This paper explores the prospects for fitting presentism together with the special theory. Two models are proposed, one which fits presentism into a relativistic setting (the cone model) and one which fits the special theory into a presentistic (...) setting (the surface model). It is concluded that there is no good reason arising from the special theory of relativity for rejecting presentism. Presentism is tenable here and preferable elsewhere. (shrink)

Having clarified certain conceptual matters with regard to God's relation to sin and evil, Professor Brümmer considers the two propositions that God could be the author of any state of affairs that he does not approve of, and that God could approve of any state of affairs which is evil. Brü mmer argues that both these are logically impossible, the first because it would be a sign of weakness in God, and the second because God's will is the ultimate standard (...) of goodness. (shrink)

Professor Holt's comments fall into two parts. He begins by raising some objections to the tentative rejection, in my paper, of the distinction between ‘hard’ and ‘soft’ facts. He then goes on to offer an argument to show that my defence of the incompatibility of divine foreknowledge and human freedom fails, or is at least seriously questionable. For brevity I shall concentrate on his remarks on foreknowledge as I do not think that his interesting discussion of the distinction between ‘hard’ (...) and ‘soft’ facts vitally affects the question about divine foreknowledge, the main point at issue.So I shall deal with Holt's claim that one can have the power to undo the fact of foreknowledge retroactively and argue that one can no more retroactively bring it about that God did not know than one can retroactively bring it about that he did know. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

I first distinguish several notions that have traditionally been conflated (or otherwise neglected) in discussions of the metaphysics of time. Thus, for example, I distinguish between the passage of time and temporal becoming. The former is, I maintain, a confused notion that does not represent a feature of the world; whereas a proper understanding of the latter provides the key for a plausible and comprehensive account of the nature of temporal reality. There are two general classes of views of the (...) nature of temporal reality; proponents of particular views in both classes attempt to account for the phenomenon of temporal becoming in terms of qualitative change. I argue that any such account – in terms of change – is irredeemably problematic. And so I propound a different account of temporal becoming, based on the notion that temporal reality is transient, which provides the means to characterize intuitively and vividly the significant effects of time on the metaphysical nature of the world. (shrink)

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)

Temporal ersatzism is the view that past entities exist, but are not concrete. The view is analogous to modal ersatzism, according to which merely possible worlds exist, but are not concrete. The goal of this paper is to give the reader a sense of the scope of available temporal ersatzist views, the ways in which the analogy with modal ersatzism may be helpful in characterizing and defending those views, and the sorts of considerations that are relevant when evaluating particular versions (...) of temporal ersatzism. (shrink)

Developed by Arthur Prior, Temporal Logic allows to represent temporal information on a logical system using modal operators such as P, F, H or G, whose intuitive meaning is “it was sometime in the Past...”, “it will be sometime in the Future...”, “it Has always been in the past...” and “it will always Going to be in the future...” respectively. Valuation of formulae built from these operators are carried out on Kripke semantics, so Modal Logic and Temporal Logic are consequently (...) related. In fact, Temporal Logic is an extension of Modal one. Even when both logics mechanisms are able to formalize modal-temporal information with some accuracy, they suffer from a lack of expressiveness which Hybrid Logic can solve. Indeed, one of the problems of Modal Logic consists in its incapacity of naming specific points inside a model. As Temporal Logic is based on it, it cannot make such a thing neither. But First-Order Logic does can by means of constants and equality relation. Hybrid Logic, which results from combining Modal Logic and First-Order Logic, may solve this shortcoming. The main aim of this paper is to explain how Hybrid Logic emanates from Modal and Temporal ones in order to show what it adds to both logics with regard to information representation, why it is more expressive than them and what relation it maintains with the First-Order Correspondence Language. (shrink)

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...) as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)