Traditional debates between semantic temporalists and eternalists appeal to the efficacy of temporal operators and the intuitive (in)validity of instances of temporal reasoning. In this paper, I argue that such debates are inconclusive at best and that under-explored arguments concerning perceptual experience, memory, and knowledge offer more productive means of advancing debates between temporalists and eternalists and rendering salient several significant potential costs and benefits of these views.

In her Transient Truths, Berit Brogaard defends temporalism about proposition content from the more traditional eternalist views. I argue that both temporalism and eternalism are equally capable of accommodating all the data, and thus suggest that we should adopt a neutralism that holds there is no serious or resolvable dispute. Contra Brogaard, I argue that neither disagreement patterns nor belief dynamics favor temporalism over eternalism. I also suggest that Brogaard's defense of operator over quantificational semantics (...) for tense is unnecessary, because quantificational tense semantics can be given a temporalist reading, and operator tense semantics can be given an eternalist reading. (shrink)

Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was much of a (...) parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin. (shrink)

Transient Truths: An Essay in the Metaphysics of Propositions provides the first book-length exposition and defense of semantic temporalism, the view that propositions are contents or semantic values that can change their truth-values across time.

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

This paper distinguishes two importantly different kinds of temporalism. According to one version, the truth value of propositions is parameterized to times. According to a second version, propositions have a truth value simpliciter, but some propositions that are true will be or were false. I point out that the second version is neglected in Berit Brogaard's Transient Truths, and explore whether there are good arguments against it implicit in that work. I also critically engage with various arguments presented by (...) Brogaard against semantic eternalism. (shrink)

Aristotle and Aquinas may have held that the things we believe and assert can have different truth-values at different times. Stoic logicians did; they held that there were “vacillating assertibles”—assertibles that are sometimes true and sometimes false. Frege and Russell endorsed the now widely accepted alternative, where the propositions believed and asserted are always specific with respect to time. This paper brings a new perspective to this question. We want to figure out what sorts of propositions speakers believe. Some philosophers (...) have argued that we must take agents to believe temporalist propositions—propositions that are inspecific with respect to time—if we’re to explain the agent’s own thoughts and inferences. I’ll explore another strategy. I’ll focus on our ability to think and reason about the beliefs that other people have. I’ll suggest that an adequate account of that ability requires that we take others to believe some temporalist propositions. I also ask whether all propositions can be specific with respect to worlds, and close by exploring some general issues. (shrink)

At the beginning of modern logic, propositions were defined as unchangeable entities placed in a certain idealistic realm. These unchangeable propositions contain in themselves so-called indexical, i.e. the place, time and other circumstances of the utterance. This concept of the proposition, which is entitled eternalism, was and is still prevalent among analytic philosophers. Often even the term ‘proposition’ is identified with an idealistic entity located outside the real world. In my paper, I would like to focus on the concept (...) of propositions of two logicians who deviated from the standard understanding of propositions, Arthur N. Prior and Pavel Tichý. They were both proponents of temporalism, i.e. the view that propositions could change their truth-value over time. The paper will discuss the reasons why they were proponents of temporalism and compare their views. It claims that in Prior’s case, his metaphysical views were the main reasons he was a proponent of temporalism. In contrast, when Tichý presented his arguments for temporalism, he focused primarily on natural language. (shrink)

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (shrink)

Tsompanidis, Vasilis_On Two Arguments for Temporally Neutral Propositions.

We examine moving spotlight theories of time: theories according to which there are past and future events and an objective present moment. In Section 1, we briefly discuss the origins of the view. In Section 2, we describe the traditional moving spotlight view, which we understand as an ‘enriched’ B-theory of time, and raise some problems for that view. In the next two sections, we describe versions of the moving spotlight view that we think are better and which solve those (...) problems. In Section 3, we describe a version of the view that combines permanentism – the thesis that all things always exist – with propositional temporalism, the thesis that some propositions are sometimes true and sometimes false. In Section 4, we discuss a version of the view that is like an ‘enriched’ presentism. We conclude with some brief thoughts on issues that remain outstanding. (shrink)

Propositions are generally thought to have a truth-value only relative to some parameter or sequence of parameters. Many apparently straightforward notions, like what it is to disagree or retain a belief, become harder to explain once propositional truth is thus relativized. An account of disagreement within a framework involving such ‘stoic’ propositions is here presented. Some resources developed in that account are then used to respond to the eternalist charge that temporalist propositions can't function as belief contents because they (...) don't allow us to make adequate sense of what belief retention amounts to. (shrink)

