Abstract Philosophical discussion of Alan Turing’s writings on intelligence has mostly revolved around a single point made in a paper published in the journal Mind in 1950. This is unfortunate, for Turing’s reflections on machine (artificial) intelligence, human intelligence, and the relation between them were more extensive and sophisticated. They are seen to be extremely well-considered and sound in retrospect. Recently, IBM developed a question-answering computer (Watson) that could compete against humans on the game show Jeopardy! There are hopes it (...) can be adapted to other contexts besides that game show, in the role of a collaborator of, rather than a competitor to, humans. Another, different, research project --- an artificial intelligence program put into operation in 2010 --- is the machine learning program NELL (Never Ending Language Learning), which continuously ‘learns’ by ‘reading’ massive amounts of material on millions of web pages. Both of these recent endeavors in artificial intelligence rely to some extent on the integration of human guidance and feedback at various points in the machine’s learning process. In this paper, I examine Turing’s remarks on the development of intelligence used in various kinds of search, in light of the experience gained to date on these projects. (shrink)

I address questions about values in model-making in engineering, specifically: Might the role of values be attributable solely to interests involved in specifying and using the model? Selected examples illustrate the surprisingly wide variety of things one must take into account in the model-making itself. The notions of system, and physically similar systems are important and powerful in determining what is relevant to an engineering model. Another example illustrates how an idea to completely re-characterize, or reframe, an engineering problem arose (...) during model-making. I employ a qualitative analogue of the notion of physically similar systems. Historical cases can thus be drawn upon; I illustrate with a comparison between a geoengineering proposal to inject, or spray, sulfate aerosols, and two different historical cases involving the spraying of DDT. The current geoengineering proposal is seen to be like the disastrous and counterproductive case, and unlike the successful case, of the spraying of DDT. I conclude by explaining my view that model-making in science is analogous to moral perception in action, drawing on a view in moral theory that has come to be called moral particularism. (shrink)

Twenty years ago in "Turing's Two Tests for Intelligence" I distinguished two distinct tests to be found in Alan Turing's 1950 paper "Computing Machinery and Intelligence": one by then very well-known, the other neglected. I also explained the significance of the neglected test. This paper revisits some of the points in that paper and explains why they are even more relevant today. It also discusses the value of tests for machine intelligence based on games humans play, giving an analysis of (...) some twentieth century TV game shows and how they relate to the tests for machine intelligence in Turing's paper and in some other tests for machine intelligence that have been proposed since. Their value in distinguishing between 'wise' and simply ‘clever’ AI is discussed. (shrink)

View/download or read preprint via a streaming viewer with the turning page feature in SOAR, or click on the DOI link to access the publisher's copy of this article.

On a literal reading of `Computing Machinery and Intelligence'', Alan Turing presented not one, but two, practical tests to replace the question `Can machines think?'' He presented them as equivalent. I show here that the first test described in that much-discussed paper is in fact not equivalent to the second one, which has since become known as `the Turing Test''. The two tests can yield different results; it is the first, neglected test that provides the more appropriate indication of intelligence. (...) This is because the features of intelligence upon which it relies are resourcefulness and a critical attitude to one''s habitual responses; thus the test''s applicablity is not restricted to any particular species, nor does it presume any particular capacities. This is more appropriate because the question under consideration is what would count as machine intelligence. The first test realizes a possibility that philosophers have overlooked: a test that uses a human''s linguistic performance in setting an empirical test of intelligence, but does not make behavioral similarity to that performance the criterion of intelligence. Consequently, the first test is immune to many of the philosophical criticisms on the basis of which the (so-called) `Turing Test'' has been dismissed. (shrink)

The analogy Darwin drew between artificial and natural selection in "On the Origin of Species" has a detailed structure that has not been appreciated. In Darwin’s analogy, the kind of artificial selection called Methodical selection is analogous to the principle of divergence in nature, and the kind of artificial selection called Unconscious selection is analogous to the principle of extinction in nature. This paper argues that it is the analogy between these two different principles familiar from his studies of artificial (...) selection and the two different principles he claims are operative in nature that provides the main structure and force of the analogy he uses to make his case for the power of natural selection to produce new species. Darwin’s statements explicitly distinguishing between these two kinds of principles at work in nature occur prominently in the text of the Origin. The paper also shows that a recent revisionist claim that Darwin did not appeal to the efficacy of artificial selection is mistaken. (shrink)

