Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding. There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. (...) John Searle's attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

An increasingly popular solution to the anti-scientific climate rising on social media platforms has been the appeal to more critical thinking from the user's side. In this paper, we zoom in on the ideal of critical thinking and unpack it in order to see, specifically, whether it can provide enough epistemic agency so that users endowed with it can break free from enclosed communities on social media (so called epistemic bubbles). We criticise some assumptions embedded in the ideal of critical (...) thinking online and, instead, we propose that a better way to understand the virtuous behaviour at hand is as critical engagement, namely a mutual cultivation of critical skills among the members of an epistemic bubble. This mutual cultivation allows members within an epistemic bubble (in contrast, as we will show, with the authority-based models of epistemic echo chambers) to become more autonomous critical thinkers by cultivating self-trust. We use the model of relational autonomy as well as resources from work on epistemic self-trust and epistemic interdependence to develop an explanatory framework, which in turn may ground rules for identifying and creating virtuous epistemic bubbles within the environments of social media platforms. (shrink)

Alan Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight.

Agouti expression during the middle portion of the mouse hair growth cycle induces melanocytes to synthesize yellow instead of black pigment, generating black hairs with a yellow band. Dominant agouti alleles increase the amount of yellow pigment in the coat and are associated with pleiotropic effects including obesity, diabetes and increased tumor susceptibility. Four dominant agouti alleles (Aiapy, Aiy, Asy and Avy) were recently shown to result from insertions that cause ubiquitous expression of chimeric transcripts encoding a wild‐type agouti protein(1,2). (...) Three insertions were identified as intracisternal A‐particles, which helps explain the variable coat colors and parental imprinting effects associated with some dominat agouti alleles. (shrink)

Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding.There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. John (...) Searle's attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

The prelims comprise: The Birth of the Modern Computer What is a Turing Machine? The Basic Operations of a Turing Machine Human Computation The Church—Turing Thesis Beyond the Universal Turing Machine Misunderstandings of the Church—Turing Thesis: The Limits of Machines Conclusion.

We describe an emerging field, that of nonclassical computability and nonclassical computing machinery. According to the nonclassicist, the set of well-defined computations is not exhausted by the computations that can be carried out by a Turing machine. We provide an overview of the field and a philosophical defence of its foundations.

Do the dynamics of a physical system determine what function the system computes? Except in special cases, the answer is no: it is often indeterminate what function a given physical system computes. Accordingly, care should be taken when the question ‘What does a particular neuronal system do?’ is answered by hypothesising that the system computes a particular function. The phenomenon of the indeterminacy of computation has important implications for the development of computational explanations of biological systems. Additionally, the phenomenon lends (...) some support to the idea that a single neuronal structure may perform multiple cognitive functions, each subserved by a different computation. We provide an overarching conceptual framework in order to further the philosophical debate on the nature of computational indeterminacy and computational explanation. (shrink)

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. (shrink)

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. (shrink)

The tape is divided into squares, each square bearing a single symbol—'0' or '1', for example. This tape is the machine's general-purpose storage medium: the machine is set in motion with its input inscribed on the tape, output is written onto the tape by the head, and the tape serves as a short-term working memory for the results of intermediate steps of the computation. The program governing the particular computation that the machine is to perform is also stored on the (...) tape. A small, fixed program that is 'hard-wired' into the head enables the head to read and execute the instructions of whatever program is on the tape. The machine's atomic operations are very simple—for example, 'move left one square', 'move right one square', 'identify the symbol currently beneath the head', 'write 1 on the square that is beneath the head', and 'write 0 on the square that is beneath the head'. Complexity of operation is achieved by the chaining together of large numbers of these simple atoms. Any universal Turing machine can be programmed to carry out any calculation that can be performed by a human mathematician working with paper and pencil in accordance with some algorithmic method. This is what is meant by calling these machines 'universal'. (shrink)

There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind.

In this article the central philosophical issues concerning human-level artificial intelligence (AI) are presented. AI largely changed direction in the 1980s and 1990s, concentrating on building domain-specific systems and on sub-goals such as self-organization, self-repair, and reliability. Computer scientists aimed to construct intelligence amplifiers for human beings, rather than imitation humans. Turing based his test on a computer-imitates-human game, describing three versions of this game in 1948, 1950, and 1952. The famous version appears in a 1950 article in Mind, ‘Computing (...) Machinery and Intelligence’ (Turing 1950). The interpretation of Turing's test is that it provides an operational definition of intelligence (or thinking) in machines, in terms of behavior. ‘Intelligent Machinery’ sets out the thesis that whether an entity is intelligent is determined in part by our responses to the entity's behavior. Wittgenstein frequently employed the idea of a human being acting like a reliable machine. A ‘living reading-machine’ is a human being or other creature that is given written signs, for example Chinese characters, arithmetical symbols, logical symbols, or musical notation, and who produces text spoken aloud, solutions to arithmetical problems, and proofs of logical theorems. Wittgenstein mentions that an entity that manipulates symbols genuinely reads only if he or she has a particular history, involving learning and training, and participates in a social environment that includes normative constraints and further uses of the symbols. (shrink)

