Typical structural universals are not just the mereological sum of their constituents. Hence, there is the Structure Problem of explaining this non-mereological structure. The Instantiation Problem is that the predicate "U is instantiated by x, y, etc., in that order" is ill-suited to be a primitive, unanalyzed predicate. The proposed solution to these problems is based on the observation that if universal U is said to supervene upon universals V, W, etc., then it is the instantiation of U that supervenes (...) on the instantiation of V, W, etc. Assuming there are few subvenient universals, which is admittedly a speculation, their instantiation may be explained in ways that would be uneconomic if there were too many. (shrink)

The article develops and extends the theory of Glenn Kessler (Frege, Mill and the foundations of arithmetic, Journal of Philosophy 77, 1980) that a (cardinal) number is a relation between a heap and a unit-making property that structures the heap. For example, the relation between some swan body mass and "being a swan on the lake" could be 4.

Part One of this paper is a case against classical mereology and for Heyting mereology. This case proceeds by first undermining the appeal of classical mereology and then showing how it fails to cohere with our intuitions about a measure of quantity. Part Two shows how Heyting mereology provides an account of sets and classes without resort to any nonmereological primitive.

While the Phase Space formulation of quantum mechanics has received considerable attention it has seldom been defended as a viable interpretation. In this paper I expound the Phase Space Picture, use it to provide a quasi-classical 'hidden variables' interpretation of quantum mechanics and offer a defence of it against various objections.

This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of methane, and assuming classical mereology, argues against any purely mereological theory of structural universals. The problem is that being a methane molecule would have to contain being a hydrogen atom four times over, but mereology does not have the concept of the same part occurring several times. (...) This paper takes up the challenge by providing mereological analysis of three operations sufficient for a theory of structural universals: Reflexive binding, i.e. identifying two of the places of a universal; Existential binding, i.e. the language-independent correlate of an existential quantification; and Conjunction. (shrink)

In this paper, I present a piece of natural theology, whose pro tanto conclusion is the existence of god-the-artist, that is a lower case “g” god, a creator who creates for the sake of beauty, but who is not worthy of worship, a god who can be admired but should not be loved. I then consider some only partially successful responses to this dismal conclusion. Finally, I show to reconcile the idea of a god motivated by love of beauty with (...) the religious tradition of an upper case “G” God, who is not merely to be worshiped but loves us and invites a loving response. (shrink)

Between innocence and commitment: speculation and experience -- Reasonable commitment -- Some comparisons -- Commitment to reason and to scientific realism -- Humanist commitment -- Humanism and the cosmic agent -- Commitment to God -- Corollaries.

In "How Do We Know It Is Now Now?" David Braddon-Mitchell (Analysis 2004) develops an objection to the thesis that the past is real but the future is not. He notes my response to this, namely that the past, although real, is lifeless and (a fortiori?) lacking in sentience. He argues, however, that this response, which I call 'the past is dead hypothesis', is not tenable if combined with 'special relativity'. My purpose in this reply is to argue that, on (...) the contrary, 'special relativity' supports the thesis that the future is unreal. (shrink)

This paper concerns the structure of any spatially extended things, including regions of space or spacetime. I shall use intuitions about the quantity of extended things to argue for a dichotomy: either a given finite extended thing is point-free gunk, that is, it has no points as parts, or it is made of grit, that is there are only finitely many points.

As part of his Constructive Empiricism, Van Fraassen commends agnosticism about the existence of the unobservable entities posited by the physical sciences. This position of Scientific Agnosticism is compatible with the acceptance, in his sense, of Science. For to accept Science is, he says, to accept it as empirically adequate, but to refrain from deciding between the realistically interpreted theory and the as-if variant, according to which the observations are as if the theory is correct but the theory is not (...) correct. My purpose in this paper is to argue, against van Fraassen, that we—or at least most of us—should embrace Scientific Realism not Scientific Agnosticism. (shrink)

The book comprises an enquiry into what quantum theory shows us about the world. Its aim is to sort out which metaphysical speculations are tenable and which are not. After an initial discussion of realism, the author provides a non-technical exposition of quantum theory and a criticism of the proposal that quantum theory should make us revise our beliefs about logic. He then discusses the various problems and puzzles which make quantum theory both interesting and perplexing. The text defends three (...) markedly different speculations. The first of them, the "determinate particle speculation", is shown to involve both a view which proposes determinate locations and velocities for particles and the opposite. With the "wave speculation" particles are seen as different again: here the professor proposes a radically original view of particles as polywaves. In the final chapter, he compares the competing particle theories and shows that two ostensibly opposing views are in fact compatible. He goes on to discuss the implications of quantum theory for our understanding of persons. The work assumes no prior knowledge of quantum theory and confines the necessary mathematical details to end-notes. (shrink)

