Historians have shown that philosophical discussions about the implications of relativity significantly shaped the development of European philosophy of science in the 1920s. Yet little is known about American debates from this period. This paper maps the first responses to Einstein’s theory in three U.S. philosophy journals and situates these papers within the local intellectual climate. We argue that these discussions (1) stimulated the development of a distinctly American branch of philosophy of science and (2) paved the way for the (...) logical empiricists, who emigrated to the United States in the years before World War II. (shrink)

The paper discusses the concept of the cognitive niche and distinguishes the latter from the metabolic niche. By using these posits I unpack certain ideas that are crucial for the enactivist movement, especially for its original formulation proposed by Varela, Thompson and Rosh. Drawing on the ontology of location, boundaries, and parthood, I argue that enacting the world can be seen as the process of cognitive niche construction. Moreover, it turns out that enactivism—as seen through the lens of the conceptual (...) framework proposed in the paper—considers cognition as a kind of connection between the subject and the world. This post is pointed to as the key idea laid down in enactivism. (shrink)

This paper aims to elucidate a kind of ignorance that is more fundamental than a momentary lack of information, but also not a kind of ignorance that is built into the subject’s cognitive apparatus such that the subject can’t do anything about it. The paper sets forth the notion of cognitive confinement, which is a contingent, yet relatively stable state of being structurally or systematically unable to gain information from an environment, determined by patterns of interaction between the subject and (...) the world. In order to unpack the idea of cognitive confinement the paper discusses niche construction theory, and then, in greater detail, the notion of cognitive niche once proposed by John Tooby and Irven DeVore. Cognitive confinement is here imagined as a pathologized form of cognitive niche. This posit is substantiated by referring to a case that has come to the fore in recent years and raised debate around the world: the rise of so-called filter bubbles. They turn out to be instantiations of a more general phenomenon of cognitive confinement. (shrink)

The special composition question, which asks under which conditions objects compose a further object, establishes a central debate in modern metaphysics. Recent successes of inductive metaphysics, which studies the implications of the natural sciences for metaphysical problems, suggest that insights into the SCQ can be gained by investigating the physics of composite systems. In this work, I show that the minus first law of thermodynamics, which is concerned with the approach to equilibrium, leads to a new approach to the SCQ, (...) the thermodynamic composition principle : Multiple systems in thermal contact compose a single system. This principle, which is justified based on a systematic classification of possible mereological models for thermodynamic systems, might form the basis of an inductive argument for universalism. A formal analysis of the TCP is provided on the basis of mereotopology, which is a combination of mereology and topology. Here, “thermal contact” can be analyzed using the mereotopological predicate “self-connectedness”. Self-connectedness has to be defined in terms of mereological sums to ensure that scattered objects cannot be self-connected. (shrink)

This article intends to provide an overview on the philosophical and geographical background of geo-ontologies and to propose a geographical classification of these ontologies, in response to their increasing diffusion within the contemporary debate. Accordingly, the first two paragraphs are devoted to offer a short introduction to the ontological turn in philosophy and to the development of the ontology of geography, that is that part of the ontology mainly focused on geographic entities and their boundaries, spatial representation, meretopological relations and (...) location. As a second step, this preliminary analysis is taken to be a helpful device in showing some philosophical tools useful for geo-ontologies and in determining whether and what geographical sub-areas can be identified from non-professional geographers. Consequently, paragraphs three and four investigate the emerging of geo-ontologies from the spatial turn and their general aims. Part of this inquiry is dedicated to show some taxonomies derived from the domain of computer and information science and to underline the absence of a classification suitable for spreading geo-ontologies in the geographical debate. As it is, the fifth paragraph is concerned with a taxonomy for geo-ontologies grounded on some fundamental geographical distinctions. The basic idea is that such a taxonomy might best introduce geo-ontologies to the geographical debate that, in turn, might deeply influence the advancement of these ontologies in terms of conceptualizations and trace gradually the guidelines for a classification, in which the development of geo-ontologies would follow all the different sub-disciplines within the same geography. (shrink)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept of (...) boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

In this paper I take up the task, begun by Lewis and Lewis in their seminal paper on the topic, of offering a theory of holes according to which a hole is simply its hole-lining. I begin by motivating the theory, arguing that it holds interest even absent its original animating concerns of nominalism and materialism, and present desiderata any such theory must satisfy. With this in place, I offer a definition both of a lining and of hole sameness, arguing (...) that these can overcome the most prominent standing objections to identifying holes with linings. Finally, I present a more powerful counterargument in the spirit of Casati and Varzi, and conclude with an emended version of the theory meeting all our earlier desiderata. I conclude by dispelling some possible worries about the nominalist and materialist credentials of my theory. (shrink)

