ABSTRACT Tensism is the view that tense is not merely a property of language and the mind, but of the world itself. Perspectivalism extends this idea to all perspectival properties be they person or locational. One challenge that perspectivalism faces is the problem of expressing the contents of the beliefs and utterances of persons that are in other perspectival positions. One proposed solution to this problem is to allow for semantic theories that "realign" the expression of contents so that the (...) contents expressed by persons in other perspectival positions can be re-expressed from one's own perspectival position. In this paper I argue that a similar semantic realignment strategy could be deployed in helping perspectivalists generally come to grips with a puzzle raised by the Special Theory of Relativity. In short, the strategy is to realign the expression of contents in another inertial frame so that they are expressed from within your inertial frame. As we will see, the strategy is not puzzle free. (shrink)

This paper uses the resources of higher-order logic to articulate a Fregean conception of predicate reference, and of word-world relations more generally, that is immune to the concept horse problem. The paper then addresses a prominent style of expressibility problem for views of broadly this kind, versions of which are due to Linnebo, Hale, and Wright.

The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I revive and defend Prior’s translational semantics for modals and tense-modals. I also show how to extend Prior’s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior’s own counterexample to the Barcan Formula.

A temporal levels structure for temporal metaphysics is outlined and employed to convey a dilemma threatening the temporal collapse of Growing-Block Theories to their meta-temporal level. The outline further explains how Presentism occupies a privileged position in that temporal levels structure. Moreover, that dilemma relies crucially on the acceptance of productive causation as explaining additions to the growing block, for which it is argued any reasonable growing-block theory should incorporate. The dilemma’s first horn considers growing-block theories where productive causes are (...) only so when present; the second, growing-block theories where productive causes continue being so when past. Either way, growing-block theory collapses into Accruing-Present Theory: whereby all entities survive into succeeding present “blocks” of existents. It is argued, the presentness of surviving entities undermines their intended theoretical role, undercutting motivations for believing accruing-present theses. Ultimately, I recommend rejection of both growing-block and accruing-present theses based on these explanatory inadequacies. (shrink)

In this paper I argue, that if it is metaphysically possible for it to have been the case that nothing existed, then it follows that the right modal logic cannot extend D, ruling out popular modal logics S4 and S5. I provisionally defend the claim that it is possible for nothing to have existed. I then consider the various ways of resisting the conclusion that the right modal logic is weaker than D.

Modal contingentists face a dilemma: there are two attractive principles of which they can only accept one. In this paper I show that the most natural way of resolving the dilemma leads to expressive limitations. I then develop an alternative resolution. In addition to overcoming the expressive limitations, the alternative picture allows for an attractive account of arithmetic and for a style of semantic theorizing that can be helpful to contingentists.

In this paper, I will defend a new compositional semantics for single-domain free logic. This semantics makes use of a distinction between the semantic value of a singular term and its semantic referent. The semantic value of a singular term is conceived of as a set that either contains the semantic referent or no element at all. The semantic referent is the object that the term designates. Before I will introduce this new semantics for single-domain predicate and an S5-type modal (...) logic in detail, I will present five related problems of compositionality of the standard semantics for these logical systems. After that I will show in detail how my new proposed alternative semantics can be used to solve nearly all of the outlined five problems. (shrink)

If to be is to be the value of a bound variable, then the acknowledgment and denial of the existence of chairs amounts to a serious disagreement about the range of a quantifier. However, by resorting to the intrinsic hierarchical structure of hi-world semantics, we find that the varying of domains from worlds to worlds can actually be accommodated within a unified framework. With the introduction of a universal domain D of hi-individuals and an existence predicate E that serves as (...) a realization operator, a new semantics for quantified modal logic is proposed. It allows individual variables to range over individuals in different levels of a hi-world, and is indifferent to the ontological debate about the existence of chairs. (shrink)

