Barry Smith

This paper is a study of Brentano’s ontology, and more specifically of his theory of substance and accident as put forward toward the end of his life in the materials collected together as the Kategorienlehre or Theory of Categories. Here Brentano presents an auditious (re-)interpretation of Aristotle’s theory of substance and accidence. We show that on the Brentano initially defends, it is space which serves as the single substance upon which all other entities depend as accidents of space. In an appendix, however, Brentano puts forward an even more radical suggestion, inspired by the physics of Kelvin. According to this final view, space itself is an accident of a deeper substance: the present time.

Historical research has recently made it clear that, prior to Austin and Searle, the phenomenologist Adolf Reinach (1884-1917) developed a full-fledged theory of speech acts under the heading of what he called "social acts". He we consider a second instance of a speech act theory avant la lettre, which is to be found in the common sense philosophy of Thomas Reid (1710-1796). Reid’s s work, in contrast to that of Reinach, lacks both a unified approach and the detailed analyses of pertinent examples. But his writings leave no doubt that he is acutely aware of the very problems concerning language structure and use out of which contemporary speech act theory has evolved and that he goes a good way towards solving these problems in the spirit of the modern theory.

We describe an ontology of philosophy that is designed to aid navigation through philosophical literature, including literature in the form of encyclopedia articles and textbooks and in both printed and digital forms. The ontology is designed also to serve integration and structuring of data pertaining to the philosophical literature, and in the long term also to support reasoning about the provenance and contents of such literature, by providing a representation of the philosophical domain that is oriented around what philosophical literature is about

The authors outline the way in which documents as social objects have evolved from their earliest forms to the electronic documents of the present day. They note that while certain features have remained consistent, processes regarding document authentication are seriously complicated by the easy reproducibility of digital entities. The authors argue that electronic documents also raise significant questions concerning the theory of ‘documentality’ advanced by Maurizio Ferraris, especially given the fact that interactive documents seem to blur the distinctions between the static documents (or ‘inscriptions’) which form Ferraris’s starting point, and dynamic software processes. The authors argue further that the Ferraris view as applied to legal documents is flawed because of the fact that courts may treat contractual obligations as enduring even in spite of a complete absence of enduring inscriptions. Finally, the authors note that traces in brains, another important family of inscriptions (as Ferraris conceives them), differ significantly from genuinely documentary inscriptions by their lack of public inspectability.

In der klassischen Logik von Aristoteles bis Wolff findet sich eine durchgängige Parallelität von logischen (einschließlich grammatikalischen und psychologischen) und ontologischen Gebilden. Der Logiker beschäftigt sich mit Subjekt und Prädikat, aber gleichzeitig auch z.B. mit Substanz und Akzidenz als Entitäten in der Welt. Nach Kant begann für die Logik eine Phase, in der diese ontologische oder objektbezogene Seite verloren ging. Gegen Ende des 19. Jahrhunderts beginnt man dann aber wieder über die ontologischen Korrelate des Denkens und des Urteilens zu sprechen. Wir zeigen, dass diese Wiederbelebung der alten Logik mit der Einführung des Terminus ‘Sachverhalt’ in die Sprache der Philosophie verbunden ist.

The essay surveys recent developments in ontology and defends a strategy for improvement of ontologies based on ontological realism. As a thought experiment, we consider central theses of Aristotelian metaphysics, and show how they fall short of what we believe to be the requirements of ontology today. Above all, Aristotle provides us with no strategy for the reconciliation of common-sense realism and scientific realism where these diverge. We focus specifically on shortfalls in Aristotle’s treatment of individual accidents, especially in regard to the category of place. We then show how Aristotle’s metaphysics needs to be supplemented by a theory of holes, of fiat boundaries, of granularity, and of vagueness.

The term ‘Continental philosophy’ designates not philosophy on the continent of Europe as a whole, but rather a selective slice of Franco-German philosophy. Through a critical analysis of the arguments advanced by Otto Neurath, the paper addresses the issue of why Austrian philosophers in particular are not counted in the pantheon of Continental philosophers. Austrian philosophy is marked by the predominance of philosophical analysis and of the philosophy of science. The paper concludes that it is not Austria which is the special case when seen against the background of contemporary mainstream philosophy, but rather Germany and France.

Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a certain level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used.

The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new ontological relationship between a particular and a universal, which holds when no instance of the universal has a specific qualified ontological relation with the particular. This relation is found to be able to accommodate nearly all occurrences of negative findings in the examined sample, in ways which involve no reference to negative entities.

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness.