What is the role of chance in scientific discovery? And, more to the point, if chance plays a key role in scientific discovery, what room is left for reason? These are grounding questions in the debates, for instance, over whether there is a distinction to be made between discovery and justification in science, and whether innate genius must play a role in discovery or if there exists some method that can be taught to anyone. While the role of chance has (...) been discussed throughout the history of science, it has resurfaced in recent debates over how science should be funded, and particularly in the field of biomedical research. The word serendipity, for example, has become increasingly... (shrink)

Famous examples of conceivability arguments include (i) Descartes’ argument for mind-body dualism, (ii) Kripke's ‘modal argument’ against psychophysical identity theory, (iii) Chalmers’ ‘zombie argument’ against materialism, and (iv) modal versions of the ontological argument for theism. In this paper, we show that for any such conceivability argument, C, there is a corresponding ‘mirror argument’, M. M is deductively valid and has a conclusion that contradicts C's conclusion. Hence, a proponent of C—henceforth, a ‘conceivabilist’—can be warranted in holding that C's premises (...) are conjointly true only if she can find fault with one of M's premises. But M's premises are modelled on a pair of C's premises. The same reasoning that supports the latter supports the former. For this reason, a conceivabilist can repudiate M's premises only on pain of severely undermining C's premises. We conclude on this basis that all conceivability arguments, including each of (i)–(iv), are fallacious. (shrink)

Alan M. Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight. An introduction (...) by leading Turing expert Jack Copeland provides the background and guides the reader through the selection. About Alan Turing Alan Turing FRS OBE, (1912-1954) studied mathematics at King's College, Cambridge. He was elected a Fellow of King's in March 1935, at the age of only 22. In the same year he invented the abstract computing machines - now known simply as Turing machines - on which all subsequent stored-program digital computers are modelled. During 1936-1938 Turing continued his studies, now at Princeton University. He completed a PhD in mathematical logic, analysing the notion of 'intuition' in mathematics and introducing the idea of oracular computation, now fundamental in mathematical recursion theory. An 'oracle' is an abstract device able to solve mathematical problems too difficult for the universal Turing machine. In the summer of 1938 Turing returned to his Fellowship at King's. When WWII started in 1939 he joined the wartime headquarters of the Government Code and Cypher School (GC&CS) at Bletchley Park, Buckinghamshire. Building on earlier work by Polish cryptanalysts, Turing contributed crucially to the design of electro-mechanical machines ('bombes') used to decipher Enigma, the code by means of which the German armed forces sought to protect their radio communications. Turing's work on the version of Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as 'Fish'. Based on binary teleprinter code, Fish was used during the latter part of the war in preference to morse-based Enigma for the encryption of high-level signals, for example messages from Hitler and other members of the German High Command. It is estimated that the work of GC&CS shortened the war in Europe by at least two years. Turing received the Order of the British Empire for the part he played. In 1945, the war over, Turing was recruited to the National Physical Laboratory (NPL) in London, his brief to design and develop an electronic computer - a concrete form of the universal Turing machine. Turing's report setting out his design for the Automatic Computing Engine (ACE) was the first relatively complete specification of an electronic stored-program general-purpose digital computer. Delays beyond Turing's control resulted in NPL's losing the race to build the world's first working electronic stored-program digital computer - an honour that went to the Royal Society Computing Machine Laboratory at Manchester University, in June 1948. Discouraged by the delays at NPL, Turing took up the Deputy Directorship of the Royal Society Computing Machine Laboratory in that year. Turing was a founding father of modern cognitive science and a leading early exponent of the hypothesis that the human brain is in large part a digital computing machine, theorising that the cortex at birth is an 'unorganised machine' which through 'training' becomes organised 'into a universal machine or something like it'. He also pioneered Artificial Intelligence. Turing spent the rest of his short career at Manchester University, being appointed to a specially created Readership in the Theory of Computing in May 1953. He was elected a Fellow of the Royal Society of London in March 1951 (a high honour). (shrink)

That there is a “crisis of peer review” at the moment is not in dispute, but sufficient attention has not yet been paid to the normative potential that lies in current calls for reform. In contrast to approaches to “fixing” the problems in peer review, which tend to maintain the status quo in terms of professionalising opportunities, this paper addresses the needs of philosophers and how peer‐review reform can be an opportunity to improve the academic discipline of philosophy, whereby progress (...) is understood as making the discipline more fair to the global academic community and more conducive to the flourishing of academic philosophers. The paper evaluates recent categories of relevant norms and correlating reforms. In conclusion, it recommends that philosophy pursue the norms of transparency and democracy explicitly when proposing peer‐review reform and suggest that proposals for forum‐based models of peer review are most likely to support those norms. (shrink)

