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)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

I present a new problem for the tense realist concerning the evaluation of cross-temporal claims, such as ‘John is now taller than Michael was in 1984’. Time can play two different roles in the evaluation of an utterance of a sentence: either as an element that completes the content expressed by the utterance (the completion role), or as part of the circumstances against which the content is evaluated (the evaluation role). It is this latter role that time plays in the (...) realist view of tenses. I argue that if the content of a cross-temporal sentence is taken at face value (as an ascription of a crosstemporally instantiated relation), time does not play the evaluation role. Therefore, the world of the tense realist seems to leave no room for cross-temporality. (shrink)

Are there nonexistent objects, i.e., objects that do not exist? Some examples often cited are: Zeus, Pegasus, Sherlock Holmes, Vulcan (the hypothetical planet postulated by the 19th century astronomer Le Verrier), the perpetual motion machine, the golden mountain, the fountain of youth, the round square, etc. Some important philosophers have thought that the very concept of a nonexistent object is contradictory (Hume) or logically ill-formed (Kant, Frege), while others (Leibniz, Meinong, the Russell of Principles of Mathematics) have embraced it wholeheartedly. (...) This entry is an examination of the many questions which arise in connection with the view that there are nonexistent objects. The following are particularly salient: What reasons are there (if any) for thinking that there are nonexistent objects? If there are nonexistent objects, then what kind of objects are they? How can they be characterized? Is it possible to provide a consistent theory of nonexistent objects? What is the explanatory force of a consistent theory of nonexistent objects (if such a thing is possible)? (shrink)

Non-presentist A-theories of time (such as the growing block theory and the moving spotlight theory) seem unacceptable because they invite skepticism about whether one exists in the present. To avoid this absurd implication, Peter Forrest appeals to the "Past is Dead hypothesis," according to which only beings in the objective present are conscious. We know we're present because we know we're conscious, and only present beings can be conscious. I argue that the dead past hypothesis undercuts the main reason for (...) preferring non-presentist A-theories to their presentist rivals, rivals which straightforwardly avoid skepticism about the present. (shrink)

There is an objection to divine timelessness which claims that timelessness shouldn’t be adopted since on this view evil is never “destroyed,” “vanquished,” “eradicated” or defeated. By contrast, some divine temporalists think that presentism is the key that allows evil to be destroyed/vanquished/eradicated/defeated. However, since presentism is often considered to be inconsistent with timelessness, it is thought that the presentist solution is not available for defenders of timelessness. In this paper I first show how divine timelessness is consistent with a (...) presentist view of time and then how defenders of Presentist-Timelessness can adopt the presentist solution to the removal of evil. After this, I conclude the paper by showing that it’s far from clear that the presentist solution is successful and that unless one weakens what is meant by the destruction/vanquishing/eradication/defeat of evil, one can only make the presentist solution work by adopting a number of additional assumptions that many will find unattractive. (shrink)

I attend to the debate between the A-theory of time and the B- theory of time by evaluating how each theory accounts for the possibility of change. I conclude in favour of the B-theory of time as an account of change. I begin by considering McTaggart’s argument against the reality of time. I connect McTaggart’s argument, and the attendant A-theory versus B-theory debate, to an argument against the possibility of change. This argument, the problem of change, can be refuted by (...) adopting either of an A-theory or B-theory account of change. I evaluate different approaches to change offered by various A-theories, including presentism, the growing block theory, the moving spotlight theory, and then proceed to consider different B-theory accounts of change, including relativiser endurantism, adverbialist endurantism, and perdurantism. I consider objections to each of these views. Finally, I compare the costs incurred by the best of the A-theory accounts and the best of the B-theorist accounts. (shrink)

The A-theory of time is plagued by certain standard armchair problems: the presentism–eternalism dilemma, the problem of truth-makers, the alleged impossibility of cross-temporal relations, and the problem of temporary intrinsics. These challenges supposedly force A-theories to make incredible claims. I argue that these challenges are not deep antinomies in common sense, but rest on avoidable mistakes. Then I present a new A-theory that shows what’s possible once we move past the old problems. On this proposal, time’s passing is a metaphysically (...) fundamental aspect of reality. I take this to mean that there are fundamental facts like: four hours passed from 8am today until noon. This A-theory also posits fundamental facts about the state of the universe at a time, and about cross-temporal relationships. The proposed metaphysical package attractively articulates our common sense, pre-relativistic conception of time. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Recent defenders of this view—such as Kris McDaniel and Jason Turner—have taken these ways of being to be best captured by semantically primitive quantifier expressions ranging over different domains. They have thus endorsed, what I shall call, quantificational pluralism. I argue that this focus on quantification is a mistake. For, on this view, a quantificational structure—or a quantifier for short—will be whatever part or aspect of reality’s structure (...) that a quantifier expression carves out and reflects. But if quantificational pluralism is true, then a quantifier should be more natural than its corresponding domain; and since it does not appear to be the case that a quantifier is more natural than its corresponding domain, quantificational pluralism does not appear to be true. Thus, I claim, an ontological pluralist should not be a quantificational pluralist. (shrink)