View/download or read postprint via a streaming viewer with the turning page feature in SOAR, or click on the DOI link to access the publisher's copy of this article.

Turing wrote that the “guiding principle” of his investigation into the possibility of intelligent machinery was “The analogy [of machinery that might be made to show intelligent behavior] with the human brain.” [10] In his discussion of the investigations that Turing said were guided by this analogy, however, he employs a more far-reaching analogy: he eventually expands the analogy from the human brain out to “the human community as a whole.” Along the way, he takes note of an obvious fact (...) in the bigger scheme of things regarding human intelligence: grownups were once children; this leads him to imagine what a machine analogue of childhood might be. In this paper, I’ll discuss Turing’s child-machine, what he said about different ways of educating it, and what impact the “bringing up” of a child-machine has on its ability to behave in ways that might be taken for intelligent. I’ll also discuss how some of the various games he suggested humans might play with machines are related to this approach. (shrink)

This is the text of Dr. Sterrett's replies to an interviewer's questions for simplycharly.com, a website with interviews by academics on various authors, philosophers, and scientists.

The role of mathematics in scientific practice is too readily relegated to that of formulating equations that model or describe what is being investigated, and then finding solutions to those equations. I survey the role of mathematics in: 1. Exact solutions of differential equations, especially conformal mapping; and 2. Simulations of solutions to differential equations via numerical methods and via agent-based models; and 3. The use of experimental models to solve equations (a) via physical analogies based on similarity of the (...) form of the equations, such as Prandtl’s soap-film method, and (b) the method of physically similar systems. Two major themes emerge: First, the role of mathematics in science is not well described by deduction from axioms, although it generally involves deductive reasoning. Creative leaps, the integration of experimental or observational evidence, synthesis of ideas from different areas of mathematics, and insight regarding analogous forms are required to find solutions to equations. Second, methods that involve mappings or transformations are in use in disparate contexts, from the purely mathematical context of conformal mapping where it is mathematical objects that are mapped, to the use of concrete physical experimental models, where one concrete thing is shown to correspond to another. (shrink)

This paper investigates the following proposal about machine intelligence: that behaviour in which a habitual response that would have been inappropriate in a certain unfamiliar situation is overridden and replaced by a more appropriate response be considered evidence of intelligence. The proposal was made in an earlier paper (Sterrett 2000) and arose from an analysis of a neglected test for intelligence hinted at in Turing's legendary 'Computing Machinery and Intelligence'; it was also argued there that it was a more (...) principled test of machine intelligence than straightforward comparisons with human behaviour. The present paper first summarizes the previous claim then looks at writings about intelligence, or the lack of it, in animals and machines by various writers (Descartes, Hume, Darwin and James). It is then shown that, despite their considerable differences regarding fundamental things such as what kinds of creatures are intelligent and the relationship between reason, instinct and behaviour, all of these writers would regard behaviour that meets the proposed criterion as evidence of intelligence. Finally, some recent work in employing logic and reinforcement learning in conjunction with 'behaviour-based' principles in the design of intelligent agents is described; the significance for the prospect of machine intelligence according to the proposed criterion is discussed. (shrink)

Today I want to talk about an element in the milieu in which Ludwig Wittgenstein conceived the Tractatus Logico-Philosophicus that has not been recognized to date: the generalization of the methodology of experimental scale models that occurred just about the time he was writing it. I find it very helpful to keep in mind how this kind of model portrays when reading the Tractatus — in particular, when reading the statements about pictures and models, such as:That a picture is a (...) fact ,That a picture is a model of reality ,That the “pictorial relationship” that makes a picture a picture is part of that picture , andThat a picture must have its pictorial form in common with reality in order to able to depict it. (shrink)

