A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (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.

A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smith.

Mereological essentialists argue that mereological summations cannot change their parts. Mereological inessentialists argue that mereological summations can change some or all of their parts. In this paper I articulate and defend a position called Moderate Mereological Inessentialism, according to which certain mereological summations can change some, but not all, of their parts. Persistent mereological summations occur when the functional parts of mereological summations persist through alterations to its spatial parts.

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

A variety of relations widely invoked by philosophers—composition, constitution, realization, micro-basing, emergence, and many others—are species of what I call ‘building relations’. I argue that they are conceptually intertwined, articulate what it takes for a relation to count as a building relation, and argue that—contra appearances—it is an open possibility that these relations are all determinates of a common determinable, or even that there is really only one building relation.

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)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

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)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

In this paper, I touch on the holotic structure of the ideas of unity, identity and finality, using the word “holotic” to refer to a theory that includes both partonomic (or mereological) wholes and taxonomic (or diairological) wholes. In the second section, I expound on two classifications of wholes and two classifications of the types of parts I deem relevant to the ideas of unity, identity and finality. In the third and fourth sections, I discuss how these three ideas acquire (...) different significance depending on the type of totalities and parts involved. (shrink)

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

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.

Semantic composition in language must be closely related to semantic composition in thought. But the way the two processes are explained differs considerably. Focusing primarily on propositional content, language theorists generally take semantic composition to be a truth‐conditional process. Focusing more on extensional content, cognitive theorists take it to be a form of concept combination. But though deep, this disconnect is not irreconcilable. Both areas of theory assume that extensional (i.e., denotational) meanings must play a role. As this article demonstrates, (...) they also have the potential to fulfill a mediative function. What is shown is that extensional meanings are themselves inherently compositional. On this basis, it becomes possible to model semantic composition without assuming the existence of any specifically linguistic/conceptual apparatus. Examples are presented to demonstrate this direct style of modeling. Abstract connections between composition in thought and language can then be made, raising the prospect of a more unified, theoretical account of semantic composition. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

An overview of the way I picture the amorphous world we live in, built around my comments and responses to nine festschrift essays by A. Borghini (on the Fedro metaphor and the art of butchery), F. Calemi (on the predication principle and metalinguistic nominalism), C. Calosi (on the argument from mereological universalism to extensonality), E. Casetta (on the role of “monsters” in the realism/antirealism debate), V. Giardino (on inductive reasoning, spatial representation, and problem solving), P. Graziani (on mereological notation), P. (...) Pedrini (on the distinction between natural and artificial boundaries), D. Santoro (on causation by omission), and G. Torrengo (on absolute vs. relational space and the problem of incongruent counterparts). (shrink)

I develop in this paper a conception of artefacts based on L. Wittgenstein’s idea of family resemblance. My approach peruses the notion of frame, which was invented in cognitive psychology as an operationisable extension of this philosophical idea. Following the metaphor of life-cycle I show how this schematic notion of frame may be filled with the content relevant for artefacts if we consider them from the point of view of their histories. The resulting conception of artefacts provides a new insight (...) into the current debate on artefact categorisation. (shrink)

The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific theoretical field - arise (...) from several particular theories, first from biology and then from psychology. Mereological considerations were explicitly developed within the school of Brentano, by Brentano himself- starting from the problem of the unity of consciousness - and by his students, particularly Stumpl, Twardowski and the Gestaltists. The most complete result of this tradition is undoubtedly the third of Husserl's Logical Investigations, called "the single most important contribution to realist (Aristotelian) ontology in the modern period". (shrink)

Collective entities and collective relations play an important role in natural language. In order to capture the full meaning of sentences like The Beatles sing Yesterday, a knowledge representation language should be able to express and reason about plural entities — like the Beatles — and their relationships — like sing — with any possible reading (cumulative, distributive or collective).In this paper a way of including collections and collective relations within a concept language, chosen as the formalism for representing the (...) semantics of sentences, is presented. A twofold extension of theA–C concept language is investigated: (1) special relations introduce collective entities either out of their components or out of other collective entities, (2) plural quantifiers on collective relations specify their possible reading. The formal syntax and semantics of the concept language is given, together with a sound and complete algorithm to compute satisfiability and subsumption of concepts, and to compute recognition of individuals. (shrink)

This paper examines taxonomy comparison from a cognitive perspective. Arguments are developed by drawing on the results of cognitive psychology, which reveal the cognitive mechanisms behind the practice of taxonomy comparison. The taxonomic change in 19th-century ornithology is also used to uncover the historical practice that ornithologists employed in the revision of the classification of birds. On the basis of cognitive and historical analyses, I argue that incommensurable taxonomies can be compared rationally. Using a frame model to represent taxonomy, I (...) show how rational comparisons were achieved in the historical case through compatible contrast sets and attribute lists. Through analyzing the cognitive processes of classification and concept representation, I further explain how rival taxonomies in the historical case could be rationally compared on ‘platforms’ rooted in such cognitive mechanisms as relational assumptions and preferences for body parts in conceptual processing. (shrink)