Mereotopology is that branch of the theory of regions concerned with topological properties such as connectedness. It is usually developed by considering the parthood relation that characterizes the, perhaps non-classical, mereology of Space (or Spacetime, or a substance filling Space or Spacetime) and then considering an extra primitive relation. My preferred choice of mereotopological primitive is interior parthood . This choice will have the advantage that filters may be defined with respect to it, constructing “points”, as Peter Roeper has (...) done (“Region-based topology”, Journal of Philosophical Logic , 26 (1997), 25–309). This paper generalizes Roeper’s result, relying only on mereotopological axioms, not requiring an underlying classical mereology, and not assuming the Axiom of Choice. I call the resulting mathematical system an approximate lattice , because although meets and joins are not assumed they are approximated. Theorems are proven establishing the existence and uniqueness of representations of approximate lattices, in which their members, the regions, are represented by sets of “points” in a topological “space”. (shrink)

In his “Are Properties, Particular, Universal, or Neither?” Javier Cumpa argues that science not metaphysics explains how properties are instantiated. I accept this conclusion provided physics can be stated using rather few primitive predicates. In addition, he uses his scientific theory of instantiation to argue for Neutralism, his thesis that the “tie” between properties and their instances implies neither that properties are particular nor that they are universals. Neutralism, I claim, is a thesis that realist about universals have independent reason (...) to accept and their opponents have reason to reject. So, neutralism is not neutral on the topic of whether properties are universals. Nor is Cumpa’s Theory of Instantiation as naturalistic as he claims. I argue that although compatible with Ontological Naturalism, his theory provides a precedent for the non-naturalistic emergence of mental properties. Finally, I argue that because his theory requires a simple physics it presupposes a more rationalist epistemology than that of Methodological Naturalism. (shrink)

This chapter is a case for the pantheist conception considered as a species of theism, rather than a rival to it. The starting point, the premise of the argument, is properly anthropomorphic metaphysics, which I propose as a rival to scientific naturalism; I begin, then, by stating my version of pantheism, by expounding PAM, and by sketching my argument.

In this paper I present the Discrete Space-Time Thesis, in a way which enables me to defend it against various well-known objections, and which extends to the discrete versions of Special and General Relativity with only minor difficulties. The point of this presentation is not to convince readers that space-time really is discrete but rather to convince them that we do not yet know whether or not it is. Having argued that it is an open question whether or not space-time (...) is discrete, I then turn to some possible empirical evidence, which we do not yet have. This evidence is based on some slight differences between commonly occurring differential equations and their discrete analogs. (shrink)

Chris Heathwood requires the sentence 'Caesar was conscious when he crossed the Rubicon' to be made true in much the same way as 'Caesar was wet when he crossed the Rubicon'. Yet because the Growing Block theorist is committed to the zombiedom of the past,the former is not made true by past objects, although the latter is. Heathwood demands a uniform account of the grounding of truths and he will be given a uniform account. But we should exercise care in (...) deciding just what sort of uniformity is appropriate. As Russell so famously pointed out a century ago the subject/predicate form of a sentence can be misleading. Likewise although the two sentences 'Caesar is conscious' and 'Caesar is wet' have similar subject/predicate forms they have, I say, different kinds of truth-conditions and hence their past tense transformations also have different kinds of truth-conditions. The uniformity I endorse is that in both cases the grounds for the past tense transformation are the same as the grounds the present tense versions used to have when they were true. (shrink)

Introduction -- Overview -- Theism, simplicity, and properly anthropocentric metaphysics -- Materialism and dualism -- The power, knowledge, and motives of the primordial God -- The existence of the primordial God -- God changes -- Understanding evil -- The Trinity -- The Incarnation -- Concluding remarks.

In this paper I have had two aims. One was to describe a number of pantheist or near pantheist religious attitudes, including the influence of many worlds theories. The other was to indicate some of the ways we might arrive at Pantheism.One final remark: when assessing religious positions the intellectual grounds for accepting or rejecting them should, I suggest, be whether they make sense of things, that is, enable us to understand. The ways to Pantheism, or to near Pantheism, should (...) therefore be interpreted as part of a comparison between ways of understanding. (shrink)

