The approach adopted by Posner & Raichle in this book, with its strong emphasis on the cognitive level of description, is ideally suited to the study of psychotic illnesses. However, their discussion of depression and schizophrenia is based on a very small number of studies and involves ad hoc arguments derived largely from neuroanatomy. Their conclusions are almost certainly wrong.

Recurrent excitation is experimentally well documented in cortical populations. It provides for intracortical excitatory biases that linearize negative feedback interactions and induce macroscopic state transitions during perception. The concept of the local neighborhood should be expanded to spatial patterns as the basis for perception, in which large areas of cortex are bound into cooperative behavior with near-silent columns as important as active columns revealed by unit recording.

What is nontrivial digital computation? It is the processing of discrete data through discrete state transitions in accordance with finite instructional information. The motivation for our account is that many previous attempts to answer this question are inadequate, and also that this account accords with the common intuition that digital computation is a type of information processing. We use the notion of reachability in a graph to defend this characterization in memory-based systems and underscore the importance of instructional information for (...) digital computation. We argue that our account evaluates positively against adequacy criteria for accounts of computation. (shrink)

Which notion of computation (if any) is essential for explaining cognition? Five answers to this question are discussed in the paper. (1) The classicist answer: symbolic (digital) computation is required for explaining cognition; (2) The broad digital computationalist answer: digital computation broadly construed is required for explaining cognition; (3) The connectionist answer: sub-symbolic computation is required for explaining cognition; (4) The computational neuroscientist answer: neural computation (that, strictly, is neither digital nor analogue) is required for explaining cognition; (5) The extreme (...) dynamicist answer: computation is not required for explaining cognition. The first four answers are only accurate to a first approximation. But the “devil” is in the details. The last answer cashes in on the parenthetical “if any” in the question above. The classicist argues that cognition is symbolic computation. But digital computationalism need not be equated with classicism. Indeed, computationalism can, in principle, range from digital (and analogue) computationalism through (the weaker thesis of) generic computationalism to (the even weaker thesis of) digital (or analogue) pancomputationalism. Connectionism, which has traditionally been criticised by classicists for being non-computational, can be plausibly construed as being either analogue or digital computationalism (depending on the type of connectionist networks used). Computational neuroscience invokes the notion of neural computation that may (possibly) be interpreted as a sui generis type of computation. The extreme dynamicist argues that the time has come for a post-computational cognitive science. This paper is an attempt to shed some light on this debate by examining various conceptions and misconceptions of (particularly digital) computation. (shrink)

The question ‘What is computation?’ might seem a trivial one to many, but this is far from being in consensus in philosophy of mind, cognitive science and even in physics. The lack of consensus leads to some interesting, yet contentious, claims, such as that cognition or even the universe is computational. Some have argued, though, that computation is a subjective phenomenon: whether or not a physical system is computational, and if so, which computation it performs, is entirely a matter of (...) an observer choosing to view it as such. According to one view, which we dub bold anti-realist pancomputationalism, every physical object computes every computer program. According to another, more modest view, some computational systems can be ascribed multiple computational descriptions. We argue that the first view is misguided, and that the second view need not entail observer-relativity of computation. At least to a large extent, computation is an objective phenomenon. Construed as a form of information processing, we argue that information-processing considerations determine what type of computation takes place in physical systems. (shrink)

This paper deals with the question: what are the key requirements for a physical system to perform digital computation? Time and again cognitive scientists are quick to employ the notion of computation simpliciter when asserting basically that cognitive activities are computational. They employ this notion as if there was or is a consensus on just what it takes for a physical system to perform computation, and in particular digital computation. Some cognitive scientists in referring to digital computation simply adhere to (...) Turing’s notion of computability . Classical computability theory studies what functions on the natural numbers are computable and what mathematical problems are undecidable. Whilst a mathematical formalism of computability may perform a methodological function of evaluating computational theories of certain cognitive capacities, concrete computation in physical systems seems to be required for explaining cognition as an embodied phenomenon . There are many non-equivalent accounts of digital computation in physical systems. I examine only a handful of those in this paper: (1) Turing’s account ; (2) The triviality “account”; (3) Reconstructing Smith’s account of participatory computation ; (4) The Algorithm Execution account . My goal in this paper is twofold. First, it is to identify and clarify some of the underlying key requirements mandated by these accounts. I argue that these differing requirements justify a demand that one commits to a particular account when employing the notion of computation in regard to physical systems. Second, it is to argue that despite the informative role that mathematical formalisms of computability may play in cognitive science, they do not specify the relationship between abstract and concrete computation. (shrink)

