Gualtiero Piccinini articulates and defends a mechanistic account of concrete, or physical, computation. A physical system is a computing system just in case it is a mechanism one of whose functions is to manipulate vehicles based solely on differences between different portions of the vehicles according to a rule defined over the vehicles. Physical Computation discusses previous accounts of computation and argues that the mechanistic account is better. Many kinds of computation are explicated, such as digital vs. analog, serial vs. (...) parallel, neural network computation, program-controlled computation, and more. Piccinini argues that computation does not entail representation or information processing although information processing entails computation. Pancomputationalism, according to which every physical system is computational, is rejected. A modest version of the physical Church-Turing thesis, according to which any function that is physically computable is computable by Turing machines, is defended. (shrink)

Colloquially, episodic memory is described as “the memory of personally experienced events”. Even though episodic memory has been studied in psychology and neuroscience for about six decades, there is still great uncertainty as to what episodic memory is. Here we ask how episodic memory should be characterized in order to be validated as a natural kind. We propose to conceive of episodic memory as a knowledge-like state that is identified with an experientially based mnemonic representation of an episode that allows (...) for a mnemonic simulation thereof. We call our analysis the Sequence Analysis of Episodic Memory since episodes will be analyzed in terms of sequences of events. Our philosophical analysis of episodic memory is driven and supported by experimental results from psychology and neuroscience. We discuss selected experimental results that provide exemplary evidence for uniform causal mechanisms underlying the properties of episodic memory and argue that episodic memory is a natural kind. The argumentation proceeds along three cornerstones: First, psychological evidence suggests that a violation of any of the proposed conditions for episodic memory amounts to a deficiency of episodic memory and no form of memory or cognitive process but episodic memory fulfills them. Second, empirical results support a claim that the principal anatomical substrate of episodic memory is the hippocampus. Finally, we can pin down causal mechanisms onto neural activities in the hippocampus to explain the psychological states and processes constituting episodic memory. (shrink)

Daniel Dennett's distinction between personal and subpersonal explanations was fundamental in establishing the philosophical foundations of cognitive science. Since it was first introduced in 1969, the personal/subpersonal distinction has been adapted to fit different approaches to the mind. In one example of this, the ‘Pittsburgh school’ of philosophers attempted to map Dennett's distinction onto their own distinction between the ‘space of reasons’ and the ‘space of causes’. A second example can be found in much contemporary philosophy of psychology, where Dennett's (...) distinction has been presumed to be equivalent to Stephen Stich's distinction between doxastic and subdoxastic states. Both these interpretations of the personal/subpersonal distinction, and also Dennett's own philosophical views of the mind, go beyond the personal/subpersonal distinction itself. They each involve supplementing the distinction between personal and subpersonal explanations with metaphysical claims about the relationship between the two kinds of explanation and the entities they posit. (shrink)

The phenomenon of digital computation is explained (often differently) in computer science, computer engineering and more broadly in cognitive science. Although the semantics and implications of malfunctions have received attention in the philosophy of biology and philosophy of technology, errors in computational systems remain of interest only to computer science. Miscomputation has not gotten the philosophical attention it deserves. Our paper fills this gap by offering a taxonomy of miscomputations. This taxonomy is underpinned by a conceptual analysis of the design (...) and implementation of conventional computational systems at various levels of abstraction. It shows that ‘malfunction’ as it is typically used in the philosophy of artefacts only represents one type of miscomputation. (shrink)

In the book, I argue that the mind can be explained computationally because it is itself computational—whether it engages in mental arithmetic, parses natural language, or processes the auditory signals that allow us to experience music. All these capacities arise from complex information-processing operations of the mind. By analyzing the state of the art in cognitive science, I develop an account of computational explanation used to explain the capacities in question.

Tyler Burge presents an original study of the most primitive ways in which individuals represent the physical world. By reflecting on the science of perception and related psychological and biological sciences, he gives an account of constitutive conditions for perceiving the physical world, and thus aims to locate origins of representational mind.

Representation is central to contemporary theorizing about the mind/brain. But the nature of representation--both in the mind/brain and more generally--is a source of ongoing controversy. One way of categorizing representational types is to distinguish between the analog and the digital: the received view is that analog representations vary smoothly, while digital representations vary in a step-wise manner. I argue that this characterization is inadequate to account for the ways in which representation is used in cognitive science; in its place, I (...) suggest an alternative taxonomy. I will defend and extend David Lewis's account of analog and digital representation, distinguishing analog from continuous representation, as well as digital from discrete representation. I will argue that the distinctions available in this four-fold account accord with representational features of theoretical interest in cognitive science more usefully than the received analog/digital dichotomy. (shrink)