In this paper, I develop an argument against eternalism, which is similar to the widely discussed grounding problem for presentism. It has recently been argued by many that presentism should be rejected on grounds that its sparse ontology is not suited to underwrite the healthy dose of realism we all share about the past. My aim basically is to add a new twist to the debate, by showing that actually eternalists are no better off than their rivals. In particular, (...) I argue that the eternalist’s ontology does not have the appropriate shape to ground true propositions about the past. (shrink)

Eternalism is a metaphysical view regarding the nature of time. It posits the equal existence of all times: the past, the present, and the future. Every event, from the big bang to the heat death of the universe, including our births and deaths, is equally real. -/- Under standard eternalism, temporal locations are somewhat akin to spatial locations. No place is exclusively real. When someone says that they stand ‘here’, it is clear that the term ‘here’ refers to (...) their position. ‘Back’ and ‘front’ exist as well. Eternalists stress that ‘now’ is indexical in a similar way. It is equally real with ‘past’ and ‘future’. Events are classified as past, present, or future from some perspective. -/- Eternalism is contrasted with presentism, which maintains that only present things exist and with the growing block view (also known as possibilism or no-futurism), which holds that past and present things exist but not future ones. The moving spotlight view suggests that all times exist but that the present is the only actual time. This view can be termed eternalist, but it preserves a non-perspectival difference between past, present, and future by treating tense as absolute. Additionally, the moving spotlight view retains some characteristics of presentism by maintaining that the ‘now’ is unique and privileged. -/- Broadly speaking, presentism is a common-sensical view, and so aligns with our manifest image of time. This view is, however, at odds with the scientific image of time. The primary motivation for eternalism arises from orthodox interpretations of the theories of relativity. According to them, simultaneity is relative, not absolute. This implies that there is no universal ‘now’ stretched out across the entire universe. One observer’s present can be another’s past or future. Assuming the universe is four-dimensional spacetime, then all events exist unconditionally. -/- The classical argument for eternalism was devised in the 1960s by Rietdijk in 1966 and Putnam in 1967, with subsequent follow-ups by Maxwell in 1985, Penrose in 1989, and Peterson and Silberstein in 2010. This argument and its ramifications remain the subject of ongoing debate. They shall be further explored in this entry, including their relation to other issues in the metaphysics of time and the philosophy of physics. (shrink)

The eternalist endurantist and perdurantist theories of persistence through time come in various versions, namely the two versions of perdurantism: the worm view and the stage view , and the two versions of endurantism: indexicalism and adverbialism . Using as a starting point the instructive case of what is depicted by photographs, I will examine these four views, and compare them, with some interesting results. Notably, we will see that two traditional enemies—the perdurantist worm view and the endurantist theories—are more (...) like allies : they are much less different than what is usually thought, and some alleged points of central disagreement fall prey to closer scrutiny. The aim of this paper is to examine carefully all those points, and to call attention to the places where the real differences between these views lie. I will then turn to the perdurantist stage view, and claim that with respect to some central issues it is the view that is the most different from the other three, but that in some places the reason why it different is also the reason why it is less satisfactory. (shrink)

It is often assumed that an eternalist and a presentist will have the same emotional response to life's events because, regardless of one's metaphysical beliefs, we all have the same phenomenological experience of time passing and it is this experience that is relevant to emotional response. I question the assumption that beliefs about the metaphysics of time can have little impact on one's emotional responses and establish the position that scientific and metaphysical beliefs can offer succour.

The author presents John Dewey’s mature account of temporal continuity, showing how Dewey’s position can be identified as a form of radical temporalism. Even at the most elemental level (that of subatomic particles), natural existence is for such a temporalist an irreducibly temporal affair. While he focuses primarily on Dewey’s “Time and Individuality” (1940), the author supplements his account by drawing upon Experience and Nature (1925), “Events and the Future” (1926), and to a lesser extent, other texts. In his (...) magnum opus, Dewey draws a crucial distinction between temporal quality and temporal seriality. In an essay published the following year, he insists, contra C. D. Broad, on qualitative heterogeneity being an intrinsic trait of even the thinnest slice of the tem-poral continuum. The most elemental units of the temporal flux are neither “eternal and immu-table”, nor qualitatively homogenous. They also exhibit a from-to-through structure, with the dimensions of time being defined by these terms (pastness as from which, futurity as toward which, and presentness as through which). By relating the distinction between temporal quality and temporal seriality as well as the central claims made in “Events and the Future” to “Time and Individuality”, the author brings into clear focus the contours of Dewey’s radical temporalism. (shrink)

