Barry Smith

Much recent work on the intellectual background of Austrian economics reveals an unfortunate lack of awareness of the distinct nature of the Austrian contribution to philosophy, from which the Austrian economists drew many of their ideas. The present essay offers a sketch of this contribution, contrasting Austrian philosophy especially with the modes of philosophy dominant in Germany. This makes it possible to throw new light on the relations on Mises, Kant and the Vienna circle, and it allows us also to establish the extent to which Austrian economics might properly be seen as being allied to the German hermeneutic tradition of Dilthey, Gadamer, et al. The essay concludes with a criticism of the hermeneutic relativism recently canvassed by some Austrian economists, concentrating especially on the work of Don Lavoie, whose writing are treated as symptomatic of a wider and somewhat regrettable trend.

Medical terminology collects and organizes the many different kinds of terms employed in the biomedical domain both by practitioners and also in the course of biomedical research. In addition to serving as labels for biomedical classes, these names reflect the organizational principles of biomedical vocabularies and ontologies. Some names represent invariant features (classes, universals) of biomedical reality (i.e., they are a matter for ontology). Other names, however, convey also how this reality is perceived, measured, and understood by health professionals (i.e., they belong to the domain of epistemology). We analyze terms from several biomedical vocabularies in order to throw light on the interactions between ontological and epistemological components of these terminologies. We identify four cases: 1) terms containing classification criteria, 2) terms reflecting detectability, modality, uncertainty, and vagueness, 3) terms created in order to obtain a complete partition of a given domain, and 4) terms reflecting mere fiat boundaries. We show that epistemology-loaded terms are pervasive in biomedical vocabularies, that the “classes” they name often do not comply with sound classification principles, and that they are therefore likely to cause problems in the evolution and alignment of terminologies and associated ontologies.

It is often claimed that the beginnings of Brentano’s ontology were Aristotelian in nature; but this claim is only partially true. Certainly the young Brentano adopted many elements of Aristotle’s metaphysics, and he was deeply influenced by the Aristotelian way of doing philosophy. But he always interpreted Aristotle’s ideas in his own fashion. He accepted them selectively, and he used them in the service of ends that would not have been welcomed by Aristotle himself. The present paper is an exposition of the development of Brentano’s ontology, beginning with the Lectures on Metaphysics first delivered by Brentano in Würzburg in 1867 and concluding with his late work from 1904–1917.

We describe a strategy that is being used for the horizontal integration of warfighter intelligence data within the framework of the US Army’s Distributed Common Ground System Standard Cloud (DSC) initiative. The strategy rests on the development of a set of ontologies that are being incrementally applied to bring about what we call the ‘semantic enhancement’ of data models used within each intelligence discipline. We show how the strategy can help to overcome familiar tendencies to stovepiping of intelligence data, and describe how it can be applied in an agile fashion to new data resources in ways that address immediate needs of intelligence analysts.

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

Searle’s tool for understanding culture, law and society is the opposition between brute reality and institutional reality, or in other words between: observer-independent features of the world, such as force, mass and gravitational attraction, and observer-relative features of the world, such as money, property, marriage and government. The question posed here is: under which of these two headings do moral concepts fall? This is an important question because there are moral facts – for example pertaining to guilt and responsibility – which hover uncomfortably close to the boundary between the observer-relative and the observer-independent. By means of a thought experiment involving an imagined Chinese society in which guilt is determined by the random throwing of sticks, I seek to show that moral concepts threaten the foundations of Searle’s philosophy of social reality.

Building on the writings of Wittgenstein on rule-following and deviance, Kristóf Nyíri advanced a theory of creativity as consisting in a fusion of conflicting rules or disciplines. Only such fusion can produce something that is both intrinsically new and yet capable of being apprehended by and passed on to a wider community. Creativity, on this view, involves not the breaking of rules, or the deliberate cultivation of deviant social habits, but rather the acceptance of enriched systems of rules, the adherence to which presupposes simultaneous immersion in disciplines hitherto seen as being unrelated. The paper presents a demonstration of the fruitfulness of this theory by means of an account of some of the political, cultural and intellectual peculiarities of the Habsburg Monarchy.

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into hierarchies via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances

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.

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism communities to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation.