Posner & Raichle's book presents methods and data that increase support for mind-brain unity and provide a method for studying and verifying brain dysfunction objectively. Their incorporation into the assessment technology of neuropsychology should accordingly constitute a major advance. In addition, these techniques may help clarify longstanding controversies in cognitive psychology such as whether perception is multimodal or amodal.

This paper deals with the question: What are the criteria that an adequate theory of computation has to meet? 1. Smith's answer: it has to meet the empirical criterion (i.e. doing justice to computational practice), the conceptual criterion (i.e. explaining all the underlying concepts) and the cognitive criterion (i.e. providing solid grounds for computationalism). 2. Piccinini's answer: it has to meet the objectivity criterion (i.e. identifying computation as a matter of fact), the explanation criterion (i.e. explaining the computer's behaviour), the (...) right things compute criterion, the miscomputation criterion (i.e. accounting for malfunctions), the taxonomy criterion (i.e. distinguishing between different classes of computers) and the empirical criterion. 3. Von Neumann's answer: it has to meet the precision and reliability of computers criterion, the single error criterion (i.e. addressing the impacts of errors) and the distinction between analogue and digital computers criterion. 4. “Everything” computes answer: it has to meet the implementation theory criterion by properly explaining the notion of implementation. -/- According to computationalists, minds are computational. Before we can judge the plausibility of any particular computationalist theory, we need to understand what notion of computation this theory employs. Although there are extant accounts of computation, any of which may, in principle, serve as a basis for computationalism, it isn’t clear that they’re all equivalent or even adequate as accounts of computation proper. By examining plausible alternatives to Smith’s adequacy criteria, our goal here is to resist his claim that no adequate account of computation proper is possible. (shrink)

Encoding articulate speech is widely accepted as the principal (or sole) role of the frontal operculum. Clinical observations of speech apraxia have been confirmed by brain-imaging studies of speech production. We present evidence that the frontal operculum also programs limb movements. We argue that this area is a ventral counterpart of the dorsal premotor area. The two are functionally distinguished by specialization for somatic and visual space, respectively.

There are several distinct components of the realist anti-realist debate. Since each side in the debate has its disadvantages, it is tempting to try to combine realist theses with anti-realist theses in order to obtain a better, more moderate position. Putnam attempts to hold a realist concept of truth, yet he rejects realist metaphysics and realist semantics. He calls this view internal realism. Truth is realist on this picture for it is objective, rather than merely intersubjective, and eternal. Putnam introduces (...) a concept of epistemic idealization — epistemically ideal conditions, or idealized justification — to try to ground the strong objectivity of truth without sliding into metaphysical realism. I argue that the concept of ideal conditions to which Putnam appeals does not cohere with his (anti-realist) commitment to an assertability conditions account of meaning. (shrink)

A methodological problem may distort the implications derived from the metabolism scans of the brain, but Posner & Raichle may have found neural networks which underlie the analytical and synthetical hemispheric data processing mechanism. This methodological problem is that a large regional consumption of energy, detected by the PET technique, is not necessarily related to more data processing. It may be related to the inefficiency of the neural system at this region.

The concept of representation has been a key element in the scientific study of mental processes, ever since such studies commenced. However, usage of the term has been all but too liberal—if one were to adhere to common use it remains unclear if there are examples of physical systems which cannot be construed in terms of representation. The problem is considered afresh, taking as the starting point the notion of activity spaces—spaces of spatiotemporal events produced by dynamical systems. It is (...) argued that representation can be analyzed in terms of the geometrical and topological properties of such spaces. Several attributes and processes associated with conceptual domains, such as logical structure, generalization and learning are considered, and given analogues in structural facets of activity spaces, as are misrepresentation and states of arousal. Based on this analysis, representational systems are defined, as is a key concept associated with such systems, the notion of representational capacity. According to the proposed theory, rather than being an all or none phenomenon, representation is in fact a matter of degree—that is can be associated with measurable quantities, as is behooving of a putative naturalistic construct. (shrink)

It is proposed to conceive of representation as an emergent phenomenon that is supervenient on patterns of activity of coarsely tuned and highly redundant feature detectors. The computational underpinnings of the outlined concept of representation are (1) the properties of collections of overlapping graded receptive fields, as in the biological perceptual systems that exhibit hyperacuity-level performance, and (2) the sufficiency of a set of proximal distances between stimulus representations for the recovery of the corresponding distal contrasts between stimuli, as in (...) multidimensional scaling. The present preliminary study appears to indicate that this concept of representation is computationally viable, and is compatible with psychological and neurobiological data. (shrink)

A theory of representation is incomplete if it states “representations areX” whereXcan be symbols, cell assemblies, functional states, or the flock of birds fromTheaetetus, without explaining the nature of the link between the universe ofXs and the world. Amit's thesis, equating representations with reverberations in Hebbian cell assemblies, will only be considered a solution to the problem of representation when it is complemented by a theory of how a reverberation in the brain can be a representation of anything.

In two previous papers I explained why I believe that a certain sort of argument that seems to support skepticism about self-knowledge is actually self-undermining, in the sense that no one can justifiably accept all of its premises at once. Anthony Brueckner has recently tried to show that even if the central premises of my explanation are true, the skeptical argument in question is not self-undermining. He has also suggested that even if the skeptical argument is self-undermining, it can still (...) serve as a _reductio ad absurdum of the assumption that we have self-knowledge. My goal in this paper is to explain why I think neither of these responses is successful. (shrink)

Roger Schank's research in AI takes seriously the ideas that understanding natural language involves mapping its expressions into an internal representation scheme and that these internal representations have a syntax appropriate for computational operations. It therefore falls within the computational approach to the study of mind. This paper discusses certain aspects of Schank's approach in order to assess its potential adequacy as a (partial) model of cognition. This version of the Language of Thought hypothesis encounters some of the same difficulties (...) that arise for Fodor's account. (shrink)

Images of mindmarks a new era in human cognitive neuroscience. Despite the difficult conceptual problems associated with using group-averaged data and paired subtractions, human PET images converge well with existing data from other areas of cognitive neuroscience while opening up new theoretical and experimental possibilities. However, greater attention to individual differences might prove necessary in the study of culturally driven adaptations such as literacy.

In this paper, I want to deal with the triviality threat to computationalism. On one hand, the controversial and vague claim that cognition involves computation is still denied. On the other, contemporary physicists and philosophers alike claim that all physical processes are indeed computational or algorithmic. This claim would justify the computationalism claim by making it utterly trivial. I will show that even if these two claims were true, computationalism would not have to be trivial.

Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, following (...) state update functions or dynamical transition rules: the update of a cell state obtains by taking into account the states of cells in its local neighborhood (there are, therefore, no actions at a distance). Secondly, CA are abstract, as they can be specified in purely mathematical terms and implemented in physical structures. Thirdly, CA are computational systems: they can compute functions and solve algorithmic problems. Despite functioning in a different way from traditional, Turing machine-like devices, CA with suitable rules can emulate a universal Turing machine, and therefore compute, given Turing's Thesis, anything computable.... (shrink)

There have been monumental advances in the study of the social dimensions of knowledge in the late twentieth and early twenty-first centuries. But it has been common within a wide variety of fields--including social philosophy, cognitive science, epistemology, and the philosophy of science--to approach the social dimensions of knowledge as simply another resource to be utilized or controlled. I call this view, in which other people's epistemic significance are only of instrumental value, manipulationism. I identify manipulationism, trace its manifestations in (...) the aforementioned fields, and explain how to move beyond it. The principal strategy that I employ for moving beyond manipulationism consists of synthesizing enactivism and neo-Kuhnian social epistemology. Specifically, I expand the enactivist concept of participatory sense-making by linking it to recent conceptual innovations in social epistemology, such as the concept of immanent cogent argumentation. (shrink)

Decision-making has traditionally been modelled as a serial process, consisting of a number of distinct stages. The traditional account assumes that an agent first acquires the necessary perceptual evidence, by constructing a detailed inner repre- sentation of the environment, in order to deliberate over a set of possible options. Next, the agent considers her goals and beliefs, and subsequently commits to the best possible course of action. This process then repeats once the agent has learned from the consequences of her (...) actions and subsequently updated her beliefs. Under this interpretation, the agent’s body is considered merely as a means to report the decision, or to acquire the relevant goods. However, embodied cognition argues that an agent’s body should be understood as a proper part of the decision-making pro- cess. Accepting this principle challenges a number of commonly held beliefs in the cognitive sciences, but may lead to a more unified account of decision-making. This thesis explores an embodied account of decision-making using a recent frame- work known as predictive processing. This framework has been proposed by some as a functional description of neural activity. However, if it is approached from an embodied perspective, it can also offer a novel account of decision-making that ex- tends the scope of our explanatory considerations out beyond the brain and the body. We explore work in the cognitive sciences that supports this view, and argue that decision theory can benefit from adopting an embodied and predictive perspective. (shrink)

In this essay I try to give some overall statements in order to show that new realism is to be understood as a kind of positive philosophy. Against constructivism, I argue that there is a prevalence of the objects themselves on our understanding of them because reality offers a resistance to our attempt to grasp it depending on its level of dependence from our own understanding, which is different in the case of natural objects, ideal object and social object. This (...) negativity leads to an ontological necessity of facticity. In the second part of this paper I will describe – through the exposition of three key concepts of new realism, i.e. “unamendability”, “interaction” and “affordance” – an ascending path for which the negative and the resistance turn into positivity. (shrink)

The present study focuses on the received version of speech act theory as developed by Searle. The aim of the paper is to demonstrate how Searle formulates precise and general conditions for illocutionary act individuation based on the linguistic description of inherent individual intentions. I argue for the impossibility of such individuation processes.

We present a novel reductive theory of type-identity physicalism, which is inspired by the foundations of statistical mechanics as a general theory of natural kinds. We show that all the claims mounted against type-identity physicalism in the literature don’t apply to Flat Physicalism, and moreover that this reductive theory solves many of the problems faced by the various non-reductive approaches including functionalism. In particular, we show that Flat Physicalism can account for the appearance of multiple realizability in the special sciences, (...) and that it gives a novel account of the genuine autonomy of the kinds and laws in the special sciences. We further show that the thesis of genuine multiple realization, which is compatible with all forms of non-reductive approaches including functionalism, implies what we call token-dualism; namely the idea that in every token there are non-physical facts, which may either be non-physical properties or some non-physical substance. In other words, we prove that non-reductive kinds necessarily assume non-reductive tokens, i.e., token dualism. Finally, we show that all forms of non-reductive approaches including functionalism imply a literally multi-leveled structure of reality. (shrink)

In this dissertation I examine the NeoFregean metaontology of mathematics. I try to clarify the relationship between what is sometimes called Priority Thesis and Platonism about mathematical entities. I then present three coherent ways in which one might endorse both these stances, also answering some possible objections. Finally I try to show which of these three ways is the most promising.

We present an information theoretic account of models as scientific representations, where scientific models are understood as information carrying artifacts. We propose that the semantics of models should be based on this information coupling of the model to the world. The information theoretic account presents a way of avoiding the need to refer to agents' intentions as constitutive of the semantics of scientific representations, and it provides a naturalistic account of model semantics, which can deal with the problems of asymmetry, (...) relevance and circularity that afflict other currently popular naturalistic proposals. (shrink)