I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

Bertrand Russell was one of the greatest logicians since Aristotle, and one of the most important philosophers of the past two hundred years. As we approach the 125th anniversary of the Nobel laureate's birth, his works continue to spark debate, resounding with unmatched timeliness and power. The Problems of Philosophy, one of the most popular works in Russell's prolific collection of writings, has become core reading in philosophy. Clear and accessible, this little book is an intelligible and stimulating guide to (...) those problems of philosophy which often mistakenly lead to its status as too lofty and abstruse for the lay mind. Focusing on problems he believes will provoke positive and constructive discussion, Russell concentrates on knowledge rather than metaphysics, steering the reader through his famous 1910 distinction between "knowledge by acquaintance and knowledge by description," and introducing important theories of Descartes, Kant, Hegel, Hume, Locke, Plato, and others to lay the foundation for philosophical inquiry by general readers and scholars alike.With a new introduction by John Perry, this valuable work is a perfect introduction to the field and will continue to stimulate philosophical discussion as it has done for nearly forty years. (shrink)

Luciano Floridi presents a book that will set the agenda for the philosophy of information. PI is the philosophical field concerned with the critical investigation of the conceptual nature and basic principles of information, including its dynamics, utilisation, and sciences, and the elaboration and application of information-theoretic and computational methodologies to philosophical problems. This book lays down, for the first time, the conceptual foundations for this new area of research. It does so systematically, by pursuing three goals. Its metatheoretical goal (...) is to describe what the philosophy of information is, its problems, approaches, and methods. Its introductory goal is to help the reader to gain a better grasp of the complex and multifarious nature of the various concepts and phenomena related to information. Its analytic goal is to answer several key theoretical questions of great philosophical interest, arising from the investigation of semantic information. (shrink)

Process and Reality, Whitehead’s magnum opus, is one of the major philosophical works of the modern world, and an extensive body of secondary literature has developed around it. Yet surely no significant philosophical book has appeared in the last two centuries in nearly so deplorable a condition as has this one, with its many hundreds of errors and with over three hundred discrepancies between the American and the English editions, which appeared in different formats with divergent paginations. The work itself (...) is highly technical and far from easy to understand, and in many passages the errors in those editions were such as to compound the difficulties. The need for a corrected edition has been keenly felt for many decades. (shrink)

The student of philosophy usually is not irritated by obscure formulations. On the contrary, reading the quoted passage he would presumably be convinced ...

I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...

'My endeavour in these pages is to explain the main features of the method of philosophizing which we, the Vienna Circle, use, and by using try to develop further. It is the method of the logical analysis of science, or more precisely, of the syntactical analysis of scientific language.... The purpose of the book -- as of the lectures -- is to give a first impression of our method and of the direction of our questions and investigations to those who (...) are not yet acquainted with them.' -- From the Preface. (shrink)

