Where does human knowledge begin? Research on human infants, children, adults, and nonhuman animals, using diverse methods from the cognitive, brain, and computational sciences, provides evidence for six early emerging, domain-specific systems of core knowledge. These automatic, unconscious systems are situated between perceptual systems and systems of explicit concepts and beliefs. They emerge early in infancy, guide children's learning, and function throughout life.

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 assumed that adaptation — a temporary change in sensitivity to a perceptual dimension following exposure to that dimension — is a litmus test for what is and is not a “primary visual attribute”. Thus, papers purporting to find evidence of number adaptation motivate a claim of great philosophical significance: That number is something that can be seen in much the way that canonical visual features, like color, contrast, size, and speed, can. Fifteen years after its reported discovery, (...) number adaptation’s existence seems to be nearly undisputed, with dozens of papers documenting support for the phenomenon. The aim of this paper is to offer a counterweight — to critically assess the evidence for and against number adaptation. After surveying the many reasons for thinking that number adaptation exists, we introduce several lesser-known reasons to be skeptical. We then advance an alternative account — the old news hypothesis — which can accommodate previously published findings while explaining various (otherwise unexplained) anomalies in the existing literature. Next, we describe the results of eight pre-registered experiments which pit our novel old news hypothesis against the received number adaptation hypothesis. Collectively, the results of these experiments undermine the number adaptation hypothesis on several fronts, whilst consistently supporting the old news hypothesis. More broadly our work raises questions about the status of adaptation itself as a means of discerning what is and is not a visual attribute. (shrink)

Abilitism is an approach to the metaphysics of concepts according to which each concept consists of a managing cognitive ability coordinating other abilities (cognitive and non-cognitive) and a set of subordinate abilities associated with this managing ability. As I argue here, if we accept the abilitist approach, we can efficiently solve such puzzles in the metaphysics of concepts as the partial possession problem, the concept pluralism problem, etc. However, there are some possible objections to abilitism, concerning the abilitist explanation of (...) compositional properties of concepts, knowledge-that, an extension/intension of concepts, and the idea that concepts are constituents of thought. As I demonstrate here, these objections can be answered. (shrink)

The approximate number system (ANS) enables organisms to represent the approximate number of items in an observed collection, quickly and independently of natural language. Recently, it has been proposed that the ANS goes beyond representing natural numbers by extracting and representing rational numbers (Clarke & Beck, 2021a). Prior work demonstrates that adults and children discriminate ratios in an approximate and ratio-dependent manner, consistent with the hallmarks of the ANS. Here, we use a well-known “connectedness illusion” to provide evidence that these (...) ratio-dependent ratio discriminations are (a) based on the perceived number of items in seen displays (and not just non-numerical confounds), (b) are not dependent on verbal working memory, or explicit counting routines, and (c) involve representations with a part-whole (or subset-superset) format, like a fraction, rather than a part-part format, like a ratio. These results vindicate key predictions of the hypothesis that the ANS represents rational numbers. (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)

Research on the capacity to understand others' minds has tended to focus on representations ofbeliefs,which are widely taken to be among the most central and basic theory of mind representations. Representations ofknowledge, by contrast, have received comparatively little attention and have often been understood as depending on prior representations of belief. After all, how could one represent someone as knowing something if one does not even represent them as believing it? Drawing on a wide range of methods across cognitive science, (...) we ask whether belief or knowledge is the more basic kind of representation. The evidence indicates that nonhuman primates attribute knowledge but not belief, that knowledge representations arise earlier in human development than belief representations, that the capacity to represent knowledge may remain intact in patient populations even when belief representation is disrupted, that knowledge (but not belief) attributions are likely automatic, and that explicit knowledge attributions are made more quickly than equivalent belief attributions. Critically, the theory of mind representations uncovered by these various methods exhibits a set of signature features clearly indicative of knowledge: they are not modality-specific, they are factive, they are not just true belief, and they allow for representations of egocentric ignorance. We argue that these signature features elucidate the primary function of knowledge representation: facilitating learning from others about the external world. This suggests a new way of understanding theory of mind – one that is focused on understanding others' minds in relation to the actual world, rather than independent from it. (shrink)

The innate knowledge problem is a classical problem in philosophy, which has been known since the classical antiquity. Plato in his dialogues Meno and Phaedo formulated the doctrine of innate ideas and proposed an early version of the poverty of the stimulus argument, which is the most frequently used argument in innate knowledge debates. In the history of philosophy there was also an opposite view. This approach is often associated with J. Locke’s philosophy. Locke thought that all our knowledge about (...) the world is a product of the universal learning mechanisms whose functioning is based on perception. The question about the presence of innate ideas in the human mind still remains relevant. New findings in cognitive science and neurosciences and also some recent arguments from philosophers contribute to the contemporary discussion between the spokesmen of the rival approaches to this problem. The paper presents the investigation of one of the approaches to solving the problem of innate concepts, which is called a “concept nativism.” It highlights the outstanding characteristics of the concept nativism: (a) domain specificity position, (b) belief that domain-specific mechanisms of learning are innate and (c) belief that at least some concepts are innate. The article also proposes an analysis of notions “innateness” and “idea” which is important for understanding nativists’ approach to innate ideas theory. And finally, it describes the most popular nativists’ arguments: (a) references to empirical studies using the preferential looking technique, (b) the poverty of the stimulus argument and (c) the argument from animals. (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)

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.

Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that they prima (...) facie favor a realist account of numbers. (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)