A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the biological sciences, mechanistic, structuralist, and historical explanations are part-whole explanations. Each expresses different norms, explananda, and aims. Each is associated with a distinct partitioning frame for abstracting kinds of parts. These three explanatory projects can be complemented in order to provide an integrative vision of the whole system, as is shown for a detailed case study: (...) the tetrapod limb. My diagnosis of part-whole explanation in the biological sciences as well as in other domains exploring evolved, complex, and integrated systems (e.g., psychology and cognitive science) cross-cuts standard philosophical categories of explanation: causal explanation and explanation as unification. Part-whole explanation is itself one essential aspect of part-whole science. (shrink)

The Ancient Egyptian hieroglyphic script contains data that shed light on 3 major issues central to current metaphor studies: (a) Where is metaphor, that is, is metaphor linguistic or conceptual? (b) If metaphor is indeed conceptual, does metaphor understanding entail creation of an ad hoc category in which the vehicle is a particularly good exemplar? (c) Is metaphor processing primarily dependent on the identification and activation of the underlying "deep structure" conceptual metaphor? The script includes an elaborate system of classifiers (...) that constitute an intensely motivated, highly constrained categorization system strictly referring to conceptual, nonlinguistic configurations. The Egyptian system is a prototype-centered classification system, from which metaphor clearly emerges as a form of alternative classification. (shrink)

The theory of frames has recently been proposed as a universal format for knowledge representation in language, cognition and science. Frames represent categories as well as individual objects and events in terms of recursive attribute-value structures. In this paper, we would like to explore the potential ontological commitments of frame-based knowledge representations, with particular emphasis on the ontological status of the possessors of quality attributes in individual object frames. While not strictly incompatible with nominalistic, bundle- or substratum-theoretic approaches to the (...) metaphysics of particular objects, it will be argued that representing objects in terms of attribute-value structures is more in accordance with a tradition that can be traced back to Aristotle’s doctrine of physical substances. Attributes appear to describe primary potentialities of objects, which, in the Aristotelian view, are the unchangeable nature or essence, hence substance, of any separate object. (shrink)

The paper presents a logical framework formalising the main insights of the psychological theory of concepts developed by Lawrence Barsalou. The framework is established within the context of Common Logic as a logical theory in the axiomatic manner. Its semantic characterisation is provided and shown to be sound and incomplete with respect to the class of its models.

We investigate the hypothesis that our conceptual systems provide two formally distinct ways of representing categories by investigating the manner in which lexical nominals (e.g., tree, picnic table) and phrasal nominals (e.g., black bird, birds that like rice) are interpreted. Four experiments found that lexical nominals may be mapped onto kind representations, whereas phrasal nominals map onto class representations but not kind representations. Experiment 1 found that phrasal nominals, unlike lexical nominals, are mapped onto categories whose members need not be (...) of a single kind. Experiments 2 and 3 found that categories named by lexical nominals enter into both class inclusion and kind hierarchies and thus support both class inclusion (is a) and kind specification (kind of) relations, whereas phrasal nominals map onto class representations which support only class inclusion relations. Experiment 4 showed that the two types of nominals represent hierarchical relations in different ways. Phrasal nominals (e.g., white bear) are mapped onto classes that have criteria of membership in addition to those specified by the class picked out by the head noun of the phrase (e.g., bear). In contrast, lexical nominals (e.g., polar bear) specify one way to meet the criteria specified by the more general kind concept (e.g., bear). Implications for the language–conceptual system interface, representation of hierarchical relations, lexicalization, and theories of conceptual combination are discussed. (shrink)

Since the early 1980s, metonymy has progressively gained central stage in linguistic investigations. The advent of cognitive linguistics marked a new turn in the study of this trope conceived, not as a deviation from semantic conventions, but as a phenomenon rooted in non-language-specific mechanisms of conceptualization of the world. Acknowledging that metonymy is ultimately cognitive in nature, this paper proposes to consider metonymy from its multiple levels of manifestation, integrating cognitive, pragmatic, semantic, but also ontological angles of approach. Taking whole-for-part (...) metonymies as a case study, I aim to show how recent developments within these respective disciplines can enrich our understanding of such metonymic mechanisms, sometimes without even identifying them as such. This paper proposes to establish a dialog between these disciplines on the topic of WP-metonymy. So, after a presentation of the most standard cognitive and pragmatic approaches to WP-metonymy, I will argue for the relevance of recent semantic investigations on quantity gradability, and for the theoretical importance of keeping these two kinds of part-reference clearly apart. I will show that the literature on gradability provides strong semantic arguments for doing so. Finally, connecting the debate on WP-metonymy with the ontological debate on property inherence will open the way for a formal treatment of WP-metonymy within ground logic. (shrink)

