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)

A fundamental fact is “pure” just in case it has no grounded entities—ex. Tokyo, President Biden, the River Nile, {Socrates}, etc.—among its constituents. Purity is the thesis that every fundamental fact is pure. I argue that Purity is false. My argument begins with a familiar conditional: if Purity is true, then there are no fundamental “grounding facts” or facts about what grounds what. This conditional is accepted by virtually all of Purity’s defenders. However, I argue that it is also the (...) first step toward Purity’s undoing. For, if every grounding fact has a ground, then some grounded entities have “groundmates” or distinct grounded entities that share their full grounds. But, if there are groundmates, then Purity is false. So Purity leads to a contradiction. Therefore, it is false. I close by noting that my argument against Purity also gives us a powerful reason to think that some grounding facts are fundamental. (shrink)

Recent years have seen growing interest in modifying interventionist accounts of causal explanation in order to characterise noncausal explanation. However, one surprising element of such accounts is that they have typically jettisoned the core feature of interventionism: interventions. Indeed, the prevailing opinion within the philosophy of science literature suggests that interventions exclusively demarcate causal relationships. This position is so prevalent that, until now, no one has even thought to name it. We call it “intervention puritanism” (I-puritanism, for short). In this (...) paper, we mount the first sustained defence of the idea that there are distinctively noncausal explanations which can be characterized in terms of possible interventions; a position we call “intervention liberalism” (I-liberalism, for short). While many have followed James Woodward (2003) in committing to I-puritanism, we trace support for I-liberalism back to the work of Jaegwon Kim (1974). Furthermore, we analyse two recent sources of scepticism regarding I-liberalism: debate surrounding mechanistic constitution; and attempts to provide a monistic account of explanation. We show that neither literature provides compelling reasons for adopting I-puritanism. Finally, we present a novel taxonomy of available positions upon the role of possible interventions in explanation: weak causal imperialism; strong causal imperialism; monist intervention puritanism; pluralist intervention puritanism; monist intervention liberalism; and finally, the specific position defended in this paper, pluralist intervention liberalism. (shrink)

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.

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)

Though the social world is real and objective, the way that social facts arise out of other facts is in an important way shaped by human thought, talk and behaviour. Building on recent work in social ontology, I describe a mechanism whereby this distinctive malleability of social facts, combined with the possibility of basic human error, makes it possible for a consistent physical reality to ground an inconsistent social reality. I explore various ways of resisting the prima facie case for (...) social inconsistency. I conclude, however, that the prima facie case survives scrutiny, and draw out some of the ramifications. (shrink)

Some views articulate reality's hierarchical structure using relations from the fundamental to representations of reality. Other views instead use relations from the fundamental to constituents of non-representational reality. This paper argues against the first kind of view.

This article introduces a non‐cognitivist account of metaphysical explanation according to which the core function of judgements of the form ⌜x because y⌝ is not to state truth‐apt beliefs. Instead, their core function is to express attitudes of commitment to, and recommendation of the acceptance of certain norms governing interventional conduct at contexts.

One desideratum for a theory of fundamentality is to give us the conceptual tools to articulate fruitful metaphysical distinctions between the assortment of ‘realist’ and ‘anti-realist’ positions in a given domain such as meta-ethics. The ability to articulate such distinctions gives us a way to assess rival theories of fundamentality, such as Fine’s grounding theory and Sider’s metaphysical semantic theory. Indeed, Sider has argued that metaphysical semantic theories have an edge with respect to this desideratum and takes this as an (...) important reason to prefer those theories over rival grounding theories. This paper takes a closer look at how the rival theories compare with respect to questions of realism and defends the grounding theorist’s ability to meet the desideratum. (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)

Emergence is typically discussed in the context of mental properties or the properties of the natural sciences, and accounts of emergence within these contexts tend to look a certain way. The emergent property is taken to emerge instantaneously out of, or to be proximately caused by, complex interaction of colocated entities. Here, however, I focus on the properties instantiated by the elements of certain systems discussed in social ontology, such as being a five-dollar bill or a pawn-movement, and I suggest (...) that these properties emerge in a distinctive way. They emerge in part because of a system that is far beyond and typically before the object that instantiates them. I characterize how emergence occurs in these cases, juxtaposing it with how emergence is typically discussed. I then consider whether their emergence is best framed as weak or strong as these notions are characterized in the literature, and I reveal what debates are central to answering this question. Though I will not resolve these debates, I do show a collection of views that would vindicate these properties as strongly emergent and downwardly causing. (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)

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)

