Interlevel Metaphysics, Misc

Fundamental to Computer Science is the distinction between abstractions and implementations. When that distinction is applied to various philosophical questions it yields the following conclusions. -/- • EMERGENCE. It isn’t as mysterious as it’s made out to be; the possibility of strong emergence is not a threat to science. -/- • INTERACTIONS BETWEEN HIGHER-LEVEL ENTITIES. Physical interaction among higher-level entities is illusory. Abstract interactions are the source of emergence, new domains of knowledge, and complex systems. -/- • PHYSICS and the (...) SPECIAL SCIENCES. The new domains of knowledge derived from abstract interactions are the basis of the autonomy of the special sciences. -/- • DOWNWARD CAUSATION. It’s a zombie idea that should have a stake put through its heart and be replaced by downward entailment. (shrink)

Suppose that A explains B. Do A and B need to be true? Provided that we have metaphysical explanation in mind, orthodoxy answers “yes:” metaphysical explanation is factive. This article introduces and defends a non-factive notion of metaphysical explanation. I argue that we need a non-factive notion of explanation in order to make sense of explanationist arguments where we motivate a view by claiming that it offers better explanations than its competitors. After presenting and rejecting some initially plausible rivals, I (...) account for non-factive metaphysical explanation by drawing on existing applications of structural equation models to metaphysical grounding. (shrink)

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of there being (...) determination relations where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

Abstract artifacts such as musical works and fictional entities are human creations; they are intentional products of our actions and activities. One line of argument against abstract artifacts is that abstract objects are not the kind of objects that can be created. This is so, it is argued, because abstract objects are causally inert. Since creation requires being caused to exist, abstract objects cannot be created. One common way to refute this argument is to reject the causal inefficacy of abstracta. (...) I argue that creationists should rather reject the principle that creation requires causation. Creation, in my view, is a non-causal relation that can be explained using an appropriate notion of ontological dependence. The existence and the creation of abstract artifacts depend on certain individuals with appropriate intentions, along with events of a certain kind that include but are not limited to creations of certain concrete objects. (shrink)

What distinguishes causation from grounding? One suggestion is that causation, but not grounding, occurs over time. Recently, however, counterexamples to this simple temporal criterion have been offered. In this paper, we situate the temporal criterion within a broader framework that focuses on two aspects: locational overlapping in space and time and the presence of intermediaries in space and time. We consider, and reject, the idea that the difference between grounding and causation is that grounding can occur without intermediaries. We go (...) on to use the fact that grounding and causation both involve intermediaries to develop a better temporal criterion for distinguishing causation from grounding. The criterion is this: when a cause and effect are spatially disjoint, there is always a chain of causal intermediaries between the cause and the effect that are extended in time. By contrast, when the grounds and the grounded are spatially disjoint, there is always a chain of grounding intermediaries, but the chain need not be extended in time, it can be purely spatial. The difference between grounding and causation, then, is that causation requires time for chaining in a way that grounding does not. (shrink)

This paper develops and articulates a metaphysics of intersectionality, the idea that multiple axes of social oppression cross-cut each other. Though intersectionality is often described through metaphor, theories of intersectionality can be formulated using the tools of contemporary analytic metaphysics. A central tenet of intersectionality theory, that intersectional identities are inseparable, can be framed in terms of explanatory unity. Further, intersectionality is best understood as metaphysical and explanatory priority of the intersectional category over its constituents, akin to metaphysical priority of (...) the whole over its parts. (shrink)

It is often thought that metaphysical grounding underwrites a distinctive sort of metaphysical explanation. However, it would be a mistake to think that all metaphysical explanations are underwritten by metaphysical grounding. In service of this claim, I offer a novel kind of metaphysical explanation called metaphysical explanation by constraint, examples of which have been neglected in the literature. I argue that metaphysical explanations by constraint are not well understood as grounding explanations.