The last decade has witnessed the beginnings of a remarkable convergence of Husserlian phenonenology and analytic philosophy of language, and the present volumes provide original and important texts of the phenomenological philosophy of language. Powerfully influenced by the writings of the early Husserl, Reinach fashioned Husserl’s ideas into a rigorous analytical methodology of his own, which he applied in particular to problems in logic and the theory of knowledge, and to the philosophies of law and psychology. The central role of the concept of state of affairs in Reinach’s philosophy will bring to mind immediately the formal ontology of Wittgenstein’s Tractatus. Reinach’s most significant contribution, however, is contained in his The a priori foundations of civil law (1913), above all in the detailed analysis of the a priori structure of the act of promising. This amounts to an elaborate phenomenological theory of speech acts which anticipates, and in some respects goes beyond, the later theories of Austin and Searle. The present edition is in two volumes. Volume 1, which includes a biographical and thematic introduction by the editors, contains critical editions of those pieces published by Reinach himself. Volume II is a collection of all those items in Reinach’s surviving Nachlass which are in publishable form, including a number of important pieces not hitherto obtainable on such themes as ethical predicates, speech acts (“soziale Akte”), perception and the theory of number, together with a comprehensive sketch of the problems in the theory of knowledge, logic and ethics. Appended to this is a text-critical apparatus which also contains extensive discussions of the origins and sources of the materials in question.

If media studies are to become established as a genuine science, then it needs to be determined what the subject matter of this science is to be. I propose a specification of this subject matter as consisting in: 1. the new sorts of digital entities that have been added to social reality through the invention of the digital computer, and 2. the new sorts of interactions involving human beings which such entities make possible. I support this proposal by examining examples of some of the ways in which the digital products of emerging media differ from entities of other sorts. I then draw consequences from this examination to demonstrate how these products mark out a new realm within the larger domain of social ontology.

Attempts to trace a unifying thread of ontological realism extending through 1. my early writings on Frege, Brentano, Husserl, Wittgenstein, Ingarden and (with Kevin Mulligan and Peter Simons) on truthmakers; 2. work on formal theories of the common-sense world, and on mereotopology, fiat objects, geographical categories, and environments (with David Mark, Roberto Casati, Achille Varzi), to 3. current work on applied ontology in biology and medicine, and on the theory of document acts and on the ontology of information artifacts.

Where Humeans rule out the possibility of material or non-logical necessity, and thus of any associated knowledge a priori, the German legal philosopher Adolf Reinach defends the existence of a wide class of material necessities falling within the domain of what can be known a priori, for example in fields such as color and shape, rational psychology, law and economics. Categories such as promise or claim or obligation are, in Reinach’s view, exist as nodes in a system of necessary relations, so that anyone who has experience of relevant instances of these categories is implicitly aware also of a corresponding family of relations to certain other categories – as for example that every promise implies a mutually correlated claim and obligation. Midway between the two extremes of Hume and Reinach stands Searle, who accepts necessary relations of the mentioned sorts, but sees them as human creations, following from ‘constitutive rules’ analogous to the rules of chess. We seek to demonstrate that Searle does not occupy a stable and acceptable half-way house between Hume and Reinach; that he, too, if he is to do justice to the very constitutive rules which form the center of his approach, must on pain of circularity embrace something like the Reinachian position.

To what in reality do the logically simple sentences with empirical content correspond? Two extreme positions can be distinguished in this regard: 'Great Fact' theories, such as are defended by Davidson; and trope-theories, which see such sentences being made the simply by those events or states to which the relevant main verbs correspond. A position midway between these two extremes is defended, one according to which sentences of the given sort are made tme by what are called 'dependence structures', or in other words by certain complex concrete portions of reality between the parts of which relations of dependence are defined. Principles governing such dependence-structures are laid down, principles of an ontologically motivated sort which serve as basis for a topological semantics conceived as an altemative to standard set-theoretic approaches to semantics of the Tarskian sort. These principles are then used to resolve certain puzzles generated by the (semantically motivated) theory of events put forward by Davidson

