Some philosophers have conflated functionalism and computationalism. I reconstruct how this came about and uncover two assumptions that made the conflation possible. They are the assumptions that (i) psychological functional analyses are computational descriptions and (ii) everything may be described as performing computations. I argue that, if we want to improve our understanding of both the metaphysics of mental states and the functional relations between them, we should reject these assumptions. # 2004 Elsevier Ltd. All rights reserved.

I argue that analogue mental representations possess a canonical decomposition into privileged constituents from which they compose. I motivate this suggestion, and rebut arguments to the contrary, through reflection on the approximate number system, whose representations are widely expected to have an analogue format. I then argue that arguments for the compositionality and constituent structure of these analogue representations generalize to other analogue mental representations posited in the human mind, such as those in early vision and visual imagery.

Tercera Cultura: #TheLibro es una introducción a las ciencias cognitivas -Psicología, Lingüística, Filosofía, Neurociencia, Antropología, Inteligencia Artificial- escrita en un lenguaje simple y claro, ilustrado con ejemplos de la cultura popular, dirigido a estudiantes y geeks de todas las edades.

Some philosophers search for the mark of the cognitive: a set of individually necessary and jointly sufficient conditions identifying all instances of cognition. They claim that the mark of the cognitive is needed to steer the development of cognitive science on the right path. Here, I argue that, at least at present, it cannot be provided. First (§2), I identify some of the factors motivating the search for a mark of the cognitive, each yielding a desideratum the mark is supposed (...) to satisfy (§2.1). I then (§2.2) highlight a number of tensions in the literature on the mark of the cognitive, suggesting they’re best resolved by distinguishing two distinct programs. The first program (§3) is that of identifying a mark of the cognitive capturing our everyday notion of cognition. I argue that such a program is bound to fail for a number of reasons: it is not clear whether such an everyday notion exists; and even if it existed, it would not be able to spell out individually necessary and jointly sufficient conditions for cognition; and even if it were able to spell them out, these conditions won’t satisfy the desiderata a mark of the cognitive should satisfy. The second program is that of identifying a mark of the cognitive spelling out a genuine scientific kind. But the current state of fragmentation of cognitive science, and the fact that it is splintered in a myriad of different research traditions, prevent us from identifying such a kind. And we have no reason to think that these various research traditions will converge, allowing us to identify a single mark. Or so, at least, I will argue in (§4). I then conclude the paper (§5) deflecting an intuitive objection, and exploring some of the consequences of the thesis I have defended. (shrink)

Starting in the 1950s, computer programs for simulating cognitive processes and intelligent behaviour were the hallmark of Good Old-Fashioned Artificial Intelligence and ‘cognitivist’ cognitive science. This article examines a somewhat neglected case of simulation pursued by one of the founding fathers of simulation methodology, Herbert A. Simon. In the 1970s and 1980s, Simon had repeated contacts with Marxist countries and scientists, in the context of which he advanced the idea that cognitivism could be used as a framework for simulating dialectical (...) materialism. Simon's idea was, in particular, to represent dialectical processes through a ‘symbolic’ version of dialectical logic. This article explores the context of Simon's interaction with Marxist countries—China and the USSR—and also assesses the outcome of the simulation. The difficulty with simulating distinctive features of dialectical materialism is read in light of the underlying assumptions of cognitivism and, ultimately, in light of the attempt to tame a rival world view. (shrink)

Perhaps nowhere better than, "On the Names of God," can readers discern Laclau's appreciation of theology, specifically, negative theology, and the radical potencies of political theology. // It is Laclau's close attention to Eckhart and Dionysius in this essay that reveals a core theological strategy to be learned by populist reasons or social logics and applied in politics or democracies to come. // This mode of algorithmically informed negative political theology is not mathematically inert. It aspires to relate a fraction (...) or ratio to a series ... It strains to reduce the decided determinateness of such seriality ever condemned to the naive metaphysics of bad infinity. // It is worth considering that it is the specific 'number' of Dionysius in differential identification with an ineffable god (and, as such, a singular becoming between theology and numbers) that is floating in at least two dimensions [of signification] (be it political Demand on the horizontal dimension or theological Desire on [a] floating dimension) that cannot but *perform the link that relinks* names of god with any political life, populist reason, social justice, or radical democracy straining toward peace. (shrink)

