The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity and contact. These (...) basic concepts are presented in relation to the problem of providing an account of the formal ontology of the mesoscopic realm of everyday experience, and specifically of providing an account of the concept of individual substance. (shrink)

Pojęcie niszy (otoczenia, kontekstu, siedliska, środowiska) nie cieszy się specjalnym zainteresowaniem ontologów, mimo że ma szerokie zastosowanie w rozmaitych dyscyplinach, od biologii ewolucyjnej po ekonomię. Niniejszy artykuł zawiera pierwszą teorię formalną tego pojęcia — teorię relacji pomiędzy przedmiotami a ich niszami. Teoria ta opiera się na istniejącym dorobku mereologii, topologii i teorii lokalizacji przestrzennej, które są narzędziami ontologii formalnej. Jest ona tutaj ilustrowana głównie za pomocą prostych przykładów z biologii, ale pojęcie niszy należy rozumieć — podobnie jak pojęcia części, granicy (...) i położenia — jako pojęcie strukturalne, znajdujące zastosowanie w obszernym zakresie różnych dziedzin. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

The fact that boundaries are ontologically dependent entities is agreed by Franz Brentano and Roderick Chisholm. This article studies both authors as a single metaphysical account about boundaries. The Brentano-Chisholm theory understands that boundaries and the objects to which they belong hold a mutual relationship of ontological dependence: the existence of a boundary depends upon a continuum of higher spatial dimensionality, but also is a conditio sine qua non for the existence of a continuum. Although the view that ordinary material (...) objects and their boundaries (or surfaces) ontologically depend on each other is correct, it does not grasp their asymmetric relationship: while the existence of a surface rigidly depends upon the existence of the very object it belongs to, the existence of a physical object generically depends upon having some surface. In modal terms, both are two kinds of de re ontological dependence that this article tries to distinguish. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or human-demarcation-induced boundaries on the other. Cross-cutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding (...) categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach’s classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

The paper outlines a model-theoretic framework for investigating and comparing a variety of mereotopological theories. In the first part we consider different ways of characterizing a mereotopology with respect to (i) the intended interpretation of the connection primitive, and (ii) the composition of the admissible domains of quantification (e.g., whether or not they include boundary elements). The second part extends this study by considering two further dimensions along which different patterns of topological connection can be classified - the strength of (...) the connection and its multiplicity. (shrink)

The present PhD dissertation aims to examine the relation between modality and change in Aristotle’s metaphysics. -/- On the one hand, Aristotle supports his modal realism (i.e., worldly objects have modal properties - potentialities and essences - that ground the ascriptions of possibility and necessity) by arguing that the rejection of modal realism makes change inexplicable, or, worse, banishes it from the realm of reality. On the other hand, the Stagirite analyses processes by means of modal notions (‘change is the (...) actuality of what is virtual insofar as it is virtual’). In other words: to grasp what change is, one has to resort to the modal idiom of potentialities, while the fact that there is change is indicative of the fact that nature is full of modal properties. -/- Aristotle’s modal and kinetic realism finds a negative in the figure of the Megaric Diodorus Kronus. The polemical situation of Greek philosophy has indeed the dialectical advantage of not opposing the Aristotelian position to a sui generis straw man. Both in its reduction of modal judgements to temporal quantifications and in its dissolution of the reality of the state-of-being-in-motion in favour of a cinematographic view of processes, the philosophical figure of reductionist antirealism embodied by Diodorus constitutes an alternative that takes the opposite view of Aristotle’s realism. -/- The present study is structured as a discussion between these two positions. In the face of Diodorus’ antirealist challenges, Aristotle articulates modal and kinetic considerations: the answers he gives to Diodorus’ puzzles thus provide valuable insight into his metaphysics. Moreover, the examination of Aristotle’s and Diodorus’ metaphysics, because of their insight and originality, will not fail to interest the philosopher concerned with the metaphysical foundations of modern physics, insofar as the entanglement between modalities and processes is nowadays at the core of mechanics (phase spaces, path integrals, etc.). (shrink)

