Weyl's tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called "the mixed account," according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl's tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest's (1995) account in response to Weyl's tile argument, which can be considered as a restricted version of the mixed account. (shrink)

I examine here if Kant can explain our knowledge of duration by showing that time has metric structure. To do so, I spell out two possible solutions: time’s metric could be intrinsic or extrinsic. I argue that Kant’s resources are too weak to secure an intrinsic, transcendentally-based temporal metrics; but he can supply an extrinsic metric, based in a metaphysical fact about matter. I conclude that Transcendental Idealism is incomplete: it cannot account for the durative aspects of experience—or it can (...) do so only with help from a non-trivial metaphysics of material substance. (shrink)

Realists about universals face a question about grounding. Are things how they are because they instantiate the universals they do? Or do they instantiate those universals because they are how they are? Take Ebenezer Scrooge. You can say that Scrooge is greedy because he instantiates greediness, or you can say that Scrooge instantiates greediness because he is greedy. I argue that there is reason to prefer the latter to the former. I develop two arguments for the view. I also respond (...) to some concerns one might have about the view defended. I close by showing that analogous views regarding the truth of propositions and the existence of facts are supported by analogs of one of these arguments. (shrink)

Given Lewis’s views about recombination and spatial relations, there are possible worlds in which space is discrete and yet the Pythagorean theorem is true – contrary to the so-called Weyl-Tile argument that concluded that the Pythagorean theorem must fail if space is discrete.

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties. This article discusses three leading attempts to analyse this distinction that don’t appeal to the notion of nat-uralness: the duplication analysis endorsed by G. E. Moore and David Lewis, Peter Vallentyne’s analysis in terms of contractions of possible worlds, and the analysis of Gene Witmer, William Butchard and Kelly Trogdon in terms of grounding.

Methods and goals in philosophy are discussed by first describing an ideal, and then looking at how the ideal might be approached. David Lewis’s work in metaphysics is critically examined and compared to analogous work by Mackie and Carnap. Some large-scale philosophical systematic work, especially in metaphysics, is best treated as model-building, in a sense of that term that draws on the philosophy of science. Models are constructed in a way that involves deliberate simplification, or other imaginative modification of reality, (...) in order to make relationships visible or problems tractable. (shrink)

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.

The Argument from Temporary Intrinsics is one of the canonical arguments against endurantism. I show that the two standard ways of presenting the argument have limited force. I then present a new version of the argument, which provides a more promising articulation of the underlying objection to endurantism. However, the premises of this argument conflict with the gauge theories of particle physics, and so this version of the argument is no more successful than its predecessors. I conclude that no version (...) of the Argument from Temporary Intrinsics gives us a compelling reason to favor one theory of persistence over another. (shrink)

This paper investigates the form a modal realist analysis of possibility and necessity should take. It concludes that according to the best version of modal realism, the notion of a world plays no role in the analysis of modal claims. All contingent claims contain some de re element; the effect of modal operators on these elements is described by a counterpart theory which takes the same form whether the de re reference is to a world or to something else. This (...) fully general counterpart theory can validate orthodox modal logic, including the logic of 'actually'. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of compossibility (...) can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

It is widely believed that shapes are intrinsic properties. But this claim is hard to defend. I survey all known theories of shape properties, and argue that each theory is either incompatible with the claim that shapes are intrinsic, or can be shown to be false.

What is the relation between material objects and spacetime regions? Supposing that spacetime regions are one sort of substance, there remains the question of whether or not material objects are a second sort of substance. This is the question of dualistic versus monistic substantivalism. I will defend the monistic view. In particular, I will maintain that material objects should be identified with spacetime regions. There is the spacetime manifold, and the fundamental properties are pinned directly to it.

I argue that extended simples are possible. The argument given here parallels an argument given elsewhere for the claim that the shape properties of material objects are extrinsic, not intrinsic as is commonly supposed. In the final section of the paper, I show that if the shape properties of material objects are extrinsic, the most popular argument against extended simples fails.

I defend the following argument in this paper. Premise 1: Laws of nature are intrinsic to the universe. Premise 2: Humeanism maintains that laws of nature are extrinsic to the universe. Conclusion: Humeanism is false. This argument is inspired by John Hawthorne’s (2004) argument in “Why Humeans are out of their Minds”. My argument differs from his; Hawthorne focuses on Humean views of causation and how they interact with judgments about consciousness. He thinks Humeans are forced to treat certain mental (...) properties (insofar as they involve causal features) as extrinsic to conscious minds. I do not discuss causation or consciousness here. I focus on Humean accounts of laws. I argue that Humean laws are extrinsic to the entire universe. As such, Humeans are not just out of their minds; they are out of this world. I aim to show that premises 1 and 2 are well-supported and that denying either of them comes at a cost. Nevertheless, Humeans may prefer to reject 1 or 2 rather than give up Humeanism. Even if the Humean takes one of these routes, the argument above has philosophical import: it shows that Humeanism involves surprising commitments. (shrink)

