Human adults are thought to possess two dissociable systems to represent numbers: an approximate quantity system akin to a mental number line, and a verbal system capable of representing numbers exactly. Here, we study the interface between these two systems using an estimation task. Observers were asked to estimate the approximate numerosity of dot arrays. We show that, in the absence of calibration, estimates are largely inaccurate: responses increase monotonically with numerosity, but underestimate the actual numerosity. However, insertion of a (...) few inducer trials, in which participants are explicitly (and sometimes misleadingly) told that a given display contains 30 dots, is sufficient to calibrate their estimates on the whole range of stimuli. Based on these empirical results, we develop a model of the mapping between the numerical symbols and the representations of numerosity on the number line. (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)

Nonsymbolic comparison tasks are commonly used to index the acuity of an individual's Approximate Number System (ANS), a cognitive mechanism believed to be involved in the development of number skills. Here we asked whether the time that an individual spends observing numerical stimuli influences the precision of the resultant ANS representations. Contrary to standard computational models of the ANS, we found that the longer the stimulus was displayed, the more precise was the resultant representation. We propose an adaptation of the (...) standard model, and suggest that this finding has significant methodological implications for numerical cognition research. (shrink)

In spite of their practical importance, the connections between technology and mathematics have not received much scholarly attention. This article begins by outlining how the technology–mathematics relationship has developed, from the use of simple aide-mémoires for counting and arithmetic, via the use of mathematics in weaving, building and other trades, and the introduction of calculus to solve technological problems, to the modern use of computers to solve both technological and mathematical problems. Three important philosophical issues emerge from this historical résumé: (...) how mathematical knowledge depends on technology, the definition of the hybrid concept of a computation, and the usefulness of mathematics in technology. Each of these issues is briefly discussed, and it is shown that in order to analyze them, we need to combine tools and ideas from both the philosophy of technology and the philosophy of mathematics. In conclusion, it is argued that much more of interest can be found in the historically and philosophically unexplored terrains of the technology–mathematics relationship. (shrink)

In this article we review the discussion over the thesis that language serves as an integrator of contents coming from different cognitive modules. After presenting the theoretical considerations, we examine two strands of empirical research that tested the hypothesis — spatial cognition and mathematical cognition. The idea shared by both of them is that each is composed of two separate modules processing information of a specific kind. For spatial thinking these are geometric information about the location of the object and (...) the information about the object’s properties such as color or size. For mathematical thinking, they are the absolute representation of small numbers and the approximate representation of numerosities. Language is said to integrate the two kinds of information within each of these domains, which the reviewed data demonstrates. In the final part of the paper, we offer some comments on the theoretical side of the discussion. (shrink)

We present a model of how counting is learned based on the ability to perform a series of specific steps. The steps require conceptual knowledge of three components: numerosity as a property of collections; numerals; and one-to-one mappings between numerals and collections. We argue that establishing one-to-one mappings is the central feature of counting. In the literature, the so-called cardinality principle has been in focus when studying the development of counting. We submit that identifying the procedural ability to count with (...) the cardinality principle is not sufficient, but only one of the several steps in the counting process. Moreover, we suggest that some of these steps may be facilitated by the external organization of the counting situation. Using the methods of situated cognition, we analyze how the balance between external and internal representations will imply different loads on the working memory and attention of the counting individual. This analysis will show that even if the counter can competently use the cardinality principle, counting will vary in difficulty depending on the physical properties of the elements of collection and on their special arrangement. The upshot is that situated factors will influence counting performance. (shrink)

We present a model of how counting is learned based on the ability to perform a series of specific steps. The steps require conceptual knowledge of three components: numerosity as a property of collections; numerals; and one-to-one mappings between numerals and collections. We argue that establishing one-to-one mappings is the central feature of counting. In the literature, the so-called cardinality principle has been in focus when studying the development of counting. We submit that identifying the procedural ability to count with (...) the cardinality principle is not sufficient, but only one of the several steps in the counting process. Moreover, we suggest that some of these steps may be facilitated by the external organization of the counting situation. Using the methods of situated cognition, we analyze how the balance between external and internal representations will imply different loads on the working memory and attention of the counting individual. This analysis will show that even if the counter can competently use the cardinality principle, counting will vary in difficulty depending on the physical properties of the elements of collection and on their special arrangement. The upshot is that situated factors will influence counting performance. (shrink)

