Many debates in philosophy focus on whether folk or scientific psychological notions pick out cognitive natural kinds. Examples include memory, emotions and concepts. A potentially interesting type of kind is: kinds of mental representations (as opposed, for example, to kinds of psychological faculties). In this chapter we outline a proposal for a theory of representational kinds in cognitive science. We argue that the explanatory role of representational kinds in scientific theories, in conjunction with a mainstream approach to explanation in cognitive (...) science, suggest that representational kinds are multi-level. This is to say that representational kinds’ properties cluster at different levels of explanation and allow for intra- and inter-level projections. (shrink)

This essay raises a challenge for the perceptual theory of emotion. According to the perceptual theory, emotions are perceptual states that represent values. But if emotions represent values, something should explain why. In virtue of what do emotions represent the values they do? A psychosemantics would answer this, and that’s what the perceptual theorist owes us. To date, however, the only perceptual theorist to attempt a psychosemantics for emotion is Jesse Prinz. And Prinz’s theory, I argue, faces an important difficulty: (...) It makes the pairing of any given emotion with its respective value entirely arbitrary. But that’s a problem. It seems—and this is a major contention of this essay—that an emotion, in virtue of how it feels, bears a natural or non-arbitrary link to the value it represents. And this datum makes it all the more difficult to provide a viable psychosemantics for the evaluative content of emotion. (shrink)

In recent years philosophers have used results from cognitive science to formulate epistemologies of arithmetic :5–18, 2001). Such epistemologies have, however, been criticised, e.g. by Azzouni, for interpreting the capacities found by cognitive science in an overly numerical way. I offer an alternative framework for the way these psychological processes can be combined, forming the basis for an epistemology for arithmetic. The resulting framework avoids assigning numerical content to the Approximate Number System and Object Tracking System, two systems that have (...) so far been the basis of epistemologies of arithmetic informed by cognitive science. The resulting account is, however, only a framework for an epistemology: in the final part of the paper I argue that it is compatible with both platonist and nominalist views of numbers by fitting it into an epistemology for ante rem structuralism and one for fictionalism. Unsurprisingly, cognitive science does not settle the debate between these positions in the philosophy of mathematics, but I it can be used to refine existing epistemologies and restrict our focus to the capacities that cognitive science has found to underly our mathematical knowledge. (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)

Carey has argued that there is a system of core numerical cognition – the analog magnitude system – in which cardinal numbers are explicitly represented in iconic format. While the existence of this system is beyond doubt, this paper aims to show that its representations cannot have the combination of features attributed to them by Carey. According to the argument from abstractness, the representation of the cardinal number of a collection of individuals as such requires the representation of individuals as (...) such, and this in turn requires non-iconic format, from which it is concluded that the explicit representation of the cardinal number of some individuals requires non-iconic representational format. In support of the first premise, an account is given of what approximate cardinal numbers might be, and in support of the second, a direct argument is articulated and defended. Finally, in response to an objection, a second argument for the central thesis is provided. While the discussion is couched in the terms of Carey’s work, the considerations it adduces are perfectly general, and the conclusion should therefore be taken into consideration by all those aiming to characterize the AM system. (shrink)

My topic is the intelligent guidance of action. In this paper I offer an empirically grounded case for four ideas: that [a] cognitive processes of practical reasoning play a key role in the intelligent guidance of action, [b] these processes could not do so without significant enabling work done by both perception and the motor system, [c] the work done by perceptual and motor systems can be characterized as the generation of information specialized for action guidance, which in turn suggests (...) that [d] the cognitive processes of practical reasoning that play a key role in the guidance of intelligent action are not the abstract, syllogistic ones philosophers often treat as the paradigm of practical reasoning. Rather, these cognitive processes are constrained by, and work well with, the specialized concepts outputted by perception and the feedback outputted by sensorimotor processes. (shrink)

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.

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 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)

Perceptual representations are sometimes said to be iconic, or picture-like. But what does this mean, and is it true? I suggest that the most fruitful way to understand iconicity is in terms of similarity, but there are three importantly different grades of similarity that that might hold between perceptual representations and their objects, and these should be distinguished. It is implausible that all perceptual representations achieve even the weakest grade of iconicity, but I speculatively suggest a “Kantian” view, whereby all (...) perceptual representation involves fillers placed in a “strongly iconic” spatial framework. Those fillers will likely be hybrid structures, with varying grades of iconicity combined with non-iconic elements. (shrink)