Does thought precede language, or the other way around? How does having a language affect our thoughts? Who has a language, and who can think? These questions have traditionally been addressed by philosophers, especially by rationalists concerned to identify the essential difference between humans and other animals. More recently, theorists in cognitive science, evolutionary biology, and developmental psychology have been asking these questions in more empirically grounded ways. At its best, this confluence of philosophy and science promises to blend the (...) respective strengths of each discipline, bringing abstract theory to bear on reality in a principled and focused way. At its worst, it risks degenerating into a war of words, with each side employing key expressions in its own idiosyncratic way – or worse, contaminating empirical research with a priori dogmas inherited from outmoded philosophical worldviews. In Baboon Metaphysics (2007), Dorothy Cheney and Robert Seyfarth offer an analysis of baboon cognition that promises to exemplify the very best interaction of philosophical theory and empirical research. They argue that baboons have a language of thought: a language-like representational medium, which supports the sophisticated cognitive abilities required to negotiate their complex social environment. This claim is intended to be surprising in its own right, and also to shed light on the evolution of spoken language. Because our own ancestors likely lived in a similarly complex social environment, Cheney and Seyfarth propose that the earliest humans also developed language first as a cognitive medium, and that spoken language evolved as a means to express those thoughts. There are two potential difficulties here. First, ‘Language of Thought’ (LOT) is a term of art, with much associated theoretical baggage and often comparatively little careful exposition. Thus, evaluating the claim requires getting clearer about just what LOT implies in this context.. (shrink)

The concept of mechanism is analyzed in terms of entities and activities, organized such that they are productive of regular changes. Examples show how mechanisms work in neurobiology and molecular biology. Thinking in terms of mechanisms provides a new framework for addressing many traditional philosophical issues: causality, laws, explanation, reduction, and scientific change.

Mental representations remain the central posits of psychology after many decades of scrutiny. However, there is no consensus about the representational format(s) of biological cognition. This paper provides a survey of evidence from computational cognitive psychology, perceptual psychology, developmental psychology, comparative psychology, and social psychology, and concludes that one type of format that routinely crops up is the language-of-thought (LoT). We outline six core properties of LoTs: (i) discrete constituents; (ii) role-filler independence; (iii) predicate–argument structure; (iv) logical operators; (v) inferential (...) promiscuity; and (vi) abstract content. These properties cluster together throughout cognitive science. Bayesian computational modeling, compositional features of object perception, complex infant and animal reasoning, and automatic, intuitive cognition in adults all implicate LoT-like structures. Instead of regarding LoT as a relic of the previous century, researchers in cognitive science and philosophy-of-mind must take seriously the explanatory breadth of LoT-based architectures. We grant that the mind may harbor many formats and architectures, including iconic and associative structures as well as deep-neural-network-like architectures. However, as computational/representational approaches to the mind continue to advance, classical compositional symbolic structures – that is, LoTs – only prove more flexible and well-supported over time. (shrink)

"Like Dewey, he has revolted against the empiricist dogma and the Kantian dualisms which have compartmentalized philosophical thought.... Unlike Dewey, he has provided detailed incisive argumentation, and has shown just where the dogmas and dualisms break down." --Richard Rorty, _The Yale Review_.

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Gualtiero Piccinini presents a systematic and rigorous philosophical defence of the computational theory of cognition. His view posits that cognition involves neural computation within multilevel neurocognitive mechanisms, and includes novel ideas about ontology, functions, neural representation, neural computation, and consciousness.

An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent parts. For example, the state I am in when I perceive the shape of a mountain ridge may have as constituent parts my representations of the shapes of each peak and saddle (...) of the ridge. More specific structural claims of this sort are a guide to how mental states fall within broader representational kinds. Moreover, these claims have significant implications of their own about semantic, functional, and epistemic features of our mental lives. But what are the conditions on a mental state's having one type of constituent structure rather than another? Drawing on explanatory strategies in vision science, I argue that, other things being equal, the constituent structure of a mental state determines what I call its distributional properties—namely, how mental states of that type can, cannot, or must co‐occur with other mental states in a given system. Distributional properties depend critically on and are informative about the underlying structures of mental states, they abstract in important ways from aspects of how mental states are processed, and they can yield significant insights into the variegation of psychological capacities. (shrink)

This paper refines a controversial proposal: that core systems belong to a perceptual kind, marked out by the format of its representational outputs. Following Susan Carey, this proposal has been understood in terms of core representations having an iconic format, like certain paradigmatically perceptual outputs. I argue that they don’t, but suggest that the proposal may be better formulated in terms of a broader analogue format type. Formulated in this way, the proposal accommodates the existence of genuine icons in perception, (...) and avoids otherwise troubling objections. (shrink)