Natural languages vary in their quantity expressions, but the variation seems to be constrained by general properties, so-calleduniversals. Their explanations have been sought among constraints of human cognition, communication, complexity, and pragmatics. In this article, we apply a state-of-the-art language coordination model to the semantic domain of quantities to examine whether two quantity universals—monotonicity and convexity—arise as a result of coordination. Assuming precise number perception by the agents, we evolve communicatively usable quantity terminologies in two separate conditions: a numeric-based condition (...) in which agents communicate about a number of objects and a quotient-based condition in which agents communicate about the proportions. We find out that both universals take off in all conditions but only convexity almost entirely dominates the emergent languages. Additionally, we examine whether the perceptual constraints of the agents can contribute to the further development of universals. We compare the degrees of convexity and monotonicity of languages evolving in populations of agents with precise and approximate number sense. The results suggest that approximate number sense significantly reinforces monotonicity and leads to further enhancement of convexity. Last but not least, we show that the properties of the evolved quantifiers match certain invariance properties from generalized quantifier theory. (shrink)

The Oxford Handbook of Philosophy of Biology covers a broad range of topics in this field. It is not just a textbook focusing on evolutionary theory but encompasses ethics, social science and behaviour too. This essay outlines the scope of the work, discusses some points on methodology in the philosophy of biology, and then moves on to a more detailed analysis of cultural evolution and the applicability of a philosophy of biology toolkit to the social sciences. It is noted that (...) concepts like the species concept may generalise to other domains whilst failing to account for the nature of all species. Finally, the author notes the omission of any discussion of information in biology. (shrink)

Number morphology (e.g., singular vs. plural) is a part of the grammar that captures numerical information. Some languages have morphological Number values, which express few (paucal), two (dual), three (trial) and sometimes (possibly) four (quadral). Interestingly, the limit of the attested morphological Number values matches the limit of non‐verbal numerical cognition. The latter is based on two systems, one estimating approximate numerosities and the other computing exact numerosities up to three or four. We compared the literature on non‐verbal number systems (...) with data on Number morphology from 218 languages. Our observations suggest that non‐verbal numerical cognition is reflected as a core part of language. (shrink)

The notion of measurement plays a central role in human cognition. We measure people’s height, the weight of physical objects, the length of stretches of time, or the size of various collections of individuals. Measurements of height, weight, and the like are commonly thought of as mappings between objects and dense scales, while measurements of collections of individuals, as implemented for instance in counting, are assumed to involve discrete scales. It is also commonly assumed that natural language makes use of (...) both types of scales and subsequently distinguishes between two types of measurements. This paper argues against the latter assumption. It argues that natural language semantics treats all measurements uniformly as mappings from objects (individuals or collections of individuals) to dense scales, hence the Universal Density of Measurement (UDM). If the arguments are successful, there are a variety of consequences for semantics and pragmatics, and more generally for the place of the linguistic system within an overall architecture of cognition. (shrink)

Analogy and similarity are central phenomena in human cognition, involved in processes ranging from visual perception to conceptual change. To capture this centrality requires that a model of comparison must be able to integrate with other processes and handle the size and complexity of the representations required by the tasks being modeled. This paper describes extensions to Structure-Mapping Engine since its inception in 1986 that have increased its scope of operation. We first review the basic SME algorithm, describe psychological evidence (...) for SME as a process model, and summarize its role in simulating similarity-based retrieval and generalization. Then we describe five techniques now incorporated into the SME that have enabled it to tackle large-scale modeling tasks: Greedy merging rapidly constructs one or more best interpretations of a match in polynomial time: O); Incremental operation enables mappings to be extended as new information is retrieved or derived about the base or target, to model situations where information in a task is updated over time; Ubiquitous predicates model the varying degrees to which items may suggest alignment; Structural evaluation of analogical inferences models aspects of plausibility judgments; Match filters enable large-scale task models to communicate constraints to SME to influence the mapping process. We illustrate via examples from published studies how these enable it to capture a broader range of psychological phenomena than before. (shrink)

Cohen Kadosh & Walsh (CK&W) present convincing evidence indicating the existence of notation-specific numerical representations in parietal cortex. We suggest that the same conclusions can be drawn for a particular type of numerical representation: the representation of time. Notation-dependent representations need not be limited to number but may also be extended to other magnitude-related contents processed in parietal cortex (Walsh 2003).