Little has been said about whether pictures can depict properties of properties. This article argues that they do. As a result, resemblance theories of depiction must be changed to accommodate this phenomenon. In addition, diagrams and maps are standardly understood to represent properties of properties, so this article brings accounts of depiction closer to accounts of diagrams than they had been before. Finally, the article suggests that recent work on perceptual content gives us reason to believe we can perceive properties (...) of properties. (shrink)

Quilty-Dunn et al. claim that all complex infant and animal reasoning implicate language-of-thought hypothesis (LOTH)-like structures. We agree with the authors that the mental life of animals can be explained in representationalist terms, but we disagree with their idea that the complexity of mental representations is best explained by appealing to abstract concepts, and instead, we explain that it doesn't need to.

Menary OpenMIND, MIND Group, Frankfurt am Main, 2015) has argued that the development of our capacities for mathematical cognition can be explained in terms of enculturation. Our ancient systems for perceptually estimating numerical quantities are augmented and transformed by interacting with a culturally-enriched environment that provides scaffolds for the acquisition of cognitive practices, leading to the development of a discrete number system for representing number precisely. Numerals and the practices associated with numeral systems play a significant role in this process. (...) However, the details of the relationship between the ancient number system and the discrete number system remain unclear. This lack of clarity is exacerbated by the problem of symbolic estrangement and the fact that unique features of how numeral systems represent require our ancient number system to play a dual role. These issues highlight that Dehaene’s From monkey brain to human brain, MIT Press, Cambridge, pp 133–157, 2005) neuronal recycling hypothesis may be insufficient to explain the neural mechanisms underlying the process of enculturation. In order to explain mathematical enculturation, and enculturation more generally, it may be necessary to adopt Anderson’s :245–266, 2010; After phrenology: neural reuse and the interactive brain, MIT Press, Cambridge, 2014) theory of neural reuse. (shrink)

The contents of representations in non-human animals, human core cognition, and perception cannot precisely be characterized by sentences of a natural language. However, this fact does not stop us from giving imprecise characterizations of these contents through natural language. In this paper, I develop an account of the precision of content characterizations by appealing to possible-world semantics combined with set and measurement theory.

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes from recent (...) proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics. (shrink)

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique – the arguments from congruency, confounds, and imprecision – and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes for (...) number, such as “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (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)

ABSTRACT Issues concerning the putative perception/cognition divide are not only age-old, but also resurface in contemporary discussions in various forms. In this paper, I connect a relatively new debate concerning perceptual confidence to the perception/cognition divide. The term ‘perceptual confidence’ is quite common in the empirical literature, but there is an unsettled question about it, namely: are confidence assignments perceptual or post-perceptual? John Morrison in two recent papers puts forward the claim that confidence arises already at the level of perception. (...) In this paper, I first argue that Morrison’s case is unconvincing, and then develop one picture on perceptual precision with the notion of ‘matching profile’ and ‘supervaluation’ : 481–495.), highlighting the fact that this is a vagueness account, which is similar to but importantly different from indeterminacy accounts : 156–184.). With this model in hand, there can be rich resources with which to draw a theoretical line between perception and cognition. (shrink)

The goal of this paper is to explore forms of metacognition that have rarely been discussed in the extensive psychological and philosophical literatures on the topic. These would comprise explicit instances of meta-representation of some set of mental states or processes in oneself, but without those representations being embedded in anything remotely resembling a theory of mind, and independent of deployment of any sort of concept-like representation of the mental. Following a critique of some extant suggestions made by Nicholas Shea, (...) the paper argues that appraisals of the value of cognitive effort involve the most plausible instances of this kind of metacognition. (shrink)

The Approximate Number System (ANS) is a system that allows us to distinguish between collections based on the number of items, though only if the ratio between numbers is high enough. One of the questions that has been raised is what the representations involved in this system represent. I point to two important constraints for any account: (a) it doesn’t involve numbers, and (b) it can account for the approximate nature of the ANS. Furthermore, I argue that representations of pure (...) magnitude with vehicles that have an imprecision in the value of the unit of measurement (further clarified through a formal model from measurement theory) fit both these requirements. (shrink)