Presentism is one of the various views in the discourse on the existence of time and spatio-temporal reality which holds that only the present is real and also that only present things exist. Neil McKinnon characterizes presentism in some ways that are all problematic, although he claims that the most appealing of all is the statement that “only present entities exist.” This view permeates all thoughts about presentism, and it has led to problems about the formulation of presentism. The link (...) between accepting the existence of a temporal part and the events that have that part as its spatio-temporal reference creates a hub of debate among presentists, and this raises a lot of issues not just in metaphysics, but in other areas of philosophical discourse as well. Tallant and Ingram take a challenging position on this issue as presentists in their own right. For them, the requisite status of a presentist properly so-called should be of a commitment to the reality of the present exclusively. In this paper, I engage the views of Tallant and Ingram on the problems of presentism such as triviality and truthmaking as regards ontological implications. I will argue that the avoidance of ontological commitment in nefarious presentism does appear to avoid the problem of truthmaking, which implies avoiding an analysis of truth in order to solve the problem of truthmaking. I will also argue that this avoidance to address the principle of un-analyzability of thisness is a recourse to primitivism. (shrink)

Recently, some have attempted to reformulate debates in first-order metaphysics, particularly in the metaphysics of time and modality, for reasons due to Williamson. In this paper, we focus on the ways in which the likes of Cameron, Correia and Rosenkranz, Deasy, Ingram, Tallant, Viebahn, inter alia, have initiated and responded to attempts to capture the core of presentism using a formal, logical machinery. We argue that such attempts are doomed to fail because there is no theoretical core to presentism. There (...) is no single view or family of views that is presentism. (shrink)

Can epistemic luck be captured by modal conditions such as safety from error? This paper answers ‘no’. First, an old problem is cast in a new light: it is argued that the trivial satisfaction associated with necessary truths and accidentally robust propositions is a symptom of a more general disease. Namely, epistemic luck but not safety from error is hyperintensional. Second, it is argued that as a consequence the standard solution to deal with this worry, namely the invocation of content (...) variation, fails. Third, it is considered whether the condition can serve some restricted theoretical role; the hypothesis is rejected. Finally, it is tentatively suggested that epistemic luck’s hyperintensionality derives from its being an explanatory notion, and an analogy is drawn with failures of probabilstic conceptions of explanation in the philosophy of science. (shrink)

There is a growing movement towards construing some classic debates in ontology as meaningless, either because the answers seem obvious or the debates seem intractable. In this paper, I respond to this movement. The response has three components: First, the members of the two sides of the ontological debates that dismissivists have targeted are using different quantifiers. Second, the austere ontologist is using a more fundamental quantifier than her opponent. Third, the austere ontologist’s more fundamental quantifier is a restriction of (...) her opponent’s quantifier. This response takes seriously the intuition that there is something wrong with the ontological disputes, but does not entail dismissivism. (shrink)

In this paper, I develop a novel account of ideological kinds. I first present some conceptual territory regarding the use of Occam’s Razor in minimizing ontological commitments. I then present the analogous device for minimizing ideological commitments, what I call the Comb. I argue that metaphysicians ought to use both or none at all. This means that those who endorse a principle of ontological parsimony ought to also endorse some principle of ideological parsimony, where we ought to prefer the metaphysical (...) theory that employs less ideology. In support of one such principle, I propose a novel account of ideological kinds. I individuate ideological kinds based on the satisfaction of two conditions: interdefinability and sameness of syntactic category. Ultimately, I think this account is the best available. It does, however, produce surprising results. For instance, my account shows that quantifier pluralism is ideologically parsimonious. I end by replying to some objections. (shrink)

In several recent papers, Daniel Deasy has argued that the presentism–eternalism debate is unclear and should be abandoned. According to Deasy, there is no way of spelling out the predicate ‘is present’ that leads to a satisfactory definition of presentism: on some interpretations, presentism turns out to be compatible with eternalism, on others, it is clearly false or unacceptable for other reasons. The aim of this paper is to show that this line of argument should be resisted: if the predicate (...) ‘is present’ is spelled out in terms of where things are located, the result is a definition of presentism that is neither compatible with eternalism nor clearly false. There is thus no need to abandon the debate between presentists and eternalists. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

This is a copy of my DPhil thesis, the abstract for which is as follows: The first third of this thesis argues for a B-theoretic conception of time according to which all times exist equally and the present is in no way privileged. I distinguish "ontological" A-theories from "non-ontological" ones, arguing that the latter are experientially unmotivated and barely coherent. With regard to the former, I focus mainly on presentism. After some remarks on how to formulate this (and eternalism) non-trivially, (...) I review the non-relativistic case against presentism. I then consider the impact of Special Relativity on the debate, and attempt to deepen this impact by supplying a modal variation on the standard arguments. The middle third of the thesis investigates persistence, contending that both endurance and perdurance are consonant with the eternalism already endorsed. After introducing these theories of persistence, and discussing in particular how best to formulate an eternalist endurance, I proceed to defend the coherence of this combination. The Problem of Change is addressed here. I then respond in some detail to recent allegations of relativistic threats to endurance. The final third of the thesis questions the validity of the endurantist-perdurantist dispute. I criticize two recently proposed translation schemes that aim to show this dispute to be non-substantive. However, the second scheme suggests a doctrine of "Ontological Equivalence" which I develop and consider. I then address the Rotating Discs Argument, using this to launch a discussion of identity, genidentity, and the relationship between them. (shrink)