One is occasionally reminded of Foucault's proclamation in a 1970 interview that "perhaps, one day this century will be known as Deleuzian." Less often is one compelled to update and restart with a supplementary counter-proclamation of the mathematician, David Lindley: "the twenty-first century would be a Bayesian era..." The verb tenses of both are conspicuous. // To critically attend to what is today often feared and demonized, but also revered, deployed, and commonly referred to as algorithm(s), one cannot avoid the (...) mathematical and philosophical legacies of probability. // But attending to these probabilistic or Bayesian legacies must include an undeniable theological legacy in which they remain entangled. // We are not, today, discovering quirky theological metaphors in contemporary technics. It's the other way around. The technologies are mere metaphors of past theologies. (shrink)

Throughout what is now the more than 50-year history of the computer many theories have been advanced regarding the contribution this machine would make to changes both in the structure of society and in ways of thinking. Like other theories regarding the future, these should also be taken with a pinch of salt. The history of the development of computer technology contains many predictions which have failed to come true and many applications that have not been foreseen. While we must (...) reserve judgment as to the question of the impact on the structure of society and human thought, there is no reason to wait for history when it comes to the question: what are the properties that could give the computer such far-reaching importance? The present book is intended as an answer to this question. The fact that this is a theoretical analysis is due to the nature of the subject. No other possibilities are available because such a description of the properties of the computer must be valid for any kind of application. An additional demand is that the description should be capable of providing an account of the properties which permit and limit these possible applications, just as it must make it possible to characterize a computer as distinct from a) other machines whether clocks, steam engines, thermostats, or mechanical and automatic calculating machines, b) other symbolic media whether printed, mechanical, or electronic and c) other symbolic languages whether ordinary languages, spoken or written or formal languages. This triple limitation, however, (with regard to other machines, symbolic media and symbolic languages) raises a theoretical question as it implies a meeting between concepts of mechanical-deterministic systems, which stem from mathematical physics, and concepts of symbolic systems which stem from the description of symbolic activities common to the humanities. The relationship between science and the humanities has traditionally been seen from a dualistic perspective, as a relationship between two clearly separate subject areas, each studied on its own set of premises and using its own methods. In the present case, however, this perspective cannot be maintained since there is both a common subject area and a new - and specific - kind of interaction between physical and symbolic processes. (shrink)

It is often claimed that pre-attentive vision has an ‘iconic’ format. This is seen to explain pre-attentive vision's characteristically high processing capacity and to make sense of an overlap in the mechanisms of early vision and mental imagery. But what does the iconicity of pre-attentive vision amount to? This paper considers two prominent ways of characterising pre-attentive visual icons and argues that neither is adequate: one approach renders the claim ‘pre-attentive vision is iconic’ empirically false while the other obscures its (...) ability to do the explanatory work, which motivates positing pre-attentive visual icons in the first place. With this noted, I introduce the notion of an ‘Analogue Map’ and argue that it provides a superior characterisation of pre-attentive vision's iconicity. I then argue that this forces a reassessment of debates which have traditionally presupposed the iconicity of pre-attentive vision, emphasising ramifications for the viability of a format-based perception-thought border. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

In this paper, I argue that computationalism is a progressive research tradition. Its metaphysical assumptions are that nervous systems are computational, and that information processing is necessary for cognition to occur. First, the primary reasons why information processing should explain cognition are reviewed. Then I argue that early formulations of these reasons are outdated. However, by relying on the mechanistic account of physical computation, they can be recast in a compelling way. Next, I contrast two computational models of working memory (...) to show how modeling has progressed over the years. The methodological assumptions of new modeling work are best understood in the mechanistic framework, which is evidenced by the way in which models are empirically validated. Moreover, the methodological and theoretical progress in computational neuroscience vindicates the new mechanistic approach to explanation, which, at the same time, justifies the best practices of computational modeling. Overall, computational modeling is deservedly successful in cognitive science. Its successes are related to deep conceptual connections between cognition and computation. Computationalism is not only here to stay, it becomes stronger every year. (shrink)

Intersemiotic translation (IT) was defined by Roman Jakobson (The Translation Studies Reader, Routledge, London, p. 114, 2000) as “transmutation of signs”—“an interpretation of verbal signs by means of signs of nonverbal sign systems.” Despite its theoretical relevance, and in spite of the frequency in which it is practiced, the phenomenon remains virtually unexplored in terms of conceptual modeling, especially from a semiotic perspective. Our approach is based on two premises: (i) IT is fundamentally a semiotic operation process (semiosis) and (ii) (...) IT is a deeply iconic-dependent process. We exemplify our approach by means of literature to dance IT and we explore some implications for the development of a general model of IT. (shrink)