The use of “levels of abstraction” in philosophical analysis (levelism) has recently come under attack. In this paper, I argue that a refined version of epistemological levelism should be retained as a fundamental method, called the method of levels of abstraction. After a brief introduction, in section “Some Definitions and Preliminary Examples” the nature and applicability of the epistemological method of levels of abstraction is clarified. In section “A Classic Application of the Method ofion”, the philosophical fruitfulness of the new (...) method is shown by using Kant’s classic discussion of the “antinomies of pure reason” as an example. In section “The Philosophy of the Method of Abstraction”, the method is further specified and supported by distinguishing it from three other forms of “levelism”: (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In that context, the problems of relativism and antirealism are also briefly addressed. The conclusion discusses some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Philosophy and Computing explores each of the following areas of technology: the digital revolution; the computer; the Internet and the Web; CD-ROMs and Mulitmedia; databases, textbases, and hypertexts; Artificial Intelligence; the future of computing. Luciano Floridi shows us how the relationship between philosophy and computing provokes a wide range of philosophical questions: is there a philosophy of information? What can be achieved by a classic computer? How can we define complexity? What are the limits of quantam computers? Is the Internet (...) an intellectual space or a polluted environment? What is the paradox in the Strong Artificial Intelligence program? Philosophy and Computing is essential reading for anyone wishing to fully understand both the development and history of information and communication technology as well as the philosophical issues it ultimately raises. (shrink)

This is the first new scholarly edition this century of one of the greatest works in the history of philosophy, David Hume's Enquiry concerning Human Understanding. It is the third volume of the Clarendon Hume Edition, which will be the definitive edition for the foreseeable future. In this work Hume gives an elegant and accessible presentation of strikingly original and challenging views. The distinguished Hume scholar Tom Beauchamp presents an authoritative text accompanied by an introduction, annotation, a glossary, biographical sketches, (...) bibliographies, and indexes. (shrink)

Philosophy is a discipline that makes no observations, conducts no experiments, and needs no input from experience. It is an armchair subject, requiring only thought. Yet that thought can advance knowledge in unexpected directions, not only through the discovery of new facts but also through the enhancement of what we already know. Philosophy can clarify our vision of the world and provide exciting ways to interpret it. Of course, philosophy's unified purpose hasn't kept the discipline from splintering into warring camps. (...) Departments all over the world are divided among analytical and continental schools, Heidegger, Hegel, and other major thinkers, challenging the growth of the discipline and obscuring its relevance and intent. Having spent decades teaching in American, Asian, African, and European universities, Michael Dummett has felt firsthand the fractured state of contemporary practice and the urgent need for reconciliation. Setting forth a proposal for renewal and reengagement, Dummett begins with the nature of philosophical inquiry as it has developed for centuries, especially its exceptional openness and perspective-which has, ironically, led to our present crisis. He discusses philosophy in relation to science, religion, morality, language, and meaning and recommends avenues for healing around a renewed investigation of mind, language, and thought. Employing his trademark frankness and accessibility, Dummett asks philosophers to resolve theoretical difference and reclaim the vital work of their practice. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

Abstract Many projects in contemporary philosophy are artifactual puzzles of no abiding significance, but it is treacherously easy for graduate students to be lured into devoting their careers to them, so advice is proffered on how to avoid this trap.

The object of this paper is to advocate and to explain a certain view concerning the nature of philosophy.

Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined (...) by the nation or culture to which a philosopher belongs, rather than by the objective value of that philosopher’s work. Progress in philosophy can only be attained by avoiding these pitfalls. (shrink)

Can knowledge provide its own justification? This sceptical challenge - known as the problem of the criterion - is one of the major issues in the history of epistemology, and this volume provides its first comprehensive study, in a span of time that goes from Sextus Empiricus to Quine. After an essential introduction to the notions of knowledge and of philosophy of knowledge, the book provides a detailed reconstruction of the history of the problem. There follows a conceptual analysis of (...) its logical features, and a comparative examination of a phenomenology of solutions that have been suggested in the course of the history of philosophy in order to overcome it, from Descartes to Popper. In this context, an indirect approach to the problem of the criterion is defended as the most successful strategy against the sceptical challenge. (shrink)

Three semantic relations are analyzed: the relation of implication of a question by a question and a set of declarative sentences, the relation of implication of a question by a question, and the relation of strong implication of a question by a question and a set of declarative sentences. The connections between these concepts and the concepts of relative soundness, partial answerhood and presupposition are examined. The principal results are theorems about, to speak generally, epistemic reducibility of well-posed questions to (...) sequences of implied yes-no questions. (shrink)

The purpose of this paper is to defend G. E. Moore's open question argument, understood as an argument directed against analytic reductionism, the view that moral properties are analytically reducible to non-moral properties. In the first section I revise Moore's argument in order to make it as plausible and resistant against objections as possible. In the following two sections I develop the argument further and defend it against the most prominent objections raised against it. The conclusion of my line of (...) reasoning is that the open question argument offers the best explanation of our responses to the questions put in the argument, namely that analytic reductionism is mistaken. (shrink)

When scientists come up with some incredible results, what should we believe? This paper discusses the role of probability and statistics in helping determine what science tells us about our knowledge of the world.

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

Philosophical thinking, in the historically original sense, is simply the human mind in operation, unaided by anything supernatural and unfettered by any human authority or any procedure for reaching some pre-given end. This means that “philosophy” originally included far more than it does now, including all the natural sciences, as well as rational reflection on society, history, and art. What this means for us now is that philosophy must be an essentially outward-facing discipline, open to others. Most importantly, it needs (...) now to be open to the sciences, to practical social reflection, and to its own history. But what philosophy brings to all its reflections is above all a spirit of critical reflection, respect for evidence and argument, and a ruthless honesty that demands of people that they form their beliefs and views of life according to the best reasons and information they have, rather than forming their views according to their wishes or prejudices, or letting them be dictated by authorities or social traditions. In this sense, we are living in an unphilosophical, or even anti-philosophical, age, but this makes it all the more important for philosophy to continue to do its work. (shrink)

An evaluation of the 2008 Loebner contest.