Mereology

The emerging field of quantum mereology considers part-whole relations in quantum systems. Entangled quantum systems pose a peculiar problem in the field, since their total states are not reducible to that of their parts. While there exist several established proposals for modelling entangled systems, like monistic holism or relational holism, there is considerable unclarity, which further positions are available. Using the lambda operator and plural logic as formal tools, we review and develop conceivable models and evaluate their consistency and distinctness. (...) The main result is an exhaustive taxonomy of six distinct and precise models that both provide information about the mereological features as well as about the entangled property. The taxonomy is well-suited to serve as the basis for future systematic investigations. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find self-evident) (...) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. The ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But these ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, we shall argue, ontologies such as the GO are comparable to scientific theories, to scientific databases, or to scientific journal publications. Such a view implies a radically new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a radically new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

A number of philosophers have argued in favour of extended simples on the grounds that they are needed by fundamental physics. The arguments typically appeal to theories of quantum gravity. To date, the argument in favour of extended simples has ignored the fact that the very existence of spacetime is put under pressure by quantum gravity. We thus consider the case for extended simples in the context of different views on the existence of spacetime. We show that the case for (...) extended simples based on physics is far more complex than has been previously thought. We present and then map this complexity, in order to present a much more textured picture of the argument for extended simples. (shrink)

Most of the theories of location on the market appear to be ideologically parsimonious at least in the sense that they take as primitive just one locative notion and define all the other locative notions in terms of it. Recently, however, the possibility of some exotic metaphysical scenarios involving gunky mixtures and extended simple regions of space has been argued to pose a significant threat to parsimonious theories of locations. The aim of this paper is to show that a theory (...) taking as primitive a notion of plural pervasive location and allowing for irreducibly plural locative facts can account for all the putatively problematic scenarios for parsimonious theories of location. Furthermore, I will also argue that the notion of plural pervasive location is compatible with the possibility of multilocation. (shrink)

What is the relationship between objects and properties? According to a standard view, there are primitive individuals that ‘instantiate’ or ‘have’ various properties. According to a rival view, objects are mere ‘bundles’ of properties. While there are a number of reasons to be skeptical of primitive individuals, there are also a number of challenges that the bundle theorist faces. The goal of this paper is to formulate a view about the relationship between objects and properties that avoids many of the (...) problems inherent in both of these views. The view I will end up defending implies a particularly radical version of Monism, and it collapses the object-property distinction altogether. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

In a series of publications, L. A. Paul has defended a version of the bundle theory according to which material objects are nothing but mereological sums of ‘their’ properties. This ‘mereological’ bundle theory improves in important ways on earlier bundle theories, but here I present a new argument against it. The argument is roughly this: 1) Material objects occupy space; 2) even if properties have spatial characteristics, they do not quite occupy space; 3) on no plausible construal of mereological composition (...) does a mereological sum of non-space-occupying entities occupy space; therefore, 4) material objects are not mereological sums of properties. (shrink)

Amie Thomasson challenges advocates of layered conceptions of reality to explain “how layers are distinguished” and “what holds them together” by “examining the world” (2014). One strategy for answering such questions is mereological, treating inter-layer relations as parthood relations, where layers exist whenever composition does, and the number of layers will be equivalent to the number of answers to Peter Van Inwagen’s Special Composition Question, while answers to his General Composition Question explain what holds the layers together (1987). Various answers (...) have been proffered for these questions, from the physicalist atomism of Richard Feynman (2015), Hilary Putnam (1958), and Kit Fine (1992) to the holism of Jonathan Schaffer (2010), the two-layer emergentism of Van Inwagen himself (1995), Tim Maudlin’s three-layered “flash ontology” (2011), and Rob Koons two-layered “thermal substances” (2019). In this PhD project, I seek to meet Thomasson’s challenge by identifying which of these proposals are compatible with plausible interpretations of quantum physics. Atomist answers may have difficulty with relativity, while holistic and emergentist models have trouble giving an account of experimental conditions. Maudlin and Koons’ views, meanwhile, may make testable predictions about the scope of entanglement. Examining the world can lead us to sharply winnow our theories about how layers are distinguished and what holds them together. (shrink)