In this paper I argue against Realism about Possible Worlds by showing how it leads to a counter-intuitive scepticism about the rationality of Occam’s razor. This can be thought of as a transcendental argument from Logic to Metaphysics. It should be contrasted with a straightforward application of Logic to Metaphysics, as when we apply Occam’s razor to reject a category of entities which we judge to be redundant.

This paper concerns the structure of appearances. I argue that to be appeared to in a certain way is to be aware of one or more universals. Universals therefore function like the sense‐data, once highly favoured but now out of fashion. For instance, to be appeared to treely, in a visual way, is to be aware of the complex relation, being tree‐shaped and tree‐coloured and being in front of, a relation of a kind which could be instantiated by a material (...) object and a perceiver, which is thus instantiated in the veridical case but not in the non‐veridical. (shrink)

The book is drawn from the Tarner lectures, delivered in Cambridge in 1993. It is concerned with the ultimate nature of reality, and how this is revealed by modern physical theories such as relativity and quantum theory. The objectivity and rationality of science are defended against the views of relativists and social constructionists. It is claimed that modern physics gives us a tentative and fallible, but nevertheless rational, approach to the nature of physical reality. The role of subjectivity in science (...) is examined in the fields of relativity theory, statistical mechanics and quantum theory, and recent claims of an essential role for human consciousness in physics are rejected. Prospects for a 'Theory of Everything' are considered, and the related question of how to assess scientific progress is carefully examined. (shrink)

ABSTRACTBy the Many Categories problem, I mean the prima facie violation of Ockham’s Razor by realists about universals: there is, it might seem, just too much variety. Thus, David Armstrong posits both properties and relations. He also theorises about determinates of determinables. Another influential realist, E. J. Lowe distinguishes non-substantial from substantial universals. Yet again, both Armstrong and Lowe include in their ontology abstract particulars in addition to universals. My aim in this paper is to offer a unification of these (...) categories using an operator-theory. First, I show how operators provide a theory of abstract particulars of relations and of impure relational properties. Then, using impure relational properties I derive the Fregeanion Principle. After some metaphysics of mathematics, I provide a theory of determinables. Finally, I consider kinds and substances. (shrink)

In this book Timothy O’Connor combines an investigation of modal epistemology with a fresh look at the traditional contingency version of the cosmological argument. The connection between the two parts is that he defends the practice of hypothesizing necessities for explanatory purposes, resisting those accounts that link possibility too closely to conceivability. This provides the context in which he asks the existence question, ‘Why do the particular contingent objects there are exist and undergo the events they do?’. Wisely avoiding the (...) Principle of Sufficient Reason he argues that the existence question is answered by, and only by, positing a necessary being that is a se in the sense of not depending on any other being.Another important feature of O’Connor's treatment is that he does not accept the difficult scholastic doctrine of divine simplicity, instead relying on the weaker thesis that the essential divine attributes are mutually entailing. Yet again he resists the thesis of the immutability of God, allowing that a necessary being can have accidental attributes and hence can change by acquiring knowledge of the free acts and/or random events that occur. In addition he combines the cosmological argument with the argument from fine-tuning so that the latter is used to support the thesis that the …. (shrink)

Naturalism, as I understand it, includes cosmological naturalism, ontological naturalism and methodological naturalism. After clarifying these three theses I argue that the combination of ontological with methodological naturalism is untenable. I do so by providing a pro tanto case against ontological naturalism and show that it can be resisted, but only by abandoning methodological naturalism. The pro tanto case is that ontological naturalism requires a version of what I call Redundancy Nominalism, but methodological naturalists should either reject it or at (...) very least treat it, and hence ontological naturalism, as a speculation. (shrink)

I consider three candidates for ultimate understanding: (1) ultimate agency, the familiar idea of understanding the existence and nature of the universe as created by God for good reasons; (2) axiarchism, the initially counter-intuitive idea that goodness is the first cause of contingent reality; and (3) plenitude, the thesis that all possible types of situation are real. After some initial clarification, I note the problems with axiarchism, and offer solutions. These solutions require the unification of space and time as space-time, (...) and the consequent introduction of what might be called hypertime, but which I take to be true time—Time with an upper case “T”. I note how axiarchism and plenitude may be combined into the Plenum Bonum thesis that all and only good universes are real. Next, I note some problems with agency as an ultimate way of understanding. Finally, I solve these by means of a theory of agency as completing axiarchism, the Good versus Good theory. (shrink)