Representing parthood relations in ORM has received little attention, despite its added-value of the semantics at the conceptual level. We introduce a high-level taxonomy of types of meronymic and mereological relations, use it to construct a decision procedure to determine which type of part- whole role is applicable, and incrementally add mandatory and uniqueness constraints. This enables the conceptual modeller to develop models that are closer to the real-world subject domain semantics, hence improve quality of the software.

This paper contains a formal theory of functional parthood. Since the relation of functional parthood is defined here by means of the notion of design, the theory of functional parthood turns out to be a theory of design. The formal theory of design I defend here is a result of introducing a number of constraints that are to express the rational aspects of designing practice. The ontological background for the theory is provided by a conception of states of affairs. The (...) theory is accompanied with a formal model. I prove that the theory is sound and complete with respect to this model. (shrink)

Simple locative sentences show a variety of pseudo-quantificational interpretations. Some locatives give the impression of universal quantification over parts of objects, others involve existential quantification, and yet others cannot be characterized by either of these quantificational terms. This behavior is explained by virtually all semantic theories of locatives. What has not been previously observed is that similar quantificational variability is also exhibited by locative sentences containing indefinites with the ‘a’ article. This phenomenon is especially problematic for traditional existential treatments of (...) indefinites. We propose a solution where indefinites denote properties and are assigned locations similarly to other spatial descriptions. This Property-Eigenspace Hypothesis accounts for the correlation between the interpretations of locative indefinites and the pseudo-quantificational effects with simple entity-denoting NPs. Thereby, the proposal opens up a new empirical domain for property-based theories of indefinites, with implications for the analysis of collective descriptions, generics, negative polarity items and part–whole structure. (shrink)

Expressions designating collectives, such as “the committee” or “the ships in the port”, may be interpreted de re or de dicto, depending on context, according as they pick out collectives defined by their members or collectives defined by some criterion for membership. We call these E-collectives and I-collectives respectively, and in this paper we explore in depth the relationship between these two categories. In particular, we identify important respects in which they differ, regarding the nature of the dependence of the (...) collective on its members, the nature of the parthood relation in which the members stand to the whole, and, from an application perspective, the different methods used for identifying the two forms of collective from large spatio-temporal data-sets. (shrink)

This paper investigates the revolutionary conceptual changes that took place when the phlogiston theory of Stahl was replaced by the oxygen theory of Lavoisier. Using techniques drawn from artificial intelligence, it represents the crucial stages in Lavoisier's conceptual development from 1772 to 1789. It then sketches a computational theory of conceptual change to account for Lavoisier's discovery of the oxygen theory and for the replacement of the phlogiston theory.

Since G. E. Moore introduced his concept of organic unity there has been some discussion of how one should best understand this notion and whether there actually are any organic unities in the Moorean sense. Such discussions do however often put general questions about part-whole relations to the side and tend to focus on interpreting our intuitive responses to possible cases of organic unity. In this paper the focus lies on the part-whole relation in valuable wholes and it is suggested (...) that we should distinguish between two kinds of wholes, collections and complex unities, where the latter can involve values that do not pass on their value to the greater whole in which they are included. Given this distinction we are then able to distinguish between two kinds of organic unity phenomena, the first involving a form of goodness that emerges on the level of the whole, the second involving a form of goodness that is embedded on the level of parts. In order to properly understand the latter form of goodness, there is also a need to distinguish final value from inherent value. (shrink)

La struttura a livelli modella il tutto e le sue parti con grande generalità. Lo dimostrano le argomentazioni teoriche (4.3), (4.4) e (4.5), e lo comprova la casistica che è stata aggiunta. Una tale struttura non presenta affatto i problemi a), b) e c) che sono tipici della struttura ad albero. Essa corregge inoltre deviazioni concettuali che sono diffuse nel settore informatico. L’immediatezza deviazioni concettuali che sono diffuse nel settore informatico. L’immediatezza visiva, infine, ne facilita la diffusione sul piano professionale (...) e tecnico.Per concludere, ritengo che la struttura a livelli possa fornire un contributo anche alle ricerche di ontologia e in particolare possa favorire i tentativi di unificazione condotti sia sul piano teorico, sia su quello applicativo [Uschold 1996]. Le difficoltà ed i limiti che la teoria degli insiemi oppone ad un formalismo generale (ad esempio quando riduce la casistica della relazione concetto di livello possiede una valenza estremamente ampia e ciò lo predispone per gli auspicati sviluppi ontologici. (shrink)