The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal evidence (...) from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

The concept of population thinking was introduced by Ernst Mayr as the right way of thinking about the biological domain, but it is difficult to find an interpretation of this notion that is both unproblematic and does the theoretical work it was intended to do. I argue that, properly conceived, Mayr’s population thinking is a version of trope nominalism: the view that biological property-types do not exist or at least they play no explanatory role. Further, although population thinking has been (...) traditionally used to argue against essentialism about biological kinds, recently it has been suggested that it may be consistent with at least some forms of essentialism—ones that construe essential properties as relational. I argue that if population thinking is a version of trope nominalism, then, as Mayr originally claimed, it rules out any version of essentialism about biological kinds. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

Space is a product of semiosis. It is a condition pertinent to an organism’s semiotic freedom, which is articulated by the organism as a consequence of its capacity to manipulate the world in the course of its unfolding interaction with its environment. Spatial configuration is thus the result of agency inherent in the organism-in-its-environment. Space, a consequence of social cohesion, is effected through constraints and processes of enaction which are semiotic. These processes are productive and offer architects a novel means (...) by which to configure space, which they should embrace to articulate the nature of inhabitation. The model presented identifies activity as the essential building block to the generation of form. Modelled as a form of artificial life, swarm-like components, referred to as ‘actants’, represent discrete activities and self-configure according to differences in the environment they detect, to form a body-of-swarms. Thus, depicting the spatiality of being. (shrink)

Vivoscape, from Latin ‘vivo’ and the English ‘scape’ is presented as a new ecosemiotic agency that integrates the interactions between biological and ecological components of a taxon with the environment. According to this model, the interactions between species and the environment are fused into a new functional unity driven by external and internal events. Sensorial and relational channels are used by a taxon to sense external energy gradients, matter, information and to return actions and proactions in an external operational environment. (...) The eco-field model is suggested as the functional ecosemiotic mechanism associated with each vivoevent. (shrink)

Organisms' environments are thought to play a fundamental role in determining their fitness and hence in natural selection. Existing intuitive conceptions of environment are sufficient for biological practice. I argue, however, that attempts to produce a general characterization of fitness and natural selection are incomplete without the help of general conceptions of what conditions are included in the environment. Thus there is a "problem of the reference environment"—more particularly, problems of specifying principles which pick out those environmental conditions which determine (...) fitness. I distinguish various reference environment problems and propose solutions to some of them. While there has been a limited amount of work on problems concerning what I call "subenvironments", there appears to be no earlier work on problems of what I call the "whole environment". The first solution I propose for a whole environment problem specifies the overall environment for natural selection on a set of biological types present in a population over a specified period of time. The second specifies an environment relevant to extinction of types in a population; this kind of environment is especially relevant to certain kinds of long-term evolution. (shrink)

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)

Initially the problems of data integration, for example in the field of medicine, were resolved in case by case fashion. Pairs of databases were cross-calibrated by hand, rather as if one were translating from French into Hebrew. As the numbers and complexity of database systems increased, the idea arose of streamlining these efforts by constructing one single benchmark taxonomy, as it were a central switchboard, into which all of the various classification systems would need to be translated only once. By (...) serving as a lingua franca for database integration this benchmark taxonomy would ensure that all databases calibrated in its terms would be automatically compatible with each other. We describe one strategy for creating such a lingua franca, in which philosophical ontology plays a central role. (shrink)

The shape of the Earth's surface, its topography, is a fundamental dimension of the environment, shaping or mediating many other environmental flows or functions. But there is a major divergence in the way that topography is conceptualized in different domains. Topographic cartographers, information scientists, geomorphologists and environmental modelers typically conceptualize topographic variability as a continuous field of elevations or as some discrete approximation to such a field. Pilots, explorers, anthropologists, ecologists, hikers, and archeologists, on the other hand, typically conceptualize this (...) same variability in terms of hills and valleys, mountains and plains, barrows and trenches, that is, as (special sorts of) objects, with locations, shapes, and often names of their own. In this chapter, we sketch an approach to bridging this fundamental gap in geographic information infrastructure. (shrink)

The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its (...) external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

Newton distinguishes between absolute and relative places. Both types of places endure through time and may be occupied by various objects at various times. But unlike absolute places, each relative place stands in fixed spatial relations with one or more reference objects. Relative plac-es with independent reference objects (e.g. a ship and the earth) may move relative to one another. Relative places, not absolute places, are used to locate objects and track their movements in common-sense reasoning and in disciplines such (...) as biology, engineering, and geology. The purpose of this paper is to develop a formal theory for reasoning about relative places and their changing relations to both other places and to material objects. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

The tendency theory of causation and its use in ontological engineering is described.

La ricerca medica è afflitta da un problema di comunicazione. Comunità distinte di ricercatori si servono di terminologie diverse e spesso incompatibili per esprimere i risultati del loro lavoro, generando in questo modo problemi di integrazione tra database ogniqualvolta si presenti la necessità di inserire i dati medici nei computer. In un primo momento i problemi di integrazione tra database venivano risolti caso per caso, in seguito si è fatta strada l’idea di realizzare un’unica tassonomia di riferimento in cui tradurre, (...) una volta soltanto, tutti i vari sistemi di classificazione. Funzionando come una sorta di lingua franca, questa tassonomia di riferimento avrebbe automaticamente garantito ad ogni database calibrato su di essa la compatibilità con tutti gli altri. È curioso come gli informatici abbiano chiamato il sistema centrale di classificazione che stavano proponendo un’ontologia, riconoscendo così l’esistenza di più di un’affinità tra il lavoro di costruzione che un simile sistema comportava e la vecchia metafisica. Il presente articolo descrive un tentativo di sfruttare le risorse della filosofia per risolvere problemi che sorgono, in particolar modo, nel campo dell’integrazione delle terminologie mediche. Vengono delineati in particolare i contorni di un’iniziativa che è il frutto della collaborazione tra l’Istituto di Ontologia Formale e Informatica Medica e la società di software belga Language and Computing, iniziativa che prevede la messa alla prova di un’ontologia fondata su solidi principi filosofici nel contesto di potenti strumenti software per l’elaborazione di testo medico. (shrink)