Ockham's razor is popularly phrased as a prohibition against multiplying entities beyond necessity. This prohibition should extend to the receptacle for these entities. To state my thesis more positively and precisely, both qualitative and quantitative parsimony apply to space, time, and possibility. All other things equal, we ought to prefer a hypothesis that postulates less space. Smaller is better. Admittedly, scientists are ambivalent about economizing on the void. They praise simplicity. Yet astronomers have a history of helping themselves to as (...) much empty space as they wish—staggering common sense with the vastness of the universe. This largesse is abetted by an aesthetic bias for sublime hypotheses. Whereas abductions based on beauty converge with parsimony, abductions based on the sublime diverge from parsimony. Awe stifles our inner accountant. Both types of abduction are popular. Both are dubious because we lack independent assurance that the universe is beautiful or sublime. The analogy between space and time supports an extension of parsimony to time. Uniformitarian geologists regarded time as a free resource. However, geologists and cosmologists must justify their postulation of an immense past. Possibility follows suit. Contrary to David Lewis, possible worlds should be minimized. Parsimony about possibilities provides a rationale for parsimony about absences. Absences are possibilities that are not actual. So proliferation of absences entails proliferation of possibilities. We should admit only those absences which do explanatory work. (shrink)

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

Priority Monism, as defined by Jonathan Schaffer, has a number of components. It is the view that: the cosmos exists; the cosmos is a maximal actual concrete object, of which all actual concrete objects are parts; the cosmos is basic—there is no object upon which the cosmos depends, ontologically; ontological dependence is a primitive and unanalysable relation. In a recent attack, Lowe has offered a series of arguments to show that Monism fails. He offers up four tranches of argument, with (...) different focuses. These focal points are: being a concrete object; aggregation and dependence; analyses of ontological dependence; Schaffer’s no-overlap principle. These are all technical notions, but each figures at the heart of a cluster of arguments that Lowe puts forward. To respond, I work through each tranche of argument in turn. Before that, in the first section, I offer a cursory statement of Monism, as Schaffer presents it in his 2010 paper, Monism: The Priority of the Whole. I then respond to each of Lowe’s criticisms in turn, deploying material from Schaffer’s 2009 paper Spacetime: the One Substance, as well as various pieces of conceptual machinery from Lowe’s own works to deflect Lowe’s attacks. In the process of defending Monism from Lowe, I end up offering some subtle refinements to Schaffer’s view and explain how the resulting ‘hybrid’ view fares in the wider dialectic. (shrink)

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

Many familiar forms of property realism identify properties with sui generis ontological categories like universals or tropes and posit a fundamental instantiation relation that unifies objects with their properties. In this paper, I develop and defend locationism, which identifies properties with locations and holds that the occupation relation that unifies objects with their locations also unifies objects with their properties. Along with the theoretical parsimony that locationism enjoys, I argue that locationism resolves a puzzle for actualists regarding the ontological status (...) of uninstantiated properties. I also note some promising applications of the locationist framework to the metaphysics of quantities and possible worlds. (shrink)

As with many aspects of David Lewis’s work, it is hard to provide a better summary of his views than he provided himself. So the following introduction to what the Humean Supervenience view is will follow the opening pages of Lewis (1994a) extremely closely. But for those readers who haven’t read that paper, here’s the nickel version.

This paper proposes a new reductive theory of modality, called the moodless theory of modality. This theory, and not modal realism, is the closest modal analogue of the tenseless theory of time. So, if the tenseless theory is true, and the temporality–modality analogy is good, it is the moodless theory that follows. I also argue that the moodless theory, considered on its own, is better than modal realism: arguments often thought to be decisive against modal realism are weak against it.

Weyl’s tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called the mixed account, according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl’s tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest’s (Synthese 103:327–354, 1995) account in response to Weyl’s tile argument, which can be considered as a restricted version of the mixed account. (shrink)