In common treatments of deontic logic, the obligatory is what's true in all deontically ideal possible worlds. In this article, I offer a new semantics for Standard Deontic Logic with Leibnizian intensions rather than possible worlds. Even though the new semantics furnishes models that resemble Venn diagrams, the semantics captures the strong soundness and completeness of Standard Deontic Logic. Since, unlike possible worlds, many Leibnizian intensions are not maximally consistent entities, we can amend the semantics to invalidate the inference rule (...) which ensures that all tautologies are obligatory. I sketch this amended semantics to show how it invalidates the rule in a new way. (shrink)

In this paper I offer an argument against one important version of panentheism, that is, mereological panentheism. Although panentheism has proven difficult to define, I provide a working definition of the view, and proceed to argue that given this way of thinking about the doctrine, mereological accounts of panentheism have serious theological drawbacks. I then explore some of these theological drawbacks. In a concluding section I give some reasons for thinking that the classical theistic alternative to panentheism is preferable, all (...) things considered. (shrink)

In “On Drawing Lines on a Map” (1995), I suggested that the different ways we have of drawing lines on maps open up a new perspective on ontology, resting on a distinction between two sorts of boundaries: fiat and bona fide. “Fiat” means, roughly: human-demarcation-induced. “Bona fide” means, again roughly: a boundary constituted by some real physical discontinuity. I presented a general typology of boundaries based on this opposition and showed how it generates a corresponding typology of the different sorts (...) of objects which boundaries determine or demarcate. In this paper, I describe how the theory of fiat boundaries has evolved since 1995, how it has been applied in areas such as property law and political geography, and how it is being used in contemporary work in formal and applied ontology, especially within the framework of Basic Formal Ontology. (shrink)

While there is a growing philosophical interest in analysing olfactory experiences, the mereological structure of odours considered in respect of how they are perceptually experienced has not yet been extensively investigated. The paper argues that odours are perceptually experienced as having a mereological structure, but this structure is significantly different from the spatial mereological structure of visually experienced objects. Most importantly, in the case of the olfactory part-structure, the classical weak supplementation principle is not satisfied. This thesis is justified by (...) referring to empirical results in olfactory science concerning the human ability to identify components in complex olfactory stimuli. Further, it is shown how differences between olfactory and visual mereologies may arise from the way in which these modalities represent space. (shrink)

A Norwegian translation is here offered of Eugenie Ginsberg’s paper «Zur Husserlschen Lehre von den Ganzen und den Teilen» (in Archiv für systematische Philosophie und Soziologie 32, 1929, 108–120). The paper discusses Husserl’s six theorems from Logical Investigations III, §14. Ginsberg provides new proofs for theorems 1 and 3, and also endorses theorem 5. In contrast, a counter example is given to theorems 2, 4, and 6: However, proofs are supplied for a modified version of these theorems. Furthermore, an additional (...) three theorems are defended based upon Ginsberg’s modified theorems. Also, a brief introduction is given discussing Ginsberg’s pioneering role as part of the Lvov-Warsaw school—in spite of her being murdered by the Nazis in 1942—especially her role as the first commentator on Husserl’s third logical investigations, which is a pioneering work on mereology and ontology; but also her later publication from 1931 where she developed several notions of ontological dependence (for instance foreshadowing the work of Roman Ingarden as well as Kit Fine). (shrink)

This paper is concerned with the paradox of decrease. Its aim is to defend the answer to this puzzle that was propounded by its originator, namely, the Stoic philosopher Chrysippus. The main trouble with this answer to the paradox is that it has the seemingly problematic implication that a material thing could perish due merely to extrinsic change. It follows that in order to defend Chrysippus’ answer to the paradox, one has to explain how it could be that Theon is (...) destroyed by the amputation without changing intrinsically. In this paper, I shall answer this challenge by appealing to the broadly Aristotelian idea that at least some of the proper parts of a material substance are ontologically dependent on that substance. I will also appeal to this idea in order to offer a new solution to the structurally similar paradox of increase. In this way, we will end up with a unified solution to two structurally similar paradoxes. (shrink)

