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)

Presentism states that everything is present. Crucial to our understanding of this thesis is how we interpret the ‘is’. Recently, several philosophers have claimed that on any interpretation presentism comes out as either trivially true or manifestly false. Yet, presentism is meant to be a substantive and interesting thesis. I outline in detail the nature of the problem and the standard interpretative options. After unfavourably assessing several popular responses in the literature, I offer an alternative interpretation that provides the desired (...) result. This interpretation is then used to clarify the distinction between ‘real change’ from mere variation and temporal relativisation. Reflecting on my solution, I try to diagnose the source of confusion over these issues. Then, building upon Fine’s distinction between ontic and factive presentism, I elucidate what the presentist thesis specifically concerns and how best to formalise it. In the process I distinguish a weak and strong version of the presentist thesis. Finally, I end by drawing out some limitations of the paper. (shrink)

According to Composition as Identity, a whole is distinct from each of its parts individually, but identical to all of them taken together. It is sometimes claimed that, if you accept CAI, then your belief in a whole is ‘ontologically innocent’ with respect to your belief in its parts. This claim is false. But the defender of CAI can claim a different advantage for her view. Following Agustín Rayo, I distinguish ontology from plethology. I then show that CAI allows us (...) to introduce an interesting notion of ‘plethological innocence’ which would otherwise collapse into the notion of ‘ontological innocence’, and that CAI renders belief in composite objects plethologically innocent. (shrink)

A mathematical matrix is usually defined as a two-dimensional array of scalars. And yet, as I explain, matrices are not in fact two-dimensional arrays. So are we to conclude that matrices do not exist? I show how to resolve the puzzle, for both contemporary and older mathematics. The solution generalises to the interpretation of all mathematical discourse. The paper as a whole attempts to reinforce mathematical structuralism by reflecting on how best to interpret mathematics.

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by recent work in (...) formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory. (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.

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. Everyone (...) also agrees that there are CT-formulas that can express the QMLcontent that gets lost through the translation. The problem is how we arrive to them. In this paper, I propose new translation rules from QML to CT, based on a suggestion by Kaplan. However, I will claim that we cannot have ‘the’ translation scheme from QML to CT. The reason being that de re modal language is ambiguous. Accordingly, there are diferent sorts of QML, depending on how we resolve such ambiguity. Therefore, depending on what sort of QML we intend to translate into CT, we need to use the corresponding translation scheme. This suggests that all the translation problems might just disappear if we do what Lewis did not: begin with a fully worked out QML that tells us how to understand de re modal discourse. (shrink)

I present a new argument for the repugnant conclusion. The core of the argument is a risky, intrapersonal analogue of the mere addition paradox. The argument is important for three reasons. First, some solutions to Parfit’s original puzzle do not obviously generalize to the intrapersonal puzzle in a plausible way. Second, it raises independently important questions about how to make decisions under uncertainty for the sake of people whose existence might depend on what we do. And, third, it suggests various (...) difficulties for leading views about the value of a person’s life compared to her nonexistence. (shrink)

In this paper, I argue that sentences that contain ‘omission’ tokens that appear to function as singular terms are meaningful while maintaining the view that omissions are nothing at all or mere absences. I take omissions to be fictional entities and claim that the way in which sentences about fictional characters are true parallels the way in which sentences about omissions are true. I develop a pragmatic account of fictional reference and argue that my fictionalist account of omissions implies a (...) plausible account of the metaphysics of omissions. (shrink)

Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (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 extend theorems due to Roy Cook on third- and higher-order versions of abstraction principles and discuss the philosophical importance of results of this type. Cook demonstrated that the satisfiability of certain higher-order analogues of Hume's Principle is independent of ZFC. I show that similar analogues of Boolos's new v and Cook's own ordinal abstraction principle soap are not satisfiable at all. I argue, however, that these results do not tell significantly against the second-order versions of these principles.

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.

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (shrink)

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (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)

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)

Talk of metaphysical modality as “absolute” is ambiguous, as it appears to convey multiple ideas. Metaphysical possibility is supposedly completely unrestricted or unqualified; metaphysical necessity is unconditional and exceptionless. Moreover, metaphysical modality is thought to be absolute in the sense that it’s real or genuine and the most objective modality: metaphysical possibility and necessity capture ways things could and must have really been. As we disentangle these ideas, certain talk of metaphysical modality qua “absolute” turns out to be misguided. Metaphysical (...) possibility isn't completely unrestricted or most inclusive compared to the other modalities; metaphysical necessity, like all kinds of necessities, is relative to or conditional upon a specific framework of reference. Still, metaphysical modality captures how things could and must have really been most generally because it deals with reality and the nature of things or their essence. That’s the chief interest of metaphysics. Arguments against the alleged absoluteness of metaphysical modality may not thereby undermine its philosophical significance. (shrink)

The Russellian argument against the possibility of absolutely unrestricted quantification can be answered by the partisan of that quantification in an apparently easy way, namely, arguing that the objects used in the argument do not exist because they are defined in a viciously circular fashion. We show that taking this contention along as a premise and relying on an extremely intuitive Principle of Determinacy, it is possible to devise a reductio of the possibility of absolutely unrestricted quantification. Therefore, there are (...) intuitive reasons to believe that the counter-argument fails to support the possibility of absolutely unrestricted quantification. (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)

I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...) First, it means we should think of ground as a type of identity. Second, it means we should reject much of Fine’s logic of strict ground. I also show how the logic I develop connects to other systems in the literature. It is definitionally equivalent both to Angell’s logic of analytic containment and to Correia’s system G. (shrink)

