Editorial preface to the fourth edition and modified translation -- The text of the Philosophische Untersuchungen -- Philosophische untersuchungen = Philosophical investigations -- Philosophie der psychologie, ein fragment = Philosophy of psychology, a fragment.

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.

Machine generated contents note: Essay 1.

The mathematical theory of communication.

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

In contrast to the theories of relativity, quantum mechanics is not yet based on a generally accepted conceptual foundation. It is proposed here that the missing principle may be identified through the observation that all knowledge in physics has to be expressed in propositions and that therefore the most elementary system represents the truth value of one proposition, i.e., it carries just one bit of information. Therefore an elementary system can only give a definite result in one specific measurement. The (...) irreducible randomness in other measurements is then a necessary consequence. For composite systems entanglement results if all possible information is exhausted in specifying joint properties of the constituents. (shrink)

These works, as the sub-title makes clear, are unfinished sketches for Philosophical Investigations, possibly the most important and influential philosophical work of modern times. The 'Blue Book' is a set of notes dictated to Witgenstein's Cambridge students in 1933-1934: the 'Brown Book' was a draft for what eventually became the growth of the first part of Philosophical Investigations. This book reveals the germination and growth of the ideas which found their final expression in Witgenstein's later work. It is indispensable therefore (...) to students of Witgenstein's thought and to all those who wish to study at first-hand the mental processes of a thinker who fundamentally changed the course of modern philosophy. (shrink)

This is a discussion of how we can understand the world-view given to us by the Everett interpretation of quantum mechanics, and in particular the role played by the concept of 'world'. The view presented is that we are entitled to use 'many-worlds' terminology even if the theory does not specify the worlds in the formalism; this is defended by means of an extensive analogy with the concept of an 'instant' or moment of time in relativity, with the lack of (...) a preferred foliation of spacetime being compared with the lack of a preferred basis in quantum theory. Implications for identity of worlds over time, and for relativistic quantum mechanics, are discussed. (shrink)

An analysis is made of Deutsch's recent claim to have derived the Born rule from decision-theoretic assumptions. It is argued that Deutsch's proof must be understood in the explicit context of the Everett interpretation, and that in this context, it essentially succeeds. Some comments are made about the criticism of Deutsch's proof by Barnum, Caves, Finkelstein, Fuchs, and Schack; it is argued that the flaw which they point out in the proof does not apply if the Everett interpretation is assumed.

I address the problem of indefiniteness in quantum mechanics: the problem that the theory, without changes to its formalism, seems to predict that macroscopic quantities have no definite values. The Everett interpretation is often criticised along these lines, and I shall argue that much of this criticism rests on a false dichotomy: that the macroworld must either be written directly into the formalism or be regarded as somehow illusory. By means of analogy with other areas of physics, I develop the (...) view that the macroworld is instead to be understood in terms of certain structures and patterns which emerge from quantum theory (given appropriate dynamics, in particular decoherence). I extend this view to the observer, and in doing so make contact with functionalist theories of mind. (shrink)

We consider the informal concept of "computability" or "effective calculability" and two of the formalisms commonly used to define it, "(Turing) computability" and "(general) recursiveness". We consider their origin, exact technical definition, concepts, history, general English meanings, how they became fixed in their present roles, how they were first and are now used, their impact on nonspecialists, how their use will affect the future content of the subject of computability theory, and its connection to other related areas. After a careful (...) historical and conceptual analysis of computability and recursion we make several recommendations in section §7 about preserving the intensional differences between the concepts of "computability" and "recursion." Specifically we recommend that: the term "recursive" should no longer carry the additional meaning of "computable" or "decidable;" functions defined using Turing machines, register machines, or their variants should be called "computable" rather than "recursive;" we should distinguish the intensional difference between Church's Thesis and Turing's Thesis, and use the latter particularly in dealing with mechanistic questions; the name of the subject should be "Computability Theory" or simply Computability rather than "Recursive Function Theory.". (shrink)

State-reduction and the notion of actuality are compared to passage through time and the notion of the present; already in classical relativity the latter give rise to difficulties. The solution proposed here is to treat both tense and value-definiteness as relational properties or facts as relations; likewise the notions of change and probability. In both cases essential characteristics are absent: temporal relations are tenselessly true; probabilistic relations are deterministically true. The basic ideas go back to Everett, although the technical development (...) makes use of the decoherent histories theory of Griffiths, Omnès, and Gell-Mann and Hartle. Alternative interpretations of the decoherent histories framework are also considered. (shrink)

