Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected . In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of (...) empty parts, in delivering a balanced and bounded metaphysics of naive space. (shrink)

Some singular terms are referentially empty by necessity. Oliver and Smiley have recently introduced the term ‘zilch’ for illustrating this kind of emptiness. The emptiness of ‘zilch’ is supposed to arise from the fact that its extension has been defined by a logically unsatisfiable condition. Casati and Fujikawa disagree with this explanation and claim that ‘zilch’ refers to some null thing. In this paper, I argue that neither of these positions is correct, since, for different reasons, they both misinterpret the (...) phenomenon of referential emptiness. As an alternative, I propose a representationalist account of emptiness, which can explain the properties of ‘zilch’ and similar terms more effectively. (shrink)

I present a formal ontological theory where the basic building blocks of the world can be either things or events. In any case, the result is a Parmenidean worldview where change is not a global property. What we understand by change manifests as asymmetries in the pattern of the world-lines that constitute 4-dimensional existents. I maintain that such a view is in accord with current scientific knowledge.

I offer a formal ontological theory where the basic building blocks of the world are timeless events. The composition of events results in processes. Spacetime emerges as the system of all events. Things are construed as bundles of processes. I maintain that such a view is in accord with General Relativity and offers interesting prospects for the foundations of classical and quantum gravity.

The point of this paper is to bring together three topics: non-existent objects, mereology, and nothing. There are important inter-connections, which it is my aim to spell out, in the service of an account of the last of these.

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

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

A critical survey of the fundamental philosophical issues in the logic and formal ontology of space, with special emphasis on the interplay between mereology (the theory of parthood relations), topology (broadly understood as a theory of qualitative spatial relations such as continuity and contiguity), and the theory of spatial location proper.