ABSTRACTThe ability of providing an adequate supervenience base for tensed truths may seem to be one of the main theoretical advantages of both the growing-block and the moving-spotlight theory of time over presentism. However, in this paper I will argue that some propositions appear to be as problematic for growing-block theorists as past-directed propositions are for presentists, namely propositions stating that nothing will be the case in the future. Furthermore, I will show that the moving-spotlight theory can adequately address all (...) the main supervenience challenges that can be levelled against A-theories of time. I will, thus, conclude that, at least as far as the supervenience principle is concerned, the moving-spotlight theory should be preferred over both presentism and the growing-block theory. (shrink)

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

This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view falls under a (...) ‘nonmaterial partist’ class of views that includes, in particular, Laurie Paul’s and Kathrin Koslicki’s constitution views; ones where material objects have properties or structures as parts respectively. The article gives reasons for preferring the non-concretist solution over these other non-material partist views and defends it against objections. (shrink)

Dualism about possible worlds says that merely possible worlds aren’t concrete objects, but the actual world is concrete. This view seems to be the natural one for ersatzers about merely possible worlds to take; yet one is hard-pressed to find any defenders of it in contemporary modal metaphysics. The main reason is that Dualism struggles with the issue of how merely possible worlds could have been actual. I explain that there are two different Dualist strategies that can be taken to (...) address the problem. Furthermore, one or other of these strategies should be plausible to anyone who accepts both Existentialism—which tells us that the existence of singular propositions depends on what they directly refer to—and Serious Actualism—which tells us that things must exist in order to instantiate properties. Though it has long been ignored, Dualism is a live option. (shrink)

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this framework (...) to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)

Consider one of several things. Is the one thing necessarily one of the several? This key question in the modal logic of plurals is clarified. Some defenses of an affirmative answer are developed and compared. Various remarks are made about the broader philosophical significance of the question.

In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate over the existence of properties. Nicholas K. Jones has argued that adding sui generis second-order quantification to our ideology is enough to establish that properties exist. I argue that Jones does not settle the question of whether there are properties because—like other ontological questions—it is first-order. Then I examine three of (...) the main arguments for the existence of properties. I conclude that sui generis second-order quantification defeats the “one over many” argument and that, coupled with second-order predication, it also defeats the reference and quantification arguments. (shrink)

This paper presents structural similarities and historical connections between Prior’s rejection of the Barcan formula and his critique of Berkeley’s master argument for idealism in his 1955 paper “Berkeley in Logical Form”. Making use of Mackie’s paper “Self-Refutation—A Formal Analysis”, it concludes with some suggestions concerning what is at stake in the debate between Prior and Berkeley and in structurally similar debates such as whether to accept the Barcan formula.

