Cartesian arguments for global skepticism about the external world start from the premise that we cannot know that we are not in a Cartesian scenario such as an evil-demon scenario, and infer that because most of our empirical beliefs are false in such a scenario, these beliefs do not constitute knowledge. Veridicalist responses to global skepticism respond that arguments fail because in Cartesian scenarios, many or most of our empirical beliefs are true. Some veridicalist responses have been motivated using verificationism, (...) externalism, and coherentism. I argue that a more powerful veridicalist response to global skepticism can be motivated by structuralism, on which physical entities are understood as those that play a certain structural role. I develop the structuralist response and address objections. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Physical objects are such things as stones, tables, trees, people and other animals: the persisting macroscopic constituents of the world we live in. therefore expresses a commonsense commitment to physical realism: the persisting macroscopic constituents of the world we live in exist, and are as they are, quite independently of anyone.

Dispositional Essentialism is a unified anti-Humean account of the metaphysics of low-level physical properties and laws of nature. In this paper, I articulate the view that I label Canonical Dispositional Essentialism, which comprises a structuralist metaphysics of properties and an account of laws as relations in the property structure. I then present an alternative anti-Humean account of properties and laws. This account rejects CDE’s structuralist metaphysics of properties in favour of a view of properties as qualitative grounds of dispositions and (...) it rejects CDE’s view of laws as relations in favour of a view of laws as features of an efficient description of possible property distributions. I then defend this view over CDE on the grounds that it can overcome an explanatory shortcoming of CDE and that it achieves a level of continuity with science that CDE fails to achieve. The upshot of this paper is a significant narrowing of the range of possibilities in which the absolutely best unified account of laws and properties resides. (shrink)

Our universe features a harmonious match between laws and states: applying its laws to its states generates other states. This is a striking fact. Matters might have been otherwise. The universe might have been stillborn in a state unengaged by its laws. The problem of nomological harmony is that of explaining the noted striking fact. After introducing and developing this problem, we canvass candidate solutions and identify some of their virtues and vices. Candidate solutions invoke the likes of a designer, (...) axiarchic meta-laws, multiverses, essential causal powers, and Humean laws. (shrink)

What is the relationship between objects and properties? According to a standard view, there are primitive individuals that ‘instantiate’ or ‘have’ various properties. According to a rival view, objects are mere ‘bundles’ of properties. While there are a number of reasons to be skeptical of primitive individuals, there are also a number of challenges that the bundle theorist faces. The goal of this paper is to formulate a view about the relationship between objects and properties that avoids many of the (...) problems inherent in both of these views. The view I will end up defending implies a particularly radical version of Monism, and it collapses the object-property distinction altogether. (shrink)

Dispositionality and qualitativity are key notions to describe the world that we inhabit. Dispositionality is a matter of what a thing is disposed to do in certain circumstances. Qualitativity is a matter of how a thing is like. According to the Identity Theory of powers, every fundamental property is at once dispositional and qualitative, or a powerful quality. Canonically, the Identity Theory holds a contentious identity claim between a property’s dispositionality and its qualitativity. In the literature, this view faces a (...) contradiction objection that undermines its merits. We should therefore consider an alternative version that does not embrace the identity claim. My aim is to show that we can enjoy the benefits of the Identity Theory without embracing the identity between the dispositional and the qualitative. I shall argue that a distinction between two senses of dispositionality and qualitativity serves the purpose. I will then discuss three readings of the identity claim that can be formulated in light of such a distinction. I will conclude that even if the identity were to fail in any of the suggested readings, it would be possible to hold an account of fundamental powerful qualities. (shrink)

Hume's Dictum (HD) says, roughly and typically, that there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays an influential role in metaphysical debate, both in constructing theories and in assessing them. One should ask of such an influential thesis: why believe it? Proponents do not accept Hume's arguments for his dictum, nor do they provide their own; however, some have suggested either that HD is analytic or that it is synthetic a priori (that is: motivated by (...) intuitions we have no good reason to question). Here I explore whether belief in HD is directly justified on either grounds. I motivate and present more formal characterizations of HD; I show that there are good prima facie cases to be made for HD's being analytic and for its being synthetic a priori; I argue that each of the prima facie cases fails, some things considered. I close by offering two suggestions for how belief in HD might be indirectly justified on argumentative grounds. (shrink)