Each thing is fundamental. Not only is no thing any more or less real than any other, but no thing is prior to another in any robust ontological sense. Thus, no thing can explain the very existence of another, nor account for how another is what it is. I reach this surprising conclusion by undermining two important positions in contemporary metaphysics: hylomorphism and hierarchical views employing so-called building relations, such as grounding. The paper has three main parts. First, I observe (...) hylomorphism is alleged by its proponents to solve various philosophical problems. However, I demonstrate, in light of a compelling account of explanation, that these problems are actually demands to explain what cannot be but inexplicable. Second, I show how my argument against hylomorphism illuminates an account of the essence of a thing, thereby providing insight into what it is to exist. This indicates what a thing, in the most general sense, must be and a correlative account of the structure in reality. Third, I argue that this account of structure is incompatible not only with hylomorphism, but also with any hierarchical view of reality. Although hylomorphism and the latter views are quite different, representing distinct philosophical traditions, I maintain they share untenable accounts of structure and fundamentality and so should be rejected on the same grounds. (shrink)

These comments are part of a book symposium on Karen Bennett's book, _Making Things Up_.

A number of philosophers have recently found it congenial to talk in terms of grounding. Grounding discourse features grounding sentences that are answers to questions about what grounds what. The goal of this article is to explore and defend a counterpart-theoretic interpretation of grounding discourse. We are familiar with David Lewis's applications of the method of counterpart theory to de re modal discourse. Counterpart-theoretic interpretations of de re modal idioms and grounding sentences share similar motivations, mechanisms, and applications. I shall (...) explain my motivations and describe two applications of a counterpart theory for grounding discourse. But, in this article, my main focus is on counterpart-theoretic mechanisms. (shrink)

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of disagreement in controversial (...) ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

Constitutive mechanistic explanations are said to refer to mechanisms that constitute the phenomenon-to-be-explained. The most prominent approach of how to understand this constitution relation is Carl Craver’s mutual manipulability approach to constitutive relevance. Recently, the mutual manipulability approach has come under attack (Leuridan 2012; Baumgartner and Gebharter 2015; Romero 2015; Harinen 2014; Casini and Baumgartner 2016). Roughly, it is argued that this approach is inconsistent because it is spelled out in terms of interventionism (which is an approach to causation), whereas (...) constitutive relevance is said to be a non-causal relation. In this paper, I will discuss a strategy of how to resolve this inconsistency, so-called fat-handedness approaches (Baumgartner and Gebharter 2015; Casini and Baumgartner 2016; Romero 2015). I will argue that these approaches are problematic. I will present a novel suggestion of how to consistently define constitutive relevance in terms of interventionism. My approach is based on a causal interpretation of mutual manipulability, where manipulability is interpreted as a causal relation between the mechanism’s components and temporal parts of the phenomenon. (shrink)

‘Space does not exist fundamentally: it emerges from a more fundamental non-spatial structure.’ This intriguing claim appears in various research programs in contemporary physics. Philosophers of physics tend to believe that this claim entails either that spacetime does not exist, or that it is derivatively real. In this article, I introduce and defend a third metaphysical interpretation of the claim: reductionism about space. I argue that, as a result, there is no need to subscribe to fundamentality, layers of reality and (...) emergence in order to analyse the constitution of space by non-spatial entities. It follows that space constitution, if borne out, does not provide empirical evidence in favour of a stratified, Aristotelian in spirit, metaphysics. The view will be described in relation to two particular research programs in contemporary physics: wave function realism and loop quantum gravity. (shrink)

A simple argument proposes a direct link between realism about quantum mechanics and one kind of metaphysical holism: if elementary quantum theory is at least approximately true, then there are entangled systems with intrinsic whole states for which the intrinsic properties and spatiotemporal arrangements of salient subsystem parts do not suffice. Initially, the proposal is compelling: we can find variations on such reasoning throughout influential discussions of entanglement. Upon further consideration, though, this simple argument proves a bit too simple. To (...) get such metaphysically robust consequences out, we need to put more than minimal realism in. This paper offers a diagnosis: our simple argument seems so compelling thanks to an equivocation. The predictions of textbook quantum theory already resonate with familiar holistic slogans; for realists, then, any underlying reality, conforming to such predictions, also counts as holistic in some sense or other, if only by association. Such associated holism, though, does not establish the sort of specific, robust supervenience failure claimed by our simple argument. While it may be natural to slide to this stronger conclusion, facilitating the slide is not minimal realism per se but an additional explanatory assumption about how and why reality behaves in accordance with our theory: roughly, quantum theory accurately captures patterns in the features and behaviors of physical reality because some underlying metaphysical structure constrains reality to exhibit these patterns. Along with the diagnosis comes a recommendation: we can and should understand one traditional disagreement about the metaphysics of entanglement as another manifestation of a familiar and more general conflict between reductive and non-reductive conceptions of metaphysical theorizing. Such reframing makes clearer what resources reductionists have for resisting the simple argument’s challenge from quantum holism. It also has an important moral for their opponents. Traditional focus on whole-part supervenience failure distracts from a root disagreement about metaphysical structure and its role in our theorizing. Non-reductionists fond of our simple argument would be better off tackling this root directly. (shrink)