Self-consciousness in non-human animals is a complex phenomenon which raises both conceptual and methodological problems. First, what do we mean by the concept of ‘self-consciousness’? Secondly, what is the best experimental approach to self-consciousness? This paper gives a short overview of the concept of self-consciousness in section 1. We can understand the concept of self-consciousness as capturing the ability of subjects to consciously think about themselves as themselves. If this is accurate, then it is prudent to look at a broad (...) bundle of abilities which are related to this ability. The paper then focuses on advantages and problems of the multipronged approach, a kind of empirical approach which uses several different test criteria to determine whether a subject is self-conscious or not. Section 2 briefly contrasts this kind of approach with other possibilities. The main disparity is to singlepronged approaches, which have been discussed and dismissed in greater detail elsewhere. Section 3 discusses the advantages of a multipronged approach, whereas section 4 is dedicated to the discussion of some of its problems. (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.

I argue that the Carroll-Chen cosmogonic model does not provide a plausible scientific explanation of our universe's initial low-entropy state.

Let a priority micro pluralist be someone who holds that particles or other microscopic objects are fundamental. Rivals to priority micro pluralism include priority monism (the view that the only fundamental concrete object is the entire cosmos) as well as the Aristotelian view that some ordinary macroscopic objects are fundamental. Although priority micro pluralism is popular, I show that it encounters great difficulty in even the most straightforward cases. For example, this tennis ball is spherical; how is this fact to (...) be grounded in facts about the microscopic realm? I consider a number of possible answers to this question. The most promising proposals attempt to exploit the close connection emphasized by Kripke between objects and their original material constituents. I argue that these proposals fail. I conclude that it is worth seriously considering alternatives to this sort of pluralism. (shrink)

In the recent philosophical literature, several counterexamples to the interpretative principle that symmetry-related models are physically equivalent have been suggested The Oxford handbook of philosophy of physics, Oxford University Press, Oxford, 2013, Noûs 52:946–981, 2018; Fletcher in Found Phys 50:228–249, 2020). Arguments based on these counterexamples can be understood as arguments from scientific practice of roughly the following form: because in scientific practice such-and-such symmetry-related models are treated as representing distinct physical situations, these models indeed represent distinct physical situations. In (...) this paper, a strategy for analysing arguments of this type is presented and applied to the examples that can be found in the literature. I argue that if we are exclusively interested in models understood as representing entire possible worlds, arguments from scientific practice should involve some additional assumptions to guarantee they are relevant for models understood in this way. However, none of the examples presented in the literature satisfy all these additional assumptions, which leads to the conclusion that arguments from scientific practice based on these examples do not undermine the interpretative principle that different symmetry-related models represent the same possible world. (shrink)

Within philosophy, the word “possible” is generally used to speak about either of the following. (1) Possibility: the notion that is expressed by sentences such as “It is possible that there are green cats,” “She may become the best surgeon in the city,” and “Our team can win the race.” Among the features of possibility, three are of particular interest to philosophers: it is closely related with necessity, contingency, and actuality; it is not unified, but comes in multiple varieties; it (...) is intuitively linked to conceivability. (2) The possible: the target of sentences expressing a possibility, i.e., whatever is possible. Philosophical inquiry is notably interested in the existence and the nature of possible things. For those who think possible things exist, the challenge is to say how and where. For those who think possible things do not exist, the challenge is to say how sentences stating a possibility can be true. (shrink)

According to a well-known argument, originally due to David Armstrong, powers theory is objectionable, as it leads to a ‘Meinongian’ ontology on which some entities are real but do not actually exist. I argue here that the right conclusion to draw from this argument has thus far not been identified and that doing so has significant implications for powers theory. Specifically, I argue that the key consequence of the argument is that it provides substantial grounds for trope powers theorists, but (...) not other powers theorists, to accept one version of the view that properties are powerful qualities. In particular, they have grounds to favour the view that powerful properties are properties with exclusively qualitative natures that ground modal facts. (shrink)