The notion that human associative learning is a usually conscious, higher-order process is one of the tenets of organization theory, developed over the past century. Propositional/sequential encoding is one of the possible types of organizational structures, but learning may also involve other structures.

The liar and kindred paradoxes show that we can derive contradictions if our language possesses sentences lending themselves to paradox and we reason classically from schema about truth: Sis true iffp, where the letter p is to be replaced with a sentence and the letter S with a name of that sentence. This article presents a theory of truth that keeps at the expense of classical logic. The theory is couched in a language that possesses paradoxical sentences. It incorporates all (...) the instances of the analogue of for that language and also includes other platitudes about truth. The theory avoids contradiction because its logical framework is an appropriately constructed nonclassical propositional logic. The logic and the theory are different from others that have been proposed for keeping, and the methods used in the main proofs are novel. (shrink)

Eternalist tensism is the thesis that tense is an objective feature of reality as it is in itself and that all times, whether past, present, or future, are equally real. I develop an argument from qualitative change in favor of tensism and defend eternalism from an argument from fatalism.

Anselm holds that God is timeless, time is tenseless, and humans have libertarian freedom. This combination of commitments is largely undefended incontemporary philosophy of religion. Here I explain Anselmian eternalism with its entailment of tenseless time, offer reasons for accepting it, and defend it against criticisms from William Hasker and other Open Theists. I argue that the tenseless view is coherent, that God’s eternal omniscience is consistent with libertarian freedom, that being eternal greatly enhances divine sovereignty, and that the (...) Anselmian view supports the contention that the Bible is relevant today far better than does Open Theism. (shrink)

In this paper I argue that the debate between the so-called “presentists” – according to whom only the present is real – and the “eternalists”, according to whom past present and future are equally real, has no ontological significance. In particular, once we carefully distinguish between a tensed and a tenseless sense of existence, it is difficult to find a single ontological claim on which the two parties could disagree. Since the choice of using a tense or a tenseless language (...) is dictated by purely pragmatic reasons, we should abstain from bringing to bear pseudo-debates generated by the “tensed” or the “tenseless theories” of time on the question of understanding the philosophical implications of contemporary spacetime theories, or notions like becoming, change and persistence in time. (shrink)

Peter Hanks defends a new theory about the nature of propositional content, according to which the basic bearers of representational properties are particular mental or spoken actions. He explains the unity of propositions and provides new solutions to a long list of puzzles and problems in philosophy of language.

Trenton Merricks presents an original argument for the existence of propositions, and defends an account of their nature. He draws a variety of controversial conclusions, for instance about supervaluationism, the nature of possible worlds, truths about non-existent entities, and whether and how logical consequence depends on modal facts.

I present an argument that propositional attitudes are not mental states. In a nutshell, the argument is that if propositional attitudes are mental states, then only minded beings could have them; but there are reasons to think that some non-minded beings could bear propositional attitudes. To illustrate this, I appeal to cases of genuine group intentionality. I argue that these are cases in which some group entities bear propositional attitudes, but they are not subjects of mental (...) states. Although propositional attitudes are not mental states, I propose that they are typically co-instantiated with mental states. In an attempt to explain this co-instantiation, I suggest that propositional attitudes of minded beings are typically realized by mental states. (shrink)

My students sometimes worry that if eternalism is true then they can’t have libertarian freedom. They aren’t alone, as this sentiment is also expressed, albeit typically briefly, by various philosophers. However, somewhat surprisingly, those working within the free will literature have largely had nothing to say about libertarianism’s relationship to time, with this also being similar in the case of those working in the philosophy of time, apart from some work which has mainly focused on nonlibertarian views of freedom. (...) In this short paper I note why I’m currently unconvinced that there’s an incompatibility between eternalism and libertarianism, and in doing so one will see why I think they are compatible. (shrink)