In recent years philosophers have used results from cognitive science to formulate epistemologies of arithmetic :5–18, 2001). Such epistemologies have, however, been criticised, e.g. by Azzouni, for interpreting the capacities found by cognitive science in an overly numerical way. I offer an alternative framework for the way these psychological processes can be combined, forming the basis for an epistemology for arithmetic. The resulting framework avoids assigning numerical content to the Approximate Number System and Object Tracking System, two systems that have (...) so far been the basis of epistemologies of arithmetic informed by cognitive science. The resulting account is, however, only a framework for an epistemology: in the final part of the paper I argue that it is compatible with both platonist and nominalist views of numbers by fitting it into an epistemology for ante rem structuralism and one for fictionalism. Unsurprisingly, cognitive science does not settle the debate between these positions in the philosophy of mathematics, but I it can be used to refine existing epistemologies and restrict our focus to the capacities that cognitive science has found to underly our mathematical knowledge. (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)

Philosophy, scientific psychology, and common sense all distinguish perception from cognition. While there is little agreement about how the perception–cognition boundary ought to be drawn, one prominent idea is that perceptual states are dependent on a stimulus, or stimulus-dependent, in a way that cognitive states are not. This paper seeks to develop this idea in a way that can accommodate two apparent counterexamples: hallucinations, which are prima facie perceptual yet stimulus-independent; and demonstrative thoughts, which are prima facie cognitive yet stimulus-dependent. (...) The payoff is not only a specific proposal for marking the perception–cognition boundary, but also a deeper understanding of the natures of hallucination and demonstrative thought. (shrink)

In our target article, we argued that the number sense represents natural and rational numbers. Here, we respond to the 26 commentaries we received, highlighting new directions for empirical and theoretical research. We discuss two background assumptions, arguments against the number sense, whether the approximate number system represents numbers or numerosities, and why the ANS represents rational numbers.

This article argues that if panpsychism is true, then there are grounds for thinking that digitally-based artificial intelligence may be incapable of having coherent macrophenomenal conscious experiences. Section 1 briefly surveys research indicating that neural function and phenomenal consciousness may be both analog in nature. We show that physical and phenomenal magnitudes—such as rates of neural firing and the phenomenally experienced loudness of sounds—appear to covary monotonically with the physical stimuli they represent, forming the basis for an analog relationship between (...) the three. Section 2 then argues that if this is true and micropsychism—the panpsychist view that phenomenal consciousness or its precursors exist at a microphysical level of reality—is also true, then human brains must somehow manipulate fundamental microphysical-phenomenal magnitudes in an analog manner that renders them phenomenally coherent at a macro level. However, Sect. 3 argues that because digital computation abstracts away from microphysical-phenomenal magnitudes—representing cognitive functions non-monotonically in terms of digits—digital computation may be inherently incapable of realizing coherent macroconscious experience. Thus, if panpsychism is true, digital AI may be incapable of achieving phenomenal coherence. Finally, Sect. 4 briefly examines our argument’s implications for Tononi’s Integrated Information Theory theory of consciousness, which we contend may need to be supplanted by a theory of macroconsciousness as analog microphysical-phenomenal information integration. (shrink)

In The Border between Seeing and Thinking, Ned Block argues that the distinction between perception and cognition should be grounded in representational format. I object that cognition is multifaceted, and includes representations with the same format as some perceptual representations. We can save Block’s view by interpreting it as concerning the border between one elite species of cognition—namely, propositional thought—and everything below it, including perception. But that leaves the border between perception and cognition in general unexplained. To fill this gap, (...) I recommend my stimulus-dependence account of the border and reply to objections Block raises against it. This brings into relief a category of mind that is crucial to understanding human infants and nonhuman animals—namely, nonpropositional cognition, which sits between perception and propositional thought. (shrink)

One of the important discussions in the philosophy of mathematics, is that centered on Benacerraf’s Dilemma. Benacerraf’s dilemma challenges theorists to provide an epistemology and semantics for mathematics, based on their favourite ontology. This challenge is the point on which all philosophies of mathematics are judged, and clarifying how we might acquire mathematical knowledge is one of the main occupations of philosophers of mathematics. In this thesis I argue that this discussion has overlooked an important part of mathematics, namely mathematics (...) as it is exercised by ordinary people. I do so by looking at the different theories that have been put forward in the recent debate, and showing for each of these that they are unable to account for the mathematical practices of ordinary people. In order to show that these practices do need to be accounted for, I also argue that ordinary people are doing mathematics, i.e. that they engage in properly mathematical practices. Because these practices are properly mathematical, they should be accounted for by any philosophy of mathematics. The conclusion of my thesis, then, is that current theories fail to do something that they should do, while remaining neutral on how well they perform when it comes to accounting for the practices of professional mathematicians. (shrink)

The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last hundred years. This article (...) explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (shrink)