According to some philosophers, computational explanation is proprietary
to psychology—it does not belong in neuroscience. But neuroscientists routinely offer computational explanations of cognitive phenomena. In fact, computational explanation was initially imported from computability theory into the science of mind by neuroscientists, who justified this move on neurophysiological grounds. Establishing the legitimacy and importance of computational explanation in neuroscience is one thing; shedding light on it is another. I raise some philosophical questions pertaining to computational explanation and outline some promising answers that (...) are being developed by a number of authors. (shrink)

Natural languages can express some logical propositions that humans are able to understand. We illustrate this fact with a famous text that Conan Doyle attributed to Holmes: “It is an old maxim of mine that when you have excluded the impossible, whatever remains, however improbable, must be the truth”. This is a subtle logical statement usually felt as an evident true. The problem we are trying to solve is the cognitive reason for such a feeling. We postulate here that we (...) accept Holmes’ maxim as true because our adult brains are equipped with neural modules that perform naturally modal logical computations. (shrink)

Diagrams, schemata, itineraries, we are accustomed to forms of arrowheads in representation. These forms often evoke movements that writing necessarily freezes on the paper while they propose to themselves to express their dynamics. Recent progress in techniques of communication and of expression permit us at limes to surmount these difficulties. When they can spread out into space (and lime) of a propable to entrer in its turn into movement (a machine – or simply a hand), this “liberated” forms permit us (...) to remove (or at the every least to rattle) important epistemological obstacles which subsist in practice as in theory. (shrink)

Cognitive modules are internal mental structures. Some theorists and empirical researchers hypothesize that the human mind is either partially or massively comprised of structures that are modular in nature. Modules are also invoked to explain cognitive capacities associated with the performance of specific functional tasks. Jerry Fodor (1983) considered that modules are useful only for explaining relatively low-level systems (input systems). These are the systems involved in capacities like perception and language. For Fodor, the central (high-level) systems of mind — (...) those involved in capacities like judgment (the “fixation of belief” in Fodor’s jargon), planning (practical reasoning), decision-making, and so forth — are not explainable in terms of modular mechanisms. However, some other philosophers as well as proponents and practitioners of evolutionary psychology consider that it is sensible — and even necessary — to invoke modules for explaining these systems, too. Indeed, the debate over modularity is mainly a debate over the modularity of central systems (high-level cognitive capacities). Admittedly, it is also possible to raise doubts about the modularity of peripheral systems (Prinz, 2006), but this kind of skepticism is not widespread in the literature. In contrast, both the empirical and the theoretical (a priori) cases in favor of central modularity are usually contested on multiple fronts and in tough terms. The case for the modularity of central systems is the core of the case for the massive modularity of mind hypothesis (viz. the hypothesis that consists in asserting that both the peripheral and the central systems of human mind are largely composed of modules). Granted, the massive modularity of mind hypothesis is an empirical statement and, as such, its truth should be ultimately decided in an empirical way, not a priori (Sperber, 1994, 2001). Nonetheless, much of the debate over massive modularity has taken place on theoretical grounds. This is due to an alleged underdetermination of the hypotheses regarding the modularity of central systems by data. In such conditions, the remaining open option has been to advance theoretical considerations in favor of the plausibility — and not directly in favor of the empirical truth or truthlikeness — of the massive modularity of mind generally, and of the modularity of some central systems in particular. These theoretical considerations are mostly based on an adaptationist view of evolution cum a classical computationalist approach to mind. They include arguments about the nature and evolution of hierarchically ordered complex systems (the evolvability of complexity argument), a presumption of optimality expressed in the apparent design of phenotypic traits shaped by natural selection (the task-specificity argument) and dismissing nonmodular mental architectures as computationally intractable (the tractability argument). Is the massive modularity of mind hypothesis a cogent view about the ontological nature of human mind or is it, rather, an effective/ineffective adaptationist discovery heuristic for generating predictively successful hypothesis about both heretofore unknown psychological traits and unknown properties of already identified psychological traits? Considering the inadequacies of the case in favor of massive modularity as an ontological hypothesis, I suggest approaching and valuing massive modularity as an adaptationist discovery heuristic. (shrink)

