Roughly speaking, computationalism says that cognition is computation, or that cognitive phenomena are explained by the agent‘s computations. The cognitive processes and behavior of agents are the explanandum. The computations performed by the agents‘ cognitive systems are the proposed explanans. Since the cognitive systems of biological organisms are their nervous 1 systems (plus or minus a bit), we may say that according to computationalism, the cognitive processes and behavior of organisms are explained by neural computations. Some people might prefer to (...) say that cognitive systems are ―realized‖ by nervous systems, and thus that—according to computationalism—cognitive computations are ―realized‖ by neural processes. In this paper, nothing hinges on the nature of the relation between cognitive systems and nervous systems, or between computations and neural processes. For present purposes, if a neural process realizes a computation, then that neural process is a computation. Thus, I will couch much of my discussion in terms of nervous systems and neural computation.1 Before proceeding, we should dispense with a possible red herring. Contrary to a common assumption, computationalism does not stand in opposition to connectionism. Connectionism, in the most general and common sense of the term, is the claim that cognitive phenomena are explained (at some level and at least in part) by the processes of neural networks. This is a truism, supported by most neuroscientific evidence. Everybody ought to be a connectionist in this general sense. The relevant question is, are neural processes computations? More precisely, are the neural processes to be found in the nervous systems of organisms computations? Computationalists say ―yes‖, anti-computationalists say ―no‖. This paper investigates whether any of the arguments on offer against computationalism have a chance at knocking it off.2 Ever since Warren McCulloch and Walter Pitts (1943) first proposed it, computationalism has been subjected to a wide range of objections.. (shrink)

Relative to digital computation, analogue computation has been neglected in the philosophical literature. To the extent that attention has been paid to analogue computation, it has been misunderstood. The received view—that analogue computation has to do essentially with continuity—is simply wrong, as shown by careful attention to historical examples of discontinuous, discrete analogue computers. Instead of the received view, I develop an account of analogue computation in terms of a particular type of analogue representation that allows for discontinuity. This account (...) thus characterizes all types of analogue computation, whether continuous or discrete. Furthermore, the structure of this account can be generalized to other types of computation: analogue computation essentially involves analogue representation, whereas digital computation essentially involves digital representation. Besides being a necessary component of a complete philosophical understanding of computation in general, understanding analogue computation is important for computational explanation in contemporary neuroscience and cognitive science. (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)

Lake et al. propose three criteria which, they argue, will bring artificial intelligence (AI) systems closer to human cognitive abilities. In this paper, we explore the application of these criteria to a particular domain of human cognition: our capacity for moral reasoning. In doing so, we explore a set of considerations relevant to the development of AI moral decision-making. Our main focus is on the relation between dual-process accounts of moral reasoning and model-free/model-based forms of machine learning. We also discuss (...) how work in embodied and situated cognition could provide a valu- able perspective on future research. (shrink)

This article explores the psychological dimension of classical Sāṃkhya philosophy, on the basis of its canonical treatise, Sāṃkhyakārikā of Īśvarakṛṣṇa (4th Century AD). The strong dualism defended by this ancient metaphysics establishes a division between what we will designate as the phenomenon of consciousness (puruṣa) and the cognitive phenomena (prakṛti). According to our approach, Sāṃkhya seems to offer a mechanical model of mind by means of an introspective self-research. In fact, we will argue that in this system of thought, mind (...) is regarded as an artificial extension of consciousness. Considering the Sāṃkhya classical treatise as the report of a meditative experience, our main purpose is to examine some key points of this dualism. To this end, we also take account of certain Western theories of mind, as well as certain aspects included in another Indian philosophy greatly influenced by the Sāṃkhya system, namely, the classical Yoga of Patañjali. (shrink)

This article will rework the classical question ‘Can a machine think?’ into a more specific problem: ‘Can a machine think anything new?’ It will consider traditional computational tasks such as prediction and decision-making, so as to investigate whether the instrumentality of these operations can be understood in terms of the creation of novel thought. By addressing philosophical and technoscientific attempts to mechanise thought on the one hand, and the philosophical and cultural critique of these attempts on the other, I will (...) argue that computation’s epistemic productions should be assessed vis-à-vis the logico-mathematical specificity of formal axiomatic systems. Such an assessment requires us to conceive automated modes of thought in such a way as to supersede the hope that machines might replicate human cognitive faculties, and to thereby acknowledge a form of onto-epistemological autonomy in automated ‘thinking’ processes. This involves moving beyond the view that machines might merely simulate humans. Machine thought should be seen as dramatically alien to human thought, and to the dimension of lived experience upon which the latter is predicated. Having stepped outside the simulative paradigm, the question ‘Can a machine think anything new?’ can then be reformulated. One should ask whether novel behaviour in computing might come not from the breaking of mechanical rules, but from following them: from doing what computers do already, and not what we might think they should be doing if we wanted them to imitate us. (shrink)