Fictional realism allows direct reference theorists to provide a straightfor- ward analysis of the semantics of fictional discourse by admitting into their ontology a set of objects (ficta) that serve as the referents of fictional names. Ficta may be modeled using an axiomatic object theory, but actualist interpretations of the formalism have been the subject of recent objections. In this paper, I provide an interpretation of object theory’s formalism that is consistent with actualism and avoids these objections. Drawing on insights (...) from an actualist semantics for quantified modal logic, a central point in my proposal is to interpret ficta as contingently nonconcrete objects. (shrink)

_ The Nature of Contingency _: _ Quantum Physics as Modal Realism _, by AlastairWilson. Oxford: Oxford University Press, 2020. Pp. xi + 219.

There are various well-known paradoxes of modal recombination. This paper offers a solution to a variety of such paradoxes in the form of a new conception of metaphysical modality. On the proposed conception, metaphysical modality exhibits a type of indefinite extensibility. Indeed, for any objective modality there will always be some further, broader objective modality; in other terms, modal space will always be open to expansion.

The question of what exists is often seen as one of the metaphysician’s primary concerns—an ontological stance is a central and basic component of a great many positions in metaphysics. Consider, in particular, the debate surrounding the metaphysics of time: the question of whether non-present entities exist is typically thought of as one of the fundamental issues at stake in the debate, with each position on the nature of time consisting in part of an answer to this question of ontology. (...) My purpose in this paper will be to raise some worries about this focus on ontology, and to sketch an alternative approach to conceptualizing the debate—one that I think can help us get a clearer and deeper understanding of the fundamental issues at stake. I’ll focus in particular on the case of time and the ontology of non-present objects, but the framework I present is ultimately meant to apply more broadly to a range of debates involving ontology. On the framework I propose, the basic question at stake in this and other analogous debates is the following: Of the various perspectives we might adopt on reality, which perspective is fundamental? I’ll explain what this means and how it can help us reconceptualize the relevant metaphysical issues. (shrink)

Recently, various people have maintained that one must revise either the externalistically-based notion of singular thought or the naïve realism-inspired notion of relational particularity, as respectively applied to some thoughts and to some perceptual experiences. In order to do so, one must either provide a broader notion of singular thought or flank the notion of relational particularity with a broader notion of phenomenal particularity. I want to hold that there is no need of that revision. For the original notions can (...) still play the role for which they were invoked. This requires that (i) both the first and the second notion respectively involve a dependence on and a metaphysical relation to the intentional objects of certain mental states once we are ontologically committed to such objects; (ii) both that object-dependence and that metaphysical relation are interpreted in terms of a substantive individuation of the relevant mental state via the object it is about: that object constitutes the state. (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)

I critically discuss some of the main arguments of Modal Logic as Metaphysics, present a different way of thinking about the issues raised by those arguments, and briefly discuss some broader issues about the role of higher-order logic in metaphysics.

We argue that explanations appealing to logical impossibilities are genuine explanations. Our defense is based on a certain picture of impossibility. Namely, that there are impossibilities and that the impossibilities have structure. Assuming this broad picture of impossibility we defend the genuineness of explanations that appeal to logical impossibilities against three objections. First, that such explanations are at odds with the perceived conceptual connection between explanation and counterfactual dependence. Second, that there are no genuinely contrastive why-questions that involve logical impossibilities (...) and, third, that explanations appealing to logical impossibilities rule nothing out. (shrink)

Priority monism is roughly the view that the universe is the only fundamental object, that is, a concrete object that does not depend on any other concrete object. Schaffer, the main advocate of PM, claims that PM is compatible with dependence having two different directions: from parts to wholes for subcosmic wholes, and from whole to parts for the cosmic whole. Recently it has been argued that this position is untenable. Given plausible assumptions about dependence, PM entails that dependence has (...) only one direction, it always goes from wholes to parts. One such plausible assumption is a principle of Isolation. I argue that, given all extant accounts of dependence on the market, PM entails No Isolation. The argument depends upon a particular feature of the dependence relation, namely, necessitation and its direction. In the light of this, I contend that the argument is important, insofar as it suggests that we should distinguish dependence from other cognate notions, e.g. grounding. Once this distinction is made, I suggest we should also distinguish between two different notions of fundamentality that might turn out to be not-coextensive. (shrink)