The influence of Kasimir Twardowski on modern Polish philosophy is all-pervasive. As is well known, almost all important 20th century Polish philosophers went through the hard training of his courses in Lvov. Twardowski instilled in his students an enduring concern for clarity and rigour. He taught them to regard philosophy as a collaborative effort, a matter of disciplined discussion and argument. And he encouraged them to work together with scientists from other disciplines — above all with psychologists, and also with mathematicians — so that the Lvov school of philosophy would gradually evolve into the Warsaw school of logic.

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.

Biomedical ontologies are emerging as critical tools in genomic and proteomic research where complex data in disparate resources need to be integrated. A number of ontologies exist that describe the properties that can be attributed to proteins; for example, protein functions are described by Gene Ontology, while human diseases are described by Disease Ontology. There is, however, a gap in the current set of ontologies—one that describes the protein entities themselves and their relationships. We have designed a PRotein Ontology (PRO) to facilitate protein annotation and to guide new experiments. The components of PRO extend from the classification of proteins on the basis of evolutionary relationships to the representation of the multiple protein forms of a gene (products generated by genetic variation, alternative splicing, proteolytic cleavage, and other post-translational modification). PRO will allow the specification of relationships between PRO, GO and other OBO Foundry ontologies. Here we describe the initial development of PRO, illustrated using human proteins from the TGF-beta signaling pathway.

Die Entwicklung der Philosophie in Österreich unterscheidet sich in markanter Weise von der Hauptlinie der philosophischen Entwicklung in Deutschland. Dabei fällt bei der österreichischen Philosophie vor allem die konsequente Orientierung an den Wissenschaften auf. In der philosophiegeschichtlichen Forschung sind für diese Besonderheit der österreichischen Philosophie z. B. von Otto Neurath, Rudolf Haller, Friedrich Stadier und J.C. Nyiri verschiedene Erklärungen vorgeschlagen worden. In diesen spielen in jeweils unterschiedlicher Weise Faktoren der spezifisch österreichischen Entwicklungen in historischer, institutioneller, politischer und religiöser Hinsicht eine Rolle. Der vorliegende Aufsatz kritisiert demgegenüber bereits die diese Erklärungsversuche tragende Fragestellung: Die philosophischen Entwicklungen in Österreich bedürfen - so lautet die neue These - gar nicht einer besonderen Erklärung; denn sie stellen den geistesgeschichtlichen Normalfall dar. Vielmehr ist eine Erklärung dafür notwendig, daß sich die wissenschaftliche Philosophie und die mit ihr verbundenen Charakterzüge stilistischer Klarheit, technischer Kompetenz, systematischer Orientierung, Spezialisierung und Professionalisierung im gleichen Zeitraum nicht auch in Deutschland entwickelt haben. Eine solche Erklärung läßt sich - so eine weitere These des Aufsatzes - ziemlich leicht aus der besonderen Rolle der (traditionellen idealistischen) Philosophie im deutschen Nationalbewußtsein herleiten.

In perceptual experience we are directed towards objects in a way which establishes a real relation between a mental act and its target. In reading works of fiction we enjoy experiences which manifest certain internal similarities to such relational acts, but which lack objects. The substitution theory of art attempts to provide a reason why we seek out such experiences and the artifacts which they generate. Briefly, we seek out works of art because we enjoy the physiology and the phenomenology of, for example, the experience of love or mountain climbing, and works of art serve as props for the promotion of substitutes for the corresponding genuine feelings. Art arose, or came to be separated out from other, related phenomena, through the discovery that the experience of substitute emotions can be pleasurable.

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for formal ontology. We provide examples to support this thesis from the domain of biomedicine.

In what respects is Western civilization superior or inferior to its rivals? In raising this question we are addressing a particularly strong form of the problem of relativism. For in order to compare civilizations one with another we would need to be in possession of a framework based on principles of evaluation which would be acceptable, in principle, to all human beings. Morality will surely provide one axis of such a framework (and we note in passing that believers in Islam might quite reasonably claim that their fellow-believers are characteristically more moral than are many in the West). Criteria such as material wellbeing, too, will need to play a role, as also will happiness or pleasure. Even happiness (pace some proponents of the utilitarian philosophy) comes in different types, and to count in the civilization stakes the happiness involved would presumably need to be of the right kind. We propose a specification for what this ‘right kind’ of happiness might be.

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for the theory and a provably sound axiomatization.