The relational approach to tense holds that the now, passage, and becoming are to be understood in terms of relations between events. The debate over the adequacy of this framework is illustrated by a comparative study of the sense in which physical theories, (in)deterministic and (non)relativistic, can lend expression to the metaphysics at issue. The objective is not to settle the matter, but to clarify the nature of this metaphysics and to establish that the same issues are at stake in (...) the relational approach to value-definiteness and probability in quantum mechanics. They concern the existence of a unique present, respectively actuality, and a notion of identity over time that cannot be paraphrased in terms of relations. (shrink)

A variety of ideas arising in decoherence theory, and in the ongoing debate over Everett's relative-state theory, can be linked to issues in relativity theory and the philosophy of time, specifically the relational theory of tense and of identity over time. These have been systematically presented in companion papers (Saunders 1995; 1996a); in what follows we shall consider the same circle of ideas, but specifically in relation to the interpretation of probability, and its identification with relations in the Hilbert Space (...) norm. The familiar objection that Everett's approach yields probabilities different from quantum mechanics is easily dealt with. The more fundamental question is how to interpret these probabilities consistent with the relational theory of change, and the relational theory of identity over time. I shall show that the relational theory needs nothing more than the physical, minimal criterion of identity as defined by Everett's theory, and that this can be transparently interpreted in terms of the ordinary notion of the chance occurrence of an event, as witnessed in the present. It is in this sense that the theory has empirical content. (shrink)

1. The Physical Church-Turing Thesis. Physicists often interpret the Church-Turing Thesis as saying something about the scope and limitations of physical computing machines. Although this was not the intention of Church or Turing, the Physical Church Turing thesis is interesting in its own right. Consider, for example, Wolfram’s formulation: One can expect in fact that universal computers are as powerful in their computational capabilities as any physically realizable system can be, that they can simulate any physical system . . . (...) No physically implementable procedure could then shortcut a computationally irreducible process. (Wolfram 1985) Wolfram’s thesis consists of two parts: (a) Any physical system can be simulated (to any degree of approximation) by a universal Turing machine (b) Complexity bounds on Turing machine simulations have physical significance. For example, suppose that the computation of the minimum energy of some system of n particles takes at least exponentially (in n) many steps. Then the relaxation time of the actual physical system to its minimum energy state will also take exponential time. (shrink)

The concept of quantum transition is critically examined from the perspective of the modern quantum theory of measurement. Historically rooted in the famous quantum jump of the Old Quantum Theory, the transition idea survives today in experimental jargon due to (1) the notion of uncontrollable disturbance of a system by measurement operations and (2) the wave-packet reduction hypothesis in several forms. Explicit counterexamples to both (1) and (2) are presented in terms of quantum measurement theory. It is concluded that the (...) idea of transition, or quantum jump, can no longer be rationally comprehended within the framework of contemporary physical theory. (shrink)

Quantum state teleportation has focused attention on the role of quantum information. Here we examine quantum teleportation through the Bohm interpretation. This interpretation introduced the notion of active information and we show that it is this information that is exchanged during teleportation. We discuss the relation between our notion of active information and the notion of quantum information introduced by Schumacher.

The semantic concept of information is one of the most important, and one of the most problematical concepts in biology. I suggest a broad definition of biological information: a source becomes an informational input when an interpreting receiver can react to the form of the source (and variations in this form) in a functional manner. The definition accommodates information stemming from environmental cues as well as from evolved signals, and calls for a comparison between information‐transmission in different types of inheritance (...) systems—the genetic, the epigenetic, the behavioral, and the cultural‐symbolic. This comparative perspective highlights the different ways in which information is acquired and transmitted, and the role that such information plays in heredity and evolution. Focusing on the special properties of the transfer of information, which are very different from those associated with the transfer of materials or energy, also helps to uncover interesting evolutionary effects and suggests better explanations for some aspects of the evolution of communication. (shrink)