Humeans have a problem with quantities. A core principle of any Humean account of modality is that fundamental entities can freely recombine. But determinate quantities, if fundamental, seem to violate this core principle: determinate quantities belonging to the same determinable necessarily exclude one another. Call this the problem of exclusion. Prominent Humeans have responded in various ways. Wittgenstein, when he resurfaced to philosophy, gave the problem of exclusion as a reason to abandon the logical atomism of the Tractatus with its (...) free recombination of elementary propositions. Armstrong promoted a mereological solution to the problem of exclusion; but his account fails in manifold ways to provide a general solution to the problem. Lewis studiously avoided committing to any one solution, trusting simply that, since Humeanism was true, there had to be some solution. Abandonment; failure; avoidance: we Humeans need to do better. -/- In this paper, I present what I take to be the best account of quantities, tailoring it where needed to meet Humean demands as well as my own prior commitment to quidditism, and my own comparativist inclinations. In short: determinables, not determinates, are the fundamental properties, and freely recombine; determinates arise from the instantiation of determinables in an enhanced world structure; determinate quantities may be local (in a sense to be explained), but they are not intrinsic. Is the account I end up with Humean? Not, unfortunately, as it stands: the problem of exclusion still rears its ugly head. After dismissing a failed attempt at a solution, I consider in the final section the two viable Humean options. One attributes the source of the necessary exclusions to conventional definition, the other attributes it to logic. The first is safe and familiar, but not a response I can accept given my other commitments. The second is more radical and less familiar; but I am convinced it is on the right track. I don’t have space to develop it much here, but I put it out for future research. (shrink)

This dissertation is divided into two parts. In the first part I defend substantivalism. I do this by offering, in chapter 1, a counterpart-theoretic defense of substantivalism from Leibniz’ shift arguments. Then, in chapter 2, I defend substantivalism from the hole argument and argue, against the consensus, that the question of haecceitism is irrelevant to substantivalism in the context of general relativity. In the second part of the dissertation I defend supersubstantivalism. I do this by offering, in chapter 3, an (...) argument against dualistic substantivalism. The argument appeals to plausible principles of modal plenitude to show that the dualist is committed to a range of problematic possibilities. Then, in chapter 4, I consider a range of supersubstantivalist positions. I conclude by arguing for a version of supersubstantivalism I call compresence supersubstantivalism. (shrink)

We have some of our properties purely in virtue of the way we are. (Our mass is an example.) We have other properties in virtue of the way we interact with the world. (Our weight is an example.) The former are the intrinsic properties, the latter are the extrinsic properties. This seems to be an intuitive enough distinction to grasp, and hence the intuitive distinction has made its way into many discussions in philosophy, including discussions in ethics, philosophy of mind, (...) metaphysics, epistemology and philosophy of physics. Unfortunately, when we look more closely at the intuitive distinction, we find reason to suspect that it conflates a few related distinctions, and that each of these distinctions is somewhat resistant to analysis. (shrink)

Some recent philosophical debate about persistence has focussed on an argument against perdurantism that discusses rotating perfectly homogeneous discs. The argument has been mostly discussed by metaphysicians, though it appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. After introducing the argument and emphasizing the relevance of physics, I review some metaphysicians' replies to the argument, especially those by Callender, Lewis, Robinson and Sider. Thereafter, I argue (...) for three main conclusions. They all arise from the fact, emphasized in Section 2, that classical mechanics is both more subtle, and more problematic, than philosophers generally realize. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ``imagine away'' the dynamical effects of rotation. The second is that in general relativity, the RDA fails because of frame-dragging. The third is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated. Namely, by the perdurantist taking objects in classical mechanics to have only temporally extended, i.e. non-instantaneous, temporal parts: which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of `definition' than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts: can do the jobs within the endurantism- perdurantism debate that the perdurantist wants temporal parts to do; and are supported by both classical and quantum mechanics. (shrink)

In this paper, I develop an original view of the structure of space—called infinitesimal atomism—as a reply to Zeno’s paradox of measure. According to this view, space is composed of ultimate parts with infinitesimal size, where infinitesimals are understood within the framework of Robinson’s nonstandard analysis. Notably, this view satisfies a version of additivity: for every region that has a size, its size is the sum of the sizes of its disjoint parts. In particular, the size of a finite region (...) is the sum of the sizes of its infinitesimal parts. Although this view is a coherent approach to Zeno’s paradox and is preferable to Skyrms’s infinitesimal approach, it faces both the main problem for the standard view and the main problem for finite atomism, leaving it with no clear advantage over these familiar alternatives. (shrink)

Tim Maudlin argues that we should take facts about distance to be analyzed in terms of facts about path lengths. His reason is that if we take distances to be fundamental, we must stipulate that constraints like the triangle inequality hold, but we get these constraints for free if we take path lengths to be prior. I argue that Maudlin is mistaken. Even if we take path lengths as primitive, the triangle inequality follows only if we stipulate that the fundamental (...) properties and relations obey constraints that are just as puzzling as the triangle inequality. (shrink)