Is the relation between properties and the causal powers they confer necessary, or contingent? Necessary, says Sydney Shoemaker, on pain of skepticism about the properties. Contingent, says David Lewis, swallowing the skeptical conclusion. I shall argue that Lewis is right about the metaphysics, but that Shoemaker and Lewis are wrong about the epistemology. Properties have intrinsic natures (quiddities), which we can know.

According to the powerful qualities view, properties are both powerful and qualitative. Indeed, on this view the powerfulness of a property is identical to its qualitativity. Proponents claim that this view provides an attractive alternative to both the view that properties are pure powers and the view that they are pure qualities. It remains unclear, however, whether the claimed identity between powerfulness and qualitativity can be made coherent in a way that allows the powerful qualities view to constitute this sort (...) of alternative. I argue here that this can be done, given a particular conception of both the qualitativity and powerfulness of properties. On this conception, a property is qualitative just in the sense that its essence is fixed independently of any distinct properties, and it is powerful just if its essence grounds its dispositional role. (shrink)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

In this paper I argue that if one subscribes to dispositionalism — the view that natural properties are irreducibly dispositional in character — then one ought to favour a Platonic view of properties. That is, dispositionalists ought to view properties as transcendent universals. I argue for this on the grounds that only with transcendent universals in play can two central dispositionalist platitudes be accounted for in a satisfactory way. Given that dispositionalism is becoming an increasingly influential view in the metaphysics (...) of science, my argument, if successful, suggests that Platonism will see something of a revival in contemporary metaphysics. This new kind of Platonism is shown to have some striking metaphysical and epistemological consequences. (shrink)

This is the revised version of an invited keynote lecture delivered at the "1st Australian Computing and Philosophy Conference". The paper is divided into two parts. The first part defends an informational approach to structural realism. It does so in three steps. First, it is shown that, within the debate about structural realism, epistemic and ontic structural realism are reconcilable. It follows that a version of OSR is defensible from a structuralist-friendly position. Second, it is argued that a version of (...) OSR is also plausible, because not all relata are logically prior to relations. Third, it is shown that a version of OSR is also applicable to both sub-observable and observable entities, by developing its ontology of structural objects in terms of informational objects. The outcome is informational structural realism, a version of OSR supporting the ontological commitment to a view of the world as the totality of informational objects dynamically interacting with each other. The paper has been discussed by several colleagues and, in the second half, ten objections that have been moved to the proposal are answered in order to clarify it further. (shrink)

Suppose that one thinks that certain symmetries of a theory reveal “surplus structure”. What would a formalism without that surplus structure look like? The conventional answer is that it would be a reduced theory: a theory which traffics only in structures invariant under the relevant symmetry. In this paper, I argue that there is a neglected alternative: one can work with a sophisticated version of the theory, in which the symmetries act as isomorphisms.

In recent literature, it has become clear that quantum physics does not refute Humeanism: Lewis’s thesis of Humean supervenience can be literally true even in the light of quantum entanglement. This point has so far been made with respect to Bohm’s quantum theory. Against this background, this paper seeks to achieve the following four results: to generalize the option of quantum Humeanism from Bohmian mechanics to primitive ontology theories in general; to show that this option applies also to classical mechanics; (...) to establish that it requires a commitment to matter as primitive stuff, but no commitment to natural properties ; to point out that by removing the commitment to properties, the stock metaphysical objections against Humeanism from quidditism and humility no longer apply. In that way, quantum physics strengthens Humeanism instead of refuting it. (shrink)

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

William Whewell’s 19th century philosophy of science is sometimes glossed over as a footnote to Kant. There is however a key feature of Whewell’s account worth noting. This is his appeal to Aristotle’s form/matter hylomorphism as a metaphor to explain how mind and world merge in successful scientific inquiry. Whewell’s hylomorphism suggests a middle way between rationalism and empiricism reminiscent of experience pragmatists like Steven Levine’s view that mind and world are entwined in experience. I argue however that Levine does (...) not adequately explain exactly how mind and world entwine. He could nonetheless do so if he appealed to Whewell’s hylomorphic metaphor. We may prefer a reductive metaphysical explanation, but I suggest that pragmatists only have recourse to metaphor in this case. Both reductive and metaphorical explanations can enjoy great explanatory power if they exhibit a suitable measure of what I will call sematic distance. Semantic distance measures how close or how far apart explanandum and explanans are from each other in meaning. Metaphorical explanation - as evident in Whewell’s hylomorphism and as detailed via the notion of semantic distance - presents a valuable new explanatory tool to those who hold that mind and world are entwined sans recourse to metaphysics. (shrink)