I shall be mainly concerned with the question ‘What is personal propositional knowledge?’. This question is obviously quite narrowly focused, in three respects. In the first place, there is impersonal as well as personal knowledge. Second, a distinction is often drawn between propositional knowledge and practical knowledge. And third, as well as asking what knowledge is, it is also possible to ask whether and how knowledge of various kinds can be acquired: causal knowledge, a priori knowledge, moral knowledge, and so (...) on. I shall dwell briefly on each of these three points. First, there is the distinction between personal and impersonal knowledge – in other words, between the psychological concept of knowledge and the social one.1 We use the concept of knowledge to describe the cognitive condition of individuals; but we also use it to describe the progress of scientific and historical research. So for example we can speak or enquire about the state of knowledge in a particular field of biology or history. And if we do so, we are evidently not concerned with what anyone in particular knows about, say, the genetics of fruit flies or the career of Charlemagne, but rather with what the scientific or academic community knows. Needless to say, there is a close connection between personal and impersonal knowledge. But ‘It is known that p’ does not simply mean ‘Someone or other. (shrink)

In this paper I want to examine quantum teleportation from a point of view that is different from that normally considered. This will enable us to gain a new perspective into what is involved in the process of teleportation. It is clear that, at least in the case where particles are involved, it is not the particle that is transported, but rather the information contained in the wave function. This idea in itself is not new, but the central question that (...) requires clarification is the nature of this information. This paper provides a new insight into this question. (shrink)

The standard theory of computation excludes computations whose completion requires an infinite number of steps. Malament-Hogarth spacetimes admit observers whose pasts contain entire future-directed, timelike half-curves of infinite proper length. We investigate the physical properties of these spacetimes and ask whether they and other spacetimes allow the observer to know the outcome of a computation with infinitely many steps.

Some physicists seem to believe that quantum information theory requires a new concept of information (Jozsa, 1998, Quantum information and its properties. In: Hoi-Kwong Lo, S. Popescu, T. Spiller (Eds.), Introduction to Quantum Computation and Information, World Scientific, Singapore, (pp. 49-75); Deutsch & Hayden, 1999, Information flow in entangled quantum subsystems, preprint quant-ph/9906007). I will argue that no new concept is necessary. Shannon's concept of information is sufficient for quantum information theory. Properties that are cited to contrast quantum information and (...) classical information (i.e., Shannon information) actually point to differences in our ability to manipulate, access, and transfer information depending on whether quantum systems, opposed to classical systems, are used in a communication system. I also demonstrate that conceptually puzzling phenomena in quantum information theory, such as dense coding, teleportation, and Schumacher coding, all of which are cited as evidence that a new concept of information is required, do not have to be regarded as such. (shrink)

This book presents an attempt to develop a theory of knowledge and a philosophy of mind using ideas derived from the mathematical theory of communication developed by Claude Shannon. Information is seen as an objective commodity defined by the dependency relations between distinct events. Knowledge is then analyzed as information caused belief. Perception is the delivery of information in analog form for conceptual utilization by cognitive mechanisms. The final chapters attempt to develop a theory of meaning by viewing meaning as (...) a certain kind of information-carrying role. (shrink)

In this lucid portrayal of human behavior, Fred Dretske provides an original account of the way reasons function in the causal explanation of behavior.

What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effective or automatic way. This book is an introduction to computability theory (or recursion theory as it is traditionally known to mathematicians). Dr Cutland (...) begins with a mathematical characterisation of computable functions using a simple idealised computer (a register machine); after some comparison with other characterisations, he develops the mathematical theory, including a full discussion of non-computability and undecidability, and the theory of recursive and recursively enumerable sets. The later chapters provide an introduction to more advanced topics such as Gildel's incompleteness theorem, degrees of unsolvability, the Recursion theorems and the theory of complexity of computation. Computability is thus a branch of mathematics which is of relevance also to computer scientists and philosophers. Mathematics students with no prior knowledge of the subject and computer science students who wish to supplement their practical expertise with some theoretical background will find this book of use and interest. (shrink)

Unconditionally secure two-party bit commitment based solely on the principles of quantum mechanics (without exploiting special relativistic signalling constraints, or principles of general relativity or thermodynamics) has been shown to be impossible, but the claim is repeatedly challenged. The quantum bit commitment theorem is reviewed here and the central conceptual point, that an “Einstein–Podolsky–Rosen” attack or cheating strategy can always be applied, is clarified. The question of whether following such a cheating strategy can ever be disadvantageous to the cheater is (...) considered and answered in the negative. There is, indeed, no loophole in the theorem. (shrink)