In ancient times was known two kinds of physics. On one side there was the astronomy , which is characterized by the use of exact mathematical principles, on the other hand, there was the physics in the true sense of the word, a science, which coincides often with what we now call `metaphysics' . While astronomy has to do with the region of celestials and the imperishable, the physics is about the range of the sublunary, terrestrial things that come and go, and from their movements. The physicist is familiar with the nature of things, of which he speaks, and so he also understands the causes of their movements. It was not until Copernicus dared to equate the Earth to other planets that all physical events explain the same system to be dynamic postulates. This is still regarded as a commonplace of both philosophy and science of the natural world. I want to show in what follows that we now return from rather unexpected reasons the old dualistic view and we should no longer be guided by the sole prerogative of nachgalileischen physics.

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented

Electronic Health Records (EHRs) are organized around two kinds of statements: those reporting observations made, and those reporting acts performed. In neither case does the record involve any direct reference to what such statements are actually about. They record not: what is happening on the side of the patient, but rather: what is said about what is happening. While the need for a unique patient identifier is generally recognized, we argue that we should now move to an EHR regime in which all clinically salient particulars – from the concrete disorder on the side of the patient and the body parts in which it occurs to the concrete treatments given – should be uniquely identified. This will allow us to achieve interoperability among different systems of records at the level where it really matters: in regard to what is happening in the real world. It will also allow us to keep track of particular disorders and of the effects of particular treatments in a precise and unambiguous way. We discuss the ontological and epistemological aspects of our claim and describe a scenario for implementation within EHR systems.

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.

Those who conceive logic as a science have generally favoured one of two alternative conceptions as to what the subject-matter of this science ought to be. On the one hand is the nowadays somewhat old-fashioned-seeming view of logic as the science of judgment, or of thinking or reasoning activities in general. On the other hand is the view of logic as a science of ideal meanings, 'thoughts', or 'propositions in themselves'. There is, however, a third alternative conception, which enjoyed only a brief flowering in the years leading up to the first World War, but whose lingering presence can be detected in the background of more recent ontologising trends in logic, as for example in the 'situation semantics' of Barwise and Perry. This third conception sees logic as a science of special objects called 'Sachverhalte' or 'states of affairs'. A view of this sort is present in simplified form in the works of Meinong, but it received its definitive formulation in the writings of Adolf Reinach, a student of Husserl who is otherwise noteworthy for having anticipated, in a monograph of 1913, large chunks of what later became known as the theory of speech acts.(1).

Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological processes. We present our view in the form of a list of terms and definitions designed to provide a consistent starting point for the representation of both disease and diagnosis in information systems in the future.

Applied ontology is the attempt to put to use the rigorous tools of philosophical ontology in the development of category systems which can be of use in the formalization and systematization of knowledge of a given domain. In what follows we shall sketch some elements of the ontology of legal and socio-political institutions, paying attention especially to the normativity involved in such institutions. We shall see that there is more than one type of normativity, but that this fact that has often been ignored in standard attempts by philosophers to build ontologies of legal and other socio-political entities. In order to provide a sound system of categories for legal and socio-political institutions and entities, however, the manifold of normativity needs to be addressed. The classical examples of normative statements have been moral propositions; they do not merely describe states of affairs; they tell us how states of affairs ought to be. The distinction between how things are and how they ought to be is the basis of the distinction between fact and value. Analytic philosophers for a long time shunned discussions of normativity and ethics. They considered ethical statements as pseudo-propositions, or as expressions of pro- or con-attitudes of no theoretical significance.1 Nowadays, in contrast, prominent analytic philosophers discuss normative problems and there are important books written by such philosophers on topics such as law and justice. Here we pay attention to three seminal thinkers in this development: H. L. A. Hart, John Rawls, and John R. Searle in concerning ourselves especially with the way in which they deal with the issue of normativity. Hart is, within the context of recent analytic philosophy, the most important philosopher of law, Rawls the most..

Christian von Ehrenfels was a student of both Franz Brentano and Carl Menger and his thinking on value theory was inspired both by Brentano’s descriptive psychology and by the subjective theory of economic value advanced by Menger, the founder of the Austrian school of economics. Value, for Ehrenfels, is a function of desire, and we ascribe value to those things which we either do in fact desire, or would desire if we were not convinced of their existence. He asserts that the needed theoretical understanding of values is to be achieved by generalizing economic laws of valuation to apply to value in general. The law of marginal utility, for example, is a law to the effect that the n+1st sample of a good which I receive is ceteris paribus less valuable than the nth sample (imagine that the samples in question are, for example, a series of identical ham sandwiches). The essay describes how Ehrenfels provides on this basis an account of the different types of values, both intrinsic and non-intrinsic. It outlines also Ehrenfels views on the problem of interpersonal value-comparisons and on the struggle for survival between different values of different types.

Provides a survey of the development of speech act theory from Aristotle through Reid and Peirce to Edmund Husserl, Anton Marty, Johannes Daubert, Adolf Reinach, and finally to Austin and Searle. A special role is played by Husserl's theory of objectifying acts (meaning, roughly, acts of naming or stating) and of the efforts by his followers to extend this theory to cover phenomena such as questioning and commanding. These efforts culminated in the work of Adolf Reinach, who developed the first systematic theory of speech acts in connection with his monograph of 1913 on “The A Priori Foundations of the Civil Law”.

We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US political affairs. Crucially, the X and the Y terms are here identical. A problem arises for this theory for cases involving 'free-standing Y terms', as for example in the case of money in a computerized bank account. Here there is no physical X to which a status function might be attached. We conclude by arguing that Searle's response to this problem creates difficulties for his naturalistic framework.