Barry Smith

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.

Consider a game of blind chess between two chess masters that is recorded in some standard chess notation. The recording is a representation of the game. But what is the game itself? This question is, we believe, central to the entire domain of social ontology. We argue that the recorded game is a special sort of quasi-abstract pattern, something that is: (i) like abstract entities such as numbers or forms, in that it is both nonphysical and nonpsychological; but at the same time, (ii) through its association with specific players and a specific occasion, tied to time and history. We discover other abstract patterns of this sort especially in the domains of law and commerce. This essay draws on the work in social ontology, we of Hernando de Soto and of John Searle to develop an ontology of the social world based on an analysis of the peculiar interdependence between quasi-abstract patterns and their representations in documents of different sorts.

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities.

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.

We defend a view according to which Austrian economics rests on what can most properly be called an Aristotelian methodology. This implies a realist perspective, according to which the world exists independently of our thinking and reasoning activities; an essentialist perspective, according to which the world contains certain simple essences or natures which may come together in law-like ways to form more complex static and dynamic wholes, and an apriorist perspective, according to which given essences and essential structures are intelligible, in the sense that they ca be grasped non-inductively in our thinking. We show the consequences of this view for an analysis of the thinking of Mises and Hoppe, both of which – we claim – incorporate what we believe to be foreign mixtures of Kantianism in their account of the foundations of Austrian economics.

Die zeitgenössischen Philosophen haben zwar der Sprache, die wir verwenden, um die Welt der alltäglichen Erfahrung zu beschreiben oder um uns in dieser Welt zurechtzufinden, große Aufmerksamkeit geschenkt, sie haben sich jedoch – von einigen Ausnahmen abgesehen – geweigert, diese Welt selbst als passendes Objekt theoretischer Betrachtungen anzusehen. Im folgenden werde ich versuchen zu zeigen, wie es möglich ist, die Common-Sense-Welt als ontologisch eigenständiges Untersuchungsobjekt zu verstehen. Gleichzeitig werde ich mich bemühen, deutlich zu zeigen, wie eine solch eigenständige Behandlung uns möglicherweise hilft, die Strukturen sowohl der physikalischen Welt als auch der menschlichen Erkenntnis philosophisch besser zu verstehen.

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.

The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovation. We believe that ontology applied to engineering (OE) represents a viable strategy for the alignment, reconciliation and integration of diverse and disparate data. The scope of OE includes: consistent capture of knowledge pertaining to the types of entities involved; facilitation of cooperation among diverse group of experts; more effective ongoing curation, and update of manufacturing data; collaborative design and knowledge reuse. As an illustrative case study we propose an ontology focused on the representation of composite materials focusing in particular on the class of Functionally Graded Materials (FGM) in particular. The scope of the ontology is to provide information about the components of such materials, the manufacturing processes involved in creation, and diversity of application ranging from additive manufacturing to restorative dentistry. The ontology is developed using Basic Formal Ontology (BFO) and the Ontology for Biomedical Investigations (OBI).

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a banks computers, however, the formula fails, because these are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account.

Neo-Kantianism is common conceived as a philosophy ‘from above’, excelling in speculative constructions – as opposed to the attitude of patient description which is exemplified by the phenomenological turn ‘to the things themselves’. When we study the work of Emil Lask in its relation to that of Husserl and the phenomenologists, however, and when we examine the influences moving in both directions, then we discover that this idea of a radical opposition is misconceived. Lask himself was influenced especially by Husserl’s Logical Investigations, and Husserl, especially in his later writings, was in some respects closer to Kant than were the Neo-Kantians. The contrast between the two philosophers can be illustrated by looking at their view of the objects of judgment; for Lask, as for Kant, judgment can relate to the thing as such only in an indirect way. The world of judgment is a collection of ‘imitations holding a secondary position’. It is cut apart from the plain world of real things by what Lask calls a ‘chasm of artificiality and imagery’. For Husserl, in contrast, the object of judgment is a ‘Sachverhalt’ or state of affairs, something ontologically ‘positive’ in the sense that it is an entity in its own right and does not point beyond itself in the manner of a mere sign or proxy for something else.

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.