We show that three fundamental information-theoretic constraints -- the impossibility of superluminal information transfer between two physical systems by performing measurements on one of them, the impossibility of broadcasting the information contained in an unknown physical state, and the impossibility of unconditionally secure bit commitment -- suffice to entail that the observables and state space of a physical theory are quantum-mechanical. We demonstrate the converse derivation in part, and consider the implications of alternative answers to a remaining open question about (...) nonlocality and bit commitment. (shrink)

It is argued that Minkowski space-time cannot serve as the deep structure within a ``constructive'' version of the special theory of relativity, contrary to widespread opinion in the philosophical community.

The strange story of the von Neumann impossibility proof is recalled, and the even stranger story of later impossibility proofs, and how the impossible was done by de Broglie and Bohm. Morals are drawn.

In the past thirty years or so, the doctrine that actions are events has become an essential, and sometimes unargued, part of the received view in the philosophy of action, despite the efforts of a few philosophers to undermine the consensus. For example, the entry for Agency in a recently published reference guide to the philosophy of mind begins with the following sentence: A central task in the philosophy of action is that of spelling out the differences between events in (...) general and those events that fall squarely into the category of human action. There is no consensus about what events are. But it is generally agreed that, whatever events may prove to be, actions are a species or a class of events. We believe that the received view is mistaken: actions are not events. We concede that for most purposes, the kind of categorial refinement which is involved in either affirming or denying that actions are events is frankly otiose. Our common idiom does not stress the difference between actions and events, at least not in general terms, because it has no need to. Perhaps it sounds a little odd to say that some events are performed; but if we balked at describing, say, the abdication of Edward VIII as one of the politically significant events in Britain in 1936, it could not be for metaphysical reasons. And since actions, like events, are datable — though often, as we shall see, only imprecisely — actions are said to take place and to occur. But an important class of actions consist in moving something; indeed, according to many philosophers, every action consists in moving something. And when we consider actions of this sort from a theoretical point of view it becomes imperative to distinguish between actions and events. Or so we shall argue. (shrink)

This paper traces the application of information theory to philosophical problems of mind and meaning from the earliest days of the creation of the mathematical theory of communication. The use of information theory to understand purposive behavior, learning, pattern recognition, and more marked the beginning of the naturalization of mind and meaning. From the inception of information theory, Wiener, Turing, and others began trying to show how to make a mind from informational and computational materials. Over the last 50 years, (...) many philosophers saw different aspects of the naturalization of the mind, though few saw at once all of the pieces of the puzzle that we now know. Starting with Norbert Wiener himself, philosophers and information theorists used concepts from information theory to understand cognition. This paper provides a window on the historical sequence of contributions made to the overall project of naturalizing the mind by philosophers from Shannon, Wiener, and MacKay, to Dennett, Sayre, Dretske, Fodor, and Perry, among others. At some time between 1928 and 1948, American engineers and mathematicians began to talk about `Theory of Information' and `Information Theory,' understanding by these terms approximately and vaguely a theory for which Hartley's `amount of information' is a basic concept. I have been unable to find out when and by whom these names were first used. Hartley himself does not use them nor does he employ the term `Theory of Transmission of Information,' from which the two other shorter terms presumably were derived. It seems that Norbert Wiener and Claude Shannon were using them in the Mid-Forties. (shrink)

The nature of quantum computation is discussed. It is argued that, in terms of the amount of information manipulated in a given time, quantum and classical computation are equally efficient. Quantum superposition does not permit quantum computers to ''perform many computations simultaneously'' except in a highly qualified and to some extent misleading sense. Quantum computation is therefore not well described by interpretations of quantum mechanics which invoke the concept of vast numbers of parallel universes. Rather, entanglement makes available types of (...) computation processes which, while not exponentially larger than classical ones, are unavailable to classical systems. The essence of quantum computation is that it uses entanglement to generate and manipulate a physical representation of the correlations between logical entities, without the need to completely represent the logical entities themselves. (shrink)

Conceptual Foundations of Quantum Mechanics provides a detailed view of the conceptual foundations and problems of quantum physics, and a clear and comprehensive account of the fundamental physical implications of the quantum formalism. This book deals with nonseparability, hidden variable theories, measurement theories and several related problems. Mathematical arguments are presented with an emphasis on simple but adequately representative cases. The conclusion incorporates a description of a set of relationships and concepts that could compose a legitimate view of the world.