Recent research has suggested that the Pirahã, an Amazonian tribe with a number-less language, are able to match quantities > 3 if the matching task does not require recall or spatial transposition. This finding contravenes previous work among the Pirahã. In this study, we re-tested the Pirahãs’ performance in the crucial one-to-one matching task utilized in the two previous studies on their numerical cognition, as well as in control tasks requiring recall and mental transposition. We also conducted a novel quantity (...) recognition task. Speakers were unable to consistently match quantities > 3, even when no recall or transposition was involved. We provide a plausible motivation for the disparate results previously obtained among the Pirahã. Our findings are consistent with the suggestion that the exact recognition of quantities > 3 requires number terminology. (shrink)

This paper discusses recent evidence that violations of core knowledge offer special learning opportunities for infants and young children. Children make predictions about the world from the youngest ages. When their fail to match observed data, they show an enhanced drive to seek and retain new information about entities that violated their expectations. Finally, the authors draw comparisons between children and adults, and with other species, to explore how surprise shapes thought more broadly.

For many centuries, philosophers and scientists have pondered the origins and nature of human intuitions about the properties of points, lines, and figures on the Euclidean plane, with most hypothesizing that a system of Euclidean concepts either is innate or is assembled by general learning processes. Recent research from cognitive and developmental psychology, cognitive anthropology, animal cognition, and cognitive neuroscience suggests a different view. Knowledge of geometry may be founded on at least two distinct, evolutionarily ancient, core cognitive systems for (...) representing the shapes of large-scale, navigable surface layouts and of small-scale, movable forms and objects. Each of these systems applies to some but not all perceptible arrays and captures some but not all of the three fundamental Euclidean relationships of distance (or length), angle, and direction (or sense). Like natural number (Carey, 2009), Euclidean geometry may be constructed through the productive combination of representations from these core systems, through the use of uniquely human symbolic systems. (shrink)

Article Authors Metrics Comments Media Coverage Abstract Author Summary Introduction Results Discussion Supporting information Acknowledgments Author Contributions References Reader Comments (0) Media Coverage (0) Figures Abstract During language processing, humans form complex embedded representations from sequential inputs. Here, we ask whether a “geometrical language” with recursive embedding also underlies the human ability to encode sequences of spatial locations. We introduce a novel paradigm in which subjects are exposed to a sequence of spatial locations on an octagon, and are asked to (...) predict future locations. The sequences vary in complexity according to a well-defined language comprising elementary primitives and recursive rules. A detailed analysis of error patterns indicates that primitives of symmetry and rotation are spontaneously detected and used by adults, preschoolers, and adult members of an indigene group in the Amazon, the Munduruku, who have a restricted numerical and geometrical lexicon and limited access to schooling. Furthermore, subjects readily combine these geometrical primitives into hierarchically organized expressions. By evaluating a large set of such combinations, we obtained a first view of the language needed to account for the representation of visuospatial sequences in humans, and conclude that they encode visuospatial sequences by minimizing the complexity of the structured expressions that capture them. (shrink)

Cross cultural studies have played a pivotal role in elucidating the extent to which behavioral and mental characteristics depend on specific environmental influences. Surprisingly, little field research has been carried out on a fundamentally important perceptual ability, namely the perception of biological motion. In this report, we present details of studies carried out with the help of volunteers from the Mundurucu indigene, a group of people native to Amazonian territories in Brazil. We employed standard biological motion perception tasks inspired by (...) over 30 years of laboratory research, in which observers attempt to decipher the walking direction of point-light (PL) humans and animals. Do our effortless skills at perceiving biological activity from PL animations, as revealed in laboratory settings, generalize to people who have never before seen representational depictions of human and animal activity? The results of our studies provide a clear answer to this important, previously unanswered question. Mundurucu observers readily perceived the coherent, global shape depicted in PL walkers, and experienced the classic inversion effects that are typically found when such stimuli are turned upside down. In addition, their performance was in accord with important recent findings in the literature, in the abundant ease with which they extracted direction information from local motion invariants alone. We conclude that the effortless, veridical perception of PL biological motion is a spontaneous and universal perceptual ability, occurring both inside and outside traditional laboratory environments. (shrink)