Je soutiens qu’accepter les explications réalistes intentionnelles du comportement cognitif conduit inévitablement à endosser l’hypothèse du langage de la pensée, et que cette position théorique est, par conséquent, largement répandue chez les philosophes de l’esprit. Au cours de la discussion, je propose un exposé succinct et précis de cette hypothèse et j’analyse une série d’exemples représentatifs de l’argumentation pro-LOT. Après avoir examiné deux cas de résistance à ce type de raisonnement, je conclus en montrant que le soutien accordé à la (...) LOT est empiriquement substantiel, en dépit de la flexibilité et du caractère incomplet de cette hypothèse. (shrink)

A popular argument form uses general theories of cognitive architecture to motivate conclusions about the nature of moral cognition. This paper highlights the possibility for modus tollens reversal of this argument form. If theories of cognitive architecture generate predictions for moral cognition, then tests of moral thinking provide feedback to cognitive science. In certain circumstances, philosophers' introspective attention to their own moral deliberations can provide unique data for these tests. Recognizing the possibility for this sort of feedback helps to illuminate (...) a deep continuity between the disciplines. (shrink)

In this article, we propose an initial formal model of computationalism based on mathematical relations between cognition and computation. More specifically, based on a set of cognitive constituents as a domain, and a set of computational implementations as a range, we define two relations of transformation over these sets. Moreover, we define the principles of implementability, describability, and phenomena correspondence, and we conjecture that full computationalism does not hold since these principles are not fulfilled. Particularly, many cognitively-tied phenomena fail to (...) respect the describability principle which is necessary for representing a cognitive state by a computational state. (shrink)

This paper proposes a model for implementation of intrinsic natural language sentence meaning in a physical language understanding system, where 'intrinsic' is understood as 'independent of meaning ascription by system-external observers'. The proposal is that intrinsic meaning can be implemented as a point attractor in the state space of a nonlinear dynamical system with feedback which is generated by temporally sequenced inputs. It is motivated by John Searle's well known (Behavioral and Brain Sciences, 3: 417–57, 1980) critique of the then-standard (...) and currently still influential computational theory of mind (CTM), the essence of which was that CTM representations lack intrinsic meaning because that meaning is dependent on ascription by an observer_._ The proposed dynamical model comprises a collection of interacting artificial neural networks, and constitutes a radical simplification of the principle of compositional phrase structure which is at the heart of the current standard view of sentence semantics because it is computationally interpretable as a finite state machine. (shrink)

Through the application of Material Engagement Theory to enactivist analyses of social cognition, this paper seeks to examine the role of material culture in shaping the development of intersubjectivity and long-term scalar transformations in social interaction. The deep history of human sociality reveals a capacity for communities to self-organise at radically emergent scales across a variety of temporal and spatial ranges. This ability to generate and participate in heterogenous, multiscalar relationships and identities demonstrates the developmental plasticity of human intersubjectivity. Perhaps (...) human sociality’s most unique feature is this intersubjective plasticity, that is, the ability for diverse collectivities of individuals and groups to adopt and transition between numerous social identities and behaviours with profound rapidity and flexibility. However, the most influential models in the study of social cognition, the Social Intelligence Hypothesis and Theory of Mind, promote a view of intersubjectivity that is rooted in methodological individualism and primarily understood as a capacity for observation and prediction. This approach leads to significant issues when confronted with the diversity and plasticity of hominin social organisation, particularly in regards to the computational burdens and information processing bottlenecks such scalar changes imply for cognitivist models. This paper examines the metaphysical assumptions in computational models of the mind that result in representational apriorism and an epiphenomenal treatment of material culture that hinder our understanding of the evolution and development of social cognition. Specifically, this article critiques the logics of computation, information processing, representationalism, and content within Neo-Darwinian frameworks that obscure and distort the interrelationships of evolutionary, developmental, ecological and cultural processes. Through a synthesis of material engagement and enactivist approaches to social cognition, this article argues that it is possible to explain the emergent and multiscalar dynamics of hominin sociality in terms of ecologically distributed and developmentally plastic interactions between brains, bodies and material culture. (shrink)