The literature suggests two main answers to the question of what it is for a material object to be located at a region of spacetime. Both have a number of virtues. However, both suffer from well-known problems. According to one answer, location is a primitive relation with no informative metaphysical analysis. But this makes a number of necessary truths seem mysterious and leaves them unexplained. According to the other answer, to be located at a region is just to be identical (...) to that region. But this is inconsistent with a number of independently plausible theses about material objects and their locations. In this paper, I explore a new theory of location and argue that it has the virtues of these familiar theories but not their vices. I then explore some further connections the new theory has with some contemporary issues in metaphysics. (shrink)

One well-known objection to supersubstantivalism is that it is inconsistent with the contingency of location. This paper presents a new objection to supersubstantivalism: it is inconsistent with the vagueness of location. Though contingency and vagueness are formally similar, there are important philosophical differences between the two. As a result, the objection from vague location will be structurally different than the objection from contingent location. The paper explores these differences and then defends the argument that supersubstantivalism is inconsistent with the plausible (...) thesis that it is vague where I am located. (shrink)

Since the publication of Kit Fine's “Essence and Modality”, there has been lively debate over how best to think of essence in relation to necessity. The present aim is to draw attention to a definition of essence in terms of modality that has not been given sufficient attention. This neglect is perhaps unsurprising, since it is not a proposal made in response to Fine's 1994 paper and ensuing discussion, but harks back to Ruth Barcan Marcus's earlier work in the 1960s (...) and 1970s on essentialist claims. At the core of Barcan Marcus's account is Minimal Essentialism, of which there are several extensions, in particular, for cases of referential predicates (such as “x is identical to Socrates”), Individuating Essentialism, and Aristotelian Essentialism. I argue that Minimal Essentialism fares favourably against a host of familiar examples. I close with some historical observations, that the distinction between essence and necessity was already commonplace in the early days of quantified modal logic and its philosophy. (shrink)

Vetter's Potentiality is an exposition and development of a new account of possibility and necessity, given in terms of potentialities. In this critical notice, I give an outline of some of the key claims of the book. I then raise some issues for the extent to which Vetter's view can accommodate genuine de re modalities, especially those of possible existence and non-existence.

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

The Argument from Vagueness for Universalism contends that any non-arbitrary restriction on composition must be vague, but that vague composition leads to unacceptable count indeterminacy. One common response to the argument is that borderline cases of composition don’t necessarily lead to count indeterminacy because a determinately existing thing may be a borderline case of a presently existing concrete composite object. We can collectively refer to such views as versions of the Status Response. This paper argues that the Status Response cannot (...) handle count indeterminacy about various categories of things, such as events, states of affairs, tropes, holes, shadows, and created abstracta, when these are understood in the right way. This makes the Status Response objectionablfy ad hoc, which should lead us to look for alternative ways of resisting the Argument from Vagueness. (shrink)

Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...) From this observation we draw some philosophical conclusions about the possibility of a ‘correct’ analysis of structural properties. (shrink)

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

The debate between Einstein and Bergson is a salient episode in the history of modern physics and a telling example of the interaction between science and philosophy. This paper initially discusses five reasons why Bergson criticised Einstein for giving up absolute time. The most important one was Bergson’s commitment to an intuitionist, anti-Kantian metaphysics informed by common sense. Apart from that, he knew that the theory of special relativity permits “duration” in the form of the passage of proper time, to (...) which Bergson referred as “real time”. Neither static eternalism nor dynamic eternalism are acceptable from Bergson’s philosophical perspective, which acknowledges the role of temporal experience and everyday thinking in addition to science and metaphysics. He understood temporal passage as creation of new existence, anticipating what later became known as the growing block theory of time. The pointy relativistic variant of this theory, which divides the universe into blocks of growing past light cones, does justice to large parts of his philosophy, including the distinction between the actual and the virtual. Supporters of Bergson’s account of duration should adopt this theory of time. (shrink)

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but second, that (...) if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (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)

This is a review of "Properties and Propositions: The Metaphysics of Higher-Order Logic" by Robert Trueman. Following an overview of the main themes of the book, I discuss the metaphysical presuppositions of Trueman's Fregean notation for predicate abstraction and evaluate his argument for strict typing.

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)