A leading philosopher takes a mind-bending journey through virtual worlds, illuminating the nature of reality and our place within it. Virtual reality is genuine reality; that's the central thesis of Reality+. In a highly original work of "technophilosophy," David J. Chalmers gives a compelling analysis of our technological future. He argues that virtual worlds are not second-class worlds, and that we can live a meaningful life in virtual reality. We may even be in a virtual world already. Along the way, (...) Chalmers conducts a grand tour of big ideas in philosophy and science. He uses virtual reality technology to offer a new perspective on long-established philosophical questions. How do we know that there's an external world? Is there a god? What is the nature of reality? What's the relation between mind and body? How can we lead a good life? All of these questions are illuminated or transformed by Chalmers' mind-bending analysis. Studded with illustrations that bring philosophical issues to life, Reality+ is a major statement that will shape discussion of philosophy, science, and technology for years to come. (shrink)

Ontic structural realism is the view that structures are what is real in the first place in the domain of fundamental physics. The structures are usually conceived as including a primitive modality. However, it has not been spelled out as yet what exactly that modality amounts to. This paper proposes to fill this lacuna by arguing that the fundamental physical structures possess a causal essence, being powers. Applying the debate about causal vs categorical properties in analytic metaphysics to ontic structural (...) realism, I show that the standard argument against categorical and for causal properties holds for structures as well. Structural realism, as a position in the metaphysics of science that is a form of scientific realism, is committed to causal structures. The metaphysics of causal structures is supported by physics, and it can provide for a complete and coherent view of the world that includes all domains of empirical science. (shrink)

Many think that properties are powers. However, whilst some claim that properties are pure powers, others claim that properties are powerful qualities. In this paper, I argue that the canonical formulation of the powerful qualities view is no different from the pure powers view. Contrary to appearances, the two positions accept the same view of properties. Thus, the debate between them rests on an illusion. I draw out some consequences of this surprising result for issues over property individuation. Along the (...) way, I argue that all existing objections to the powerful qualities view fail. (shrink)

Necessitarianism, as we shall use the term, is the view that natural properties and causal powers are necessarily connected in some way. In recent decades the most popular forms of necessitarianism have been the anti-Humean powers-based theories of properties, such as dispositional essentialism and the identity theory. These versions of necessitarianism have come under fire in recent years and I believe it is time for necessitarians to develop a new approach. In this paper I identify unexplored ways of positing metaphysically (...) necessary connections in nature, using the concepts of grounding and essential dependence. For example, I show that one could be a necessitarian by insisting that the properties of things necessarily ground their powers, and that one can maintain this while rejecting dispositional essentialism. Using different combinations of claims about grounding and essential dependence, I map out a spectrum of new positions and compare them to previous theories of natural modality. Some of these positions are compatible with Humean metaphysics while others are not. The overall aim of the paper is to provide a new metaphysical framework for understanding theories of powers and thereby launch a new necessitarian research programme. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

This paper develops an account of the metaphysics of fundamental laws I call “the Package Deal Account ” that is a descendent of Lewis’ BSA but differs from it in a number of significant ways. It also rejects some elements of the metaphysics in which Lewis develops his BSA. First, Lewis proposed a metaphysical thesis about fundamental properties he calls “Humean Supervenience” according to which all fundamental properties are instantiated by points or point sized individuals and the only fundamental relations (...) are geometrical spatial and temporal relations between these. While the BSA does not require HS Lewis seems to hope that it is true. In contrast, the PDA is not committed to HS or even to the fundamental arena in which fundamental properties are instantiated possessing geometrical structure and thus is able to accommodate relations and structures found in contemporary physics that apparently conflict with HS. Second, although Lewis’ BSA doesn’t require HS his Humeanism does require that fundamental properties are categorical. In contrast, the PDA allows for the possibility that fundamental properties are individuated in terms of laws and so are not categorical. Third, the PDA expands and develops the criteria for what counts in favor of a candidate system with more attention to the criteria employed by physicists in evaluating proposed theories. Fourth and most importantly, unlike Lewis’ BSA, the PDA does not presuppose metaphysically primitive elite properties/quantities that Lewis calls “perfectly natural” properties/quantities or presuppose a metaphysically preferred language whose terms denote such properties/quantities. It replaces Lewis’ account with an account on which natural properties are not metaphysically prior to the laws but are elements of a package that includes a fundamental arena that plays the role of space-time as well as fundamental laws and properties. By doing so it responds to some epistemological and metaphysical issues that have been raised regarding natural properties and their role in the BSA. In sum, the PDA goes further in explicating the notion of laws in terms of the aims and practices of science especially fundamental physics rather than in terms of prior metaphysics. I begin by reviewing Lewis’ account of perfectly natural properties and his Humean BSA of laws. (shrink)