Defending or attacking either functionalism or computationalism requires clarity on what they amount to and what evidence counts for or against them. My goal here is not to evaluate their plausibility. My goal is to formulate them and their relationship clearly enough that we can determine which type of evidence is relevant to them. I aim to dispel some sources of confusion that surround functionalism and computationalism, recruit recent philosophical work on mechanisms and computation to shed light on them, and (...) clarify how functionalism and computationalism may or may not legitimately come together. (shrink)

Despite the impressive amount of financial resources recently invested in carrying out large-scale brain simulations, it is controversial what the pay-offs are of pursuing this project. One idea is that from designing, building, and running a large-scale neural simulation, scientists acquire knowledge about the computational performance of the simulating system, rather than about the neurobiological system represented in the simulation. It has been claimed that this knowledge may usher in a new era of neuromorphic, cognitive computing systems. This study elucidates (...) this claim and argues that the main challenge this era is facing is not the lack of biological realism. The challenge lies in identifying general neurocomputational principles for the design of artificial systems, which could display the robust flexibility characteristic of biological intelligence. (shrink)

This paper is a commentary on the target article by Dana H. Ballard, “Cortical connections and parallel processing: Structure and function”, in the same issue of the journal, pp. 67–120. -/- I raise some issues about the connectionist or neural-network implementation of information and information processing. Issues include the sharing of information by different parts of a connectionist/neural network, the copying of complex information from one place to another in a network, the possibility of connection weights not being synaptic weights, (...) and the possibility of fast communication within single neurons as complex systems in their own right. (shrink)

Today there are two major theoretical frameworks in biology. One is the ‘chemical paradigm’, the idea that life is an extremely complex form of chemistry. The other is the ‘information paradigm’, the view that life is not just ‘chemistry’ but ‘chemistry-plus-information’. This implies the existence of a fundamental difference between information and chemistry, a conclusion that is strongly supported by the fact that information and information-based-processes like heredity and natural selection simply do not exist in the world of chemistry. Against (...) this conclusion, the supporters of the chemical paradigm have pointed out that information processes are no different from chemical processes because they are both described by the same physical quantities. They may appear different, but this is only because they take place in extremely complex systems. According to the chemical paradigm, in other words, biological information is but a shortcut term that we use to avoid long descriptions of countless chemical reactions. It is intuitively appealing, but it does not represent a new ontological entity. It is merely a derived construct, a linguistic metaphor. The supporters of the information paradigm insist that information is a real and fundamental entity of Nature, but have not been able to prove this point. The result is that the chemical view has not been abandoned and the two paradigms are both coexisting today. Here it is shown that an alternative does exist and is a third theoretical framework that is referred to as the ‘code paradigm’. The key point is that we need to introduce in biology not only the concept of information but also that of meaning because any code is based on meaning and a genetic code does exist in every cell. The third paradigm is the view that organic information and organic meaning exist in every living system because they are the inevitable results of the processes of copying and coding that produce genes and proteins. Their true nature has eluded us for a long time because they are nominable entities, i.e., objective and reproducible observables that can be described only by naming their components in their natural order. They have also eluded us because nominable entities exist only in artifacts and biologists have not yet come to terms with the idea that life is artifact making. This is the idea that life arose from matter and yet it is fundamentally different from it because inanimate matter is made of spontaneous structures whereas life is made of manufactured objects. It will be shown, furthermore, that the existence of information and meaning in living systems is documented by the standard procedures of science. We do not have to abandon the scientific method in order to introduce meaning in biology. All we need is a science that becomes fully aware of the existence of organic codes in Nature. (shrink)

We begin by distinguishing computationalism from a number of other theses that are sometimes conflated with it. We also distinguish between several important kinds of computation: computation in a generic sense, digital computation, and analog computation. Then, we defend a weak version of computationalism—neural processes are computations in the generic sense. After that, we reject on empirical grounds the common assimilation of neural computation to either analog or digital computation, concluding that neural computation is sui generis. Analog computation requires continuous (...) signals; digital computation requires strings of digits. But current neuroscientific evidence indicates that typical neural signals, such as spike trains, are graded like continuous signals but are constituted by discrete functional elements (spikes); thus, typical neural signals are neither continuous signals nor strings of digits. It follows that neural computation is sui generis. Finally, we highlight three important consequences of a proper understanding of neural computation for the theory of cognition. First, understanding neural computation requires a specially designed mathematical theory (or theories) rather than the mathematical theories of analog or digital computation. Second, several popular views about neural computation turn out to be incorrect. Third, computational theories of cognition that rely on non-neural notions of computation ought to be replaced or reinterpreted in terms of neural computation. (shrink)