Both biosemiotics and evolutionary epistemology are concerned with how knowledge evolves. (Applied) Evolutionary Epistemology thereby focuses on identifying the units, levels, and mechanisms or processes that underlie the evolutionary development of knowing and knowledge, while biosemiotics places emphasis on the study of how signs underlie the development of meaning. We compare the two schools of thought and analyze how in delineating their research program, biosemiotics runs into several problems that are overcome by evolutionary epistemologists. For one, by emphasizing signs, biosemiotics (...) needs to delineate a semiotic threshold, which is a problem not encountered by evolutionary epistemologists. Instead, the latter recognizes that all organisms are knowers that evolve knowledge, which they recognize to extend toward phenomena produced by organisms such as behavior, cognition, language, culture, science, and technology. Secondly, biosemiotics attempts at continuing adaptationist notions on how organisms relate to their environment, while especially Applied Evolutionary Epistemology comes to redefine the nature of the organism–environment relationship in such a way that it recognizes the spatiotemporal boundedness of existence, which in turn makes adaptationist accounts obsolete. (shrink)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

Brentano’s theory of continuity is based on his account of boundaries. The core idea of the theory is that boundaries and coincidences thereof belong to the essence of continua. Brentano is confident that he developed a full-fledged, boundary-based, theory of continuity1; and scholars often concur: whether or not they accept Brentano’s take on continua they consider it a clear contender. My impression, on the contrary, is that, although it is infused with invaluable insights, several aspects of Brentano’s account of continuity (...) remain inchoate. To be clear, the theory of boundaries on which it relies, as well as the account of ontological dependence that Brentano develops alongside his theory of boundaries, constitute splendid achievements. However, the passage from the theory of boundaries to the account of continuity is rather sketchy. This paper pinpoints some chief problems raised by this transition, and proposes some solutions to them which, if not always faithful to the letter of Brentano’s account of continua, are I believe faithful to its spirit. §1 presents Brentano’s critique of the mathematical account of the continuous. §2 introduces Brentano’s positive account of continua. §3 raises three worries about Brentano’s account of continuity. §4 proposes a Neo-Brentanian approach to continua that handles these worries. (shrink)

Les mots « métaphysique » et « ontologie » se disent de façons multiples à l’intérieur de la philosophie analytique et ailleurs dans la philosophie du vingtième siècle. Ils sont souvent employés pour parler de la théorie ou l’analyse de ce qu’il y a, des espèces principales de ce qu’il y a et de leurs rapports. Mais les positivistes viennois, par exemple, appelaient « métaphysiques » les philosophies qu’ils n’aimaient pas (Carnap 1985, Campbell 1976 ch. 2)1. Et si Quine parle (...) de l’engagement ontologique ou ontique d’une théorie, celui-ci ne se confond nullement avec un engagement métaphysique ou existentiel quelconque. (shrink)

Le parole “metafisica” e “ontologia” si dicono in molti modi diversi nella filosofia del XX secolo, tanto all’interno della filosofia analitica quanto altrove. Sono spesso usate per parlare della teoria o dell’analisi di ciò che c’è, delle specie principali di ciò che c’è e dei loro rapporti. Ma i positivisti viennesi, per esempio, chiamavano “metafisiche” le filosofie che non amavano (Carnap, 1985; Campbell, 1976, cap. 2); e se Quine parla dell’impegno ontologico o ontico di una teoria, non intende con ciò (...) un qualsivoglia impegno metafisico o esistenziale. (shrink)

The paper introduces the concepts at the heart of point-set-topology and of mereotopology (topology founded in the non-atomistic theory of parts and wholes) in an informal and intuitive fashion. It will then seek to demonstrate how mereotopological ideas can be of particular utility in cognitive science applications. The prehistory of such applications (in the work of Husserl, the Gestaltists, of Kurt Lewin and of J. J. Gibson) will be sketched, together with an indication of the field of possibilities in linguistics, (...) perceptual psychology, cate¬gorization and geographic information systems. Topological structures will be shown to play a central role in studies of naive physics not least in virtue of the fact that even well-attested departures from true physics on the part of common sense leave the topology and vectorial orientation of the underlying physical phenomena invariant: our common sense would thus seem to have a veridical grasp of the topology and broad general orientation of physical phenomena, both static and dynamic, even where it illegitimately modifies the relevant shape and metric properties. The implications of this and related insights for the methodology of psychology will be explored. (shrink)

Mereological nihilism is the philosophical position that there are no items that have parts. If there are no items with parts then the only items that exist are partless fundamental particles, such as the true atoms (also called philosophical atoms) theorized to exist by some ancient philosophers, some contemporary physicists, and some contemporary philosophers. With several novel arguments I show that mereological nihilism is the correct theory of reality. I will also discuss strong similarities that mereological nihilism has with empirical (...) results in quantum physics. And I will discuss how mereological nihilism vindicates a few other theories, such as a very specific theory of philosophical atomism, which I will call quantum abstract atomism. I will show that mereological nihilism also is an interpretation of quantum mechanics that avoids the problems of other interpretations, such as the widely known, metaphysically generated, quantum paradoxes of quantum physics, which ironically are typically accepted as facts about reality. I will also show why it is very surprising that mereological nihilism is not a widely held theory, and not the premier theory in philosophy. (shrink)