Powers are popularly assumed to be distinct from, and dependent upon, inert qualities, mainly because it is believed that qualities have their nature independently of other properties while powers have their nature in virtue of a relation to distinct manifestation property. George Molnar and Alexander Bird, on the other hand, characterize powers as intrinsic and relational. The difficulties of reconciling the characteristics of being intrinsic and at the same time essentially related are illustrated in this paper and it is argued (...) that the reasons for thinking of powers as essentially relational are based on misguided epistemological consideration. Finally, I present a way of thinking of fundamental properties as primitive natures that we can only understand in virtue of what they do but which we should not think of as being ontologically constituted by these doings. According to this view, properties are both qualities and powers. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

Magnetism in meta-semantics is the view that the meaning of our words is determined in part by their use and in part by the objective naturalness of candidate meanings. This hypothesis is commonly attributed to David Lewis, and has been put to philosophical work by Brian Weatherson, Ted Sider and others. I argue that there is no evidence that Lewis ever endorsed the view, and that his actual account of language reveals good reasons against it.

According to structuralism, all natural properties are individuated by their roles in causal/nomological structures. According to quidditism, at least some natural properties are individuated in some other way. Because these theses deal with the identities of natural properties, this distinction cuts to the core of a serious metaphysical dispute: Are the intrinsic natures of all natural properties essentially causal/nomological in character? I'll argue that the answer is ‘no’, or at least that this answer is more plausible than many critics of (...) quidditism have recognized. In section 1, I distinguish between two versions of quidditism. Bare quidditism holds that worlds with distinct properties and isomorphic structures must be qualitatively identical in the following sense: inhabiting one world would be indistinguishable from inhabiting the other. In contrast, qualitative quidditism allows such worlds to have qualitative differences. In section 2, I discuss an epistemological position that allows us to bett... (shrink)

“Realization” is a technical term that is used by metaphysicians, philosophers of mind, and philosophers of science to denote some dependence relation that is thought to obtain between higher-level properties and lower-level properties. It is said that mental properties are realized by physical properties; functional and computational properties are realized by first-order properties that occupy certain causal/functional roles; dispositional properties are realized by categorical properties; so on and so forth. Given this wide usage of the term “realization”, it would be (...) right to think that there might be different dependence relations that this term denotes in different cases. Any relation that is aptly picked out by this term can be taken to be a realization relation. The aim of this state-of-the-field article is to introduce the central questions about the concept of realization, and provide formulations of a number of realization relations. In doing so, I identify some theoretical roles realization relations should play, and discuss some theories of realization in relation to these theoretical roles. (shrink)

This is the introductory essay to the collection of essays: 'Acquaintance: New Essays' (eds. Knowles & Raleigh, forthcoming, OUP). In this essay I provide some historical background to the concept of acquaintance. I examine various Russellian theses about acquaintance that contemporary acquaintance theorists may wish to reject. I consider a number of questions that acquaintance theorists face. I provide a survey of current debates in philosophy where acquaintance has recently been invoked. And I also provide brief summaries of the other (...) essays in this volume. (shrink)

I reply to seven commentaries on “The Virtual and the Real”. In response to Claus Beisbart, Jesper Juul, Peter Ludlow, and Neil McDonnell and Nathan Wildman, I clarify and develop my view that virtual are digital objects, with special attention to the nature of digital objects and data structures. In response to Alyssa Ney and Eric Schwitzgebel, I clarify and defend my spatial functionalism, with special attention to the connections between space and consciousness. In response to Marc Silcox, I clarify (...) and develop my view of the value of virtual worlds, with special attention to the case where we experience these worlds as virtual. (shrink)