While resilience is a major concept in development, climate adaptation, and related domains, many doubts remain about how to interpret this term, its relationship with closely overlapping terms, or its normativity. One major view is that, while resilience originally was a descriptive concept denoting some adaptive property of ecosystems, subsequent applications to social contexts distorted its meaning and purpose by framing it as a transformative and normative quality. This article advances an alternative philosophical account based on the scrutiny of C.S. (...) Holling’s original work on resilience. We show that resilience had a central role among Holling’s proposals for reforming environmental science and management, and that Holling framed resilience as an ecosystem’s capacity of absorbing change and exploiting it for adapting or evolving, but also as the social ability of maintaining and opportunistically exploiting that natural capacity. Resilience therefore appears as a transformative social-ecological property that is normative in three ways: as an intrinsic ecological value, as a virtue of organizations or management styles, and as a virtuous understanding of human–nature relations. This interpretation accounts for the practical relevance of resilience, clarifies the relations between resilience and related terms, and is a firm ground for further normative work on resilience. (shrink)

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)

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

Logic and Reality is a collection of essays by philosophers, logicians, mathematicians, and computer scientists, celebrating the work of the late distinguished philosopher Arthur Prior on the eightieth anniversary of his birth. Topics range from philosophical discussions of the nature of time and of the nature of logic itself, to descriptions of computer systems that can reason and take account of the fact that they exist in a temporal world.

B. J. Copeland; Discussions: Vagueness and Bivalence: A Discussion of Williamson and Simons, Proceedings of the Aristotelian Society, Volume 95, Issue 1, 1 June.

Despite its lack of conceptual clarity and uniform definition, the term drug‐seeking is used frequently by nurses from a variety of practice environments. The drugs patients are referred to as seeking are often pain medications. This is important because nursing has widely adopted a patient‐centric definition of pain. Nursing also has a robust ethical code that places high value on human dignity and nurses’ role in patient advocacy. A review of literature was conducted with the aims of describing whether/how the (...) term drug‐seeking has changed over time and to determine whether the use of the term in nursing literature is consistent with nursing values. Use of the term has shifted from objective counts of patient requests for medication to a confusing mixture of observable patient behavior and subjective interpretations of patient motivation. Its use is not consistent with nursing values. It is, in fact, a good illustration of stigmatization in nursing. Stigmatization is contrary to nursing values. Nurses in practice, research, education, authors, reviewers, and editors all have a role in ending this stigmatization. (shrink)

In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained. The classical theory of tests is a major accomplishment but requires modification in order to produce a theory that accounts for the success of science. The revised theory is an analysis of the nondeductive aspect of scientific reasoning. It (...) results in a new definition of probability and a nonclassical point of view with regard to the foundations of probability. (shrink)

In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained. The classical theory of tests is a major accomplishment but requires modification in order to produce a theory that accounts for the success of science. The revised theory is an analysis of the nondeductive aspect of scientific reasoning. It (...) results in a new definition of probability and a nonclassical point of view with regard to the foundations of probability. (shrink)

This volume celebrates the various facets of Alan Turing (1912–1954), the British mathematician and computing pioneer, widely considered as the father of computer science. It is aimed at the general reader, with additional notes and references for those who wish to explore the life and work of Turing more deeply. -/- The book is divided into eight parts, covering different aspects of Turing’s life and work. -/- Part I presents various biographical aspects of Turing, some from a personal point of (...) view. -/- Part II presents Turing’s universal machine (now known as a Turing machine), which provides a theoretical framework for reasoning about computation. His 1936 paper on this subject is widely seen as providing the starting point for the field of theoretical computer science. -/- Part III presents Turing’s working on codebreaking during World War II. While the War was a disastrous interlude for many, for Turing it provided a nationally important outlet for his creative genius. It is not an overstatement to say that without Turing, the War would probably have lasted longer, and may even have been lost by the Allies. The sensitive nature of Turning’s wartime work meant that much of this has been revealed only relatively recently. -/- Part IV presents Turing’s post-War work on computing, both at the National Physical Laboratory and at the University of Manchester. He made contributions to both hardware design, through the ACE computer at the NPL, and software, especially at Manchester. Part V covers Turing’s contribution to machine intelligence (now known as Artificial Intelligence or AI). Although Turing did not coin the term, he can be considered a founder of this field which is still active today, authoring a seminal paper in 1950. -/- Part VI covers morphogenesis, Turing’s last major scientific contribution, on the generation of seemingly random patterns in biology and on the mathematics behind such patterns. Interest in this area has increased rapidly in recent times in the field of bioinformatics, with Turing’s 1952 paper on this subject being frequently cited. -/- Part VII presents some of Turing’s mathematical influences and achievements. Turing was remarkably free of external influences, with few co-authors – Max Newman was an exception and acted as a mathematical mentor in both Cambridge and Manchester. -/- Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness. -/- Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them. -/- For those interested in personal recollections, Chapters 2, 3, 11, 12, 16, 17, and 36 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 26–31, and 41. Mathematical perspectives can be found in Chapters 35 and 37–39. Historical perspectives can be found in Chapters 4, 8, 9, 10, 13–15, 18, 19, 21–25, 34, and 40. With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap. -/- We hope that you enjoy this volume as part of your library and that you will dip into it whenever you wish to enter the multifaceted world of Alan Turing. (shrink)