Two decades ago, Rolf Landauer (1991) argued that “information is physical” and ought to have a role in the scientific analysis of reality comparable to that of matter, energy, space and time. This would also help to bridge the gap between biology and mathematics and physics. Although it can be argued that we are living in the ‘golden age’ of biology, both because of the great challenges posed by medicine and the environment and the significant advances that have been made—especially (...) in genetics and molecular and cell biology—we feel that information as an essential aspect of life has been neglected, or at least misunderstood. We therefore summon Maxwell’s Demon and its distant relative the ratchet, and apply these to biology. (shrink)

Critical realism, especially as developed by Roy Bhaskar, embodies at its heart systemic and holistic concepts such as totality, emergence, open systems, stratification, autopoiesis and holistic causality. These concepts have their own long history of development in disciplines such as systems thinking and cybernetics, but there is an absence in Bhaskar’s writings, and that absence is a lack of any reference to the corresponding systems literature. The purpose of this paper is threefold: (i) to demonstrate the extent of this correspondence; (...) (ii) to show that critical realism can benefit from an exposure to these other discourses; and (iii) to show that systems thinking too can gain philosophically from critical realism. (shrink)

How are social relations appearing in computers? How are social relations realised in a different kind of medium, in the hardware and software of computers? How are the organising principles of computer building related to those of the life-worlds in a social system? Following a partly social constructivist and partly hermeneutic line a more general answer will be presented. The basic conclusion of this approach is simple: computers are constructed under the influence of the ideas of modernity and represent its (...) structure, interests and values, in contrast to computer networks, which embody the ideas of postmodernity. (shrink)

I offer an explication of the notion of computer, grounded in the practices of computability theorists and computer scientists. I begin by explaining what distinguishes computers from calculators. Then, I offer a systematic taxonomy of kinds of computer, including hard-wired versus programmable, general-purpose versus special-purpose, analog versus digital, and serial versus parallel, giving explicit criteria for each kind. My account is mechanistic: which class a system belongs in, and which functions are computable by which system, depends on the system's mechanistic (...) properties. Finally, I briefly illustrate how my account sheds light on some issues in the history and philosophy of computing as well as the philosophy of mind. (shrink)

Cognitive science has been dominated by the computational conception that cognition is computation across representations. To the extent to which cognition as computation across representations is supposed to be a purposive, meaningful, algorithmic, problem-solving activity, however, computers appear to be incapable of cognition. They are devices that can facilitate computations on the basis of semantic grounding relations as special kinds of signs. Even their algorithmic, problem-solving character arises from their interpretation by human users. Strictly speaking, computers as such — apart (...) from human users — are not only incapable of cognition, but even incapable of computation, properly construed. If we want to understand the nature of thought, then we have to study thinking, not computing, because they are not the same thing. (shrink)

This research investigates prominent philosophies of mind, juxtaposes them in an arbitrary fashion, and interprets them to see if we can find any analytical reconciliation between them. Our epistemological inquiry in this paper, will not be confined to mere metaphysical deliberation alone, but will concordantly make use of contemporary terminology from philosophy, psychology, physics, and quantum mechanics. Such is the nature of this fundamental query, that we find it highly necessary to revitalise the discourse regarding the basis for a broad (...) spectrum of foundational application and articulation of contemporary scientific language. This paper does not necessarily serve the function of being a simple introduction to these theories. Rather, we might take isolated examples from esteemed thinkers and scientists, who previously have elaborated on these theories, to illustrate the points we find most relevant to our own analysis. This short paper is thus, not a rigorous attempt to arrive at some ultimate philosophy or theory of mind, but it’s rather an exposition of the most controversial ideas within the discourse. Our own research on these topics, might hopefully give rise to a higher level of objectivity on the matters at hand. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

Characterizing different kinds of representation is of fundamental importance to cognitive science, and one traditional way of doing so is in terms of the analog–digital distinction. Indeed the distinction is often appealed to in ways both narrow and broad. In this paper I argue that the analog–digital distinction does not apply to representational schemes but only to representational systems, where a representational system is constituted by a representational scheme and its user, and that whether a representational system is analog or (...) non-analog depends on facts about that user. This aspect of the distinction has gone unnoticed, and I argue that the failure to notice it can be an impediment to scientific progress. (shrink)

