Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...) Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

This is the revised version of an invited keynote lecture delivered at the "1st Australian Computing and Philosophy Conference". The paper is divided into two parts. The first part defends an informational approach to structural realism. It does so in three steps. First, it is shown that, within the debate about structural realism, epistemic and ontic structural realism are reconcilable. It follows that a version of OSR is defensible from a structuralist-friendly position. Second, it is argued that a version of (...) OSR is also plausible, because not all relata are logically prior to relations. Third, it is shown that a version of OSR is also applicable to both sub-observable and observable entities, by developing its ontology of structural objects in terms of informational objects. The outcome is informational structural realism, a version of OSR supporting the ontological commitment to a view of the world as the totality of informational objects dynamically interacting with each other. The paper has been discussed by several colleagues and, in the second half, ten objections that have been moved to the proposal are answered in order to clarify it further. (shrink)

Philosophy and Computing explores each of the following areas of technology: the digital revolution; the computer; the Internet and the Web; CD-ROMs and Mulitmedia; databases, textbases, and hypertexts; Artificial Intelligence; the future of computing. Luciano Floridi shows us how the relationship between philosophy and computing provokes a wide range of philosophical questions: is there a philosophy of information? What can be achieved by a classic computer? How can we define complexity? What are the limits of quantam computers? Is the Internet (...) an intellectual space or a polluted environment? What is the paradox in the Strong Artificial Intelligence program? Philosophy and Computing is essential reading for anyone wishing to fully understand both the development and history of information and communication technology as well as the philosophical issues it ultimately raises. (shrink)

This paper may be read as a sequel of a 1995 paper, published in this journal, in which I predicted what sort of transformations and problems were likely to affect the development of the Internet and our system of organised knowledge in the medium term. In this second attempt, I look at the future developments of Information and Communication Technologies and try to guess what their impact on our lives will be. The forecast is that, in information societies, the threshold (...) between online and offline will soon disappear, and that once there won't be any difference, we shall become not cyborgs but rather inforgs, i.e. connected informational organisms. (shrink)

The philosophy of information (PI) is a new area of research with its own field of investigation and methodology. This article, based on the Herbert A. Simon Lecture of Computing and Philosophy I gave at Carnegie Mellon University in 2001, analyses the eighteen principal open problems in PI. Section 1 introduces the analysis by outlining Herbert Simon's approach to PI. Section 2 discusses some methodological considerations about what counts as a good philosophical problem. The discussion centers on Hilbert's famous analysis (...) of the central problems in mathematics. The rest of the article is devoted to the eighteen problems. These are organized into five sections: problems in the analysis of the concept of information, in semantics, in the study of intelligence, in the relation between information and nature, and in the investigation of values. (shrink)

This article reviews eight proposed strategies for solving the Symbol Grounding Problem (SGP), which was given its classic formulation in Harnad (1990). After a concise introduction, we provide an analysis of the requirement that must be satisfied by any hypothesis seeking to solve the SGP, the zero semantical commitment condition. We then use it to assess the eight strategies, which are organised into three main approaches: representationalism, semi-representationalism and non-representationalism. The conclusion is that all the strategies are semantically committed and (...) hence that none of them provides a valid solution to the SGP, which remains an open problem. (shrink)

Almost everyone who has a limb amputated will experience a phantom limb--the vivid impression that the limb is not only still present, but in some cases, painful. There is now a wealth of empirical evidence demonstrating changes in cortical topography in primates following deafferentation or amputation, and this review will attempt to relate these in a systematic way to the clinical phenomenology of phantom limbs. With the advent of non-invasive imaging techniques such as MEG (magnetoencephalogram) and functional MRI, topographical reorganization (...) can also be demonstrated in humans, so that it is now possible to track perceptual changes and changes in cortical topography in individual patients. We suggest, therefore, that these patients provide a valuable opportunity not only for exploring neural plasticity in the adult human brain but also for understanding the relationship between the activity of sensory neurons and conscious experience. We conclude with a theory of phantom limbs, some striking demonstrations of phantoms induced in normal subjects, and some remarks about the relevance of these phenomena to the question of how the brain constructs a 'body image.'. (shrink)