This paper aims to offer a new view of the role of connectionist models in the study of human cognition through the conceptualization of the history of connectionism – from the simplest perceptrons to convolutional neural nets based on deep learning techniques, as well as through the interpretation of criticism coming from symbolic cognitive science. Namely, the connectionist approach in cognitive science was the target of sharp criticism from the symbolists, which on several occasions caused its marginalization and almost complete (...) abandonment of its assumptions in the study of cognition. Criticisms have mostly pointed to its explanatory inadequacy as a theory of cognition or to its biological implausibility as a theory of implementation, and critics often focused on specific shortcomings of some connectionist models and argued that they apply to connectionism in general. In this paper, we want to show that both types of critique are based on the assumption that the only valid explanations in cognitive science are instances of homuncular functionalism and that by removing this assumption and by adopting an alternative methodology – exploratory mechanistic strategy, we can reject most objections to connectionism as irrelevant, explain the progress of connectionist models despite their shortcomings and sketch the trajectory of their future development. By adopting mechanistic explanations and by criticizing functionalism, we will reject the objections of explanatory inadequacy, by characterizing connectionist models as generic rather than concrete mechanisms, we will reject the objections of biological implausibility, and by attributing the exploratory character to connectionist models we will show that practice of generalizing current to general failures of connectionism is unjustified. (shrink)

Virtue ethics has many times been suggested as a promising recipe for the construction of artificial moral agents due to its emphasis on moral character and learning. However, given the complex nature of the theory, hardly any work has de facto attempted to implement the core tenets of virtue ethics in moral machines. The main goal of this paper is to demonstrate how virtue ethics can be taken all the way from theory to machine implementation. To achieve this goal, we (...) critically explore the possibilities and challenges for virtue ethics from a computational perspective. Drawing on previous conceptual and technical work, we outline a version of artificial virtue based on moral functionalism, connectionist bottom–up learning, and eudaimonic reward. We then describe how core features of the outlined theory can be interpreted in terms of functionality, which in turn informs the design of components necessary for virtuous cognition. Finally, we present a comprehensive framework for the technical development of artificial virtuous agents and discuss how they can be implemented in moral environments. (shrink)

This article examines three candidate cases of non-causal explanation in computational neuroscience. I argue that there are instances of efficient coding explanation that are strongly analogous to examples of non-causal explanation in physics and biology, as presented by Batterman, Woodward, and Lange. By integrating Lange’s and Woodward’s accounts, I offer a new way to elucidate the distinction between causal and non-causal explanation, and to address concerns about the explanatory sufficiency of non-mechanistic models in neuroscience. I also use this framework to (...) shed light on the dispute over the interpretation of dynamical models of the brain. _1_ Introduction _1.1_ Efficient coding explanation in computational neuroscience _1.2_ Defining non-causal explanation _2_ Case I: Hybrid Computation _3_ Case II: The Gabor Model Revisited _4_ Case III: A Dynamical Model of Prefrontal Cortex _4.1_ A new explanation of context-dependent computation _4.2_ Causal or non-causal? _5_ Causal and Non-causal: Does the Difference Matter? (shrink)