Ontologies describe reality in specific domains in ways that can bridge various disciplines and languages. They allow easier access and integration of information that is collected by different groups. Ontologies are currently used in the biomedical sciences, geography, and law. A Biomedical Ethics Ontology would benefit members of ethics committees who deal with protocols and consent forms spanning numerous fields of inquiry. There already exists the Ontology for Biomedical Investigations (OBI); the proposed BMEO would interoperate with OBI, creating a powerful information tool. We define a domain ontology and begin to construct a BMEO, focused on the process of evaluating human research protocols. Finally, we show how our BMEO can have practical applications for ethics committees. This paper describes ongoing research and a strategy for its broader continuation and cooperation.

The Universal Core (UCore) is a central element of the National Information Sharing Strategy that is supported by multiple U.S. Federal Government Departments, by the intelligence community, and by a number of other national and international institutions. The goal of the UCore initiative is to foster information sharing by means of an XML schema providing consensus representations for four groups of universally understood terms under the headings who, what, when, and where. We here describe a project to create an ontology-based supporting layer for UCore, entitled ‘Universal Core Semantic Layer’ (UCore SL), and describe how UCore SL can be applied to further UCore’s information sharing goals.

The Information Artifact Ontology (IAO) was created to serve as a domain‐neutral resource for the representation of types of information content entities (ICEs) such as documents, data‐bases, and digital im‐ages. We identify a series of problems with the current version of the IAO and suggest solutions designed to advance our understanding of the relations between ICEs and associated cognitive representations in the minds of human subjects. This requires embedding IAO in a larger framework of ontologies, including most importantly the Mental Func‐tioning Ontology (MFO). It also requires a careful treatment of the aboutness relations between ICEs and associated cognitive representa‐tions and their targets in reality, which implies in turn a new treatment of the relation of truthmaking.

The Handbook of Metaphysics and Ontology reflects the conviction that the history of metaphysics and current work in metaphysics and ontology can each throw valuable light on the other. Thus it is designed to serve both äs a means of making more widely accessible the results of recent scholarship in the history of philosophy, and also äs a unique work of reference in reladon to the metaphysical themes at the centre of much current debate in analyüc philosophy. The work contains more man 450 shorter articies on specific themes and methods in metaphysics and ontology, together with biographical essays summarizing the thinking of the most important philosophers within the traditions dealt with. In addition, it contains about 20 longer survey arücles mapping out both historically and systemadcally the main areas of metaphysics and ontology. AU contributions have been speciaüy commissioned for this project from leading authorities in their respective fields. A special feature of the work is the pardcular attention that is paid to topics and issues of relevance to contemporary philosophical debates. The work includes also a series of arücles on the logical and mathematical tools of metaphysics and on the applications of metaphysical ideas within linguisdcs, psychology, cognitive science, and mathemadcs.

Un mince fil dans la vaste littérature sur Kafka concerne la connaissance qu’avait Kafka de la philosophie, et plus précisément l’utilisation, dans les récits de Kafka, de quelques-unes des idées principales de Franz Brentano. Kafka a suivi des cours de philosophie à l’Université Charles, cours donnés par des étudiants de Brentano, Anton Marty et Christian von Ehrenfels. Il fut aussi, pendant plusieurs années, membre d’un groupe de discussion organisé par des partisans orthodoxes de la philosophie brentanienne à Prague. Le présent essai résume ce que l’on sait des relations entretenues par Kafka avec le mouvement brentanien. Il porte sur les idées brentaniennes qui concernent l’évidence de la perception intérieure, la conscience oblique, l’introspection active, le jugement correct et incorrect et la conscience en tant qu’espèce de tribunal intérieur, dans le but d’éclairer certains aspects centraux de l’œuvre de Kafka, incluant son style. Nous porterons une attention particulière sur Die Verwandlung et Der Prozess , et nous offrirons une interprétation de ce dernier texte selon laquelle le procès de Joseph K. se passe entièrement dans l’esprit de K. lui-même.

On March 14-15, 2006, at the US National Institute of Standards and Technology (NIST) in Gaithersburg, MD there took place the first Upper Ontology Summit (UOS). This was a convening of custodians of several prominent upper ontologies, key technology participants, and interested other parties, with the purpose of finding a means to relate the different ontologies to each other. The result is reflected in a joint communiqué, directed to the larger ontology community and the general public, and expressing a joint intent to build bridges among the existing upper ontologies in ways designed to increase and rationalize their utilization and to enhance their semantic interoperability.