Concrete particular objects (e.g., living organisms) figure saliently in our everyday experience as well as our in our scientific theorizing about the world. A hylomorphic analysis of concrete particular objects holds that these entities are, in some sense, compounds of matter (hūlē) and form (morphē or eidos). The Grounding Problem asks why an object and its matter (e.g., a statue and the clay that constitutes it) can apparently differ with respect to certain of their properties (e.g., the clay’s ability to (...) survive being squashed, as compared to the statue’s inability to do so), even though they are otherwise so much alike. In this paper, I argue that a hylomorphic analysis of concrete particular objects, in conjunction with a non-modal conception of essence of the type encountered for example in the works of Aristotle and Kit Fine, has the resources to yield a solution to the Grounding Problem. (shrink)

These PhD Dissertation published as a book is a research on Metaphysics about the problem of Multiplicity explained by its principles on the grounds of Aristotle's Metaphysics focused on substance and metaphysical thought of Aquinas. According to Aquinas the multitude of forms are the cause of multiplicity of beings. Super Boethium De Trinitate has an importan treatment of matter and form as causes of substantial identity, of substance's non-being and something else and be a this. Therefore the multiplicity of beings (...) is not explained only by virtue of the diversity of matter or by virtue of the susceptive subject. The main cause is the division of forms. (shrink)

In the visual representation of ontologies, in particular of part-whole relationships, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations, and we propose instead a new representation of part-whole structures for ontologies, and describe the results of experiments designed to show the effectiveness of this new proposal especially as concerns reduction of visual complexity. The proposal is developed to serve visualization of ontologies conformant to the (...) Basic Formal Ontology. But it can be used also for more general applications, particularly in the biomedical domain. (shrink)

In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities.

This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view falls under a (...) ‘nonmaterial partist’ class of views that includes, in particular, Laurie Paul’s and Kathrin Koslicki’s constitution views; ones where material objects have properties or structures as parts respectively. The article gives reasons for preferring the non-concretist solution over these other non-material partist views and defends it against objections. (shrink)