Ernst Mach is the only person whom Einstein included on both the list of physicists he considered his true precursors, and the list of the philosophers who had most affected him. Einstein scholars have been less generous in their estimation of Mach's contributions to Einstein's work, and even amongst the more generous of them, Mach's great achievements in physics are seldom mentioned in this context. This is odd, considering Mach was nominated for the Nobel Prize in Physics three times. In (...) this paper, I examine some of Mach's work in physics that bears conceptually on Einstein's 1905 paper on Special Relativity ("On The Electrodynamics of Moving Bodies"). Mach was the first to give the correct explanation of the Doppler Effect, and he presented it in a way that Einstein echoes in his 1905 paper: laying out two apparently contradictory principles and showing how both can be retained. It is also notable that Mach's explanation was explicit about not relying on the existence of a medium of transmission for the propagation of light waves. In his work on supersonic shock waves, Mach invokes the constancy of the velocity of sound (i.e., its independence of the motion of the sound source) , just as he had invoked the constancy of the velocity of light in his work on the Doppler Effect for Light. I examine the analogies between light and sound that were drawn upon by Einstein and Mach, as well as one analogy that Einstein could have, but did not make: Cherenkov radiation, or "singing electrons", i.e., cases in which the sound of light in the medium of transmission is exceeded, which results in an optical analogue of supersonic shock waves. (shrink)

I examine Frege’s explanation of how Hilbert ought to have presented his proofs of the independence of the axioms of geometry: in terms of mappings between (what we would call) fully interpreted statements. This helps make sense of Frege’s objections to the notion of different interpretations, which many have found puzzling. (The paper is the text of a talk presented in October 1994.).

How are beliefs efficacious? One answer is: via rational intentional action. But there are other ways that beliefs are efficacious. This dissertation examines these other ways, and sketches an answer to the question of how beliefs are efficacious that takes into account how beliefs are involved in the full range of behavioral disciplines, from psychophysiology and cognition to social and economic phenomena. The account of how beliefs are efficacious I propose draws on work on active accounts of perception. I develop (...) an account based on a proposal sketched by the cognitive scientist Ulrich Neisser. Neisser sketched an active account of perception, on which dynamic anticipatory schemata direct an organism's exploration and action, and are in turn revised as a result of exploration and action. This notion of schema has roots in nineteenth century neurophysiology and in Frederick Bartlett's subsequent work on memory. Neisser appealed to it to unite what he thought was right about information-processing accounts of perception with what he thought was right about ecological accounts of perception. The point that we must anticipate in order to perceive has been recognized by philosophers in the form of the "theory-ladenness of observation." I extend the concept of anticipatory schema to include its role in social perception and social interaction; the concept of anticipatory schema provides a more interactive account of the role of expectations in the maintenance and existence of social institutions, and can be used to enrich the account of convention David Lewis provided. I also show that the concept of rational expectations, which explains the neutrality of money in terms of the efficacy of anticipatory expectations, is compatible with the proposed account of how beliefs are efficacious. I discuss how the proposal accounts for the three main modes by which beliefs can be efficacious: via their role in causing intentional action, via their role in causing economic phenomena and the existence and maintenance of social institutions, and via their role in causing unintentional physiological responses, including anticipatory physiological responses that can enable perception, cause involuntary actions and give rise to the placebo effect. (shrink)

In "The Status and Future of the Turing Test" (Moor, 2001), which appeared in an earlier issue of this journal, James Moor remarks on my paper "Turing's Two Tests for Intelligence." In my paper I had claimed that, whatever Turing may or may not have thought, the test described in the opening section of Turing's now legendary 1950 paper "Computing Machinery and Intelligence" is not equivalent to, and in fact is superior to, the test described in a passage that occurs (...) much later in Turing's paper (i.e., in Section 5 of Turing, 1950). I'm pleased Moor chose to give such prominence to my point, and very happy to see that he recognized that my claim was a normative one about the superiority of one test over another, rather than a claim about Turing's intentions. However, as I think the way he describes my point could lead to misunderstandings, I'd like to clarify the points I made. One major clari?cation is which two tests I am contrasting; another is that the difference in overall structure of the two tests is of philosophical signi?cance. (shrink)

This chapter describes discussions by scientists in Wittgenstein’s milieu relevant to problems Wittgenstein was pondering after he had decided to devote himself to solving the problems of logic. The chapter opens just after his father has died, and Wittgenstein’s investigations into logic were bringing him to examine notions of mirroring and corresponding. It discusses Ludwig Boltzmann’s views on differential equations, mental models, experimental models, and debates with Ostwald on the use of models in the kinetic theory of gases. Work on (...) similarity by various scientists developed from insights by Newton and Galileo is surveyed. Questions about equations analogous to those Wittgenstein was pondering about propositions in early 1914 would receive an answer by the end of 1914—by a physicist who had studied thermodynamics with Ostwald, and formalized the concept of “physically similar systems.”. (shrink)