The theory of document acts is an extension of the more traditional theory of speech acts advanced by Austin and Searle. It is designed to do justice to the ways in which documents can be used to bring about a variety of effects in virtue of the fact that, where speech is evanescent, documents are continuant entities. This means that documents can be preserved in such a way that they can be inspected and modified at successive points in time and grouped together into enduring document complexes. We outline some components of a theory of document acts, and show how it can throw light on certain problems in Searle’s ontology of social reality.

Biomedical ontologies exist to serve integration of clinical and experimental data, and it is critical to their success that they be put to widespread use in the annotation of data. How, then, can ontologies achieve the sort of user-friendliness, reliability, cost-effectiveness, and breadth of coverage that is necessary to ensure extensive usage? Methods: Our focus here is on two different sets of answers to these questions that have been proposed, on the one hand in medicine, by the SNOMED CT community, and on the other hand in biology, by the OBO Foundry. We address more specifically the issue as to how adherence to certain development principles can advance the usability and effectiveness of an ontology or terminology resource, for example by allowing more accurate maintenance, more reliable application, and more efficient interoperation with other ontologies and information resources. Results: SNOMED CT and the OBO Foundry differ considerably in their general approach.Nevertheless, a general trend towards more formal rigor and cross-domain interoperability can be seen in both and we argue that this trend should be accepted by all similar initiatives in the future. Conclusions: Future efforts in ontology development have to address the need for harmonization and integration of ontologies across disciplinary borders, and for this, coherent formalization of ontologies is a prerequisite.

There is a narrow thread in the vast literature on Kafka which pertains to Kafka’s knowledge of philosophy, and more precisely to Kafka’s use in his fictional writings of some of the main ideas of Franz Brentano. Kafka attended courses in philosophy at the Charles University given by Brentano’s students Anton Marty and Christian von Ehrenfels, and was for several years a member of a discussion-group organized by orthodox adherents of the Brentanian philosophy in Prague. The present essay summarizes what is known about Kafka’s relations to the Brentanist movement. It draws on Brentanian ideas on the evidence of inner perception, on oblique consciousness, on active introspection, on correct and incorrect judgment, and on consciousness as a species of inner tribunal, in order to throw light on central features of Kafka’s writings, including stylistic features. Special attention is directed towards Die Verwandlung and Der Prozess, and a reading of the latter is offered according to which the trial of Joseph K. occurs entirely within the mind of K. himself. The revisions in the 1997 version of the paper relate especially to the treatment of Kafka and Brentano in Arnold Heidsieck’s book The Intellectual Contexts of Kafka’s Fiction: Philosophy, Law, Religion of 1994.

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to in the literature as ‘approximation’.

For much of the first fifty years of its existence, analytic philosophy shunned discussions of normativity and ethics. Ethical statements were considered as pseudo-propositions, or as expressions of pro- or con-attitudes of minor theoretical significance. Nowadays, in contrast, prominent analytic philosophers pay close attention to normative problems. Here we focus our attention on the work of Searle, at the same time drawing out an important connection between Searle’s work and that of two other seminal figures in this development: H.L.A. Hart and John Rawls. We show that all three thinkers tend to assume that there is but one type of normativity within the realm of social institutions – roughly, the sort of normativity that is involved in following the results of chess – and that they thereby neglect features that are of crucial significance for an adequate understanding of social reality.

We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri and metadata registries, thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning.

Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined by the nation or culture to which a philosopher belongs, rather than by the objective value of that philosopher’s work. Progress in philosophy can only be attained by avoiding these pitfalls.

The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, which may however provide general lessons for the developers of ontologies in the future.

‘Eruv’ is a Hebrew word meaning literally ‘mixture’ or ‘mingling’. An eruv is an urban region demarcated within a larger urban region by means of a boundary made up of telephone wires or similar markers. Through the creation of the eruv, the smaller region is turned symbolically (halachically = according to Jewish law) into a private domain. So long as they remain within the boundaries of the eruv, Orthodox Jews may engage in activities that would otherwise be prohibited on the Sabbath, such as pushing prams or wheelchairs, or carrying walking sticks. There are eruvim in many towns and university campuses throughout the world. There are five eruvim in Chicago, five in Brooklyn, twenty three in Queens and Long Island, and at least three in Manhattan. The US Supreme Court is (like most other major US Federal Government buildings) located within the eruv of Washington DC. In many cases, not all of those living within or near the area of an actual or proposed eruv will themselves be Orthodox Jews, and this has sometimes led to protests against eruv creation. It is such protests which triggered the writing of this essay.

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, because these are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account.