Armstrong holds the Supervenience Theory of instantiation, namely that the instantiation of universals by particulars supervenes upon what particulars and what universals there are, where supervenience is stipulated to be explanatory or dependent supervenience. I begin by rejecting the Supervenience Theory of instantiation. Having done so it is then tempting to take instantiation as primitive. This has, however, an awkward consequence, undermining one of the main advantages universals have over tropes. So I examine another account hinted at by Armstrong. This (...) is the Operator Theory of instantiation, by which I mean the theory that universals are operators, and that a particular instantiates a monadic universal because the universal operates on the particular, resulting in the state of affairs. On this theory the state of affairs supervenes on the instantiation rather than vice versa. In the second part of the paper I develop this theory of universals as operators, including an account of structural universals, which are useful for accounts of modality and of mathematics. (shrink)

My enquiry will be within the scope of two suppositions. The first is that Space is continuous, not discrete. The second is that we are to adopt realism about either points or regions or both. That does not, however, preclude a choice of categories—substance or property—for these entities. Thus we could think of either regions or points as properties of the things in those regions or at those points. Alternatively, we could think of regions or points as substances which themselves (...) have properties. (shrink)

If persons persist from one time to another they do so, I claim, by perduring, that is by having temporal parts. First I argue that if persons endure, that is persist without having temporal parts, then they have time-dependent properties. Next, I argue that if enduring persons change by having time-dependent properties, then fatalism, or, more accurately, ontological determinism, holds. Hence those of us who consider that ontological determinism is incompatible with our own experience of responsibility have reason to reject (...) the thesis that persons endure. This is significant because endurance might otherwise be thought to cohere better with belief in responsibility than perdurance. (shrink)

In this book I investigate the necessary structure of the aether the stuff that fills the whole universe. Some of my conclusions are. 1. There is an enormous variety of structures that the aether might, for all we know, have. 2. Probably the aether is point-free. 3. In that case, it should be distinguished from Space-time, which is either a fiction or a construct. 4. Even if the aether has points, we should reject the orthodoxy that all regions are grounded (...) in points by summation. 5. If the aether is point-free but not continuous, its most likely structure has extended atoms that are not simples. 6. Space-time is symmetric if and only if the aether is continuous. 7. If the aether is continuous, we should reject the standard interpretation of General Relativity, in which geometry determines gravity. 8. Contemporary physics undermines an objection to discrete aether based on scale invariance, but does not offer much positive support.". (shrink)

In this chapter I assume that we accept, perhaps reluctantly, general facts, that is states of affairs corresponding to universal generalizations. I then argue that, without any addition, this ontology provides us with physical necessities, and moreover with various grades of physical necessity, including the strongest grade, which I call absolute physical necessity. In addition there are consequences for our understanding of time. For this account, which I call the Mortmain Theory, provides a defence of No Futurism against an otherwise (...) serious objection due to David Armstrong. In addition the Mortmain theory enables me to argue against the ‘‘Parmenidean’’ or Block Universe position that future and past are both real. (shrink)

THE ARTICLE IS AN ATTACK ON THE MYSTERY OR REDUCTION DILEMMA FOR SUPERVENIENCE. THIS IS THE DILEMMA THAT EITHER SUPERVENIENCE IS MYSTERIOUS OR THE SUPERVENIENT IS REDUCIBLE TO THE SUBVENIENT. A NONMYSTERIOUS, NONREDUCTIVE ACCOUNT OF SUPERVENIENCE IS PROPOSED, BASED ON THE METAPHYSICAL SPECULATION THAT SUPERVENIENT TERMS AND PHRASES APPLY TO OBJECTS WHOSE INTRINSIC NATURES THEMSELVES HAVE AN APPROPRIATE PROPERTY. SINCE THIS IS A PROPERTY OF A NATURE IT IS A PROPERTY OF A PROPERTY, THAT IS, A GRAND-PROPERTY. SUPERVENIENCE FOLLOWS FROM (...) THIS HYPOTHESIS QUITE NONMYSTERIOUSLY, BY APPEAL TO THE INDISCERNIBILITY OF IDENTICALS. THE METAPHYSICAL SPECULATIONS REQUIRED MIGHT SEEM EXTRAVAGANT. A LARGE PART OF THE PAPER IS DESIGNED TO SHOW THAT THEY ARE NOT EXTRAVAGANT. (shrink)