According to the new mechanistic approach, an acting entity is at a lower mechanistic level than another acting entity if and only if the former is a component in the mechanism for the latter. Craver and Bechtel :547–563, 2007. doi:10.1007/s10539-006-9028-8) argue that a consequence of this view is that there cannot be causal interactions between acting entities at different mechanistic levels. Their main reason seems to be what I will call the Metaphysical Argument: things at different levels of a mechanism (...) are related as part and whole; wholes and their parts cannot be related as cause and effect; hence, interlevel causation in mechanisms is impossible. I will analyze this argument in more detail and show under which conditions it is valid. This analysis will reveal that interlevel causation in mechanisms is indeed possible, if we take seriously the idea that the relata of the mechanistic level relation are acting entities and accept a slightly modified notion of a mechanistic level that is highly plausible in the light of the first clarification. (shrink)

In this paper, I offer a new theory of grounding. The theory has it that grounding is a job description that is realized by different properties in different contexts. Those properties play the grounding role contingently, and grounding is the property that plays the grounding role essentially. On this theory, grounding is monistic, but ‘grounding’ refers to different relations in different contexts. First, I argue against Kit Fine’s monist univocalism. Next, I argue against Jessica Wilson’s pluralist multivocalism. Finally, I introduce (...) monist multivocalism, explicate three versions of it (of which the above is one), and show its advantages. (shrink)

This essay examines the relationship between monads and space in Kant’s early pre-critical work, with special attention devoted to the question of ubeity, a Scholastic doctrine that Leibniz describes as “ways of being somewhere”. By focusing attention on this concept, evidence will be put forward that supports the claim, held by various scholars, that the monad-space relationship in Kant is closer to Leibniz’ original conception than the hypotheses typically offered by the later Leibniz-Wolff school. In addition, Kant’s monadology, in conjunction (...) with God’s role, also helps to shed light on further aspects of his system that are broadly Leibnizian, such as monadic activity and the unity of space. (shrink)

This article defends the principle of sufficient reason (PSR) from a simple and direct valid argument according to which PSR implies that there is a truth that explains every truth, namely an omni-explainer. Many proponents of PSR may be willing to bite the bullet and maintain that, if PSR is true, then there is an omni-explainer. I object to this strategy by defending the principle that explanation is irreflexive. Then I argue that proponents of PSR can resist the conclusion that (...) there is an omni-explainer by denying that explanation distributes over conjunction. In the final section, I consider a plausible revision of this assumption. I argue there that, given the revised assumption, PSR seems to yield a striking picture of the explanatory structure of the universe. I explain why the resulting model does not appear utterly implausible to me. (shrink)

We offer a new argument for the claim that there can be non-degenerate objective chance (“true randomness”) in a deterministic world. Using a formal model of the relationship between different levels of description of a system, we show how objective chance at a higher level can coexist with its absence at a lower level. Unlike previous arguments for the level-specificity of chance, our argument shows, in a precise sense, that higher-level chance does not collapse into epistemic probability, despite higher-level properties (...) supervening on lower-level ones. We show that the distinction between objective chance and epistemic probability can be drawn, and operationalized, at every level of description. There is, therefore, not a single distinction between objective and epistemic probability, but a family of such distinctions. (shrink)

Individualists about social ontology hold that social facts are “built out of” facts about individuals. In this paper, I argue that there are two distinct kinds of individualism about social ontology, two different ways individual people might be the metaphysical “builders” of the social world. The familiar kind is ontological individualism. This is the thesis that social facts supervene on, or are exhaustively grounded by, facts about individual people. What I call anchor individualism is the alternative thesis that facts about (...) individuals put in place the conditions for a social entity to exist, or the conditions for something to have a social property. Examples include conventionalist theories of the social world, such as David Hume’s theories of promises, money, and government, and collective acceptance theories, such as John Searle’s theory of institutional facts. Anchor individualism is often conflated with ontological individualism. But in fact, the two theses are in tension with one another: if one of these kinds of individualism is true, then the other is very unlikely to be. My aim in this paper is to clarify both, and argue that they should be sharply distinguished from one another. (shrink)