In the 1980s, a number of philosophers argued that perception is analog. In the ensuing years, these arguments were forcefully criticized, leaving the thesis in doubt. This paper draws on Weber’s Law, a well-entrenched finding from psychophysics, to advance a new argument that perception is analog. This new argument is an adaptation of an argument that cognitive scientists have leveraged in support of the contention that primitive numerical representations are analog. But the argument here is extended to the representation of (...) non-numerical magnitudes, such as luminance and distance, and shown to apply to perception and not just cognition. The relevant sense of ‘analog’ is also clarified, and two powerful objections are addressed. Finally, the question whether perception’s analog vehicles are located in conscious experience is explored and related to a well-known controversy within psychophysics. (shrink)

How can we think about things in the outside world? There is still no widely accepted theory of how mental representations get their meaning. In light of pioneering research, Nicholas Shea develops a naturalistic account of the nature of mental representation with a firm focus on the subpersonal representations that pervade the cognitive sciences.

Perceptual systems respond to proximal stimuli by forming mental representations of distal stimuli. A central goal for the philosophy of perception is to characterize the representations delivered by perceptual systems. It may be that all perceptual representations are in some way proprietarily perceptual and differ from the representational format of thought (Dretske 1981; Carey 2009; Burge 2010; Block ms.). Or it may instead be that perception and cognition always trade in the same code (Prinz 2002; Pylyshyn 2003). This paper rejects (...) both approaches in favor of perceptual pluralism, the thesis that perception delivers a multiplicity of representational formats, some proprietary and some shared with cognition. The argument for perceptual pluralism marshals a wide array of empirical evidence in favor of iconic (i.e., image-like, analog) representations in perception as well as discursive (i.e., language-like, digital) perceptual object representations. (shrink)

Drawing on insights from causal theories of reference, teleosemantics, and state space semantics, a theory of naturalized mental representation. In A Mark of the Mental, Karen Neander considers the representational power of mental states—described by the cognitive scientist Zenon Pylyshyn as the “second hardest puzzle” of philosophy of mind. The puzzle at the heart of the book is sometimes called “the problem of mental content,” “Brentano's problem,” or “the problem of intentionality.” Its motivating mystery is how neurobiological states can have (...) semantic properties such as meaning or reference. Neander proposes a naturalistic account for sensory-perceptual representations. Neander draws on insights from state-space semantics, causal theories of reference, and teleosemantic theories. She proposes and defends an intuitive, theoretically well-motivated but highly controversial thesis: sensory-perceptual systems have the function to produce inner state changes that are the analogs of as well as caused by their referents. Neander shows that the three main elements—functions, causal-information relations, and relations of second-order similarity—complement rather than conflict with each other. After developing an argument for teleosemantics by examining the nature of explanation in the mind and brain sciences, she develops a theory of mental content and defends it against six main content-determinacy challenges to a naturalized semantics. (shrink)

Ruth Garrett Millikan presents a strikingly original account of how we get to grips with the world in thought. Her question is Kant's 'How is knowledge possible?', answered from a contemporary naturalist standpoint. We begin with an understanding of what the world is like prior to cognition, then develop a theory of cognition within that world.

It is widely assumed that memory has only the capacity to preserve epistemic features that have been generated by other sources. Specifically, if S knows (justifiedly believes/rationally believes) that p via memory at T2, then it is argued that (i) S must have known (justifiedly believed/rationally believed) that p when it was originally acquired at Tl, and (ii) S must have acquired knowledge that p (justification with respect to p/rationality with respect to p) at Tl via a non-memorial source. Thus, (...) according to this view, memory cannot make an unknown proposition known, an unjustified belief justified, or an irrational belief rational--it can only preserve what is already known, justified, or rational. In this paper, I argue that condition (i) is false and, a fortiori, that condition (ii) is false. Hence, I show that, contrary to received wisdom in contemporary epistemology, memory can function as a generative epistemic source. (shrink)

This position paper presents the beginnings of a general theory of representations starting from the notion that an intelligent agent is essentially a control system with multiple control states, many of which contain information (both factual and non-factual), albeit not necessarily in a propositional form. The paper attempts to give a general characterisation of the notion of the syntax of an information store, in terms of types of variation the relevant mechanisms can cope with. Similarly concepts of semantics pragmatics and (...) inference are generalised to apply to information-bearing sub-states in control systems. A number of common but incorrect notions about representation are criticised (such as that pictures are in some way isomorphic with what they represent). (shrink)

Looks at accounts by Locke, Fodor, Dretske, and Millikan concerning the nature of mental representation, and discusses connectionism and representation.