In the 70 years since Alan Turing’s ‘Computing Machinery and Intelligence’ appeared in Mind, there have been two widely-accepted interpretations of the Turing test: the canonical behaviourist interpretation and the rival inductive or epistemic interpretation. These readings are based on Turing’s Mind paper; few seem aware that Turing described two other versions of the imitation game. I have argued that both readings are inconsistent with Turing’s 1948 and 1952 statements about intelligence, and fail to explain the design of his game. (...) I argue instead for a response-dependence interpretation. This interpretation has implications for Turing’s view of free will: I argue that Turing’s writings suggest a new form of free will compatibilism, which I call response-dependence compatibilism. The philosophical implications of rethinking Turing’s test go yet further. It is assumed by numerous theorists that Turing anticipated the computational theory of mind. On the contrary, I argue, his remarks on intelligence and free will lead to a new objection to computationalism. (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

This paper discusses the epistemic status of biology from the standpoint of the systemic approach to living systems based on the notion of biological autonomy. This approach aims to provide an understanding of the distinctive character of biological systems and this paper analyses its theoretical and epistemological dimensions. The paper argues that, considered from this perspective, biological systems are examples of emergent phenomena, that the biological domain exhibits special features with respect to other domains, and that biology as a discipline (...) employs some core concepts, such as teleology, function, regulation among others, that are irreducible to those employed in physics and chemistry. It addresses the claim made by Jacques Monod that biology as a science is marginal. It argues that biology is general insofar as it constitutes a paradigmatic example of complexity science, both in terms of how it defines the theoretical object of study and of the epistemology and heuristics employed. As such, biology may provide lessons that can be applied more widely to develop an epistemology of complex systems. (shrink)

Previous theoretical or general approaches to the problems of Quantum Genetics and Molecular Evolution are considered in this article from the point of view of Quantum Automata Theory first published by the author in 1971, and further developed in several recent articles.The representation of genomes and Interactome networks in categories of many-valued logic LMn –algebras that are naturally transformed during biological evolution, or evolve through interactions with the environment provide a new insight into the mechanisms of molecular evolution, as well (...) as organismal evolution, in terms of sequences of quantum automata. Phenotypic changes are expressed only when certain environmentally-induced quantum-molecular changes are coupled with an internal re-structuring of major submodules of the genome and Interactome networks related to cell cycling and cell growth. Contrary to the commonly held view of `standard’ Darwinist models of evolution, the evolution of organisms and species occurs through coupled multi-molecular transformations induced not only by the environment but actually realized through internal re-organizations of genome and interactome networks. The biological, evolutionary processes involve certain epigenetic transformations that are responsible for phenotypic expression of the genome and Interactome transformations initiated at the quantum-molecular level. It can thus be said that only quantum genetics can provide correct explanations of evolutionary processes that are initiated at the quantum—multi-molecular levels and propagate to the higher levels of organismal and species evolution. Biological evolution should be therefore regarded as a multi-scale process which is initiated by underlying quantum multi-molecular transformations of the genomic and interactomic networks, followed by specific phenotypic transformations at the level of organism and the variable biogroupoids associated with the evolution of species which are essential to the survival of the species. The theoretical framework introduced in this article also paves the way to a Quantitative Biology approach to biological evolution at the quantum-molecular, as well as at the organismal and species levels. This is quite a substantial modification of the `established’ modern Darwinist, and also of several so-called `molecular evolution’ theories. (shrink)

What is the significance of high-speed computation for the sciences? How far does it result in a practice of simulation which affects the sciences on a very basic level? To offer more historical context to these recurring questions, this paper revisits the roots of computer simulation in the development of the ENIAC computer and the Monte Carlo method. With the aim of identifying more clearly what really changed (or not) in the history of science in the 1940s and 1950s due (...) to the computer, I will emphasize the continuities with older practices and develop a two-fold argument. Firstly, one can find a diversity of practices around ENIAC which tends to be ignored if one focuses only on the ENIAC itself as the originator of Monte Carlo simulation. Following from this, I claim, secondly, that there was no simulation around ENIAC. Not only is the term ‘simulation’ not used within that context, but the analysis also shows how ‘simulation’ is an effect of three interrelated sets of different practices around the machine: (1) the mathematics which the ENIAC users employed and developed, (2) the programs, (3) the physicality of the machine. I conclude that, in the context discussed, the most important shifts in practice are about rethinking existing computational methods. This was done in view of adapting them to the high-speed and programmability of the new machine. Simulation then is but one facet of this process of adaptation, singled out by posterity to be viewed as its principal aspect. (shrink)

What is the significance of high-speed computation for the sciences? How far does it result in a practice of simulation which affects the sciences on a very basic level? To offer more historical context to these recurring questions, this paper revisits the roots of computer simulation in the development of the ENIAC computer and the Monte Carlo method.With the aim of identifying more clearly what really changed (or not) in the history of science in the 1940s and 1950s due to (...) the computer, I will emphasize the continuities with older practices and develop a two-fold argument. Firstly, one can find a diversity of practices around ENIAC which tends to be ignored if one focuses only on the ENIAC itself as the originator of Monte Carlo simulation. Following from this, I claim, secondly, that there was no simulation around ENIAC. Not only is the term ‘simulation’ not used within that context, but the analysis also shows how ‘simulation’ is an effect of three interrelated sets of different practices around the machine: (1) the mathematics which the ENIAC users employed and developed, (2) the programs, (3) the physicality of the machine. I conclude that, in the context discussed, the most important shifts in practice are about rethinking existing computational methods. This was done in view of adapting them to the high-speed and programmability of the new machine. Simulation then is but one facet of this process of adaptation, singled out by posterity to be viewed as its principal aspect. (shrink)

Embodied cognition: assumptions, theses and challenges: The paper aims at providing a concise presentation of the concept of embodied cognition that emerged in the cognitive sciences a few decades ago and has gained great popularity among empirically and philosophically informed researchers. The term “embodied cognition” is used by the author in two senses. The narrow sense implies that the body plays an important role in the process of cognition. In the broad sense “embodied cognition” is to characterize the general tendency (...) within cognitive science which finds its articulation in the 4E perspective on cognition. The working hypothesis of the 4E perspective is that cognition depends on the characteristics of the agent’s body and its interaction with the physical and social environment. It emphasizes that cognition is: embodied, embedded, enacted, extended. After reconstructing the key concepts and basic assumptions the author offers a brief appraisal of the views under discussion. He claims that the characteristics of such a trend are incomplete and not homogeneity since the perspective encompasses at least a few related and partly overlapping views on cognition. The author concludes that “embodied cognition” serves as a label for a variety of research programs within cognitive science rather than a strictly defined and well-established research tradition or a new paradigm. (shrink)

In the popular imagination, the relevance of Turing's theoretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper ‘On Computable Numbers’. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, Haigh, and others that several computing pioneers, including Aiken, Eckert, Mauchly, and Zuse, did not depend on Turing's 1936 universal-machine concept. Furthermore, (...) it is not clear whether any substance in von Neumann's celebrated 1945 ‘First Draft Report on the EDVAC’ is influenced in any identifiable way by Turing's work. This raises the questions: When does Turing enter the field? Why did the Association for Computing Machinery honor Turing by associating his name to ACM's most prestigious award, the Turing Award? Previous authors have.. (shrink)

This paper examines whether a classical model could be translated into a PDP network using a standard connectionist training technique called extra output learning. In Study 1, standard machine learning techniques were used to create a decision tree that could be used to classify 8124 different mushrooms as being edible or poisonous on the basis of 21 different Features (Schlimmer, 1987). In Study 2, extra output learning was used to insert this decision tree into a PDP network being trained on (...) the identical problem. An interpretation of the trained network revealed a perfect mapping from its internal structure to the decision tree, representing a precise translation of the classical theory to the connectionist model. In Study 3, a second network was trained on the mushroom problem without using extra output learning. An interpretation of this second network revealed a different algorithm for solving the mushroom problem, demonstrating that the Study 2 network was indeed a proper theory translation. (shrink)

A key question in studying consciousness is how neural operations in the brain can identify streams of sensory input as belonging to distinct modalities, which contributes to the representation of qualitatively different experiences. The basis for identification of modalities is proposed to be constituted by self-organized comparative operations across a network of unimodal and multimodal sensory areas. However, such network interactions alone cannot answer the question how sensory feature detectors collectively account for an integrated, yet phenomenally differentiated experiential content. This (...) problem turns out to be different from, although related to, the binding problem. It is proposed that the neural correlate of an enriched, multimodal experience is constituted by the attractor state of a dynamic associative network. Within this network, unimodal and multimodal sensory maps continuously interact to influence each other’s attractor state, so that a feature change in one modality results in a fast re-coding of feature information in another modality. In this scheme, feature detection is coded by firing-rate, whereas firing phase codes relational aspects. (shrink)

A neural network is a model of the brain’s cognitive process, with a highly interconnected multiprocessor architecture. The neural network has incredible potential, in the view of these artificial neural networks inherently having good learning capabilities and the ability to learn different input features. Based on this, this paper proposes a new chaotic neuron model and a new chaotic neural network model. It includes a linear matrix, a sine function, and a chaotic neural network composed of three chaotic neurons. One (...) of the chaotic neurons is affected by the sine function. The network has rich chaotic dynamics and can produce multiscroll hidden chaotic attractors. This paper studied its dynamic behaviors, including bifurcation behavior, Lyapunov exponent, Poincaré surface of section, and basins of attraction. In the process of analyzing the bifurcation and the basins of attraction, it was found that the network demonstrated hidden bifurcation phenomena, and the relevant properties of the basins of attraction were obtained. Thereafter, a chaotic neural network was implemented by using FPGA, and the experiment proved that the theoretical analysis results and FPGA implementation were consistent with each other. Finally, an energy function was constructed to optimize the calculation based on the CNN in order to provide a new approach to solve the TSP problem. (shrink)

Long-Term Potentiation (LTP) is a kind of synaptic plasticity that many contemporary neuroscientists believe is a component in mechanisms of memory. This essay describes the discovery of LTP and the development of the LTP research program. The story begins in the 1950's with the discovery of synaptic plasticity in the hippocampus (a medial temporal lobe structure now associated with memory), and it ends in 1973 with the publication of three papers sketching the future course of the LTP research program. The (...) making of LTP was a protracted affair. Hippocampal synaptic plasticity was initially encountered as an experimental tool, then reported as a curiosity, and finally included in the ontic store of the neurosciences. Early researchers were not investigating the hippocampus in search of a memory mechanism; rather, they saw the hippocampus as a useful experimental model or as a structure implicated in the etiology of epilepsy. The link between hippocampal synaptic plasticity and learning or memory was a separate conceptual achievement. That link was formulated in at least three different ways at different times: reductively (claiming that plasticity is identical to learning), analogically (claiming that plasticity is an example or model of learning), and mechanistically (claiming that plasticity is a component in learning or memory mechanisms). The hypothesized link with learning or memory, coupled with developments in experimental techniques and preparations, shaped how researchers understood LTP itself. By 1973, the mechanistic formulation of the link between LTP and memory provided an abstract framework around which findings from multiple perspectives could be integrated into a multifield research program. (shrink)

Alan Turing anticipated many areas of current research incomputer and cognitive science. This article outlines his contributionsto Artificial Intelligence, connectionism, hypercomputation, andArtificial Life, and also describes Turing's pioneering role in thedevelopment of electronic stored-program digital computers. It locatesthe origins of Artificial Intelligence in postwar Britain. It examinesthe intellectual connections between the work of Turing and ofWittgenstein in respect of their views on cognition, on machineintelligence, and on the relation between provability and truth. Wecriticise widespread and influential misunderstandings of theChurch–Turing thesis (...) and of the halting theorem. We also explore theidea of hypercomputation, outlining a number of notional machines thatcompute the uncomputable. (shrink)

This article provides a detailed analysis of the transfer of a key cluster of ideas from mathematical logic to computing. We demonstrate the impact of certain of Turing’s logico-philosophical concepts from the mid-1930s on the emergence of the modern electronic computer—and so, in consequence, Turing’s impact on the direction of modern philosophy, via the computational turn. We explain why both Turing and von Neumann saw the problem of developing the electronic computer as a problem in logic, and we describe their (...) joint journey from logic to electronic computation. While much has been written about Turing’s and von Neumann’s individual contributions to the development of the computer, this article investigates less well-known terrain: their interactions and mutual influences. Along the way we argue against ‘logic skeptics’ and ‘Turing skeptics’, who claim that neither logic nor Turing played any significant role in the creation of the modern computer. (shrink)

It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuron-like elements connected together into networks in a largely random manner. Turing called his networks unorganised machines. By the application of what he described as appropriate interference, mimicking education an unorganised machine can be trained to perform any task that a Turing machine can carry out, provided the number of neurons is sufficient. Turing proposed simulating both the behaviour of the (...) network and the training process by means of a computer program. We outline Turing's connectionist project of 1948. (shrink)

It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuron-like elements connected together into networks in a largely random manner. Turing called his networks 'unorganised machines'. By the application of what he described as 'appropriate interference, mimicking education' an unorganised machine can be trained to perform any task that a Turing machine can carry out, provided the number of 'neurons' is sufficient. Turing proposed simulating both the behaviour of the (...) network and the training process by means of a computer program. We outline Turing's connectionist project of 1948. (shrink)

Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary (...) to a recent paper by Bringsjord, Bello and Ferrucci, however, the concept of an accelerating Turing machine cannot be used to shove up Searle's Chinese room argument. (shrink)

The implications of Warren McCulloch's 1945 concept of heterarchy are analyzed in terms of human value and motivational systems. The results demonstrate the near-impossibility of predicting behavior on the basis of any hierarchical scheme, or even which among a set of hierarchical schemes will be selected as the basis of a behavioral choice. Thus, for example, people regularly say one thing and do another.

Various threshold Boolean networks, a formalism used to model different types of biological networks, can produce similar dynamics, i.e. share same behaviors. Among them, some are complex, others not. By computing both structural and behavioral complexities, we show that most TBNs are structurally complex, even those having simple behaviors. For this purpose, we developed a new method to compute the structural complexity of a TBN based on estimates of the sizes of equivalence classes of the threshold Boolean functions composing the (...) TBN. (shrink)

This article argues that agent-based modeling is the methodological implication of Lawson’s championed ontological turn in economics. We single out three major properties of agent-based computational economics, namely, autonomous agents, social interactions, and the micro-macro links, which have been well accepted by the ACE community. We then argue that ACE does make a full commitment to the ontology of economics as proposed by Lawson, based on his prompted critical realism. Nevertheless, the article also points out the current limitations or constraints (...) of ACE. Efforts to overcome them are deemed to be crucial before ACE can make itself more promising to the current ontological turn in economics. (shrink)

The safety of the transmission lines maintains the stable and efficient operation of the smart grid. Therefore, it is very important and highly desirable to diagnose the health status of transmission lines by developing an efficient prediction model in the grid sensor network. However, the traditional methods have limitations caused by the characteristics of high dimensions, multimodality, nonlinearity, and heterogeneity of the data collected by sensors. In this paper, a novel model called LPR-MLP is proposed to predict the health status (...) of the power grid sensor network. The LPR-MLP model consists of two parts: local binary pattern, principal component analysis, and ReliefF are used to process image data and meteorological and mechanical data and the multilayer perceptron method is then applied to build the prediction model. The results obtained from extensive experiments on the real-world data collected from the online system of China Southern Power Grid demonstrate that this new LPR-MLP model can achieve higher prediction accuracy and precision of 86.31% and 85.3%, compared with four traditional methods. (shrink)

Philosophers of neuroscience have traditionally described interfield integration using reduction models. Such models describe formal inferential relations between theories at different levels. I argue against reduction and for a mechanistic model of interfield integration. According to the mechanistic model, different fields integrate their research by adding constraints on a multilevel description of a mechanism. Mechanistic integration may occur at a given level or in the effort to build a theory that oscillates among several levels. I develop this alternative model using (...) a putative exemplar of reduction in contemporary neuroscience: the relationship between the psychological phenomena of learning and memory and the electrophysiological phenomenon known as Long-Term Potentiation. A new look at this historical episode reveals the relative virtues of the mechanistic model over reduction as an account of interfield integration. (shrink)

The counterfactual account of physical computation is simple and, for the most part, very attractive. However, it is usually thought to trivialize the notion of physical computation insofar as it implies ‘limited pancomputationalism’, this being the doctrine that every deterministic physical system computes some function. Should we bite the bullet and accept limited pancomputationalism, or reject the counterfactual account as untenable? Jack Copeland would have us do neither of the above. He attempts to thread a path between the two horns (...) of the dilemma by buttressing the counterfactual account with extra conditions intended to block certain classes of deterministic physical systems from qualifying as physical computers. His theory is called the ‘algorithm execution account’. Here we show that the algorithm execution account entails limited pancomputationalism, despite Copeland’s argument to the contrary. We suggest, partly on this basis, that the counterfactual account should be accepted as it stands, pancomputationalist warts and all. (shrink)

Does the Wright & Liley model predict: (1) that subdural and hippocampal EEGs coherence tend to rise and fall in parallel for many frequencies, (2) that it is locally high or low within 10mm and falls steeply on average or, (3) that it is in constant flux, mostly rising and falling within 5–15 sec?