This paper argues for a pragmatic motivation for believing Presentism—the thesis that everything is present. After outlining a pragmatic source of justification for beliefs, in terms of their action-guiding aims, a pragmatic motivation for believing presentism is detailed and proffered. More specifically, the paper outlines two kinds of bases for our desires: a negative and a positive basis. The former concerns some dissatisfaction with a certain aspect of our present state, whilst the latter focuses instead on our potential future gratification (...) or contentment. An account of desire satisfaction needs to, in some sense, “answers” to either of these kinds of bases. However, it is argued that only presentism can support an adequate conception of desire satisfaction. And although non-presentists can support a form of desire prevention, this severely lessens the effectiveness of beliefs to fulfil their aims. Accordingly, presentism is best able to support beliefs in achieving their action-guiding aims. It is claimed that this provides some pragmatic justification for believing presentism. (shrink)

This paper has a negative and a positive claim. The negative claim is that the Frege-Russell account of existence as a higher-order predicate is mistaken and should be abandoned, even with respect to general statements of existence such as “Flying mammals exist” (where statements of this sort are supposed to be best accommodated by the account). The Frege-Russell view seems to be supported by two ideas. First, the idea that existence is entirely expressed by the existential quantifier of standard predicate (...) logic. Second, the idea that the existential quantifier is a higher-order predicate, a predicate of predicates, not of individuals. I think that both ideas are wrong but will focus on the latter. By construing prima facie first-order statements such as “Flying Mammals exist” as higher-order predications such as “The Fregean Concept Flying Mammal maps at least one individual onto the True”, the Frege-Russell view commits one - merely on the basis of the meaning it assigns to the existence predicate – to abstract objects such as concepts (Gottlob Frege), or propositional functions (Bertrand Russell), or classes (Rudolf Carnap), or properties, kinds, and so on. This cannot be right, I think. The positive claim of the present paper is that, at least in the context of first-order discourse, the existence predicate is just what it seems to be: a bona fide first-order predicate (pace Kant, Hume, Frege, Russell and others). Three important ideas about existence are shared with the Frege-Russell conception of existence, though. (1) Being and existence are one and the same thing: there is no difference between “Unicorns are not”, or “There are no unicorns”, and “Unicorns do not exist”, or “There exist no unicorns”. (2) To be is to be the value of a bound variable, to belong to a domain of quantification (Willard Quine). (3) Anti-Meinongianism, the idea that there are no non-existent objects (Russell). However, we diverge from the Frege-Russell tradition with respect to the following claim. (4) The best concept of existence, in the sense of the one that is best understood and best enables us to formulate ontological disputes, is a purely logical first-level concept defined in terms of existential quantification and identity. First-order statements of existence and non-existence like “Flying Mammals exist” and “Unicorns do not exist” are accordingly taken at face value and analyzed in terms of a logical first-order predicate of existence, the predicate “is (identical to) something”. Reasons are given to prefer this notion of existence to other first-order non-logical notions that have been proposed in the literature, notions characterized in terms of predicates such as “is in space-time”, “is concrete”, “is causally efficacious”, “is actual”, “is real”, etc. (shrink)

Inspired by Kit Fine’s theory of arbitrary objects, we explore some ways in which the generic structure of the natural numbers can be presented. Following a suggestion of Saul Kripke’s, we discuss how basic facts and questions about this generic structure can be expressed in the framework of Carnapian quantified modal logic.