A compelling idea holds that reality has a layered structure. We often disagree about what inhabits the bottom layer, but we agree that higher up we find chemical, biological, geological, psychological, sociological, economic, /etc./, entities: molecules, human beings, diamonds, mental states, cities, interest rates, and so on. How is this intuitive talk of a layered structure of entities to be understood? Traditionally, philosophers have proposed to understand layered structure in terms of either reduction or supervenience. But these traditional views face (...) well-known problems. A plausible alternative is that layered structure is to be explicated by appeal to explanations of a certain sort, termed / grounding explanations/. Grounding explanations tell us what obtains in virtue of what. Unfortunately, the use of grounding explanations to articulate the layered conception faces a problem, which I call /the collapse/. The collapse turns on the question of how to ground the facts stated by the explanations themselves. In this paper I make a suggestion about how to ground explanations that avoids the collapse. Briefly, the suggestion is that the fact stated by a grounding explanation is grounded in its /explanans/. (shrink)

This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus on conditions that (...) must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (shrink)

It is argued that if we take grounding to be univocal, then there is a serious tension between truth-grounding and one commonly assumed structural principle for grounding, namely transitivity. The primary claim of the article is that truth-grounding cannot be transitive. Accordingly, it is either the case that grounding is not transitive or that truth-grounding is not grounding, or both.

I articulate and the defend the following two claims: (i) it is a mistake to think that the structure of the world should mirror the structure of the theories by which we represent it, and through which we try to decipher it, simply because those theories appear to work; (ii) among the most deplorable consequences of this mistake is the widespread tendency to think that there must be a plurality of realities, or several different and irreducible levels of a stratified (...) reality, merely because our credo includes a plurality of theories each of which appears to be as important and trustworthy as it is irreducible to (if not overtly in conflict with) the others. (shrink)

The game of life is an excellent framework for metaphysical modeling. It can be used to study ontological categories like space, time, causality, persistence, substance, emergence, and supervenience. It is often said that there are many levels of existence in the game of life. Objects like the glider are said to exist on higher levels. Our goal here is to work out a precise formalization of the thesis that there are various levels of existence in the game of life. To (...) formalize this thesis, we develop a set-theoretic construction of the glider. The method of this construction generalizes to other patterns in the game of life. And it can be extended to more realistic physical systems. The result is a highly general method for the set-theoretical construction of substances. (shrink)

Agent-​​based modeling is showing great promise in the social sciences. However, two misconceptions about the relation between social macroproperties and microproperties afflict agent-based models. These lead current models to systematically ignore factors relevant to the properties they intend to model, and to overlook a wide range of model designs. Correcting for these brings painful trade-​​offs, but has the potential to transform the utility of such models.

Many philosophers accept a ‘layered’ world‐view according to which the facts about the higher ontological levels supervene on the facts about the lower levels. Advocates of such views often have in mind a version of atomism, according to which there is a fundamental level of indivisible objects known as simples or atoms upon whose spatiotemporal locations and intrinsic properties everything at the higher levels supervenes.1 Some, however, accept the possibility of ‘gunk’ worlds in which there are parts ‘all the way (...) down’ such that there are no simples and insofar as composite objects exist these are composed of smaller objects which in turn are composed of smaller objects, and so on. It may nonetheless still be claimed that the facts about each ontological level supervene on the facts about the lower levels. (shrink)

In their recent book Every Thing Must Go, Ladyman and Ross claim: (i) Physics is analytically complete since it is the only science that cannot be left incomplete. (ii) There might not be an ontologically fundamental level. (iii) We should not admit anything into our ontology unless it has explanatory and predictive utility. In this discussion note I aim to show that the ontological commitment in implies that the completeness of no science can be achieved where no fundamental level exists. (...) Therefore, if claim requires a science to actually be complete in order to be considered as physics,, and if Ladyman and Ross's “tentative metaphysical hypothesis ... that there is no fundamental level” is true,, then there simply is no physics. Ladyman and Ross can, however, avoid this unwanted result if they merely require physics to ever strive for completeness rather than to already be complete. (shrink)