The present paper contains some technical results on a many-valued logic with truth values from the interval of real numbers [0; 1]. This logic, discussed originally in [1], latter in [2] and [3], was called the logic of fuzzy concepts. Our aim is to give an algebraic axiomatics for fuzzy propositional logic. For this purpose the variety of L-algebras with signature en- riched with a unary operation { involution is stud- ied. A one-to-one correspondence between congruences on an LI-algebra (...) and lters of a special kind is used to prove the representation theorem for LI-algebras. By this theorem every LI-algebra is isomorphic to a subdirect product of chains. The full characteristic of the subdirectly irreducible LI-algebras is given . It turns out that the variety of all L-algebras, as well as any of its subvarieties, is generated by its nite algebras. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

According to the standard definition, a first-order theory is categorical if all its models are isomorphic. The idea behind this definition obviously is that of capturing semantic notions in axiomatic terms: to be categorical is to be, in this respect, successful. Thus, for example, we may want to axiomatically delimit the concept of natural number, as it is given by the pre-theoretic semantic intuitions and reconstructed by the standard model. The well-known results state that this cannot be done within first-order (...) logic, but it can be done within second-order one. Now let us consider the following question: can we axiomatically capture the semantic concept of conjunction? Such question, to be sure, does not make sense within the standard framework: we cannot construe it as asking whether we can form a first-order (or, for that matter, whatever-order) theory with an extralogical binary propositional operator so that its only model (up to isomorphism) maps the operator on the intended binary truth-function. The obvious reason is that the framework of standard logic does not allow for extralogical constants of this type. But of course there is also a deeper reason: an existence of a constant with this semantics is presupposed by the very definition of the framework1. Hence the question about the axiomatic capturability of concunction, if we can make sense of it at all, cannot be asked within the framework of standard logic, we would have to go to a more abstract level. To be able to make sense of the question we would have to think about a propositional ‘proto-language’, with uninterpreted logical constants, and to try to search out axioms which would fix the denotations of the constants as the intended truth-functions. Can we do this? It might seem that the answer to this question is yielded by the completeness theorem for the standard propositional calculus: this theorem states that the axiomatic delimitation of the calculus and the semantic delimitation converge to the same result.. (shrink)

In this paper I introduce and develop an approach to tenses and temporal expressions that is a mix between eternalism and temporalism consisting in appeal to ‘variadic operators’. The type of variadic operator I will be concerned with is the expansive variadic operator, which takes as input predicates of a certain adicity and yields new predicates with one additional degree of adicity. Appeal to variadic operators has proven useful in giving the semantics of several types of expressions: adverbs (...) ), prepositional phrases ), relational terms ), etc. The focus of this paper is on tenses and temporal expressions, with the aim of showing how these are treated by appeal to temporal variadic operators. First I define the temporal variadic operator and then show how it can be used to account for simple tensed sentences. I also give a rough sketch of how it can accommodate more complex phenomena like sequence of time, interaction between tenses and temporal adverbials, temporal anaphora, later-than-matrix and double-access readings, etc. (shrink)

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of how (...) propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

Discusses alternative interpretations of the modal operators, for the modal propositional logic S5.

A propositional framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from.The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of interpretations of the formula language. The corresponding Hilbert system incorporates the algebraic equations (...) as axioms asserted in context.In semigroups of contexts, where combination of contexts is associative, finite ground algebraic equations correspond to contingent equivalence between certain logical formulas. Systems for sets and multisets of contexts are obtained by presenting their respective algebras as associativity plus finite ground equations. Soundness and completeness results are proved.Some contextual reasoning systems in the literature are inherently associative, and we present those as special cases. (shrink)

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, (...) expand, and, in one aspect, correct Stalnaker's discussion. (shrink)

In contemporary Western culture, death has been widely censured because of its conceptual implications; it lies at the boundaries between reductionism and metaphysics. There is not yet an efficacious epistemology able to solve this contraposition and its consequent collision with science and tradition. This article analyzes Near Death Experiences as a prototypical argument in which the two perspectives conflict. Specifically, it analyzes the epistemological antinomies of the ontological representations of death, inhering in passage versus absolute annihilation. Indeed, the NDEs theme (...) permits the examination of the logical contradiction between monistic reductionism and its ontological counterpart to improve the discovery of a new paradigm that integrates the ecological with eternalist views. (shrink)

Is reality three-dimensional and becoming real (Presentism), or is reality four-dimensional and becoming illusory (Eternalism)? Both options raise difficulties. I argue that we do not need to be trapped by this dilemma. There is a third possibility: reality has a more complex temporal structure than either of these two naive options. Fundamental becoming is real, but local and unoriented. A notion of present is well defined, but only locally and in the context of approximations.

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)