Bradford Skow’s Objective Becoming (2015) is a strikingly original and philosophically rich contribution to contemporary philosophy of time. The book rewards very careful study, and is surely a ‘must-read’ for anyone with an interest in current debates concerning time and change. Perhaps the most immediately compelling aspect of the book is its leading question: if I [Skow] didn’t already accept the ‘block universe theory’ (BU),1 which theory of time would I defend? Skow’s surprising (and, from my perspective, welcome!) answer is (...) that he would defend some version of the Moving Spotlight Theory (MST). However, Skow’s reason for this answer is less familiar: it is that MST—unlike BU and its popular rival Presentism—‘contains robust passage’. Skow goes on to (quite convincingly, in my view) defend two versions of MST against a number of common objections: ‘MST-Supertense’ and ‘MST-Time’. In the first part of this paper (§1), I investigate the question of what it is for a theory to contain robust passage in Skow’s sense. In particular, I argue that given Skow’s arguments in favour of robust passage, he should probably not count MST-Time as a theory that contains robust passage. I also argue that there are better reasons to reject BU than those Skow describes. In the second part of the paper (§2), I focus on Skow’s MST-Supertense. I argue that there are reasons for MSTers to reject MST-Supertense in favour of a more ‘traditional’ version of MST (the view I call ‘Classic MST’). (shrink)

Priority monism is the doctrine that there is exactly one substance: the whole concrete cosmos. This paper develops an objection to priority monism. The objection is that although every substance is necessarily a substance, for the priority monist the cosmos is not necessarily a substance. It follows that the cosmos is not a substance and so priority monism is false. The priority monist's pluralist opponent, I argue, can avoid a parallel objection to her view.

My thanks to Matti Eklund and Gabriel Uzquiano for their thoughtful and challenging critical essays. In these replies I hope to respond to what I took to be their main points. The focus of their essays is different for the most part, but there is overlap in their discussion of the ineffable. I will thus largely reply to their essays separately, with the exception of the discussion of the ineffable, where I will reply to their points jointly. Let’s start, alphabetically, (...) with Eklund. (shrink)

Thomas Hofweber has written a very rich book. In line with the conviction that ontology should be informed by linguistic considerations, he develops a systematic approach to central ontological questions as they arise in different regions of discourse. More generally, the book seeks to cast light upon the nature of ontology and its proper place in enquiry. His preferred methodology is not without consequence: it promises, for example, to solve what otherwise look like intractable philosophical puzzles raised by arithmetical practice (...) and numerical discourse, and, likewise, his treatment of propositional discourse has ramifications for larger questions to do with the prospects of metaphysical enquiry generally. (shrink)

Although we are still in the dark when it comes to giving necessary and jointly sufficient criteria for what it takes to be thinking a singular thought, the paradigm cases are just ones where an agent is thinking about some particular object. When we erroneously think that Vulcan is a planet, our thought appears to be singular since it is, after all, about Vulcan. A promising way to explain this is to claim that there is something, a merely hypothetical entity, (...) that is Vulcan. There have been notable supporters for positing hypothetical entities for some time now, but the account of how we create hypothetical entities is still underdeveloped. In fact, we face a puzzle if we assume: (1) hypothetical entities are created by us; (2) we create a given hypothetical entity only when we falsely hypothesize something to be the unique F; (3) we create the hypothetical entity long before we learn that there is no unique F. How can we possibly manage to conditionally and unknowingly create some entity when there is no unique F? In showing how this is possible, it will become clear that we have good reason for preferring a view that posits hypothetical entities over the alternative ways of accounting for our apparently singular thoughts about Vulcan, Pegasus, the Fountain of Youth, and so on. (shrink)

Is a mathematical theorem proved because provable, or provable because proved? If Brouwer’s intuitionism is accepted, we’re committed, it seems, to the latter, which is highly problematic. Or so I will argue. This and other consequences of Brouwer’s attempt to found mathematics on the intuition of a move of time have heretofore been insufficiently appreciated. Whereas the mathematical anomalies of intuitionism have received enormous attention, too little time, I’ll try to show, has been devoted to some of the temporal anomalies (...) that Brouwer has invited us to introduce into mathematics. (shrink)

