It is often indeterminate what function a given computational system computes. This phenomenon has been referred to as “computational indeterminacy” or “multiplicity of computations.” In this paper, we argue that what has typically been considered and referred to as the challenge of computational indeterminacy in fact subsumes two distinct phenomena, which are typically bundled together and should be teased apart. One kind of indeterminacy concerns a functional characterization of the system’s relevant behavior. Another kind concerns the manner in which the (...) abstract states are interpreted. We discuss the similarities and differences between the two kinds of computational indeterminacy, their implications for certain accounts of “computational individuation” in the literature, and their relevance to different levels of description within the computational system. We also examine the inter-relationships between our proposed accounts of the two kinds of indeterminacy and the main accounts of “computational implementation.”. (shrink)

It is commonly maintained that neuroplastic mechanisms in the brain provide empirical support for the hypothesis of multiple realizability. We show in various case studies that neuroplasticity stems from preexisting mechanisms and processes inherent in the neural structure of the brain. We argue that not only does neuroplasticity fail to provide empirical evidence of multiple realization, its inability to do so strengthens the mind-body identity theory. Finally, we argue that a recently proposed identity theory called Flat Physicalism can be enlisted (...) to explain the current state of the mind-body problem more adequately. (shrink)

We start by very briefly describing the measurement problem in quantum mechanics and its solution by the Many Worlds Interpretation. We then describe the preferred basis problem, and the role of decoherence in the MWI. We discuss a number of approaches to the preferred basis problem and argue that contrary to the received wisdom, decoherence by itself does not solve the problem. We address Wallace’s emergentist approach based on what he calls Dennett’s criterion, and we compare the logical structure of (...) Wallace’s argument that the Hilbert space structure and the unitary dynamics should be considered a complete description of the physics of the universe with the logical structure of the EPR argument against the completeness of quantum mechanics. Then, we consider the nature of so-called “high level emergent facts” and Dennett’s criterion in Wallace’s approach and we discuss the implications of its non-reductive nature. Finally, we conclude that the MWI is not a straightforward interpretation of pure quantum mechanics that doesn't add anything to it. Whether or not it is more parsimonious than other quantum mechanical theories depends on the details of the additions. (shrink)

According to contemporary computational neuroscience the mental is associated with computations implemented in the brain. We analyze in physical terms based on recent results in the foundations of statistical mechanics two well-known (independent) problems that arise for this approach: the problem of multiple-computations and the problem of multiple-realization. We show that within the computational theory of the mind the two problems are insoluble by the physics of the brain. We further show that attempts to solve the problems by the interactions (...) of the systems implementing the computations with an environment (in or outside the brain) must introduce non- physical factors, and therefore fail on physical grounds. We also show that the problems are endemic and pertain to other forms of functional theories of the mind, most notably, causal functionalism. Finally, we propose a physicalist reductive identity theory, which is a generalization of statistical mechanics for all the special sciences, and show that only a theory of this kind can provide physical solutions to the above two problems in computational neuroscience. We conclude that functionalism in the theory of mind must be replaced with a reductive identity theory. This result has far-reaching implications with respect to the research programs in brain science. (shrink)

We show that the so-called Multiple-Computations Theorem in cognitive science and philosophy of mind challenges Landauer’s Principle in physics. Since the orthodox wisdom in statistical physics is that Landauer’s Principle is implied by, or is the mechanical equivalent of, the Second Law of thermodynamics, our argument shows that the Multiple-Computations Theorem challenges the universal validity of the Second Law of thermodynamics itself. We construct two examples of computations carried out by one and the same dynamical process with respect to which (...) Landauer’s principle implies contradictory predictions concerning the entropy increase. Our two examples are based on a weak version of the Multiple-Computations Theorem, which is quite uncontroversial, and therefore they amount to a clear refutation of the universal validity of Landauer’s Principle. We consider some responses to this argument that do not attempt to single out one computation over the others, and we show that they do not work. We further consider ways out of the argument by externalist approaches supporting the computational theory of the mind who propose that the interaction of a computing system with the environment is enough to select a single computation over the others. We show on physical grounds that this approach fails too. We then reverse the direction of our challenge and formulate a dilemma for supporters of the computational theory of the mind: they must reject the causal closure of physic; or else they must accept on a priori grounds that Landauer’s Principle and the Second Law of thermodynamics are not universally valid. Finally, we present our version of a type–type mind-brain identity theory called Flat Physicalism, which is based on the paradigm case of statistical mechanics, and we show that it circumvents the challenge from Landauer’s Principle and the Multiple-Computations Theorem and does not fall prey to our dilemma. (shrink)