Using hypersets as an analytic tool, we compare traditionally Gibsonian (Chemero 2003; Turvey 1992) and representationalist (Sahin et al. this issue) understandings of the notion ‘affordance’. We show that representationalist understandings are incompatible with direct perception and erect barriers between animal and environment. They are, therefore, scarcely recognizable as understandings of ‘affordance’. In contrast, Gibsonian understandings are shown to treat animal-environment systems as unified complex systems and to be compatible with direct perception. We discuss the fruitful connections between Gibsonian affordances (...) and dynamical systems explanation in the behavioral sciences and point to prior fruitful application of Gibsonian affordances in robotics. We conclude that it is unnecessary to re-imagine affordances as representations in order to make them useful for researchers in robotics. (shrink)

This is a book about how we see: the environment around us (its surfaces, their layout, and their colors and textures); where we are in the environment; whether or not we are moving and, if we are, where we are going; what things are good for; how to do things (to thread a needle or drive an automobile); or why things look as they do.The basic assumption is that vision depends on the eye which is connected to the brain. The (...) author suggests that natural vision depends on the eyes in the head on a body supported by the ground, the brain being only the central organ of a complete visual system. When no constraints are put on the visual system, people look around, walk up to something interesting and move around it so as to see it from all sides, and go from one vista to another. That is natural vision—and what this book is about. (shrink)

Artificial intelligence research has foundered on the issue of representation. When intelligence is approached in an incremental manner, with strict reliance on interfacing to the real world through perception and action, reliance on representation disappears. In this paper we outline our approach to incrementally building complete intelligent Creatures. The fundamental decomposition of the intelligent system is not into independent information processing units which must interface with each other via representations. Instead, the intelligent system is decomposed into independent and parallel activity (...) producers which all interface directly to the world through perception and action, rather than interface to each other particularly much. The notions of central and peripheral systems evaporateeverything is both central and peripheral. Based on these principles we have built a very successful series of mobile robots which operate without supervision as Creatures in standard office environments. (shrink)

There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This paper describes the symbol grounding problem : How can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic on the meanings in our heads? How can the meanings of the meaningless symbol tokens, manipulated solely on the basis of their shapes, be grounded (...) in anything but other meaningless symbols? The problem is analogous to trying to learn Chinese from a Chinese/Chinese dictionary alone. A candidate solution is sketched: Symbolic representations must be grounded bottom-up in nonsymbolic representations of two kinds: iconic representations, which are analogs of the proximal sensory projections of distal objects and events, and categorical representations, which are learned and innate feature-detectors that pick out the invariant features of object and event categories from their sensory projections. Elementary symbols are the names of these object and event categories, assigned on the basis of their categorical representations. Higher-order symbolic representations, grounded in these elementary symbols, consist of symbol strings describing category membership relations. Connectionism is one natural candidate for the mechanism that learns the invariant features underlying categorical representations, thereby connecting names to the proximal projections of the distal objects they stand for. In this way connectionism can be seen as a complementary component in a hybrid nonsymbolic/symbolic model of the mind, rather than a rival to purely symbolic modeling. Such a hybrid model would not have an autonomous symbolic module, however; the symbolic functions would emerge as an intrinsically dedicated symbol system as a consequence of the bottom-up grounding of categories ' names in their sensory representations. Symbol manipulation would be governed not just by the arbitrary shapes of the symbol tokens, but by the nonarbitrary shapes of the icons and category invariants in which they are grounded. (shrink)

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

Although philosophical approaches to the self are diverse, several of them are relevant to cognitive science. First, the notion of a 'minimal self', a self devoid of temporal extension, is clarified by distinguishing between a sense of agency and a sense of ownership for action. To the extent that these senses are subject to failure in pathologies like schizophrenia, a neuropsychological model of schizophrenia may help to clarify the nature of the minimal self and its neurological underpinnings. Second, there is (...) good evidence to suggest that although certain aspects of the minimal self are primitive and embodied, other aspects may be accessed only in reflective consciousness. Employing a modified concept of the minimal self, it may be possible to construct a robotic form of non-conscious self-reference that depends on an interaction between the robotic body and its environment. In contrast to the minimal self, the narrative self involves continuity over time and is directly relevant to discussions of memory and personal identity. There is growing consensus among philosophers and cognitive scientists about the importance of narrative and its relation to episodic memory and left-hemisphere functions. There are, however, at least two different views of how the narrative self is structured. On one model it is nothing more than an abstract point. On a more extended view, proposed here, the self is a rich amalgam of narratives that allows for the equivocations, contradictions, and self-deceptions of personal life. Even in this case, however, neurocognitive models contribute to our understanding of how narrative identity is structured. (shrink)