My departed point is the assessment that plurality in broadest sense characterizing any post- (for example: post-modernity, post-metaphysical, etc.) context is first of all plurality of whole. We may speak about wholes, movement of whole, and lack of any universal whole. Part do not already belongs to whole implicitly granted and common of all other parts. Now we may speak of parts in another relation: non of parts as parts of some common of all parts whole, but parts of difference (...) wholes, and at the same time without any universal whole common of all the wholes. The paper is devoted concretely to the influence of such a comprehension of whole upon some basic notion of physics (especially quantum mechanics and information, relativity) and mathematics, namely probability, set, movement,time. Their changes exert influence upon the fundamental pbilosophical concepts of being and time, knowledge and being-in-the-world. The new conception of fractal, and its meaning in philosophy points out, too. Constancy and always existing of whole is equivalent to Newton time, energy conservation law, local realism and ''hidden parameters" of any correlations, a union of sets exists always if the two sets are granted. (shrink)

A novel way of making a non-stick frying pan using a topologically open surface is described. While the article has a slight humorous element to it, it is also intended to contain some serious philosophical points concerning the nature of infinitely divisible matter and the kind of contact that must occur between objects in order for them to interact.

Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different levels, (...) including both objects and the regions they occupy. What results is a layered mereotopology, a theory which can handle multiple layers (analogous to the layers of a lasagna) of spatially or spatiotemporally coincident but mereologically non-overlapping entities. (shrink)

Mental causes are threatened from two directions: from below, since they would appear to be screened off by lower-order, e.g., neural states; and from within, since they would also appear to be screened off by intrinsic, e.g., syntactical states. A principle needed to parry the first threat -causes should be proportional to their effects- appears to leave us open to the second; for why should unneeded extrinsic detail be any less offensive to proportionality than excess microstructure? I say that the (...) second threat relies on a perversion of proportionality that would lay waste to all causal relations. (shrink)

Forgotten Truth is primarily a presentation of the traditional esoteric view that reality consists of a hierarchy of Being. Within the hierarchy there are an indefinite number of worlds, but they can be classified into four levels: the terrestrial, psychic, and celestial planes, and the Infinite. The corresponding levels within the human microcosm are body, mind, soul, and spirit. “From the multiple heavens of Judaism to the storied structure of the Hindu temple and the angelologies of innumerable traditions, the view (...) was reached convergently and independently, as if by innate tropism, by virtually all known societies…” (18). The important exception is our current society, whose fundamental flaw is its inclination to reduce all reality to the terrestrial plane alone. Modernity is “captive of an outlook presumed to be scientific but in fact scientistic” (17); it goes beyond the actual findings of science to deny that other approaches to knowledge are valid and other truths true” (16). (shrink)

Many metaphysicians often appeal to Hume’s dictum (HD), according to which there are no necessary connections between distinct entities (or states of entities), in order to resist theories that commit us to such connections. Some have argued that HD is an unsupported dogma of metaphysics. But theories that commit us to necessary connections between distinct goings-on can also be resisted by invoking a normative twist on HD, which I call the Humean Solvent (HS): “Do not connect distinct entities (or states (...) of entities) beyond necessity”. HS is a principle of structural parsimony – assuming that a theory is structurally more parsimonious than another when the latter is committed to a more connected ontology than the former is. Just as Ockham’s ‘razor’ encourages us to cut down superfluous ontological commitments, the Humean ‘solvent’ encourages us to dissolve dispensable metaphysical glue: we ought not to glue elements of our ontology beyond necessity. HS has both a qualitative and a quantitative dimension: qualitatively, it encourages us to avoid using metaphysical glues that are unnecessarily strong, the strongest of which being metaphysically necessary connections; quantitatively, it encourages us not to metaphysically glue things that need no gluing. Thus, given HS, other things being equal, what is worst is a theory that entails that everything is metaphysically necessarily connected to anything else and what is best is a theory that leaves all things loose and separable. In this paper, I will first compare HD and HS as grounds for paradigmatic Humean doctrines in contemporary metaphysics, then I will argue that structural parsimony is neither a variety of ontological nor of ideological parsimony; finally, I will offer an argument for HS. (shrink)