The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (shrink)

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used to (...) represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies. (shrink)

The history of evolution is a history of development from less to more complex organisms. This growth in complexity of organisms goes hand in hand with a concurrent growth in complexity of environments and of organism-environment relations. It is a concern with this latter aspect of evolutionary development that motivates the present paper. We begin by outlining a theory of organism-environment relations. We then show that the theory can be applied to a range of different sorts of cases, both biological (...) and non-biological, in which objects are lodged or housed within specific environments, or niches. Biological science is interested in types—for example in genotypes, phenotypes, and environment types—in regularities that can serve as the basis for the formulation of laws or general principles. Types, however, can exist only through their corresponding tokens. Our theory of token environments is meant to plug this gap and to provide a first step towards a general theory of causally relevant spatial volumes. (shrink)

It is widely supposed that David Hume invented and espoused the "regularity" theory of causation, holding that causal relations are nothing but a matter of one type of thing being regularly followed by another. It is also widely supposed that he was not only right about this, but that it was one of his greatest contributions to philosophy. Strawson here argues that the regularity theory of causation is indefensible, and that Hume never adopted it in any case. Strawson maintains that (...) Hume did not claim that causation in the natural world is just a matter of regular succession, that such a dogmatic metaphysical claim about the nature of reality would have been utterly contrary to his fundamental philosophical principles, and that he rightly took it for granted that there was more to causation than regularity of succession, claiming only that regularity of succession was all that we could ever know of causation. (shrink)

Empiricists have sought to follow Hume in claiming that causality is a relation between events reducible to something more basic, e.g., regularities or counterfactuals. But all such attempts fail through their inability to distinguish cause from effect. The alternative is that causation is irreducible. Regularities are evidence of causation but do not constitute it. We understand what causation is through performing intentional actions which necessarily involve trying, which in turn just is exercising causal power.