A Critique of Artificial Reason Hubert L. Dreyfus . HUBERT L. DREYFUS What Computers Still Can't Do Thi s One XZKQ-GSY-8KDG What. WHAT COMPUTERS STILL CAN'T DO Front Cover.

One recursively enumerable real α dominates another one β if there are nondecreasing recursive sequences of rational numbers (a[n] : n ∈ ω) approximating α and (b[n] : n ∈ ω) approximating β and a positive constant C such that for all n, C(α − a[n]) ≥ (β − b[n]). See [R. M. Solovay, Draft of a Paper (or Series of Papers) on Chaitin’s Work, manuscript, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 1974, p. 215] and [G. J. (...) Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. We show that every recursively enumerable random real dominates all other recursively enumerable reals. We conclude that the recursively enumerable random reals are exactly the Ω-numbers [G. J. Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. Second, we show that the sets in a universal Martin-Lof test for randomness have random measure, and every recursively enumerable random number is the sum of the measures represented in a universal Martin-Lof test. (shrink)

Understanding Computers and Cognition presents an important and controversial new approach to understanding what computers do and how their functioning is related to human language, thought, and action. While it is a book about computers, Understanding Computers and Cognition goes beyond the specific issues of what computers can or can't do. It is a broad-ranging discussion exploring the background of understanding in which the discourse about computers and technology takes place. Understanding Computers and (...) Cognition is written for a wide audience, not just those professionals involved in computer design or artificial intelligence. It represents an important contribution to the ongoing discussion about what it means to be a machine, and what it means to be human. Book jacket. (shrink)

A technological revolution with first order implications is undeniable and underway. That is the permeation of society by computers and telecommunications technology. For western society, committed to a social, economic, and value structure premised upon an industrial society, the move to an information society is more than disruptive; it is transformational. Current changes are so rapidly paced in relation to business planning that it creates major challenges and opportunities to reach out, influence, and guide the change.The telematics revolution will (...) affect every aspect of our society since it will affect every aspect of our world which involves the generation, production, storage, or handling of information. Many ethical issues are touched upon. To sum them up, the new immorality is to choose to act in ignorance of future consequences. (shrink)

The issue of symbol grounding is not essentially different in analog and digital computation. The principal difference between the two is that in analog computers continuous variables change continuously, whereas in digital computers discrete variables change in discrete steps (at the relevant level of analysis). Interpretations are imposed on analog computations just as on digital computations: by attaching meanings to the variables and the processes defined over them. As Harnad (2001) claims, states acquire intrinsic meaning through their relation (...) to the real (physical) environment, for example, through transduction. However, this is independent of the question of the continuity or discreteness of the variables or the transduction processes. (shrink)

A true Turing machine (TM) requires an infinitely long paper tape. Thus a TM can be housed in the infinite world of Newtonian spacetime (the spacetime of common sense), but not necessarily in our world, because our world-at least according to our best spacetime theory, general relativity-may be finite. All the same, one can argue for the "existence" of a TM on the basis that there is no such housing problem in some other relativistic worlds that are similar ("close") to (...) our world. But curiously enough-and this is the main point of this paper-some of these close worlds have a special spacetime structure that allows TMs to perform certain Turing unsolvable tasks. For example, in one kind of spacetime a TM can be used to solve first-order predicate logic and the halting problem. And in a more complicated spacetime, TMs can be used to decide arithmetic. These new computers serve to show that Church's thesis is a thoroughly contingent claim. Moreover, since these new computers share the fundamental properties of a TM in ordinary operation (e.g. intuitive, finitely programmed, limited in computational capability), a computability theory based on these non-Turing computers is no less worthy of investigation than orthodox computability theory. Some ideas about this new mathematical theory are given. (shrink)

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state (...) of the art in the area. (shrink)

From the late 1960s to the early 1980s, a team of U.S. political scientists and computer specialists designed an automated, computerized information system that could ostensibly forecast conflict earlier and more accurately than human analysts. Named the Crisis Early Warning and Monitoring System (EWAMS), it sought to bring international relations scholarship and U.S. national security policy—traditionally qualitative and interpretive domains—under the jurisdiction of a man–machine system. Drawing together the histories of social science, computing, and foreign policy, this essay argues that (...) deep epistemic insecurities led social scientists to apply information technology to the production of policy knowledge. Computers, they hoped, could overcome the innate cognitive limitations that imperiled human decision making. By showing how social scientists’ computational zeal overshadowed their commitment to human agency, this essay also demonstrates that the history of science has an important role to play in contemporary debates about the implications of big data projects for knowledge and policy. (shrink)

Can computers think? This book is intended to demonstrate that thinking, understanding, and intelligence are more than simply the execution of algorithms--that is, that machines cannot think. Written and edited by leaders in the fields of artificial intelligence and the philosophy of computing.

The federal and corporate initiative to technologize education has transformed schools, colleges, and universities into a new frontier for the computer industry. While educational institutions have maintained an equivocal relationship with markets and the state, they had striven to preserve a simulacrum of independence until the early 1980s. Then, neoconservative ideologies and their accompanying discourse on restructuring education discovered in the computer the ideal neutral tool to promote, in its virtual clothes, their gospel. The Clinton administration and big corporations, taking (...) advantage of the myth of the computer and the new vocabulary associated with computers, launched a massive program of wiring schools. The process, still unfolding at a rapid pace, poses grave problems for the teaching profession and the role of schools in society. The author argues that the unethical ways in which computers force their ways into many educational institutions, the values they embody, the contexts of their multiple usages, the hyperfragmentation and increasing commodification of knowledge that they cause through online education, the vocationalization of education, and the atomization of teachers are likely to shrink pedagogical and democratic possibilities both at local and global levels. (shrink)

Digital computers play a special role in cognitive science—they may actually be instances of the phenomenon they are being used to model. This paper surveys some of the main issues involved in understanding the relationship between digital computers and cognition. It sketches the role of digital computers within orthodox computational cognitive science, in the light of a recently emerging alternative approach based around dynamical systems.

The notion that it is possible to construct intelligent machines out of nonorganic material is as old as Greek mythology. Vulcan, the lame god of fire, fabricated young women out of gold to assist him in his labours. He also made the bronze giant Talus, who guarded the island of Crete by running around it three times a day and heaving huge rocks at enemy ships. A single vein of ichor ran from Talus's neck to his heels. He bled to (...) death when he was wounded in the ankle or, according to another myth, when a brass pin in his heel was removed. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t (...) spell it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

The distinction at the heart of van Gelder’s target article is one between digital computers and dynamical systems. But this distinction conflates two more fundamental distinctions in cognitive science that should be keep apart. When this conflation is undone, it becomes apparent that the “computational hypothesis” (CH) is not as dominant in contemporary cognitive science as van Gelder contends; nor has the “dynamical hypothesis” (DH) been neglected.

There has been much debate whether computers can be responsible. This question is usually discussed in terms of personhood and personal characteristics, which a computer may or may not possess. If a computer fulfils the conditions required for agency or personhood, then it can be responsible; otherwise not. This paper suggests a different approach. An analysis of the concept of responsibility shows that it is a social construct of ascription which is only viable in certain social contexts and which (...) serves particular social aims. If this is the main aspect of responsibility then the question whether computers can be responsible no longer hinges on the difficult problem of agency but on the possibly simpler question whether responsibility ascriptions to computers can fulfil social goals. The suggested solution to the question whether computers can be subjects of responsibility is the introduction of a new concept, called “quasi-responsibility” which will emphasise the social aim of responsibility ascription and which can be applied to computers. (shrink)

Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective (...) version of the Church–Turing Thesis is unaffected by SAD computation. (shrink)

From the initial analysis of John Morris in 1976 about if computers can lie, I have presented my own treatment of the problem using what can be called a computational lying procedure. One that uses two Turing Machines. From there, I have argued that such a procedure cannot be implemented in a Turing Machine alone. A fundamental difficulty arises, concerning the computational representation of the self-knowledge a machine should have about the fact that it is lying. Contrary to Morris’ (...) claim, I have thus suggested that computers – as far as they are Turing Machines – cannot lie. Consequently, I have claimed that moral agency attribution to a robot or any other automated AI system, cannot be made, strictly grounded on imitating behaviors. Self-awareness as an ontological grounding for moral attribution must be evoked. This can pose a recognition problem from our part, should the sentient system be the only agent capable of acknowledging its own sentience. (shrink)

Computational neuroscientists not only employ computer models and simulations in studying brain functions. They also view the modeled nervous system itself as computing. What does it mean to say that the brain computes? And what is the utility of the ‘brain-as-computer’ assumption in studying brain functions? In previous work, I have argued that a structural conception of computation is not adequate to address these questions. Here I outline an alternative conception of computation, which I call the analog-model. The term ‘analog-model’ (...) does not mean continuous, non-discrete or non-digital. It means that the functional performance of the system simulates mathematical relations in some other system, between what is being represented. The brain-as-computer view is invoked to demonstrate that the internal cellular activity is appropriate for the pertinent information-processing task.Keywords: Computation; Computational neuroscience; Analog computers; Representation; Simulation. (shrink)

Conversation, talk, the communicative process, can be compared to the symphonic play of a piece of music. There is an orchestra, the musicians, whose tones and notes must flow, complement and harmonize with one another. There is a main theme. As the music builds variations on the theme are played, and new themes and subthemes are introduced. The basinett responds to the strings, the bass emphasizes the mood of the violin, while the french horn adds a new melody. The subtlety (...) and evenness of flow, the seeming simplicity of the piece, the rich interleaving of subdevelopments, variations, tangents, and recapitulations, are what make a piece of music great.Coherent communication is much the same. It looks easy. It flows. It seems effortless. In reality, of course, it is rich and complex, in both form and content. As in music, conversants may begin a conversation slowly, tentatively, with some simple (or complex) topic in mind. Slowly the momentum builds, the connections surface, and the themes become defined. As in music, these themes are then elaborated upon in various ways. Topic elaborations often spawn their own variations. New themes and subthemes are introduced. All the while, as in music, original themes reappear and are interwoven with the new ones. The twists and turns of the conversation seem to occur effortlessly.In music, there is usually one composer in control of which instrument plays next; one composer who is in charge of what the instrument will say. There is a single coordinator of theme introductions, developments, variations, and interweavings. The composition is done off-line and usually involves editing and re-editing for flaws. In discourse, however, we have on-line development with multiple parties responsible for flow coordination. All parties have to organize their own turns, themes, and variations, in addition to their being able to integrate these items into co-conversants'.In their book, “Understanding Computers and Cognition,” Winograd and Flores (1987) cite the following from Gadamer (Winograd and Flores, 1987, p. 32):It is not so much our judgments as it is our prejudices that constitute our being ... the historicity of our existence entails that prejudices, in the literal sense of the word, constitute the initial directedness of our whole ability to experience. Prejudices are biases of our openness to the world. They are simply conditions whereby we experience something — whereby what we encounter says something to us. (Gadamer, Philosophical Hermeneutics, 1976, p. 9). (shrink)

In Section 2, I survey some of the ways that computers are used in mathematics. These raise questions that seem to have a generally epistemological character, although they do not fall squarely under a traditional philosophical purview. The goal of this article is to try to articulate some of these questions more clearly, and assess the philosophical methods that may be brought to bear. In Section 3, I note that most of the issues can be classified under two headings: (...) some deal with the ability of computers to deliver appropriate “evidence” for mathematical assertions, a notion that is explored in Section 4, while others deal with the ability of computers to deliver appropriate mathematical “understanding,” a notion that is considered in Section 5. Final thoughts are provided in Section 6. (shrink)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s monograph, “Representation & Reality”, which if correct, has important implications for turing machine functionalism and the prospect (...) of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ”. Then, equating Q to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q opens the door to a vicious form of panpsychism whereby all open systems,, must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

Could a computer have a mind? What kind of machine would this be? Exactly what do we mean by 'mind' anyway?The notion of the 'intelligent' machine, whilst continuing to feature in numerous entertaining and frightening fictions, has also been the focus of a serious and dedicated research tradition. Reflecting on these fictions, and on the research tradition that pursues 'Artificial Intelligence', raises a number of vexing philosophical issues. Minds and Computers introduces readers to these issues by offering an engaging, (...) coherent, and highly approachable interdisciplinary introduction to the Philosophy of Artificial Intelligence.Readers are presented with introductory material from each of the disciplines which constitute Cognitive Science: Philosophy, Neuroscience, Psychology, Computer Science, and Linguistics. Throughout, readers are encouraged to consider the implications of this disparate and wide-ranging material for the possibility of developing machines with minds. And they can expect to de. (shrink)

Why do the big philosophical questions so often strike us as far-fetched and little to with everyday life? Mary Midgley shows that it need not be that way; she shows that there is a need for philosophy in the real world. Her popularity as one of our foremost philosophers is based on a no-nonsense, down-to-earth approach to fundamental human problems, philosphical or otherwise. In _Utopias, Dolphins and Computers_ she makes her case for philosophy as a difficult but necessary tool for (...) solving some of the most pressing issues facing contemporary society. How should we treat animals? Why are we so confused about the value of education? What is at stake in feminism? Why should we sustain our environment? Why do we think intelligent computers will save us? Mary Midgley argues that philosophy not only can, but should be used in thinking about these questions. _Utopias, Dolphins and Computers_ will make fascinating reading for philosophers, educationalists, feminists, environmentalists and indeed anyone interested in the questions of philosophy, ethics and life. (shrink)

Quantum physics is a linear theory, so it is somewhat puzzling that it can underlie very complex systems such as digital computers and life. This paper investigates how this is possible. Physically, such complex systems are necessarily modular hierarchical structures, with a number of key features. Firstly, they cannot be described by a single wave function: only local wave functions can exist, rather than a single wave function for a living cell, a cat, or a brain. Secondly, the quantum (...) to classical transition is characterised by contextual wave-function collapse shaped by macroscopic elements that can be described classically. Thirdly, downward causation occurs in the physical hierarchy in two key ways: by the downward influence of time dependent constraints, and by creation, modification, or deletion of lower level elements. Fourthly, there are also logical modular hierarchical structures supported by the physical ones, such as algorithms and computer programs, They are able to support arbitrary logical operations, which can influence physical outcomes as in computer aided design and 3-d printing. Finally, complex systems are necessarily open systems, with heat baths playing a key role in their dynamics and providing local arrows of time that agree with the cosmological direction of time that is established by the evolution of the universe. (shrink)