Those who favour an ontology based on dispositions are thereby able to provide a dispositional essentialist account of the laws of nature. In part 1 of this paper I sketch the dispositional essentialist conception of properties and the concomitant account of laws. In part 2, I characterise various claims about the modal character of properties that fall under the heading ‘quidditism’ and which are consequences of the categoricalist view of properties, which is the alternative to the dispositional essentialist view. I (...) argue that quidditism should be rejected. In part 3, I address a criticism of a strong dispositional essentialist view, viz. that ‘structural’ (i.e. geometrical, numerical, spatial and temporal) properties must be regarded as categorical. (shrink)

Over the last decade or so, there has been a renewed interest in a view about properties known as quidditism. However, a review of the literature reveals that ‘quidditism’ is used to cover a range of distinct views. In this paper I explore the logical space of distinct types of quidditism. The first distinction noted is between quidditism as a thesis explicitly about property individuation and quidditism as a principle of unrestricted property recombination. The distinction recently drawn by Dustin Locke (...) between extravagant quidditism and austere quidditism is a distinction between quidditisms of the first type. It is then argued that austere quidditism may itself be further sub-divided into what I call ‘extremely austere quidditism’ and ‘moderately austere quidditism’. Moderately austere quidditism is argued to be preferable to extremely austere quidditism and further to be able to address many of the arguments leveled against quidditism in general. (shrink)

One of the most pressing objections against Divine simplicity is that it entails what is commonly termed a ‘modal collapse’, wherein all contingency is eliminated and every true proposition is rendered necessarily true. In this paper, I show that a common form of this argument is in fact famously invalid and examine three ways in which the opponent of Divine simplicity might try to repair the argument. I conclude that there is no clear way of repairing the argument that does (...) not beg the question against the doctrine of Divine simplicity. (shrink)

Sometimes, ignorance is inexpressible. Lewis recognized this when he argued, in “Ramseyan Humility,” that we cannot know which property occupies which causal role. This peculiar state of ignorance arises in a number of other domains too, including ignorance about our position in space and the identities of individuals. In these cases, one does not know something, and yet one cannot give voice to one's ignorance in a certain way. But what does the ignorance in these cases consist in? This essay (...) argues that many standard models of ignorance cannot account for the phenomenon of inexpressible ignorance. It then develops an alternative model that does better, on which the ignorance consists in a failure to identify something by way of its nature or essence. (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

This paper argues that ontic structural realism (OSR) faces a dilemma: either it remains on the general level of realism with respect to the structure of a given theory, but then it is, like epistemic structural realism, only a partial realism; or it is a complete realism, but then it has to answer the question how the structure of a given theory is implemented, instantiated or realized and thus has to argue for a particular interpretation of the theory in question. (...) This claim is illustrated by examining how OSR fares with respect to the three main candidates for an ontology of quantum mechanics, namely many worlds-type interpretations, collapse-type interpretations and hidden variable-type interpretations. The result is that OSR as such is not sufficient to answer the question of what the world is like if quantum mechanics is correct. (shrink)

Discussions about the nature of essence and about the inference problem for non-Humean theories of nomic modality have largely proceeded independently of each other. In this article I argue that the right conclusions to draw about the inference problem actually depend significantly on how best to understand the nature of essence. In particular, I argue that this conclusion holds for the version of the inference problem developed and defended by Alexander Bird. I argue that Bird’s own argument that this problem (...) is fatal for David Armstrong’s influential theory of the laws of nature but not for dispositional essentialism is seriously flawed. In place of this argument, I develop an argument that whether Bird’s inference problem raises serious difficulties for Armstrong’s theory depends on the answers to substantial questions about how best to understand essence. The key consequence is that considerations about the nature of essence have significant, underappreciated implications for Armstrong’s theory. (shrink)

This is a book about the metaphysics of perception and discusses touch, audition, and vision. Though primarily concerned with the nature of perception, it draws heavily from the history of philosophy of perception, and connects the concerns of analytical and continental philosophers.