The paper is a commentary on the target article by Christine A. Skarda & Walter J. Freeman, “How brains make chaos in order to make sense of the world”, in the same issue of the journal, pp.161–195. -/- I confine my comments largely to some philosophical claims that Skarda & Freeman make and to the relationship of their model to connectionism. Some of the comments hinge on what symbols are and how they might sit in neural systems.

A distinction should be made between the formation of stimulus-driven associations and cognitive concepts. To test the learning mode of a neural network, we propose a simple and classic input-output test: the discrimination shift task. Feed-forward PDP models appear to form stimulus-driven associations. A Hopfield network should be extended to apply the test.

Further tests of Amit's model are indicated. One strategy is to use the apparent coding sparseness of the model to make predictions about coding sparseness in Miyashita's network. A second approach is to use memory overload to induce false positive responses in modules and biological systems. In closing, the importance of temporal coding and timing requirements in developing biologically plausible attractor networks is mentioned.

In this paper, I argue for three claims. The first is that the difference between analog and digital representation lies in the format and not the medium of representation. The second is that whether a given system is analog or digital will sometimes depend on facts about the user of that system. The third is that the first two claims are implicit in Haugeland's (1998) account of the distinction.

This paper proposes an account of neurocognitive activity without leveraging the notion of neural representation. Neural representation is a concept that results from assuming that the properties of the models used in computational cognitive neuroscience must literally exist the system being modelled. Computational models are important tools to test a theory about how the collected data has been generated. While the usefulness of computational models is unquestionable, it does not follow that neurocognitive activity should literally entail the properties construed in (...) the model. While this is an assumption present in computationalist accounts, it is not held across the board in neuroscience. In the last section, the paper offers a dynamical account of neurocognitive activity with Dynamical Causal Modelling that combines dynamical systems theory mathematical formalisms with the theoretical contextualisation provided by Embodied and Enactive Cognitive Science. (shrink)

The concept of an attractor in a mathematical dynamical system is reviewed. Emphasis is placed on the distinction between a cell assembly, the corresponding attractor, and the attractor dynamics. The biological significance of these entities is discussed, especially the question of whether the representation of the stimulus requires the full attractor dynamics, or merely the cell assembly as a set of reverberating neurons. Comparison is made to Freeman's study of dynamic patterns in olfaction.

The cell assembly as a simple attractor cannot explain many cognitive phenomena. It must be a highly structured network that can sustain highly structured excitation patterns. Moreover, a cell assembly must be more widely distributed in space than on a square millimeter.

This article focuses on the frontier between the technological domain of production of artefacts and the naturalistic domain of the sciences of life and cognition. It shows that, since the 1940s, this frontier has become the place of production of an innovative kind of scientific knowledge??synthetic knowledge.? The article describes the methodology and the main characteristics of synthetic knowledge, and formulates a hypothesis on its epistemological genealogy. Accordingly, it characterizes synthetic knowledge as one of the most advanced expressions of a (...) heterodox tradition of research which, since the 1930s, has been promoting the development of a ?non-representationalist???constructivist??science. (shrink)

Using four examples of models and computer simulations from the history of psychology, I discuss some of the methodological aspects involved in their construction and use, and I illustrate how the existence of a model can demonstrate the viability of a hypothesis that had previously been deemed impossible on a priori grounds. This shows a new way in which scientists can learn from models that extends the analysis of Morgan (1999), who has identified the construction and manipulation of models as (...) those phases in which learning from models takes place. (shrink)

The format of mental representation is the way information is organized in the mind. The discussion surrounding the format of representation addresses the problem of what representational primitives are and the rules of information processing. In philosophy, the discussion is dominated by the distinction between analog and digital representational systems. It is thought that this distinction can bring us closer to an understanding of the nature of perceptual and discursive representations. I argue that the analog-digital distinction cannot meet that expectation. (...) The analog-digital distinction is neither sufficient nor necessary to explain the distinction between perceptual and discursive representations. I propose an alternative interpretation of the concept of representational format which provides us a better understanding of the difference between iconic and discursive representations. I explain the differences between formats of representations in terms of differences in information processing. I demonstrate, how this alternative interpretation of the concept of the representational format can explain the constraints put on the contents of representational systems. (shrink)