In this paper, a number of traditional models related to the percolation theory has been considered by means of new computational methodology that does not use Cantor’s ideas and describes infinite and infinitesimal numbers in accordance with the principle ‘The part is less than the whole’. It gives a possibility to work with finite, infinite, and infinitesimal quantities numerically by using a new kind of a compute - the Infinity Computer – introduced recently in [18]. The new approach does not (...) contradict Cantor. In contrast, it can be viewed as an evolution of his deep ideas regarding the existence of different infinite numbers in a more applied way. Site percolation and gradient percolation have been studied by applying the new computational tools. It has been established that in an infinite system the phase transition point is not really a point as with respect of traditional approach. In light of new arithmetic it appears as a critical interval, rather than a critical point. Depending on “microscope” we use this interval could be regarded as finite, infinite and infinitesimal short interval. Using new approach we observed that in vicinity of percolation threshold we have many different infinite clusters instead of one infinite cluster that appears in traditional consideration. (shrink)

Kant argued that Euclidean geometry is synthesized on the basis of an a priori intuition of space. This proposal inspired much behavioral research probing whether spatial navigation in humans and animals conforms to the predictions of Euclidean geometry. However, Euclidean geometry also includes concepts that transcend the perceptible, such as objects that are infinitely small or infinitely large, or statements of necessity and impossibility. We tested the hypothesis that certain aspects of nonperceptible Euclidian geometry map onto intuitions of space that (...) are present in all humans, even in the absence of formal mathematical education. Our tests probed intuitions of points, lines, and surfaces in participants from an indigene group in the Amazon, the Mundurucu, as well as adults and age-matched children controls from the United States and France and younger US children without education in geometry. The responses of Mundurucu adults and children converged with that of mathematically educated adults and children and revealed an intuitive understanding of essential properties of Euclidean geometry. For instance, on a surface described to them as perfectly planar, the Mundurucu's estimations of the internal angles of triangles added up to ∼180 degrees, and when asked explicitly, they stated that there exists one single parallel line to any given line through a given point. These intuitions were also partially in place in the group of younger US participants. We conclude that, during childhood, humans develop geometrical intuitions that spontaneously accord with the principles of Euclidean geometry, even in the absence of training in mathematics. (shrink)

Des branches entières des mathématiques sont fondées sur des liens posés entre les nombres et l’espace : mesure de longueurs, définition de repères et de coordonnées, projection des nombres complexes sur le plan… Si les nombres complexes, comme l’utilisation de repères, sont apparus relativement récemment (vers le XVIIe siècle), la mesure des longueurs est en revanche un procédé très ancien, qui remonte au moins au 3e ou 4e millénaire av. J-C. Loin d’être fortuits, ces liens entre les nombres et l’espace (...) reflèteraient une intuition fondamentale, universelle, façonnée au cours des millénaires par la sélection naturelle, et qui aurait servi de guide et d’inspiration aux mathématiciens au fil des siècles. (shrink)

The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several points of view that emphasize the importance and the relativity of mathematical languages used to describe the Turing machines. A deep investigation is performed on the interrelations between mechanical computations and their mathematical descriptions emerging when a human (the researcher) starts to describe a Turing machine (the object of the study) by (...) different mathematical languages (the instruments of investigation). Together with traditional mathematical languages using such concepts as ‘enumerable sets’ and ‘continuum’ a new computational methodology allowing one to measure the number of elements of different infinite sets is used in this paper. It is shown how mathematical languages used to describe the machines limit our possibilities to observe them. In particular, notions of observable deterministic and non-deterministic Turing machines are introduced and conditions ensuring that the latter can be simulated by the former are established. (shrink)

The First Hilbert problem is studied in this paper by applying two instruments: a new methodology distinguishing between mathematical objects and mathematical languages used to describe these objects; and a new numeral system allowing one to express different infinite numbers and to use these numbers for measuring infinite sets. Several counting systems are taken into consideration. It is emphasized in the paper that different mathematical languages can describe mathematical objects (in particular, sets and the number of their elements) with different (...) accuracies. The traditional and the new approaches are compared and discussed. (shrink)

A new computational methodology allowing one to work in a new way with infinities and infinitesimals is presented in this paper. The new approach, among other things, gives the possibility to calculate the number of elements of certain infinite sets, avoids indeterminate forms and various kinds of divergences. This methodology has been used by the author as a starting point in developing a new kind of computer – the Infinity Computer – able to execute computations and to store in its (...) memory not only finite numbers but also infinite and infinitesimal ones. (shrink)