According to Brentano's theory of boundaries, no boundary can exist without being connected with a continuum. But there is no specifiable part of the continuum, and no point, which is such that we may say that it is the existence of that part or of that point which conditions the boundary. - An adequate theory of the continuum must now recognize that boundaries be boundaries only in certain directions and not in others. This leads to consequences in other areas, too.

This is an informal presentation of the theory of niches understood as ecological contexts. The first part sets out the basic conceptual background. The second part outlines the main principles of the theory and addresses the question of how the theory can be extended to aid our thinking in relation to the special types of causal integrity that characterize niches and niched entities.

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

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.

Human cognitive acts are directed towards entities of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. A categorial scheme for the objects of human cognition should be (1) critical and realistic. Cognitive subjects are liable to error, even to systematic error of the sort that is manifested by believers in the Pantheon of Olympian gods. Thus not all putative object-directed acts should be recognized as having objects of their own. (...) What follows is a categorial scheme that is both critically realistic and comprehensive. Thus it enjoys some of the benefits of linguistic idealism and physicalism, without (or so it is hoped) the corresponding disadvantages of each.The starting point for our categorial scheme is the concept of extended entity. (shrink)

Deux choses sont en contact s'il n'y a rien entre elles (ni volume, ni ligne, ni point) et qu'elles ne se chevauchent pas (en un volume, un ligne ou un point). Le contact est la limite de proximité des choses : si deux choses sont en contact, deux autres choses ne peuvent être pas être plus près l'une de l'autre sans se pénétrer.

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)

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)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

Space is a product of semiosis. It is a condition pertinent to an organism’s semiotic freedom, which is articulated by the organism as a consequence of its capacity to manipulate the world in the course of its unfolding interaction with its environment. Spatial configuration is thus the result of agency inherent in the organism-in-its-environment. Space, a consequence of social cohesion, is effected through constraints and processes of enaction which are semiotic. These processes are productive and offer architects a novel means (...) by which to configure space, which they should embrace to articulate the nature of inhabitation. The model presented identifies activity as the essential building block to the generation of form. Modelled as a form of artificial life, swarm-like components, referred to as ‘actants’, represent discrete activities and self-configure according to differences in the environment they detect, to form a body-of-swarms. Thus, depicting the spatiality of being. (shrink)

Some would conceive philosophy as being divided into Analytic and Continental. This, as John Searle points out, is rather like conceiving America as being divided into Business and Kansas. Searle’s wise saying has not, as yet, received the theoretical attention it deserves. In both cases we have a certain domain, which is conceived as being divided into two parts, one defined in spatial terms, the other defined in terms of objects, practices or features widely spread through some spatial area. We (...) present a draft theory of such divides, and of the agglomerations (populations, movements, systems of beliefs) which are the vehicles for their division. It offers a general, ontological theory of Us and Them, of Analytics and Continentals, of the Hegemonic Colonizing Self and the Indigenous Colonized Other. -/- Presented at a conference on Bridging the Analytic-Continental Divide, Tel Aviv University, January 17-20, 1999. (shrink)

So selbstverständlich es klingt, vom Geist, der Psyche oder auch der Seele eines Menschen zu reden, und so vertraut uns wissenschaftliche Disziplinen sind, die sich philosophisch oder empirisch damit beschäftigen, so schwer fällt es, ein einheitliches Merkmale dafür anzugeben, wann etwas ein psychisches Phänomen ist. Viele der potentiellen Merkmale decken eben nur einen Teil des Spektrums dessen ab, was wir gewöhnlich als psychisch bezeichnen würden, und sind damit bestenfalls hinreichende, aber sicher keine notwendigen Bedingungen des Psychischen. Im Mittelpunkt des folgenden (...) Artikels wird dagegen ein Merkmal stehen, von dem feststeht, daß es nicht hinreichend ist, von dem man aber vermuten kann, es sei zumindest notwendig: die Individualität psychischer Phänomene. Die Frage, mit der ich mich beschäftigen werde, ist, ob sich diese Vermutung mit Bezug auf eine Grnppe paradigmatisch psychischer Phänomene aufrecht erhalten läßt, die intentionalen Einstellungen. (shrink)