There are results which show that measure-theoretic deterministic models and stochastic models are observationally equivalent. Thus there is a choice between a deterministic and an indeterministic model and the question arises: Which model is preferable relative to evidence? If the evidence equally supports both models, there is underdetermination. This paper first distinguishes between different kinds of choice and clarifies the possible resulting types of underdetermination. Then a new answer is presented: the focus is on the choice between a Newtonian deterministic (...) model supported by indirect evidence from other Newtonian models which invoke similar additional assumptions about the physical systems and a stochastic model that is not supported by indirect evidence. It is argued that the deterministic model is preferable. The argument against underdetermination is then generalised to a broader class of cases. Finally, the paper criticises the extant philosophical answers in relation to the preferable model. Winnie’s (1998) argument for the deterministic model is shown to deliver the correct conclusion relative to observations which are possible in principle and where there are no limits, in principle, on observational accuracy (the type of choice Winnie was concerned with). However, in practice the argument fails. A further point made is that Hoefer’s (2008) argument for the deterministic model is untenable. (shrink)

It can be shown that certain kinds of classical deterministic and indeterministic descriptions are observationally equivalent. Then the question arises: which description is preferable relative to evidence? This paper looks at the main argument in the literature for the deterministic description by Winnie (The cosmos of science—essays of exploration. Pittsburgh University Press, Pittsburgh, pp 299–324, 1998). It is shown that this argument yields the desired conclusion relative to in principle possible observations where there are no limits, in principle, on observational (...) accuracy. Yet relative to the currently possible observations (of relevance in practice), relative to the actual observations, or relative to in principle observations where there are limits, in principle, on observational accuracy the argument fails. Then Winnie’s analogy between his argument for the deterministic description and his argument against the prevalence of Bernoulli randomness in deterministic descriptions is considered. It is argued that while the arguments are indeed analogous, it is also important to see they are disanalogous in another sense. (shrink)

The central question of this paper is: are deterministic and indeterministic descriptions observationally equivalent in the sense that they give the same predictions? I tackle this question for measure-theoretic deterministic systems and stochastic processes, both of which are ubiquitous in science. I first show that for many measure-theoretic deterministic systems there is a stochastic process which is observationally equivalent to the deterministic system. Conversely, I show that for all stochastic processes there is a measure-theoretic deterministic system which is observationally equivalent (...) to the stochastic process. Still, one might guess that the measure-theoretic deterministic systems which are observationally equivalent to stochastic processes used in science do not include any deterministic systems used in science. I argue that this is not so because deterministic systems used in science even give rise to Bernoulli processes. Despite this, one might guess that measure-theoretic deterministic systems used in science cannot give the same predictions at every observation level as stochastic processes used in science. By proving results in ergodic theory, I show that also this guess is misguided: there are several deterministic systems used in science which give the same predictions at every observation level as Markov processes. All these results show that measure-theoretic deterministic systems and stochastic processes are observationally equivalent more often than one might perhaps expect. Furthermore, I criticise the claims of the previous philosophy papers Suppes (1993, 1999), Suppes and de Barros (1996) and Winnie (1998) on observational equivalence. (shrink)

We describe a possible physical device that computes a function that cannot be computed by a Turing machine. The device is physical in the sense that it is compatible with General Relativity. We discuss some objections, focusing on those which deny that the device is either a computer or computes a function that is not Turing computable. Finally, we argue that the existence of the device does not refute the Church–Turing thesis, but nevertheless may be a counterexample to Gandy's thesis.

The paper criticizes standard functionalist arguments for multiple realization. It focuses on arguments in which psychological states are conceived as computational, which is precisely where the multiple realization doctrine has seemed the strongest. It is argued that a type-type identity thesis between computational states and physical states is no less plausible than a multiple realization thesis. The paper also presents, more tentatively, positive arguments for a picture of local reduction.

We open this paper by explicating the content of « Laplace’s myth », which we construe as an inference resting on the conjunction of two premises, the hypothesis of an unlimited intelligence and the hypothesis of an ontologically deterministic universe, and leading to the thesis of epistemological determinism. We then aim at showing that such an inference is not valid. To this purpose, we seek for a particular metaphysical framework within which it is possible to hold the conjunction of the (...) premises of the Laplacean inference together with the negation of its conclusion. In particular, after having assessed – and then discarded – the possibility that Bergsonism be a suitable framework to this effect, we show that a specific philosophy of evolution, which has been influenced by – but also took its distance with regard to – Bergsonism, turns out to be the required framework. Emphasising the existence as well as the very consistence of this philosophy is the occasion for putting an end to Laplace’s myth. (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)

Some have suggested that certain classical physical systems have undecidable long-term behavior, without specifying an appropriate notion of decidability over the reals. We introduce such a notion, decidability in (or d- ) for any measure , which is particularly appropriate for physics and in some ways more intuitive than Ko's (1991) recursive approximability (r.a.). For Lebesgue measure , d- implies r.a. Sets with positive -measure that are sufficiently "riddled" with holes are never d- but are often r.a. This explicates Sommerer (...) and Ott's (1996) claim of uncomputable behavior in a system with riddled basins of attraction. Furthermore, it clarifies speculations that the stability of the solar system (and similar systems) may be undecidable, for the invariant tori established by KAM theory form sets that are not d-. (shrink)