According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that “now” and “then” are eliminable in quantified tense logic, provided we endow it with enough quantificational structure. The operators might (...) not be redundant in some other systems of tense logic, but this merely indicates a lack of quantificational resources and does not show any deep-seated inability of tense logic to express claims about time. The paper closes with a brief discussion of the modal analogue of this issue, which concerns the role of the actuality operator in quantified modal logic. (shrink)

Presentists, who believe that only present entities exist, face a problem of how to analyse tensed plural quantification. The idea, in broad outline, is that presentists can't employ the usual method for analysing tensed singular quantification, using primitive ‘slice’ tense operators, to analyse plurals. One option is to introduce a new theoretical primitive: a ‘span’‐operator. But there are reasons to worry about this option. For one, we might agree with Lewis that span‐operators are ill‐behaved or introduce unpalatable complexity. For another, (...) we might wish to avoid any additional theoretical primitives, regardless of whether spans can earn their keep alongside slices. In this paper, we offer a strategy for presentists to address the problem that requires only slice‐operators. Presentists who wish to avoid span‐operators, for whatever reason, should find our proposal attractive. (shrink)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

Typical presentism asserts that whatever exists is present. Moderate presentism more modestly claims that all events are present and thus acknowledges past and future times understood in a substantivalist sense, and past objects understood, following Williamson, as “ex-concrete.” It is argued that moderate presentism retains the most valuable features of typical presentism, while having considerable advantages in dealing with its most prominent difficulties.

At first glance, every metaphysics of laws can be combined with every ontology of time. In contrast, the paper intends to show that Humeanism requires eternalism and that Power metaphysics must presuppose an existentially dynamical view of temporal existence, i.e. growing block or presentism. The presented arguments turn out to be completely independent of whether the laws of nature are deterministic or probabilistic: the world is non-productive and static or productively dynamical, the future be ‘open’ or not.

I argue that David Lewis is too quick to deny the presentist the right to employ span operators. There is no reason why the presentist could not help herself to both primitive tensed slice operators and primitive span operators. She would then have another device available to eliminate ambiguities and explain why sentences with embedded contradictions may nevertheless be true.

In his 2004 paper ‘Tensed Quantifiers’, David Lewis presented an apparently powerful case for eternalism by arguing that we cannot account for the truth-conditions of sentences like ‘There have been forty-four presidents of the United States’ and ‘There will be five more presidents of the United states’ and maintain a non-revisionary attitude towards their truth-values, without committing to the existence of ‘past’ and ‘future’ things. Related arguments can be found in works by Ted Sider, and by Zoltan Gendler Szabó. We (...) can call the fully developed form of this argument the Argument from Semantics. In this paper, I counter the AfS by showing that these truth-conditions can be captured without commitment to the existence of things—such as Socrates and Abraham Lincoln—which we take to have existed but not to exist, or things—like the par.. (shrink)

We design new languages, by and large, in order to bypass complexities and limitations within the languages we already have. But when we are concerned with language itself we should guard against projecting the simple and powerful syntax and semantics we have concocted back into the sentences we encounter. For some of the features of English, French, or Ancient Greek we routinely abstract away from in the process of formalization might be linguistic universals – the very features that set human (...) languages apart from all the other conceivable ones. How similar natural languages really are to formal ones is an empirical question for linguistics. (shrink)

This essay offers a reading of a difficult passage in the first book of Lucretius' "De Rerum Natura" in which the poet first explains the Epicurean account of time and then responds to a worry about the status of the past (1.459-82). It identifies two possible readings of the passage, one of which is compatible with the claim that the Epicureans were presentists about the past. Other evidence, particularly from Cicero "De Fato", suggests that the Epicureans maintained that all true (...) assertions must have a contemporaneous truth-maker and that no contingent future-tensed assertions are true. It appears, however, that they did not assert a symmetrical view of past-tensed assertions. There is no compelling reason, therefore, to think that the Epicureans were presentists about the past. (shrink)

The aim of this paper is to consider some logical aspects of the debate between the view that the present is the only 'real' time, and the view that the present is not in any way metaphysically privileged. In particular I shall set out a language of first-order predicate tense logic with a now predicate, and a first order (extensional) language with an abstraction operator, in such a way that each language can be shewn to be exactly translatable into the (...) other. I shew that this translation is preserved at the metalinguistic level, so that equivalent truth conditions can be defined in a tensed metalanguage or an indexical metalanguage. I then make some remarks about the connection between proofs of relative consistency and metaphysical truth; and some historical remarks about Arthur Prior's use of formal logic in expressing his presentist views. (shrink)