This paper extracts some of the main theses in the philosophy of mathematics from my book, The Construction of Logical Space. I show that there are important limits to the availability of nominalistic paraphrase functions for mathematical languages, and suggest a way around the problem by developing a method for specifying nominalistic contents without corresponding nominalistic paraphrases. Although much of the material in this paper is drawn from the book — and from an earlier paper — I hope the present (...) discussion will earn its keep by motivating the ideas in a new way, and by suggesting further applications. (shrink)

According to the modal theory of facts and states of affairs, two facts or states of affairs are identical iff they are necessarily equivalent. One important argument against the modal theory is the causal argument of John Perry, which can also be applied with equal strength to a number of more moderate-grain theories of facts and states of affairs. I argue that, at least in its original form, the causal argument is unsound. I also argue that, while the argument can (...) be modified so that it avoids the problems of the original version of the argument, such modifications are at best only successful if they appeal to additional considerations involving either grounding or aboutness. Moreover, I argue that incorporating such considerations into the causal argument allows it to refute its targeted theories only if such considerations by themselves refute these theories. If this is correct, then the causal argument is at best superfluous and we should focus on these other considerations when evaluating these theories. The broader lesson from this is arguably that, in order to best evaluate these theories of facts and states of affairs, we shouldn’t focus on arguments involving causation, but we should instead focus on arguments that involve other notions, such as grounding and aboutness. (shrink)

Building on recent work by Delia Graff Fara and Ora Matushansky on appellative constructions like ‘Mirka called Roger handsome’, I argue that if Millianism about proper names is true, then the quantifier ‘something’ in ‘Mirka called Roger something’ is best understood as a kind of substitutional quantifier. Any adequate semantics for such quantifiers must explain both the logical behavior of ‘Mirka called Roger something’ and the acceptability of ‘so’-anaphora in ‘Mirka called Roger something, and everyone so called is handsome’. Millianism (...) about proper names is inconsistent with such quantifiers being standard non-substitutional second-order quantifiers. But this is not the only option for Millianism: I provide two different propositional semantics for substitutional quantification, each of which is adequate in the sense above, given Millianism. One of these is based on Tobias Rosefeldt’s work on non-nominal quantification, and I identify in what way Rosefeldt’s semantics is substitutional. (shrink)

This paper evaluates Stalnaker’s recent attempt to outline a realist interpretation of possible worlds semantics that lacks substantive metaphysical commitments. The limitations of his approach are used to draw some more general lessons about the non-representational artefacts of formal representations. Three key conclusions are drawn. Stalnaker’s account of possible worlds semantics’ non-representational artefacts does not cohere with his modal metaphysics. Invariance-based analyses of non-representational artefacts cannot capture a certain kind of artefact. Stalnaker must treat instrumentally those aspects of possible worlds (...) formalism governing the interaction between quantification and modality, under any analysis whatsoever of non-representational artefacts. (shrink)

Realism about tense is the view that the contrast between what was, what is and what will be the case is real, and not merely a projection of our ways of thinking. Does this view entail realism about temporal passage, namely the view that time really passes, in the same sense of ‘real’? We argue that the answer is affirmative for many versions of tense realism, and indeed for all sensible versions. We thereby address an important conceptual issue regarding these (...) two forms of realism and rebut recent claims that tense realism is compatible with anti-realism about temporal passage. (shrink)

Different notions of analysis have been both theorized and put to use in early analytic philosophy. Two of them stand out: connective analysis and analysis as paraphrase. The latter played a central role in the development of analytic philosophy from Frege to Quine and beyond. With the advent of formal semantics of natural language in the 1970s, paraphrase came to be characterizable as translation into a formal “target language”. While I claim that the method cannot achieve its original philosophical aims, (...) I insist that, in spite of them, it is far from being a theoretically empty operation and that it lives on in some contemporary philosophical enterprises. (shrink)