The pathbreaking scientific advances of recent years call for a new philosophical consideration of the fundamental categories of biology and its neighboring disciplines. Above all, the new information technologies used in biomedical research, and the necessity to master the continuously growing flood of data that is associated therewith, demand a profound and systematic reflection on the systematization and classification of biological data. This, however, demands robust theories of basic concepts such as kind, species, part, whole, function, process, fragment, sequence, expression, boundary, locus, environment, system, and so on. Concepts which belong to the implicit stock of knowledge of every biologist. They amount to a dimension of biological reality which remains constant in the course of biological evolution and whose theoretical treatment requires contemporary analogues of the tools developed in traditional Aristotelian metaphysics. To provide the necessary theories and definitions is a task for philosophy, which is thus called upon to play an important role as intermediary between biology and informatics.

The theory of speech acts put forward by Adolf Reinach in his "The A Priori Foundations of the Civil Law" of 1913 rests on a systematic account of the ontological structures associated with various different sorts of language use. One of the most original features of Reinach's account lies in hIs demonstration of how the ontological structure of, say, an action of promising or of commanding, may be modified in different ways, yielding different sorts of non-standard instances of the corresponding speech act varieties. The present paper is an attempt to apply this idea of standard and modified instances of ontological structures to the realm of judgement and cognition, and thereby to develop a Reinachian theory of how intentionality is mediated through language in acts of thinking and speaking.

This paper is a fresh attempt to articulate the role of a theory of truthmakers. We argue that truthmaker theory constitutes a cornerstone of good methodology in metaphysics, but that a conflation of truthmaker theory with the theory of truth has been responsible for certain excesses associated with truthmaker-based approaches in the recent literature. If truthmaker theory is not a component of a theory of truth, then truthmaker maximalism – the view that every truth has a truthmaker – loses its primary motivation. More generally, if the task of truthmaker theory is not to provide a definition or account of truth in truthmaker terms, there is no pressing need for hard, a priori principles stating which truths have truthmakers and which do not.

Ontology is one strategy for promoting interoperability of heterogeneous data through consistent tagging. An ontology is a controlled structured vocabulary consisting of general terms (such as “cell” or “image” or “tissue” or “microscope”) that form the basis for such tagging. These terms are designed to represent the types of entities in the domain of reality that the ontology has been devised to capture; the terms are provided with logical defi nitions thereby also supporting reasoning over the tagged data. Aim: This paper provides a survey of the biomedical imaging ontologies that have been developed thus far. It outlines the challenges, particularly faced by ontologies in the fields of histopathological imaging and image analysis, and suggests a strategy for addressing these challenges in the example domain of quantitative histopathology imaging. The ultimate goal is to support the multiscale understanding of disease that comes from using interoperable ontologies to integrate imaging data with clinical and genomics data.

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies.

Maintaining systems of military plans is critical for military effectiveness, but is also challenging. Plans will become obsolete as the world diverges from the assumptions on which they rest. If too many ad hoc changes are made to intermeshed plans, the ensemble may no longer lead to well-synchronized and coordinated operations, resulting in the system of plans becoming itself incoherent. We describe in what follows an Adaptive Planning process that we are developing on behalf of the Air Force Research Laboratory (Rome) with the goal of addressing problems of these sorts through cyclical collaborative plan review and maintenance. The interactions of world state, blue force status and associated plans are too complex for manual adaptive processes, and computer-aided plan review and maintenance is thus indispensable. We argue that appropriate semantic technology can 1) provide richer representation of plan-related data and semantics, 2) allow for flexible, non-disruptive, agile, scalable, and coordinated changes in plans, and 3) support more intelligent analytical querying of plan-related data.

The ontology of language is concerned with the relations between uses of language, both overt and covert, and other entities, whether in the world or in the mind of the thinking subject. We attempt a first survey of the sorts of relations which might come into question for such an ontology, including: relations between referring uses of expressions and their objects, relations between the use of a (true) sentence and that in the world which makes it true, relations between mental acts on the one hand and underlying mental states (attitudes, beliefs), on the other, relations between my acts and states, associated uses of language and overt actions on my part and on the part of those other subjects with whom I communicate.

When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must be aligned with joint doctrine. It requires also that the separate information systems used by the different elements of a joint force must be interoperable, in the sense that data and information that is generated by each element must be usable (understandable, processable) by all the other elements that need them. Currently, such interoperability is impeded by multiple inconsistencies among the different data and software standards used by warfighters. We describe here the on-going project of creating a Joint Doctrine Ontology (JDO), which uses joint doctrine to provide shared computer-accessible content valid for any field of military endeavor, organization, and information system. JDO addresses the two previously mentioned requirements of unified action by providing a widely applicable benchmark for use by developers of information systems that will both guarantee alignment with joint doctrine and support interoperability.