As ever more advanced digital systems are created, it becomes increasingly likely that some of these systems will be digital minds, i.e. digital subjects of experience. With digital minds comes the risk of digital suffering. The problem of digital suffering is that of mitigating this risk. We argue that the problem of digital suffering is a high stakes moral problem and that formidable epistemic obstacles stand in the way of solving it. We then propose a strategy for solving it: Access (...) Monitor Prevent (AMP). AMP uses a ‘dancing qualia’ argument to link the functional states of certain digital systems to their experiences—this yields epistemic access to digital minds. With that access, we can prevent digital suffering by only creating advanced digital systems that we have such access to, monitoring their functional profiles, and preventing them from entering states with functional markers of suffering. After introducing and motivating AMP, we confront limitations it faces and identify some options for overcoming them. We argue that AMP fits especially well with—and so provides a moral reason to prioritize—one approach to creating such systems: whole brain emulation. We also contend that taking other paths to digital minds would be morally risky. (shrink)

Structuralism and quidditism are competing views of the metaphysics of property individuation: structuralists claim that properties are individuated by their nomological roles; quidditists claim that they are individuated by something else. This paper (1) refutes what many see as the best reason to accept structuralism over quidditism and (2) offers a methodological argument in favor of a quidditism. The standard charge against quidditism is that it commits us to something ontologically otiose: intrinsic aspects of properties, so-called ‘quiddities’. Here I grant (...) that quiddities are ontologically otiose, but deny that quidditism requires them. According to a view I call ‘austere quidditism’, properties are individuated by bare numerical identity. I argue that, as far as ontological parsimony is concerned, austere quidditism and structuralism are on a par. But is austere quidditism a coherent alternative to structuralism? To see that it is, we must get clear on what exactly we mean by ‘property individuation’. What we discover is that structuralism is a counterpart theory for properties, and that austere quidditism is simply the rejection of counterpart theory. I conclude with a methodological argument to the effect that counterpart theory for properties ought to be rejected. This paper begins by situating the debate between structuralists and quidditists within the context of a debate over the epistemic limits of fundamental science. At the center of this debate is David Lewis’s posthumously published ‘Ramseyan Humility’ (2008). In the appendix I explain the precise role of austere quidditism in Lewis’s argument. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

According to causal realism, causation is a fundamental feature of the world, consisting in the fact that the properties that there are in the world, including notably the fundamental physical ones, are dispositions or powers to produce certain effects. The paper presents arguments for this view from the metaphysics of properties and the philosophy of physics, pointing out how this view leads to a coherent ontology for both physics as well as biology and the special sciences in general.

An odd dissensus between confident metaphysicians and neopragmatist antimetaphysicians pervades early twenty-first century analytic philosophy. Each faction is convinced their side has won the day, but both are mistaken about the philosophical legacy of the twentieth century. More historical awareness is needed to overcome the current dissensus. Lewis and his possible-world system are lionised by metaphysicians; Quine’s pragmatist scruples about heavy-duty metaphysics inspire antimetaphysicians. But Lewis developed his system under the influence of his teacher Quine, inheriting from him his empiricism, (...) his physicalism, his metaontology, and, I will show in this paper, also his Humeanism. Using published as well as never-before-seen unpublished sources, I will make apparent that both heavy-duty metaphysicians and neopragmatist antimetaphysicians are wrong about the roles Quine and Lewis played in the development of twentieth-century philosophy. The two are much more alike than is commonly supposed, and Quine much more instrumental to the pedigree of current metaphysics. (shrink)

According to Russellian monism, consciousness is constituted at least partly by quiddities: intrinsic properties that categorically ground dispositional properties described by fundamental physics. If the theory is true, then consciousness and such dispositional properties are closely connected. But how closely? The contingency thesis says that the connection is contingent. For example, on this thesis the dispositional property associated with negative charge might have been categorically grounded by a quiddity that is distinct from the one that actually grounds it. Some argue (...) that Russellian monism entails the contingency thesis and that this makes its consciousness‐constituting quiddities epiphenomenal—a disastrous outcome for a theory that is motivated partly by its prospects for integrating consciousness into physical causation. We consider two versions of that argument, a generic version and an intriguing version developed by Robert J. Howell, which he bases on Jaegwon Kim's well‐known “exclusion argument.” We argue that neither succeeds. (shrink)