Diane Proudfoot

This paper explores the relevance of Wittgenstein’s philosophi- cal psychology for the two major contemporary approaches to the relation between language and cognition. As Pinker describes it, on the ‘Standard Social Science Model’ language is ‘an insidious shaper of thought’. According to Pinker’s own widely–shared alternative view, ‘Language is the magnificent faculty that we use to get thoughts from one head to another’. I investigate Wittgenstein’s powerful challenges to the hypothe- sis that language is a device for communicating independently constituted (or individuated) thoughts. I argue that Wittgenstein offers instead a subtle version of the thesis that language determines thought.

The widespread tendency, even within AI, to anthropomorphize machines makes it easier to convince us of their intelligence. How can any putative demonstration of intelligence in machines be trusted if the AI researcher readily succumbs to make-believe? This is (what I shall call) the forensic problem of anthropomorphism. I argue that the Turing test provides a solution. This paper illustrates the phenomenon of misplaced anthropomorphism and presents a new perspective on Turingʼs imitation game. It also examines the role of the Turing test in relation to the current dispute between human-level AI and ‘mindless intelligence’.

Anthropomorphism is a phenomenon that describes the human tendency to see human-like shapes in the environment. It has considerable consequences for people’s choices and beliefs. With the increased presence of robots, it is important to investigate the optimal design for this tech- nology. In this paper we discuss the potential benefits and challenges of building anthropomorphic robots, from both a philosophical perspective and from the viewpoint of empir- ical research in the fields of human–robot interaction and social psychology. We believe that this broad investigation of anthropomorphism will not only help us to understand the phenomenon better, but can also indicate solutions for facil- itating the integration of human-like machines in the real world.

The imitation game, the recent biopic about Alan Turing's efforts to decipher Nazi naval codes, was showered with award nominations. It even won the 2015 Academy Award for Best Adapted Screenplay. One thing it won't win any awards for, though, is its portrayal of the "imitation game" itself-Turing's proposed test of machine thinking, which hinges on whether a computer can convincingly imitate a person. The Turing test, as it is now called, doesn't really feature in the file. (Given that the movie gets so much of the history wrong, perhaps that's a good thing).

This is a detective story. The starting-point is a philosophical discussion in 1949, where Alan Turing mentioned a machine whose program, he said, would in practice be “impossible to find.” Turing used his unbreakable machine example to defeat an argument against the possibility of artificial intelligence. Yet he gave few clues as to how the program worked. What was its structure such that it could defy analysis for (he said) “a thousand years”? Our suggestion is that the program simulated a type of cipher device, and was perhaps connected to Turing’s postwar work for GCHQ (the UK equivalent of the NSA). We also investigate the machine’s implications for current brain simulation projects.

In 1948 Turing claimed that the concept of intelligence is an “emotional concept”. An emotional concept is a response-dependent concept and Turing’s remarks in his 1948 and 1952 papers suggest a response-dependence approach to the concept of intelligence. On this view, whether or not an object is intelligent is determined, as Turing said, “as much by our own state of mind and training as by the properties of the object”. His discussion of free will suggests a similar approach. Turing said, for example, that if a machine’s program “results in its doing something interesting which we had not anticipated I should be inclined to say that the machine had originated something”. This points to a new form of free will compatibilism, which I call response-dependence compatibilism and explore here.

According to Richard Routley, a comprehensive theory of fiction is impossible, since almost anything is in principle imaginable. In my view, Routley is right: for any purported logic of fiction, there will be actual or imaginable fictions that successfully counterexample the logic. Using the example of ‘impossible’ fictions, I test this claim against theories proposed by Routley’s Meinongian contemporaries and also by Routley himself and his 21st century heirs. I argue that the phenomenon of impossible fictions challenges even today’s modal Meinongians.

Cognitive science is held, not only by its practitioners, to offer something distinctively new in the philosophy of mind. This novelty is seen as the product of two factors. First, philosophy of mind takes itself to have well and truly jettisoned the ‘old paradigm’, the theory of the mind as embodied soul, easily and completely known through introspection but not amenable to scientific inquiry. This is replaced by the ‘new paradigm’, the theory of mind as neurally-instantiated computational mechanism, relatively opaque to introspection and the proper subject of detailed empirical investigation. Second, in the constitutive disciplines of cognitive science we have for the first time the theoretical, experimental and technological resources to begin this investigation. My concern here is to show that, despite its scientific and philosophical sophistication, the new paradigm is in certain striking ways very similar to the old paradigm and that Wittgenstein's criticisms of the former apply to much of the latter.

  Given (1) Wittgensteins externalist analysis of the distinction between following a rule and behaving in accordance with a rule, (2) prima facie connections between rule-following and psychological capacities, and (3) pragmatic issues about training, it follows that most, even all, future artificially intelligent computers and robots will not use language, possess concepts, or reason. This argument suggests that AIs traditional aim of building machines with minds, exemplified in current work on cognitive robotics, is in need of substantial revision

Turing’s analysis of computability has recently been challenged; it is claimed that it is circular to analyse the intuitive concept of numerical computability in terms of the Turing machine. This claim threatens the view, canonical in mathematics and cognitive science, that the concept of a systematic procedure or algorithm is to be explicated by reference to the capacities of Turing machines. We defend Turing’s analysis against the challenge of ‘deviant encodings’.Keywords: Systematic procedure; Turing machine; Church–Turing thesis; Deviant encoding; Acceptable encoding; Turing’s analysis of computability; Turing’s Notational Thesis.

Ignoring the temporal dimension, an object such as a railway tunnel or a human body is a three-dimensional whole composed of three-dimensional parts. The four-dimensionalist holds that a physical object exhibiting identity across time—Descartes, for example—is a four-dimensional whole composed of 'briefer' four-dimensional objects, its temporal parts. Peter van Inwagen (1990) has argued that four-dimensionalism cannot be sustained, or at best can be sustained only by a counterpart theorist. We argue that different schemes of individuation of temporal parts are available, which undermines van Inwagen's argument.

It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuron-like elements connected together into networks in a largely random manner. Turing called his networks 'unorganised machines'. By the application of what he described as 'appropriate interference, mimicking education' an unorganised machine can be trained to perform any task that a Turing machine can carry out, provided the number of 'neurons' is sufficient. Turing proposed simulating both the behaviour of the network and the training process by means of a computer program. We outline Turing's connectionist project of 1948

Alan Turing anticipated many areas of current research incomputer and cognitive science. This article outlines his contributionsto Artificial Intelligence, connectionism, hypercomputation, andArtificial Life, and also describes Turing's pioneering role in thedevelopment of electronic stored-program digital computers. It locatesthe origins of Artificial Intelligence in postwar Britain. It examinesthe intellectual connections between the work of Turing and ofWittgenstein in respect of their views on cognition, on machineintelligence, and on the relation between provability and truth. Wecriticise widespread and influential misunderstandings of theChurch–Turing thesis and of the halting theorem. We also explore theidea of hypercomputation, outlining a number of notional machines thatcompute the uncomputable.