The aim of this paper is to offer a formal criterion for physical computation that allows us to objectively distinguish between competing computational interpretations of a physical system. The criterion construes a computational interpretation as an ordered pair of functions mapping (1) states of a physical system to states of an abstract machine, and (2) inputs to this machine to interventions in this physical system. This interpretation must ensure that counterfactuals true of the abstract machine have appropriate counterparts which are (...) true of the physical system. The criterion proposes that rival interpretations be assessed on the basis of simplicity. Simplicity is construed as the Kolmogorov complexity of the interpretation. This approach is closely related to the notion of algorithmic information distance and draws on earlier work on real patterns. (shrink)

By following the arguments developed by Vygotsky and employing the cultural-historical activity theory (CHAT) in addition to dialectical logic, this paper attempts to investigate the interaction between psychology and artificial intelligence (AI) to confront the epistemological and methodological challenges encountered in AI research. The paper proposes that AI is facing an epistemological and methodological crisis inherited from psychology based on dualist ontology. The roots of this crisis lie in the duality between rationalism and objectivism or in the mind-body rupture that (...) has governed the production of scientific thought and the proliferation of approaches. In addition, by highlighting the sociohistorical conditions of AI, this paper investigates the historical characteristics of the shift of the crisis from psychology to AI. Additionally, we examine the epistemological and methodological roots of the main challenges encountered in AI research by noting that empiricism is the dominant tendency in the field. Empiricism gives rise to methodological and practical challenges, including challenges related to the emergence of meaning, abstraction, generalization, the emergence of symbols, concept formation, functional reflection of reality, and the emergence of higher psychological functions. Furthermore, through discussing attempts to formalize dialectical logic, the paper, based on contradiction formation, proposes a qualitative epistemological, methodological, and formal alternative by using a preliminary algorithmic model that grasps the formation of meaning as an essential ability for the qualitative reflection of reality and the emergence of other mental functions. (shrink)

Models of memory in cognitive science and philosophy have traditionally explained human remembering in terms of storage and retrieval. This tendency has been entrenched by reliance on computationalist explanations over the course of the twentieth century; even research programs that eschew computationalism in name, or attempt the revision of traditional models, demonstrate tacit commitment to computationalist assumptions. It is assumed that memory must be stored by means of an isomorphic trace, that memory processes must divide into conceptually distinct systems and (...) phases, and that human remembering consists in inner, cognitive processes that are implemented by distinct neural processes. This dissertation draws on recent empirical work, and on philosophical arguments from Ludwig Wittgenstein and others, to demonstrate that this latent computationalism in the study of memory is problematic, and that it can and should be eliminated. Cognitive psychologists studying memory have encountered numerous data in recent decades that belie archival models. In cognitive neuroscience, establishing the neural basis of storage and retrieval processes has proven elusive. A number of revised models on offer in memory science, that have taken these issues into account, fail to sufficiently extricate the archival framework. Several impasses in memory science are products of these underlying computationalist assumptions. Wittgenstein and other philosophers offer a number of arguments against the need for, and the efficacy of, the storage and retrieval of traces in human remembering. A study of these arguments clarifies the ways that these computationalist assumptions are presently impeding the science of memory, and provides ways forward in removing them. We can and should characterize and model human memory without invoking the storage and retrieval of traces. A range of work in connectionism, dynamical systems theory, and recent philosophical accounts of memory demonstrate how the science of memory can proceed without these assumptions, toward non-archival models of remembering. (shrink)

My topic is the confluence of two recently active philosophical research programs. One research program concerns the metaphysics of realization. The other research program concerns scientific explanation in terms of mechanisms. In this paper I introduce a distinction between descriptive and explanatory approaches to realization. I then use this distinction to argue that a well-known account of realization, due to Carl Gillett, is incompatible with a well-known account of mechanistic explanation, due to Peter Machamer, Lindley Darden, and Carl Craver (MDC, (...) Philos Sci 57: 1-25, 2000). This is surprising, not least of which because Gillett has cited MDC's work as evidence that his account of realization is the right way to think about realization in the sciences. (shrink)