Is metaphysical grounding One or Many? If you think grounding is one, you are a monist; there is one (or one fundamental) kind of grounding. If you think grounding is Many, you are a pluralist; there are multiple (or multiple equally fundamental) kinds of grounding. This essay surveys the ways in which one could be a pluralist about grounding.

This chapter reviews several varieties of grounding skepticism as well as responses that have been proposed by grounding enthusiasts to considerations raised by grounding skeptics. Grounding skeptics, as I conceive of them here, are theorists who belong to one of the following two schools of thought. “Old-school” grounding skeptics doubt the theoretical utility of the grounding idiom by denying one of its presuppositions, viz., that this notion is at least intelligible or coherent. “Second-generation” grounding skeptics call into question the theoretical (...) utility of the grounding idiom for other reasons; their skeptical doubts tend to focus on one of the following three purported theoretical virtues grounding enthusiasts ascribe to their idiom: (i) its alleged power to unify an apparently heterogeneous collection of phenomena; (ii) its alleged power to capture and/or elucidate the distinction between the fundamental and the non-fundamental; or (iii) the alleged metaphysical (as opposed to mind-dependent, epistemic, or psychological) utility of grounding claims. Grounding enthusiasts have already formulated responses to many of the objections described in this chapter. At this point, however, it is fair to say that the state of the literature is still evolving, and no conclusive judgment can therefore be reached as of yet as to whether grounding enthusiasts or grounding skeptics have gained the upper hand in these debates. In the meantime, though, grounding skeptics continue to maintain that the classification of factual and/or nonfactual connections under the rubric of grounding does not really help us illuminate the nature of the connections at issue; instead, from the view of the grounding skeptic, we are better off studying these various connections separately and in their own right. (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)

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_.

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 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)

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)

Grounding is all the rage in analytical metaphysics. But here I give three reasons for not appealing to a primitive relation of grounding in formulating physicalism. (1) It probably can't do the key job it would need to do. (2) We don't need it, since we already have realization. (3) It is probably not even consistent with physicalism.

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)

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)

Derk Pereboom has recently elaborated a formulation of non-reductive physicalism in which supervenience does not play the central role and realization plays no role at all; he calls his formulation “robust non-reductive physicalism”. This paper argues that for several reasons robust non-reductive physicalism is inadequate as a formulation of physicalism: it can only rule out fundamental laws of physical-to-mental emergence by stipulating that there are no such laws; it fails to entail the supervenience of the mental on the physical; it (...) appeals to two relations that are physicalistically unacceptable; and it rules out certain epistemically possible ways that the world might turn out to be according to current physics. This paper further argues that the difficulties faced by Pereboom’s robust non-reductive physicalism can all be avoided if physicalism is instead formulated by appeal to a carefully-defined relation of realization. (shrink)

Starting from the plurality of explanatory strategies in the actual practice of socialscientists, I introduce a framework for explanatory pluralism – a normative endorsement of the plurality of forms and levels of explanation used by social scientists. Equipped with thisframework, central issues in the individualism/holism debate are revisited, namely emergence,reduction and the idea of microfoundations. Discussing these issues, we notice that in recentcontributions the focus has been shifting towards relationism, pluralism and interaction, awayfrom dichotomous individualism/holism thinking and a winner-takes-all approach. (...) Then, thechallenge of the debate is no longer to develop the ultimate individualistic approach ordefending the holist approach, but rather how to be combine individualism and holism; howcan they co-exist, interact, be integrated or develop some division of labour, while making thebest out of the strengths and limitations of the respective explanatory strategies of holists andindividualists? Thus, the debate shifts to how exactly pluralism should be understood as thenext leading question, going beyond the current individualism/holism debate. The paper endswith a discussion and evaluation of different understandings of explanatory pluralismdefended in the literature. (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.

General discussion of grounding, including its formal features, relations to other notions, and applications.

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)

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)

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)