The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such arguments in light of recent work on CTT and argue that they are unsound. Although CTT does nothing to support computationalism, it is not irrelevant to it. By eliminating misunderstandings about the relationship between CTT and computationalism, we deepen our appreciation of computationalism as an empirical hypothesis.

A myth has arisen concerning Turing's paper of 1936, namely that Turing set forth a fundamental principle concerning the limits of what can be computed by machine - a myth that has passed into cognitive science and the philosophy of mind, to wide and pernicious effect. This supposed principle, sometimes incorrectly termed the 'Church-Turing thesis', is the claim that the class of functions that can be computed by machines is identical to the class of functions that can be computed by (...) Turing machines. In point of fact Turing himself nowhere endorses, nor even states, this claim (nor does Church). I describe a number of notional machines, both analogue and digital, that can compute more than a universal Turing machine. These machines are exemplars of the class of _nonclassical_ computing machines. Nothing known at present rules out the possibility that machines in this class will one day be built, nor that the brain itself is such a machine. These theoretical considerations undercut a number of foundational arguments that are commonly rehearsed in cognitive science, and gesture towards a new class of cognitive models. (shrink)

Different explanations of color vision favor different philosophical positions: Computational vision is more compatible with objectivism (the color is in the object), psychophysics and neurophysiology with subjectivism (the color is in the head). Comparative research suggests that an explanation of color must be both experientialist (unlike objectivism) and ecological (unlike subjectivism). Computational vision's emphasis on optimally prespecified features of the environment (i.e., distal properties, independent of the sensory-motor capacities of the animal) is unsatisfactory. Conceiving of visual perception instead as the (...) visual guidance of activity in an environment that is determined largely by that very activity suggests new directions for research. (shrink)

Abstract Cognitive Science, it is argued, comprises two distinct projects. One is an Engineering project whose goal is understanding the in?the?head computational activities which ground intelligent behaviour. The other is a Descriptive project whose goal is the mapping of relations between thoughts as ascribed using the (sentential) apparatus of the propositional attitudes. Some theorists (e.g. Fodor, 1987) insist that the two projects are (in a sense to be explained) deeply related. This view is contested, and the consequences of its abandonment (...) examined. Such consequences are seen to include (i) the irrelevance of scientific arguments for Eliminative Materialism, (ii) a view concerning the proper roles of classical and connectionist work in Artificial Intelligence and (iii) the failure of an allegedly damning argument against connectionism (the so?called systematicity argument). (shrink)

This piece is a commentary on a precis of Maggie Boden's book "The creative mind" published in Behavioral and Brain Sciences.

What is creativity? One new idea may be creative, whereas another is merely new: What's the difference? And how is creativity possible? These questions about human creativity can be answered, at least in outline, using computational concepts. There are two broad types of creativity, improbabilist and impossibilist. Improbabilist creativity involves novel combinations of familiar ideas. A deeper type involves METCS: the mapping, exploration, and transformation of conceptual spaces. It is impossibilist, in that ideas may be generated which – with respect (...) to the particular conceptual space concerned – could not have been generated before. The more clearly conceptual spaces can be defined, the better we can identify creative ideas. Defining conceptual spaces is done by musicologists, literary critics, and historians of art and science. Humanist studies, rich in intuitive subtleties, can be complemented by the comparative rigour of a computational approach. Computational modelling can help to define a space, and to show how it may be mapped, explored, and transformed. Impossibilist creativity can be thought of in “classical” Al terms, whereas connectionism illuminates improbabilist creativity. Most Al models of creativity can only explore spaces, not transform them, because they have no self-reflexive maps enabling them to change their own rules. A few, however, can do so. A scientific understanding of creativity does not destroy our wonder at it, nor does it make creative ideas predictable. Demystification does not imply dehumanization. (shrink)

Work on analogy has been done from a number of disciplinary perspectives throughout the history of Western thought. This work is a multidisciplinary guide to theorizing about analogy. It contains 1,406 references, primarily to journal articles and monographs, and primarily to English language material. classical through to contemporary sources are included. The work is classified into eight different sections (with a number of subsections). A brief introduction to each section is provided. Keywords and key expressions of importance to research on (...) analogy are discussed in the introductory material. Electronic resources for conducting research on analogy are listed as well. (shrink)