The need to find an intrinsic characterization of what makes a relation between events causal arises not only in local theories of causation like Salmon's process theory but also in global approaches like Lewis' counterfactual theory. According to the localist intuition, whether a process connecting two events is causal should depend only on what goes on between the events, not on conditions that hold elsewhere in the world. If such intrinsic characterizations could be found, an identification of the causal relation (...) in the actual world (though not in other possible worlds) with physical processes may be feasible (the a posteriori identification). I consider recent proposals made for intrinsic characterizations of causality and conclude that none of them is able to deliver the intended result. (shrink)

Some properties such as having a beard and being a philosopher are intuitively qualitative, while other properties such as being identical to Plato and being a student of Socrates are intuitively non-qualitative. It is often assumed that, necessarily, a property is qualitative if and only if it can be designated descriptively without the aid of directly referential devices. I argue that this linguistic thesis fails in both directions: there might be non-qualitative properties that can be designated descriptively, and there appear (...) to be qualitative properties that can only be designated directly. I conclude that while the linguistic thesis is ultimately untenable as stated, it can be plausibly recast as a thesis about our concepts rather than the properties they designate. (shrink)

Priority monism (hereafter, ‘monism’) is the view that there exists one fundamental entity—the world—and that all other objects that exist (a set of objects typically taken to include tables, chairs, and the whole menagerie of everyday items) are merely derivative. Jonathan Schaffer has defended monism in its current guise, across a range of papers. Each paper looks to add something to the monistic picture of the world. In this paper we argue that monism—as Schaffer describes it—is false. To do so (...) we develop an ‘island universe’ argument against Schaffer's monistic theory. (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the structure of space and-or spacetime itself, especially a paper by Bricker (1993). (...) A companion paper argues against pointillisme in mechanics, especially about velocity; it focusses on Tooley, Robinson and Lewis. To avoid technicalities, I conduct the argument almost entirely in the context of ``Newtonian'' ideas about space and time. But both the debate and my arguments carry over to relativistic, and even quantum, physics. (shrink)

If realism about possible worlds is to succeed in eliminating primitive modality, it must provide an 'analysis' of possible world: nonmodal criteria for demarcating one world from another. This David Lewis has done. Lewis holds, roughly, that worlds are maximal unified regions of logical space. So far, so good. But what Lewis means by 'unification' is too narrow, I think, in two different ways. First, for Lewis, all worlds are (almost) 'globally' unified: at any world, (almost) every part is directly (...) linked to (almost) every other part. I hold instead that some worlds are 'locally' unified: at some worlds, parts are directly linked only to "neighboring" parts. Second, for Lewis, each world is (analogically) 'spatio-temporally' unified; every world is 'spatio-temporally' isolated from every other. I hold instead: a world may be unified by nonspatio-temporal relations; every world is 'absolutely' isolated from every other. If I am right, Lewis's conception of logical space is impoverished: perfectly respectable worlds are missing. (shrink)

In this paper we offer a response to one argument in favour of Priority Monism, what Jonathan Schaffer calls the nomic argument for monism. We proceed in three stages. We begin by introducing Jonathan Schaffer’s Priority Monism and the nomic argument for that view. We then consider a response to the nomic argument that we presented in an earlier paper. We show that this argument suffers from a flaw. We then go on to offer a different response to the nomic (...) argument. The core idea is that the current laws of physics are not integrated in the manner that Schaffer requires to get the nomic argument for monism off the ground. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

The question as to whether some objects are possible worlds that have an initial segment in common, i.e. so that their fusion is a temporal tree whose branches are possible worlds, arises both for those who hold that our universe has the structure of a temporal tree and for those who hold that what there is includes concrete universes of every possible variety. The notion of “possible world” employed in the question is seen to be the notion of an object (...) of a kind such that objects of that kind play a certain theoretical role. Lewis’s discussion of the question is thereby clarified but is nevertheless inadequate; his negative answer is correct but even from his combinatorialist viewpoint the rationale he provides for this answer is misguided. I explain why the combinatorialist advocate of concrete plenitude should hold that no object is a tree of possible worlds. Then I explain that for a different reason the nomic essentialist advocate of concrete plenitude should hold this much too. (shrink)

This paper extends the definition of strong supervenience to cover classes of relations of any adicity, including transworld relations. It motivates that project by showing that not all interesting supervenience claims involving relations are global supervenience claims. The proposed definition has five welcome features: it reduces to the familiar definition in the special case where the classes contain only monadic properties; it equips supervenience with the expected formal properties, such as transitivity and monotonicity; it entails that a relation supervenes on (...) its converse; it classifies certain paradigms correctly; it makes distinctions even in the realm of the non-contingent, as witnessed by the fact that identity does not supervene on any class of relations. Finally, the paper applies the defined concept, and the related concept of orthogonality, to the study of internal and external relations. (shrink)