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.

Modern physics was born from two great revolutions: relativity and quantum theory. Relativity imposed a locality constraint on physical theories: since nothing can go faster than light, very distant events cannot influence one another. Only in the last few decades has it become clear that quantum theory violates this constraint. The work of J. S. Bell has demonstrated that no local theory can return the predictions of quantum theory. Thus it would seem that the central pillars of modern physics are (...) contradictory. Quantum Non-Locality and Relativity examines the nature and possible resolution of this conflict. Beginning with accurate but non-technical presentations of Bell's work and of Special Relativity, there follows a close examination of different interpretations of relativity and of the sort of locality each demands. The story continues with a brief discussion of the General Theory of Relativity. This second edition also includes a new author's preface and an additional appendix. The book introduces philosophers to the relevant physics and demonstrates how philosophical analysis can help to resolve some of the problems. All of the physics is presented from first principles, and as much as possible is presented pictorially. Book jacket. (shrink)

This volume is designed to set out some of the central issues in the theory of truth. It draws together, for the first time, the debates between philosophers who favor 'robust' or 'substantive' theories of truth, and those other, 'deflationist' or minimalists, who deny that such theories can be given. The editors provide a substantial introduction, in which they look at how the debates relate to further issues, such as the Liar paradox and formal truth theories.

The purpose of this paper is to evaluate the `Lorentzian Pedagogy' defended by J.S. Bell in his essay ``How to teach special relativity'', and to explore its consistency with Einstein's thinking from 1905 to 1952. Some remarks are also made in this context on Weyl's philosophy of relativity and his 1918 gauge theory. Finally, it is argued that the Lorentzian pedagogy---which stresses the important connection between kinematics and dynamics---clarifies the role of rods and clocks in general relativity.

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)

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)

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.

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)

What is mind? This book attempts to give a philosophical answer to that question in language accessible to the layperson, but with a rigor acceptable to the specialist. Published on the centenary of the birth of Wittgenstein and the 40th anniversary of the publication of Gilbert Ryle 's classic The Concept of Mind, this work testifies to the influence of those thinkers on Kenny's own work in the philosophy of mind, and assembles Kenny's ideas on philosophical psychology into a systematic (...) whole. (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)

By exhibiting a violation of a novel form of the Bell-CHSH inequality, \.{Z}ukowski has recently established that the quantum correlations exploited in the standard perfect teleportation protocol cannot be recovered by any local hidden variables model. Allowing the quantum channel state in the protocol to be given by any density operator of two spin-1/2 particles, we show that a violation of a generalized form of \.{Z}ukowski's teleportation inequality can only occur if the channel state, considered by itself, violates a Bell-CHSH (...) inequality. On the other hand, although it is sufficient for a teleportation process to have a nonclassical fidelity---defined as a fidelity exceeding $2/3$---that the channel state employed violate a Bell-CHSH inequality, we show that such a violation does \emph{not} imply a violation of \.{Z}ukowski's teleportation inequality or any of its generalizations. The implication does hold, however, if the fidelity of the teleportation exceeds $2/3(1+1/2\sqrt{2})\approx .90$, suggesting the existence of a regime of nonclassical values of the fidelity, less than $.90$, for which the standard teleportation protocol can be modelled by local hidden variables. (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)

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)

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 mechanical measurements on a physical system are represented by observables - Hermitian operators on the state space of the observed system. It is an important question whether all observables may be realized, in principle, as measurements on a physical system. Dirac’s influential text ( [1], page 37) makes the following assertion on the question: The question now presents itself – Can every observable be measured? The answer theoretically is yes. In practice it may be very awkward, or perhaps even (...) beyond the ingenuity of the experimenter, to devise an apparatus which could measure some particular observable, but the theory always allows one to imagine that the measurement can be made. This Letter re-examines the question of whether it is possible, even in principle, to measure every quantum mechanical observable. Unexpectedly, ideas from com-. (shrink)

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)

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)

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)

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 paper surveys some of the questions that arise when we consider how entanglement and relativity are related via the notion of non-locality. We begin by reviewing the role of entangled states in Bell inequality violation and question whether the associated notions of non-locality lead to problems with relativity. The use of entanglement and wavefunction collapse in Einstein's famous incompleteness argument is then considered, before we go on to see how the issue of non-locality is transformed if one considers quantum (...) mechanics without collapse to be a complete theory, as in the Everett interpretation. (shrink)