L'informatique se définissant comme le traitement rationnel de l'information par machine automatique et l'intelligence se caractérisant par une même capacité de traitement rationnel, il était inévitable que l'on songe à associer l'intelligence au traitement automatique de l'information. C'est ce qu'a fait John McCarthy en forgeant le terme d'intelligence artificielle. Par «intelligence artificielle» on peut vouloir exprimer l'ambition de1. Recréer, transformer ou développer l'intelligence artificiellement2. Simuler l'intelligence en la reconstituant dans des modéles imitant certains aspects de notre intelligence dite naturelle.

This essay attempts to develop a psychologically informed semantics of perception reports, whose predictions match with the linguistic data. As suggested by the quotation from Miller and Johnson-Laird, we take a hallmark of perception to be its fallible nature; the resulting semantics thus necessarily differs from situation semantics. On the psychological side, our main inspiration is Marr's (1982) theory of vision, which can easily accomodate fallible perception. In Marr's theory, vision is a multi-layered process. The different layers have filters of (...) different gradation, which makes vision at each of them approximate. On the logical side, our task is therefore twofold - to formalise the layers and the ways in which they may refine each other, and. (shrink)

This thesis studies the role of conceptual content in inference and reasoning. The first two chapters offer a theoretical and historical overview of the relation between inference and meaning in philosophy and psychology. In particular, a critical analysis of the formality thesis, i.e., the idea that rational inference is a rule-based and topic-neutral mechanism, is advanced. The origins of this idea in logic and its influence in philosophy and cognitive psychology are discussed. Chapter 3 consists of an analysis of the (...) relationship between inference and representation. It is argued that inference has to be studied from a pluralistic per- spective due to its dependence on different formats of representing information. The following four chapters apply conceptual spaces, a formal theory of concepts within cognitive semantics, to three concept-based inference-types. First, an explication of Sellars notion of material inference is advanced. Later, the model is extended to account for nonmonotonic inference by studying the role expectations in reasoning. Finally, a conceptual space-model of category-based induction is presented. This model predicts most of the empirical properties of this psychological phenomenon and subsumes some of the previous theories in psychology. It is stated that the explanatory fruitfulness of this new approach is evidence for the failure of the formality thesis and calls for a unified model of rational inference that puts semantics at center stage. The last chapter of the thesis discusses how inference and concepts interact in scientific reasoning, which makes constant use of hybrid symbolic structures for representing conceptual information. Stephen Toulmin’s notions of method of representation and inferential technique are developed and applied in a case study about the emergence of the notion of instantaneous speed during the passage from geometrical physics to analytical mechanics. It is claimed that this analysis provides support to the pluralistic perspective for theorizing about reasoning. (shrink)

We compare the role of Cartesian assumptions in the symbol grounding problem and in the Myth of the Given: We argue that the Sellars–McDowell critique of the Myth of the Given and, in particular, its use of the concept of normativity can provide useful resources for responding to the symbol grounding problem. We also describe the concepts of normativity at work in computer science and cognitive science: We argue that normative concepts are pervasive in the sciences and that, in particular, (...) McDowell’s dichotomy between the normative space of reasons and the realm of nature is somewhat problematic. (shrink)

Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computation in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because non-computable values are indistinguishable from sufficiently (...) close computable approximations. In addition to considering the nature of computability relative to any given physical theory, we can consider the relationship between versions of computability corresponding to different models of physics. Deutsch and Penrose have argued on mathematical grounds that quantum computation and Turing computation have equivalent formal power. We suggest this equivalence is invalid when considered from the physical point of view, by highlighting a quantum computational behaviour that cannot meaningfully be considered feasible in the classical universe. (shrink)

We consider the symbol grounding problem, and apply to it philosophical arguments against Cartesianism developed by Sellars and McDowell: the problematic issue is the dichotomy between inside and outside which the definition of a physical symbol system presupposes. Surprisingly, one can question this dichotomy and still do symbolic computation: a detailed examination of the hardware and software of serial ports shows this.