A novel account of semantic information is proposed. The gist is that structural correspondence, analysed in terms of similarity, underlies an important kind of semantic information. In contrast to extant accounts of semantic information, it does not rely on correlation, covariation, causation, natural laws, or logical inference. Instead, it relies on structural similarity, defined in terms of correspondence between classifications of tokens into types. This account elucidates many existing uses of the notion of information, for example, in the context of (...) scientific models and structural representations in cognitive science. It is poised to open a new research program concerned with various kinds of semantic information, its functions, and its measurement. (shrink)

Over the past 50 years, philosophers and psychologists have perennially argued for the existence of analog mental representations of one type or another. This study critically reviews a number of these arguments as they pertain to three different types of mental representation: perceptual representations, imagery representations, and numerosity representations. Along the way, careful consideration is given to the meaning of “analog” presupposed by these arguments for analog mental representation, and to open avenues for future research.

What does it mean to say that an object or system computes? What is it about laptops, smartphones, and nervous systems that they are considered to compute, and why does it seldom occur to us to describe stomachs, hurricanes, rocks, or chairs that way? Though computing systems are everywhere today, it is very difficult to answer these questions. The book aims to shed light on the subject by arguing for the semantic view of computation, which states that computingsystems are always (...) accompanied by representations. This view is presented as an alternative to non-semantic views such as the mechanistic account of computation. (shrink)

What is the relation between the nature of the things you think about, and the ways you think about them? Christopher Peacocke argues that meaning is never prior to metaphysics - to the nature of the world. He shows that this view holds for a wide range of topics, including magnitudes, time, the self, and abstract objects such as numbers.

The aim of this paper is to begin developing a version of Gualtiero Piccinini’s mechanistic account of computation that does not need to appeal to any notion of proper (or teleological) functions. The motivation for doing so is a general concern about the role played by proper functions in Piccinini’s account, which will be evaluated in the first part of the paper. I will then propose a potential alternative approach, where computing mechanisms are understood in terms of Carl Craver’s perspectival (...) account of mechanistic functions. According to this approach, the mechanistic function of ‘performing a computation’ can only be attributed relative to an explanatory perspective, but such attributions are nonetheless constrained by the underlying physical structure of the system in question, thus avoiding unlimited pancomputationalism. If successful, this approach would carry with it fewer controversial assumptions than Piccinini’s original account, which requires a robust understanding of proper functions. Insofar as there are outstanding concerns about the status of proper functions, this approach would therefore be more generally acceptable. (shrink)

Mindreaders can ascribe representational states to others. Some can ascribe representational states – states with semantic properties like accuracy-aptness. I argue that within this group of mindreaders, there is substantial room for variation – since mindreaders might differ with respect to the representational format they take representational states to have. Given that formats differ in their formal features and expressive power, the format one takes mental states to have will significantly affect the range of mental state attributions one can make, (...) and the ease or difficulty with which one can make them. I illustrate this by considering what it would be to take mental states to be map-like in format, showing that this would result in a distinctively limited form of mindreading. I close by articulating the significance of this for the emerging picture of great ape mindreading. (shrink)

The paper presents an extended argument for the claim that mental content impacts the computational individuation of a cognitive system (section 2). The argument starts with the observation that a cognitive system may simultaneously implement a variety of different syntactic structures, but that the computational identity of a cognitive system is given by only one of these implemented syntactic structures. It is then asked what are the features that determine which of implemented syntactic structures is the computational structure of the (...) system, and it is contended that these features are certain aspects of mental content. The argument helps (section 3) to reassess the thesis known as computational externalism, namely, the thesis that computational theories of cognition make essential reference to features in the individual's environment. It is suggested that the familiar arguments for computational externalism?which rest on thought experiments and on exegesis of Marr's theories of vision?are unconvincing, but that they can be improved. A reconstruction of the visex/audex thought experiment is offered in section 3.1. An outline of a novel interpretation of Marr's theories of vision is presented in section 3.2. The corrected arguments support the claim that computational theories of cognition are intentional. Computational externalism is still pending, however, upon the thesis that psychological content is extrinsic. (shrink)

I analyze a tension at the core of the mechanistic view of computation generated by its joint commitment to the medium independence of computational vehicles and to computational systems possessing teleological functions to compute. While computation is individuated in medium-independent terms, teleology is sensitive to the constitutive physical properties of vehicles. This tension spells trouble for the mechanistic view, suggesting that there can be no teleological functions to compute. I argue that, once considerations about the relevant function-bestowing factors for computational (...) systems are brought to bear, the tension dissolves: physical systems can have the teleological function to compute. (shrink)