The primary difference between direct and inferential theories of perception concerns the location of perceptual content, the meaning of our perceptions. In inferential theories of perception, these meanings arise inside animals, based upon their interactions with the physical environment. Light, for example, bumps into receptors causing a sensation. The animal (or its brain) performs inferences on the sensation, yielding a meaningful perception. In direct theories of perception, on the other hand, meaning is in the environment, and perception does not depend (...) upon meaning- conferring inferences. Instead the animal simply gathers information from a meaning- laden environment. But if the environment contains meanings, then it cannot be merely physical. This places a heavy theoretical burden on direct theories of perception, a burden so severe that it may outweigh all the advantages to conceiving perception as. (shrink)

What do yin-yang and the Lorenzian butterfly in chaos have in common? The outside perspective. Only by going very far outside? beyond the end of the world? do certain aspects of the world become intelligible. The computer makes it possible today to go after the interface. What does the world look like if you are an internally chaotic part? Is the world just a difference, an interface, a forcing function? Is it possible to identify those features which exist only from (...) the inside? How far does the meta-unmaskability go? Is quantum mechanics a virtual reality? Can the micro-interface be manipulated? Such questions are tackled in this fascinating book. (shrink)

Compiling twenty articles on the nature of life and on the objective of the natural sciences, this remarkable book complements Robert Rosen's groundbreaking Life Itself--a work that influenced a wide range of philosophers, biologists, linguists, and social scientists. In Essays on Life Itself, Rosen takes to task the central objective of the natural sciences, calling into question the attempt to create objectivity in a subjective world and forcing us to reconsider where science can lead us in the years to come.

Genes adjacent to species-specific loci are 6.2% older than genes adjacent to other dynamic loci (P < 10−2 by randomization; gray bars in Fig. 3); thus, species-specific genes are not randomly distributed but are found preferentially in the older regions, indicating that the incipient Escherichia and Salmonella lineages continued to participate in recombination at loci unlinked to lineage-specific genes.

We investigated how motor agency in the voluntary control of body movement influences body awareness. In the Rubber Hand Illusion , synchronous tactile stimulation of a rubber hand and the participant’s hand leads to a feeling of the rubber hand being incorporated in the participant’s own body. One quantifiable behavioural correlate of the illusion is an induced shift in the perceived location of the participant’s hand towards the rubber hand. Previous studies showed that the induced changes in body awareness are (...) local and fragmented: the proprioceptive drift is largely restricted to the stimulated finger. In the present study, we investigated whether active and passive movements, rather than tactile stimulation, would lead to similarly fragmented body awareness. Participants watched a projected image of their hand under three conditions: active finger movement, passive finger movement, and tactile stimulation. Visual feedback was either synchronous or asynchronous with respect to stimulation of the hand. A significant overall RHI, defined as greater drifts following synchronous than asynchronous stimulation, was found in all cases. However, the distribution of the RHI across stimulated and non-stimulated fingers depended on the kind of stimulation. Localised proprioceptive drifts, specific to the stimulated finger, were found for tactile and passive stimulation. Conversely, during active movement of a single digit, the proprioceptive drifts were not localised to that digit, but were spread across the whole hand. Whereas a purely proprioceptive sense of body-ownership is local and fragmented, the motor sense of agency integrates distinct body-parts into a coherent, unified awareness of the body. (shrink)

The resurgence of interest in collective behavior is in large part due to tools recently made available for conducting laboratory experiments on groups, statistical methods for analyzing large data sets reflecting social interactions, the rapid growth of a diverse variety of online self‐organized collectives, and computational modeling methods for understanding both universal and scenario‐specific social patterns. We consider case studies of collective behavior along four attributes: the primary motivation of individuals within the group, kinds of interactions among individuals, typical dynamics (...) that result from these interactions, and characteristic outcomes at the group level. With this framework, we compare the collective patterns of noninteracting decision makers, bee swarms, groups forming paths in physical and abstract spaces, sports teams, cooperation and competition for resource usage, and the spread and extension of innovations in an online community. Some critical issues surrounding collective behavior are then reviewed, including the questions of “Does group behavior always reduce to individual behavior?”“Is ‘group cognition’ possible?” and “What is the value of formal modeling for understanding group behavior?”. (shrink)