A survey of the field of hypercomputation, including discussion of a variety of objections.

Abstract‘Serendipity’ is a category used to describe discoveries in science that occur at the intersection of chance and wisdom. In this paper, I argue for understanding serendipity in science as an emergent property of scientific discovery, describing an oblique relationship between the outcome of a discovery process and the intentions that drove it forward. The recognition of serendipity is correlated with an acknowledgment of the limits of expectations about potential sources of knowledge. I provide an analysis of serendipity in science (...) as a defense of this definition and its implications, drawing from theoretical and empirical research on experiences of serendipity as they occur in science and elsewhere. I focus on three interrelated features of serendipity in science. First, there are variations of serendipity. The process of serendipitous discovery can be complex. Second, a valuable outcome must be obtained before reflection upon the significance of the unexpected observation or event in respect to that outcome can take place. Therefore, serendipity is retrospectively categorized. Third, the primacy of epistemic expectations is elucidated. Finally, I place this analysis within discussions in philosophy of science regarding the impact of interpersonal competition upon the number and significance of scientific discoveries. Thus, the analysis of serendipity offered in this paper contributes to discussions about the social-epistemological aspects of scientific discovery and has normative implications for the structure of epistemically effective scientific communities. (shrink)

Copeland draws from his experience of more than two decades in both city politics and as a professor of religion, and addresses head-on the issue of Christian ...

‘Serendipity’ is a category used to describe discoveries in science that occur at the intersection of chance and wisdom. In this paper, I argue for understanding serendipity in science as an emergent property of scientific discovery, describing an oblique relationship between the outcome of a discovery process and the intentions that drove it forward. The recognition of serendipity is correlated with an acknowledgment of the limits of expectations about potential sources of knowledge. I provide an analysis of serendipity in science (...) as a defense of this definition and its implications, drawing from theoretical and empirical research on experiences of serendipity as they occur in science and elsewhere. I focus on three interrelated features of serendipity in science. First, there are variations of serendipity. The process of serendipitous discovery can be complex. Second, a valuable outcome must be obtained before reflection upon the significance of the unexpected observation or event in respect to that outcome can take place. Therefore, serendipity is retrospectively categorized. Third, the primacy of epistemic expectations is elucidated. Finally, I place this analysis within discussions in philosophy of science regarding the impact of interpersonal competition upon the number and significance of scientific discoveries. Thus, the analysis of serendipity offered in this paper contributes to discussions about the social-epistemological aspects of scientific discovery and has normative implications for the structure of epistemically effective scientific communities. (shrink)

In this volume, we bring together for the first time the diverse threads within the field of serendipity research, to reflect both the origins of this emerging field within different disciplines as well as its growing influence as its own field with foundational texts and emerging practices. Many have been drawn to the mystery of serendipity, the wonder of the ‘aha’ moments humans experience when they encounter it. In the present volume we present, in contrast to the storytelling approach that (...) drives common fascination with serendipity’s impact on our lives, chapters by experts who have addressed questions about serendipity from a more scientific approach. They ask difficult questions in the following chapters, such as: what is serendipity, exactly?, what role does it actually play in discovery and how does it influence our methods?, how can we study and measure it?, are its results always or necessarily positive?, and how can we potentially influence it?, each with the intent of scientific rigour in their investigations. This introductory review highlights the impact that the phenomenon of serendipity has on human lives, and thereby its worth as an object of serious study. (shrink)

We set the Turing Test in the historical context of the development of machine intelligence, describe the different forms of the test and its rationale, and counter common misinterpretations and objections. Recently published material by Turing casts fresh light on his thinking.

Turing''s test has been much misunderstood. Recently unpublished material by Turing casts fresh light on his thinking and dispels a number of philosophical myths concerning the Turing test. Properly understood, the Turing test withstands objections that are popularly believed to be fatal.