The literature suggests two main answers to the question of what it is for a material object to be located at a region of spacetime. Both have a number of virtues. However, both suffer from well-known problems. According to one answer, location is a primitive relation with no informative metaphysical analysis. But this makes a number of necessary truths seem mysterious and leaves them unexplained. According to the other answer, to be located at a region is just to be identical (...) to that region. But this is inconsistent with a number of independently plausible theses about material objects and their locations. In this paper, I explore a new theory of location and argue that it has the virtues of these familiar theories but not their vices. I then explore some further connections the new theory has with some contemporary issues in metaphysics. (shrink)

Say that mereological harmony is the view that there is at least some mirroring between the mereological structure of material objects and the mereological structure of their locations: each, in some way, mirrors the other. As it turns out, there is a confusing array of systems of harmony available to the substantivalist. In this paper, I attempt to bring some order to these systems. I explore some systems found in the literature, as well as some natural systems which haven’t been (...) discussed. Along the way, I explore a number of metaphysical consequences of the different systems of harmony. The paper ends with a roadmap of possible views for the substantivalist. (shrink)

One well-known objection to supersubstantivalism is that it is inconsistent with the contingency of location. This paper presents a new objection to supersubstantivalism: it is inconsistent with the vagueness of location. Though contingency and vagueness are formally similar, there are important philosophical differences between the two. As a result, the objection from vague location will be structurally different than the objection from contingent location. The paper explores these differences and then defends the argument that supersubstantivalism is inconsistent with the plausible (...) thesis that it is vague where I am located. (shrink)

According to one of the more popular endurantist packages on the market, a package I will call multilocational endurantism, enduring objects are exactly located at multiple instantaneous regions of spacetime. However, for all we know, the world might turn out to be spatiotemporally gunky and spatiotemporal gunk entails that this package is false. The goal of this paper is to sketch a view which retains the spirit of multilocational endurantism while also recognizing the possibility of certain types of objects which (...) endure through gunk. (shrink)

Current formulations of Four-Dimensionalism may be objected to on grounds that they are too inflexible: the formulations do not seem to allow for enough variety in the views they are paired with. For instance, Kit Fine has noted that formulations of Four-Dimensionalism in terms of instantaneous parts may be too demanding for Four-Dimensionalists who believe nothing is instantaneous. And Trenton Merricks has argued that one can think something persists four-dimensionionally without taking it to have proper temporal parts, and claims that (...) our formulation of Four-Dimensionalism should be revised to allow for this. I will add my own worries to those of Fine and Merricks. I will note that current formulations of Four-Dimensionalism are not sufficiently neutral with respect to the structure of time, with respect to how liberally objects decompose into parts, and with respect to whether objects and the regions they fill match in mereological structure. I will show that we can formulate Four-Dimensionalism in a sufficiently neutral way, while still producing a view that can do the work we typically require of Four-Dimensionalism. (shrink)

Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. The demand to use it effectively brings afore new requirements (...) for automated reasoning over a hierarchy of relations. To ensure logically and ontologically correct inferencing over both the class and role hierarchy, the new reasoning service RBox compatibility for Description Logics reasoners is introduced. The proposed combination of formal semantics and the new reasoning service will improve the representation of the application domain when using part-whole relations in conceptual models and ontologies. (shrink)

This article is devoted to the problem of ontological foundations of three-dimensional Euclidean geometry. Starting from Bertrand Russell’s intuitions concerning the sensual world we try to show that it is possible to build a foundation for pure geometry by means of the so called regions of space. It is not our intention to present mathematically developed theory, but rather demonstrate basic assumptions, tools and techniques that are used in construction of systems of point-free geometry and topology by means of mereology (...) and Whitehead-like connection structures. We list and briefly analyze axioms for mereological structures, as well as those for connection structures. We argue that mereology is a good tool to model so called spatial relations. We also try to justify our choice of axioms for connection relation. Finally, we briefly discuss two theories: Grzegorczyk’s point-free topology and Tarski’s geometry of solids. (shrink)

This paper offers a critical reconstruction of the motivations that led to the development of mereology as we know it today, along with a brief description of some problems that define current research in the field.

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that regionalism (...) does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