This chapter describes discussions by scientists in Wittgenstein’s milieu relevant to problems Wittgenstein was pondering after he had decided to devote himself to solving the problems of logic. The chapter opens just after his father has died, and Wittgenstein’s investigations into logic were bringing him to examine notions of mirroring and corresponding. It discusses Ludwig Boltzmann’s views on differential equations, mental models, experimental models, and debates with Ostwald on the use of models in the kinetic theory of gases. Work on (...) similarity by various scientists developed from insights by Newton and Galileo is surveyed. Questions about equations analogous to those Wittgenstein was pondering about propositions in early 1914 would receive an answer by the end of 1914—by a physicist who had studied thermodynamics with Ostwald, and formalized the concept of “physically similar systems.”. (shrink)

“Tell me," Wittgenstein once asked a friend, "why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?" His friend replied, "Well, obviously because it just looks as though the Sun is going round the Earth." Wittgenstein replied, "Well, what would it have looked like if it had looked as though the Earth was rotating?” What would it have looked like if we looked at all (...) sciences from the viewpoint of Wittgenstein’s philosophy? Wittgenstein is undoubtedly one of the most influential philosophers of the twentieth century. His complex body of work has been analysed by numerous scholars, from mathematicians and physicists, to philosophers, linguists, and beyond. This volume brings together some of his central perspectives as applied to the modern sciences and studies the influence they may have on the thought processes underlying science and on the world view it engenders. The contributions stem from leading scholars in philosophy, mathematics, physics, economics, psychology and human sciences; all of them have written in an accessible style that demands little specialist knowledge, whilst clearly portraying and discussing the deep issues at hand. (shrink)

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic (...) using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic. Treats traditional logic in a modern format. Presents relevance logic with applications. Provides an ideal text for a variety of one-semester upper-level undergraduate courses. (shrink)

Сборник посвящен изучению особенностей восприятия времени в различных исторических традициях и особенностей его фиксации в текстах. Для специалистов.

Книга адресована историкам филологии и науки, религиоведам и культурологам, преподавателям и студентам, всем интересующимся наследием мировой философской мысли.

Includes an interview with the author, Svetlana Semenova.

Новая книга известного философа, литературоведа, писателя Светланы Семеновой - своего рода философское исповедание веры. развернутое в живом, остром разговоре с читателем.

In the book, basic principles of syncretic logic (sycretics) are expounded upon, with the help of which group relationships of a philosophical nature are treated. Classical philosophical laws are analyzed, new assertions are formulated, laying claim to the position of laws. Syncretic logic is used for constructing the axiomatic theory of carriers and the analysis of its consequences. The problem of the origins of life is considered, the connection between the course of existence and the laws of conservation in physics (...) is expounded upon, the universal scheme of logical operations is described, the components of the structure of a world view are specified. The work is intended for a wide circle of individuals with philosophical and general scientific interests. (shrink)

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which users have (...) indicated a need for, in addition to more emphasis on how analysis can be used to tell the accuracy of the approximations to the quantities of interest which arise in analytical limits. (shrink)

Over the past two years, debate about the use of data taken from Nazi concentration camp experiments has intensified. Many survivors of the Holocaust have been particularly offended at the publication of hypothermia or other data. This article argues against the use of unethically obtained data, and considers the debate from the perspective of the rights of Holocaust victims.

First published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.

À partir des traces matérielles de son écriture, cet ouvrage propose de faire l'histoire d'un lecteur, Michel de Certeau, historien éminent du XXe siècle, jésuite, et auteur d'une théorie de la lecture comme braconnage. Relevant les soulignements et annotations laissés dans ses livres, sa manière de citer d'autres travaux ou lui-même dans le réemploi de ses écrits, et la construction de lecteurs libres de tout système scripturaire, ce livre présente un territoire inconnu, celui des textes disséminés dans les revues et (...) magazines. Ces traces de lecture saisissent le processus d'écriture d'une oeuvre dont le présent garde trace de l'altérité cachée de son passé, et mettent au jour les arts de braconner."--Page 4 of cover. (shrink)