In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework for a (...) formal model of mental arithmetical representations is constructed. Many competitive conceptions of the mental system responsible for our arithmetical thinking may be unified within the presented framework. The paradigm underlying our research may be interpreted philosophically as a neo-Kantian approach to modeling the mind’s representational structures. (shrink)

Quantifier expressions like “many” and “at least” are part of a rich repository of words in language representing magnitude information. The role of numerical processing in comprehending quantifiers was studied in a semantic truth value judgment task, asking adults to quickly verify sentences about visual displays using numerical or proportional quantifiers. The visual displays were composed of systematically varied proportions of yellow and blue circles. The results demonstrated that numerical estimation and numerical reference information are fundamental in encoding the meaning (...) of quantifiers in terms of response times and acceptability judgments. However, a difference emerges in the comparison strategies when a fixed external reference numerosity is used for numerical quantifiers, whereas an internal numerical criterion is invoked for proportional quantifiers. Moreover, for both quantifier types, quantifier semantics and its polarity biased the response direction. Overall, our results indicate that quantifier comprehension involves core numerical and lexical semantic properties, demonstrating integrated processing of language and numbers. (shrink)

One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the problem can (...) be addressed by accepting a Chomskyan conception of natural languages and a matching internalist, mentalist and nativist view of semantics. A helpful perspective on the epistemic aspect of the puzzle can be gained by translating Kurt G ̈odel’s neo-Kantian conception of the nature of mathematics and its objects into modern, cognitive terms. (shrink)

Much research supports the existence of an Approximate Number System (ANS) that is recruited by infants, children, adults, and non-human animals to generate coarse, non-symbolic representations of number. This system supports simple arithmetic operations such as addition, subtraction, and ordering of amounts. The current study tests whether an intuition of a more complex calculation, division, exists in an indigene group in the Amazon, the Mundurucu, whose language includes no words for large numbers. Mundurucu children were presented with a video event (...) depicting a division transformation of halving, in which pairs of objects turned into single objects, reducing the array's numerical magnitude. Then they were tested on their ability to calculate the outcome of this division transformation with other large-number arrays. The Mundurucu children effected this transformation even when non-numerical variables were controlled, performed above chance levels on the very first set of test trials, and exhibited performance similar to urban children who had access to precise number words and a surrounding symbolic culture. We conclude that a halving calculation is part of the suite of intuitive operations supported by the ANS. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used to (...) express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

Generalized quantifiers are functions from pairs of properties to truth-values; these functions can be used to interpret natural language quantifiers. The space of such functions is vast and a great deal of research has sought to find natural constraints on the functions that interpret determiners and create quantifiers. These constraints have demonstrated that quantifiers rest on number and number sense. In the first part of the paper, we turn to developing this argument. In the remainder, we report on work in (...) neurobiology that test the empirical claims of the theory. In particular, we look at fMRI experiments and behavioral experiments with various patient populations that support the intimate connection between natural language quantification and number sense. (shrink)

Strong nativist views about numerical concepts claim that human beings have at least some innate precise numerical representations. Weak nativist views claim only that humans, like other animals, possess an innate system for representing approximate numerical quantity. We present a new strong nativist model of the origins of numerical concepts and defend the strong nativist approach against recent cross-cultural studies that have been interpreted to show that precise numerical concepts are dependent on language and that they are restricted to speakers (...) of languages with the right kind of structure. (shrink)

Humans possess two nonverbal systems capable of representing numbers, both limited in their representational power: the first one represents numbers in an approximate fashion, and the second one conveys information about small numbers only. Conception of exact large numbers has therefore been thought to arise from the manipulation of exact numerical symbols. Here, we focus on two fundamental properties of the exact numbers as prerequisites to the concept of EXACT NUMBERS : the fact that all numbers can be generated by (...) a successor function and the fact that equality between numbers can be defined in an exact fashion. We discuss some recent findings assessing how speakers of Munduruc (an Amazonian language), and young Western children (3-4 years old) understand these fundamental properties of numbers. (shrink)

We consider connections between number sense—the ability to judge number—and the interpretation of natural language quantifiers. In particular, we present empirical evidence concerning the neuroanatomical underpinnings of number sense and quantifier interpretation. We show, further, that impairment of number sense in patients can result in the impairment of the ability to interpret sentences containing quantifiers. This result demonstrates that number sense supports some aspects of the language faculty.

One of the most important abilities we have as humans is the ability to think about number. In this chapter, we examine the question of whether there is an essential connection between language and number. We provide a careful examination of two prominent theories according to which concepts of the positive integers are dependent on language. The first of these claims that language creates the positive integers on the basis of an innate capacity to represent real numbers. The second claims (...) that language’s function is to integrate contents from modules that humans share with other animals. We argue that neither model is successful. (shrink)