L'articolo usa la teoria delle parti, del tutto e dei contomi per elaborare alcune relazioni cruciali tra la «psicologia ecologica» di J.J. Gibson e la fenomenologia di Husserl. Presenta, inoltre, una teoria ontologica dei contomi spaziali e delle entita spazialmente estese, applicandola al cam po visivo, qui concepito come un' entita spazialmente estesa dipendente dal soggetto che percepisce. Su questa base e possibile formulare un nuovo tipo di definizione teoretico-correspondentista della verita per gli enunciati del linguaggio naturale.

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (...) (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. (shrink)

In 'Aboutness' (MIT Press 2014), Yablo argues for the importance of the notions of partial content and partial truth. This paper argues that they are involved in a much greater range of entities than acknowledged by Yablo. The paper also argues that some of those entities involve a notion of partial satisfaction as well as partial existence (validity).

This paper explores a special kind of loop of grounding: cosmic loops. A cosmic loop is a loop that intuitively requires us to go "around" the entire universe to come back to the original ground. After describing several kinds of cosmic loop scenarios, I will discuss what we can learn from these scenarios about constraints on grounding; the conceivability of cosmic loops; the possibility of cosmic loops; and the prospects for salvaging local reflexivity, asymmetry and transitivity of grounding in a (...) world containing a cosmic loop of ground. The considerations raised in this paper also bear on what we should think about relations that are meant to support grounding relations: in particular, revisions to theories of the part-whole relation are discussed. (shrink)

Given the assertion of a relation between two types, like: “Epidermis has part some Keratinocyte”, we define silent change as any kind of change of the instance-relata of the relation in question that does not change the truth-value of the respective type-level assertion. Such assertions are notoriously difficult to model in OWL 2. To address this problem, we distinguish different modes of type-level relatedness giving rise to this problem and describe a conservative extension to the BFO top-level ontology that allows (...) expressing these modes. (shrink)

Formal ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.

Aristotle introduced in the history of the reception of Anaxagoras the term “homoiomerous.” This word refers to substances whose parts are similar to each other and to the whole. Although Aristotle’s explanations can be puzzling, the term “homoiomerous” may explain an authentic aspect of Anaxagoras’ doctrine reflected in the fragments of his work. Perhaps one should find a specific meaning for the term “homoiomerous” in Anaxagoras, somewhat different from the one present in Aristotle. This requires a review of the sense (...) of the two terms involved in it: “homoios” and “moira.” In other words, the following questions should be answered: what realities are named parts and to what whole do they belong? On the other hand, which similarity do they have to each another and to the whole? The author concludes that the parts are “all things,” which resemble each other and the universe as a whole because, according to Anaxagoras, they are all composed of all things. (shrink)

Rose and Schaffer (forthcoming) argue that teleological thinking has a substantial influence on folk intuitions about composition. They take this to show (i) that we should not rely on folk intuitions about composition and (ii) that we therefore should not reject theories of composition on the basis of intuitions about composition. We cast doubt on the teleological interpretation of folk judgments about composition; we show how their debunking argument can be resisted, even on the assumption that folk intuitions have a (...) teleological source; and we argue that, even if folk intuitions about composition carry no weight, theories of composition can still be rejected on the basis of the intuitions of metaphysicians. (shrink)

We provide a detailed exposition of Brentano’s descriptive psychology, focusing on the unity of consciousness, the modes of connection and the types of part, including separable parts, distinctive parts, logical parts and what Brentano calls modificational quasi-parts. We also deal with Brentano’s account of the objects of sensation and the experience of time.

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

The Plant Ontology (PO; http://www.plantontology.org/) is a publicly-available, collaborative effort to develop and maintain a controlled, structured vocabulary (“ontology”) of terms to describe plant anatomy, morphology and the stages of plant development. The goals of the PO are to link (annotate) gene expression and phenotype data to plant structures and stages of plant development, using the data model adopted by the Gene Ontology. From its original design covering only rice, maize and Arabidopsis, the scope of the PO has been expanded (...) to include all green plants. The PO was the first multi-species anatomy ontology developed for the annotation of genes and phenotypes. Also, to our knowledge, it was one of the first biological ontologies that provides translations (via synonyms) in non-English languages such as Japanese and Spanish. There are about 2.2 million annotations linking PO terms to over 110,000 unique data objects representing genes or gene models, proteins, RNAs, germplasm and Quantitative Traits Loci (QTLs) from 22 plant species. In this paper, we focus on the plant anatomical entity branch of the PO, describing the organizing principles, resources available to users, and examples of how the PO is integrated into other plant genomics databases and web portals. We also provide two examples of comparative analyses, demonstrating how the ontology structure and PO-annotated data can be used to discover the patterns of expression of the LEAFY (LFY) and terpene synthase (TPS) gene homologs. (shrink)

As he recalls in his book Naive Physics, Paolo Bozzi’s experiments on naïve or phenomenological physics were partly inspired by Aristotle’s spokesman Simplicio in Galileo’s Dialogue. Aristotle’s ‘naïve’ views of physical reality reflect the ways in which we are disposed perceptually to organize the physical reality we see. In what follows I want to apply this idea to the notion of a group, a term which I shall apply as an umbrella expression embracing ordinary visible collections (of pieces of fruit (...) in the fruit bowl), but also families, populations, kinds, categories, species and genera. I will try to determine to what extent we can understand what groups, in this broad sense, have in common and how they are distinguished from two sorts of entities with which they are standardly confused, namely sets and wholes. (shrink)

The semantic function of the modifier 'together' in adnominal position has generally been considered to be that of preventing a distributive reading of the predicate. This paper will argue that this view is mistaken. The semantic function of adnominal 'together' rather is that of inducing a cumulative measurement of the group that together is associated with. The measurement-based analysis of adnominal together that I propose can also, with some modifications, be extended to adverbial occurrences of together.

This sketch of a perhaps future 'Elementary Theory of the Category of Mereological Sums (including Mereological Wholes and Parts)' relates to my previous papers "The Topos of Emergence" and "Intelligible Gunk". I assert that for successfully categorizing Mereology one has to start with a specific setting of gunk. In this paper we will give a sketch of a categorically version of particular mereological structures. I.e. we will follow the example of F.W.Lawvere’s “An elementary theory of the category of sets” -/- (...) where he introduced a categorised version of set theory. We refer to sirenians mainly for the reason that they are the closest living relatives of elephants. -/- But they are also rather underestimated creatures - at the first moment rather dull and clumsy, but moving gracefully and elegant in their natural habitat.And some sailors already reckognized their bewitching attraction before we did.Yet we still think this sirenia is a modest creature compared with the elephant in the room. (shrink)

Der folgende Vortrag hat zwei Teile. Teil 1 hat mit dem Internet zu tun und mit neuen Entwicklungen im Bereich des so genannten „ontological engineering“. Teil 2 hat zu tun mit der kantischen Philosophie und mit neuen Versuchen, diese Philosophie mit Hilfe der Quantenphysik zu unterstützen. Diese zwei Teile sind nicht vollkommen unabhängig voneinander, aber die Verbindung zwischen den zwei Teilen wird erst im Laufe des Vortrags klar werden.

From the point of view of Brentano’s philosophy, contemporary philosophy of mind presupposes an over-crude theory of the internal structures of mental acts and states and of the corresponding types of parts, unity and dependence. We here describe Brentano’s own account of the part-whole structures obtaining in the mental sphere, and show how it opens up new possibilities for mereological investigation. One feature of Brentano’s view is that the objects of experience are themselves parts of mind, so that there is (...) a sense in which for him (as e.g. for Leibniz) ontology is a proper part of rational or descriptive psychology. (shrink)

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...) the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism. (shrink)

A survey of theories of part, whole and dependence from Aristotle to the Gestalt psychologists, with special attention to Husserl’s Third Logical Investigation “On the Theory of Parts and Wholes”.

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine system, which are central to our understanding of human anatomy, and play a key role in diagnosis and in dynamic modeling as well as in medical pedagogy and computer visualization. But there is no explicit definition of what a bodily system is; such informality is acceptable in documentation created for human (...) beings, but falls short of what is needed for computer representations. Our analysis is intended as a first step towards filling this gap. (shrink)

This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

This paper gives a fIrst overview over the role of mereology the theory of parts and wholes - in semiotics. The mereology of four major semioticians - Husserl, Jakobson, Hjelmslev, and Peirce is presented briefly and its role in the overall architecture of each of their theories is outlined - with Brentano tradition as reference. Finally, an evaluation of the strength and weaknesses of the four is undertaken, and some guidelines for further research is proposed.

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 pivotal role of the relation part-of in the description of living organisms is widely acknowledged. Organisms are open systems, which means that in contradistinction to mechanical artifacts they are characterized by a continuous flow and exchange of matter. A closer analysis of the spatial relations in biological organisms reveals that the decision as to whether a given particular is part-of a second particular or whether it is only contained-in the second particular is often controversial. We here propose a rule-based (...) approach which allows us to decide on the basis of well-defined criteria which of the two relations holds between two anatomical objects, given that one spatially includes the other. We discuss the advantages and limitations of this approach, using concrete examples from human anatomy. (shrink)

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)

The Austrian philosopher Christian von Ehrenfels published his essay "On 'Gestalt Qualities'" in 1890. The essay initiated a current of thought which enjoyed a powerful position in the philosophy and psychology of the first half of this century and has more recently enjoyed a minor resurgence of interest in the area of cognitive science, above all in criticisms of the so-called 'strong programme' in artificial intelligence. The theory of Gestalt is of course associated most specifically with psychologists of the Berlin (...) school such as Max Wertheimer, Wolfgang Kohler and Kurt Koffka. We shall see in what follows, however, that an adequate philosophical understanding of the Gestalt idea and of Ehrenfels' achievement will require a close examination not merely of the work of the Berlin school but also of a much wider tradition in Austrian and German philosophy in general. (shrink)

Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality which allows us to simulate (and also to generalize) aspects of set theory within a mereotopological framework. This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called ‘consistent histories’ interpretation of (...) quantum mechanics. (shrink)