The results of Cubitt et al. on the spectral gap problem add a new chapter to the issue of undecidability in physics, as they show that it is impossible to decide whether the Hamiltonian of a quantum many-body system is gapped or gapless. This implies, amongst other things, that a reductionist viewpoint would be untenable. In this paper, we examine their proof and a few philosophical implications, in particular ones regarding models and limitative results. In more detail, we examine the (...) way these theorems model many-body quantum systems, and we question what, if anything, is the physical counterpart of the models used by Cubitt et al. We argue that these models are non-representational and that, even if they are so artificial that it is hard to imagine a physical system arising from them, they nonetheless offer an opportunity to learn about the world and the relation between mathematics and reality. On this basis, we draw the conclusion that their results do not undermine the reductionist viewpoint in a strong sense but leave the question open in a weak sense. (shrink)

I discuss the philosophical implications that the rising new science of quantum computing may have on the philosophy of computer science. While quantum algorithms leave the notion of Turing-Computability intact, they may re-describe the abstract space of computational complexity theory hence militate against the autonomous character of some of the concepts and categories of computer science.

I argue that our judgements regarding the locally causal models that are compatible with a given constraint implicitly depend, in part, on the context of inquiry. It follows from this that certain quantum no-go theorems, which are particularly striking in the traditional foundational context, have no force when the context switches to a discussion of the physical systems we are capable of building with the aim of classically reproducing quantum statistics. I close with a general discussion of the possible implications (...) of this for our understanding of the limits of classical description, and for our understanding of the fundamental aim of physical investigation. _1_ Introduction _2_ No-Go Results _2.1_ The CHSH inequality _2.2_ The GHZ equality _3_ Classically Simulating Quantum Statistics _3.1_ GHZ statistics _3.2_ Singlet statistics _4_ What Is a Classical Computer Simulation? _5_ Comparing the All-or-Nothing GHZ with Statistical equalities _6_ General Discussion _7_ Conclusion. (shrink)

The principle of 'information causality' can be used to derive an upper bound---known as the 'Tsirelson bound'---on the strength of quantum mechanical correlations, and has been conjectured to be a foundational principle of nature. In this paper, however, I argue that the principle has not to date been sufficiently motivated to play this role; the motivations that have so far been given are either unsatisfactorily vague or else amount to little more than an appeal to intuition. I then consider how (...) one might begin to successfully motivate the principle. I argue that a compelling way of so doing is to understand it as a generalisation of Einstein's principle of the mutually independent existence---the 'being-thus'---of spatially distant things, interpreted as a special methodological principle. More specifically: I describe an argument, due to Demopoulos, to the effect that the quantum-mechanical no-signalling condition can be viewed as a generalisation, appropriate to an irreducibly statistical theory such as quantum mechanics, of the Einsteinian principle. And I then argue that a compelling way to motivate information causality is to in turn consider it as a further generalisation of the Einsteinian principle that is appropriate to a theory of communication. I nevertheless describe important obstacles that must yet be overcome if the project of establishing information causality as a foundational principle of nature is to succeed. (shrink)

The enduring problem of free will has defied resolution across centuries. There is reason to believe that novel factors must be integrated into the analysis to make progress. Within the current physicalist framework, these factors encompass emergence and information theory, in the context of constraints imposed by physical limits on the representation of information. Furthermore the common, but vague, characterization of free will as 'being able to act differently' is rephrased into an explicatum more suitable for formal analysis. It is (...) argued that the mind is an ontologically open system; a causal high-level system, the dynamics of which cannot be reduced to the states of its associated low-level neural systems, not even if it is rendered physically closed. A positive answer to the question of free will for conscious agents is subsequently outlined. (shrink)

In quantum computing, where algorithms exist that can solve computational problems more efficiently than any known classical algorithms, the elimination of errors that result from external disturbances or from imperfect gates has become the ...

The problem of free will has persistently resisted a solution throughout centuries. There is reason to believe that new elements need to be introduced into the analysis in order to make progress. In the present physicalist approach, these elements are emergence and information theory in relation to universal limits set by quantum physics. Furthermore the common, but vague, characterization of free will as "being able to act differently" is, in the spirit of Carnap, rephrased into an explicatum more suitable for (...) formal analysis. It is argued that the mind is an ontologically open system; a causal high-level system, the future of which cannot be reduced to the states of its associated low-level neural systems, not even if it is rendered physically closed. A positive answer to the question of free will is subsequently outlined. (shrink)

The guiding question of this paper is: how similar are deterministic descriptions and indeterministic descriptions from a predictive viewpoint? The deterministic and indeterministic descriptions of concern in this paper are measure-theoretic deterministic systems and stochastic processes, respectively. I will explain intuitively some mathematical results which show that measure-theoretic deterministic systems and stochastic processes give more often the same predictions than one might perhaps have expected, and hence that from a predictive viewpoint these descriptions are quite similar.