In this paper we explore the interpretation of quantity expressions in Yudja, an indigenous language spoken in the Amazonian basin, showing that while the language allows reference to exact cardinalities, it does not generally allow reference to exact measure values. It does, however, allow non-exact comparison along continuous dimensions. We use this data to argue that the grammar of exact measurement is distinct from a grammar allowing the expression of exact cardinalities, and that the grammar of counting and the grammar (...) of measurement may use numerals with different, though related interpretations. As Yudja shows, the language of measurement is not automatically acquired along with the knowledge of exact numeral expressions. We show that the ‘gap’ between prelinguistic intuitions about quantity in terms of numerosity and counting, which is bridged by the learning of language expressing exact cardinality, is paralleled by a similar gap between prelinguistic intuitions about quantity on a continuous dimension and measuring: this gap too must be bridged by language which expresses exact measure values. Our results suggest that the enculturation process by which we develop skills to perform abstract operations in the domain of measurement is (1) language dependent and (2) distinct from the process by which we learn to perform abstract calculations in the cardinal domain. (shrink)

On a now orthodox view, humans and many other animals are endowed with a “number sense”, or approximate number system (ANS), that represents number. Recently, this orthodox view has been subject to numerous critiques, with critics maintaining either that numerical content is absent altogether, or else that some primitive analog of number (‘numerosity’) is represented as opposed to number itself. We distinguish three arguments for these claims – the arguments from congruency, confounds, and imprecision – and show that none succeed. (...) We then highlight positive reasons for thinking that the ANS genuinely represents numbers. The upshot is that proponents of the orthodox view should not feel troubled by recent critiques of their position. (shrink)

I argue that the human mind includes an innate domain-specific system for representing precise small numerical quantities. This theory contrasts with object-tracking theories and with domain-general theories that only make use of mental models. I argue that there is a good amount of evidence for innate representations of small numerical quantities and that such a domain-specific system has explanatory advantages when infants’ poor working memory is taken into account. I also show that the mental models approach requires previously unnoticed domain-specific (...) structure and consequently that there is no domain-general alternative to an innate domain-specific small number system. (shrink)

Leibovich et al. opened up an important discussion on the nature and origins of numerosity perception. The authors rightly point out that non-numerical features of stimuli influence this ability. Despite these biases, there is evidence that from birth, humans perceive and represent numerosities, and not just non-numerical quantitative features such as item size, density, and convex hull.

Empirical discussions of mental representation appeal to a wide variety of representational kinds. Some of these kinds, such as the sentential representations underlying language use and the pictorial representations of visual imagery, are thoroughly familiar to philosophers. Others have received almost no philosophical attention at all. Included in this latter category are analogue magnitude representations, which enable a wide range of organisms to primitively represent spatial, temporal, numerical, and related magnitudes. This article aims to introduce analogue magnitude representations to a (...) philosophical audience by rehearsing empirical evidence for their existence and analysing their format, their content, and the computations they support. 1 Background1.1 Evidence of analogue magnitude representations1.2 Weber’s law1.3 Scepticism about analogue magnitude representations2 Format2.1 Carey’s analogy2.2 Neural realization2.3 Analogue representation2.4 Analogue magnitude representation components3 Content3.1 Do analogue magnitude representations have representational content?3.2 What do analogue magnitude representations represent?3.3 What content types do analogue magnitude representations have?4 Computations4.1 Arithmetic computation4.2 Practical deliberation5 Conclusion. (shrink)

Dove and Machery both argue that recent findings about the nature of numerical representation present problems for Concept Empiricism. I shall argue that, whilst this evidence does challenge certain versions of CE, such as Prinz, it needn’t be seen as problematic to the general CE approach. Recent research can arguably be seen to support a CE account of number concepts. Neurological and behavioral evidence suggests that systems involved in the perception of numerical properties are also implicated in numerical cognition. Furthermore, (...) the discovery of associations between spatial and numerical representations also lends independent support to a CE approach. Although these findings support CE in general, certain versions of the theory may need revising in order to accommodate them. In particular, it may be necessary to either jettison Prinz's Modal Specificity Hypothesis or to revise one’s method for individuating modal representational formats. (shrink)

The paper presents a formal model of the system of number representations as a multiplicity of mental number axes with a hierarchical structure. The hierarchy is determined by the mind as it acquires successive types of mental number axes generated by virtue of some algebraic mechanisms. Three types of algebraic structures, responsible for functioning these mechanisms, are distinguished: BASAN-structures, CASAN-structures and CAPPAN-structures. A foundational order holds between these structures. CAPPAN-structures are derivative from CASAN-structures which are extensions of BASAN-structures. The constructed (...) formal model unifies two competitive conceptions of cognitive arithmetic: namely, the conception of the mental number line and the conception of parallel individuation. The paper is the continuation of a paper entitled Representational structures of arithmetical thinking, in which rich empirical evidence supporting the model is presented. The main result achieved in the present paper may be philosophically interpreted as an attempt to formalize the Kantian conception of the pure idea of time, understood as the a priori form of human arithmetical thinking. In this way, our theory may be comprehended as a result of applying the hard method of logical reconstruction of fundamental epistemological categories. (shrink)