Both early analytic philosophy and the branch of mathematics now known as topology were gestated and born in the early part of the 20th century. It is not well recognized that there was early interaction between the communities practicing and developing these fields. We trace the history of how topological ideas entered into analytic philosophy through two migrations, an earlier one conceiving of topology geometrically and a later one conceiving of topology algebraically. This allows us to reassess the influence and (...) significance of topological methods for philosophy, including the possible fruitfulness of a third conception of topology as a structure determining similarity. (shrink)

Mereological harmony is the idea that the mereological structure of objects mirrors the mereological structure of locations. Grounding harmony is the idea that there is a similar mirroring between the grounding structure of objects and locations. Our goal in this paper is exploratory: we introduce and then explore two notions of grounding harmony: locative and structural. We outline potential locative and structural harmony principles for grounding, and show which of these principles may entail, or be entailed by, principles of mereological (...) harmony. We then present a case study in grounding harmony, by applying it to Schaffer’s :31, 2010a) specific version of priority monism. We show that, given a strong form of grounding harmony, Schaffer-style monism is inconsistent, but that this inconsistency can be resolved by offering bespoke notions of grounding harmony. We use Schaffer’s priority monism to demonstrate a broader tension within certain packages of metaphysical views, including versions of priority pluralism. We close by briefly considering the case against structural grounding harmony. (shrink)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)

Convexity predicates and the convex hull operator continue to play an important role in theories of spatial representation and reasoning, yet their first-order axiomatization is still a matter of controversy. In this paper, we present a new approach to adding convexity to mereotopological theory with boundary elements by specifying first-order axioms for a binary segment operator s. We show that our axioms yields a convex hull operator h that supports, not only the basic properties of convex regions, but also complex (...) properties concerning region alignment. We also argue that h is stronger than convex hull operators from existing axiomatizations and show how to derive the latter from our axioms for s. (shrink)

Part is not a univocal term. Uses of parthood and composition that do not obey any supplementation principle have a long philosophical tradition and strong support from contemporary physics. We call such uses potential parts. This paper first shows why potential parts are important and incompatible with supplementation, then provides a formal mereology for such parts inspired by the path-integral approach to quantum electrodynamics.

Ci imbattiamo in un confine ogni volta che pensiamo a un’entità demarcata rispetto a ciò che la circonda. C’è un confine (una superficie) che delimita l’interno di una sfera dal suo esterno; c’è un confine (una frontiera) che separa il Maryland dalla Pennsylvania. Talvolta la collocazione esatta di un confine non è chiara o è in qualche modo controversa (come quando si cerchi di tracciare i limiti del monte Everest, o il confine del nostro corpo). Talaltra il confine non corrisponde (...) a una discontinuità fisica o a una differenziazione qualitativa (come nel caso dei confini del Wyoming, o della demarcazione tra la metà superiore e la metà inferiore di una sfera omogenea). Ma, che sia netto o confuso, naturale o artificiale, sembra esservi per ogni oggetto un confine che lo separa dal resto del mondo. Anche gli eventi hanno confini, quantomeno confini temporali. Le nostre vite sono delimitate dalle nostre nascite e morti; una partita di calcio comincia alle quindici in punto e termina col fischio finale dell’arbitro alle sedici e quarantacinque. E a volte si dice che anche le entità astratte, come i concetti o gli insiemi, hanno dei propri confini. Se tutto questo parlare di confini abbia davvero un senso, e se rifletta la struttura del mondo o solo l’attività organizzatrice del nostro intelletto, è però oggetto di profonda controversia filosofica. (shrink)

This paper is in two parts. Part 1 examines the phenomenon of making space as a process involving one or other kind of legal decision-making, for example when a state authority authorizes the creation of a new highway along a certain route or the creation of a new park in a certain location. In cases such as this a new abstract spatial entity comes into existence – the route, the area set aside for the park – followed only later by (...) concordant changes in physical reality. In Part 2 we show that features identified in studying this phenomenon of legal spacemaking can be detected in other spheres of human activity, for example in planning (where spacemaking is projected into the future), and in reasoning about history (where spacemaking is projected back through time). We shall see that these features display themselves in especially complex ways in our everyday use of language, and we conclude by examining the implications of this complexity for attempts to create an artificial intelligence that would enjoy a mastery of language that would be equivalent to that of human beings. (shrink)