Geometry, etymologically the “science of measuring the Earth”, is a mathematical formalization of space. Just as formal concepts of number may be rooted in an evolutionary ancient system for perceiving numerical quantity, the fathers of geometry may have been inspired by their perception of space. Is the spatial content of formal Euclidean geometry universally present in the way humans perceive space, or is Euclidean geometry a mental construction, specific to those who have received appropriate instruction? The spatial content of the (...) formal theories of geometry may depart from spatial perception for two reasons: first, because in geometry, only some of the features of spatial figures are theoretically relevant; and second, because some geometric concepts go beyond any possible perceptual experience. Focusing in turn on these two aspects of geometry, we will present several lines of research on US adults and children from the age of three years, and participants from an Amazonian culture, the Mundurucu. Almost all the aspects of geometry tested proved to be shared between these two cultures. Nevertheless, some aspects involve a process of mental construction where explicit instruction seem to play a role in the US, but that can still take place in the absence of instruction in geometry. (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)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue that (...) when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

Geometrical intuitions spontaneously drive visuo-spatial reasoning in human adults, children and animals. Is their emergence intrinsically linked to visual experience, or does it reflect a core property of cognition shared across sensory modalities? To address this question, we tested the sensitivity of blind-from-birth adults to geometrical-invariants using a haptic deviant-figure detection task. Blind participants spontaneously used many geometric concepts such as parallelism, right angles and geometrical shapes to detect intruders in haptic displays, but experienced difficulties with symmetry and complex spatial (...) transformations. Across items, their performance was highly correlated with that of sighted adults performing the same task in touch (blindfolded) and in vision, as well as with the performances of uneducated preschoolers and Amazonian adults. Our results support the existence of an amodal core-system of geometry that arises independently of visual experience. However, performance at selecting geometric intruders was generally higher in the visual compared to the haptic modality, suggesting that sensory-specific spatial experience may play a role in refining the properties of this core-system of geometry. (shrink)

Given quasi-realism, the claim is that any attempt to naturalise modal epistemology would leave out absolute necessity. The reason, according to Simon Blackburn, is that we cannot offer an empirical psychological explanation for why we take any truth to be absolutely necessary, lest we lose any right to regard it as absolutely necessary. In this paper, I argue that not only can we offer such an explanation, but also that the explanation won’t come with a forfeiture of the involved necessity. (...) Using ‘squaring the circle’ as evidence, I show that, contrary to quasi-realism, absolute necessity won’t be left out in attempts to naturalise modal epistemology. (shrink)

The claim is frequently made that, as cities become loaded up with information and communications technology and a resultant profusion of data, so they are becoming sentient. But what might this mean? This paper offers some insights into this claim by, first of all, reworking the notion of the social as a spatial complex of ‘outstincts’. That makes it possible, secondly, to reconsider what a city which is aware of itself might look like, both by examining what kinds of technological (...) practices are becoming commonplace and by considering the particular case of spatial awareness. In turn, this leads to a third rumination on how cities might become aware as different kinds of sprite, channelling outstincts in spatially variable ways. Whatever the case, it is clear that new technical-artistic interventions are required if these sprites are not to become simply servants of the security–entertainment complex. Some of these interventions are examined in the fourth part of the paper. (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)

Inspired by Bermúdez’s notion of proto-logic, I would like to fathom what the true proto-logic could be like. But this will be approached only in a negative way of figuring out what it could not be. I shall argue that it could not be purely deductive by exploiting the recent researches in logic of maps. This will allow us to reorient the search for proto-logic, starting with animal abduction. I will also suggest that proto-logic won’t get off the ground without (...) proto-geometry. These negative results will shed some lights on some further conceptual and historical issues around the language of thought hypothesis to arrive at the true proto-logic. (shrink)

The underlying structures that are common to the world's languages bear an intriguing connection with early emerging forms of “core knowledge” (Spelke & Kinzler, 2007), which are frequently studied by infant researchers. In particular, grammatical systems often incorporate distinctions (e.g., the mass/count distinction) that reflect those made in core knowledge (e.g., the non-verbal distinction between an object and a substance). Here, I argue that this connection occurs because non-verbal core knowledge systematically biases processes of language evolution. This account potentially explains (...) a wide range of cross-linguistic grammatical phenomena that currently lack an adequate explanation. Second, I suggest that developmental researchers and cognitive scientists interested in (non-verbal) knowledge representation can exploit this connection to language by using observations about cross-linguistic grammatical tendencies to inspire hypotheses about core knowledge. (shrink)

In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the use of (...) lettered diagrams; and the creation of linguistic formulae. Together, these artifacts formed the professional language of geometry. In this respect, the case of Greek geometry clearly shows that explanations of geometric reasoning have to go beyond the confines of methodological individualism to account for how the distributed practice of artifact use has stabilized over time. This practice, as we suggest, has also contributed heavily to the understanding of what mathematical proof is; classically, it has been assumed that proofs are not merely deductively correct but also remain invariant over various individuals sharing the same cognitive practice. Cognitive artifacts in Greek geometry constrained the repertoire of admissible inferential operations, which made these proofs inter-subjectively testable and compelling. By focusing on the cognitive operations on artifacts, we also stress that mental mechanisms that contribute to these operations are still poorly understood, in contrast to those mechanisms which drive symbolic logical inference. (shrink)

In this review-paper, I focus on biopsychological foundations of geometric cognition. Starting from the Kant’s views on mathematics, I attempt to show that contemporary cognitive scientists, alike the famous philosopher, recognize mutual relationships of visuospatial processing and geometric cognition. What I defend is a claim that Tinbergen’s explanatory questions are the most fruitful tool for explaining our “hardwired,” and thus shared with other animals, Euclidean intuitions, which manifest themselves in spatial navigation and shape recognition. I claim, however, that these “hardwired (...) intuitions” cannot capture full-blooded Euclidean geometry, which demands practice with cultural artifacts in various time-scales. (shrink)

We discuss critically some recent theses about geometric cognition, namely claims of universality made by Dehaene et al., and the idea of a “natural geometry” employed by Spelke et al. We offer arguments for the need to distinguish visuo-spatial cognition from basic geometric knowledge, furthermore we claim that the latter cannot be identified with Euclidean geometry. The main aim of the paper is to advance toward a characterization of basic, practical geometry – which in our view requires a combination of (...) experiments on visuo-spatial cognition with studies in cognitive archaeology and comparative history. Examples from these fields are given, with special emphasis on the comparison of ancient Chinese and ancient Greek geometric ideas and procedures. (shrink)

Heuristics are often invoked in the philosophical, psychological, and cognitive science literatures to describe or explain methodological techniques or "shortcut" mental operations that help in inference, decision-making, and problem-solving. Yet there has been surprisingly little philosophical work done on the nature of heuristics and heuristic reasoning, and a close inspection of the way(s) in which "heuristic" is used throughout the literature reveals a vagueness and uncertainty with respect to what heuristics are and their role in cognition. This dissertation seeks to (...) remedy this situation by motivating philosophical inquiry into heuristics and heuristic reasoning, and then advancing a theory of how heuristics operate in cognition. I develop a positive working characterization of heuristics that is coherent and robust enough to account for a broad range of phenomena in reasoning and inference, and makes sense of empirical data in a systematic way. I then illustrate the work this characterization does by considering the sorts of problems that many philosophers believe heuristics solve, namely those resulting from the so-called frame problem. Considering the frame problem motivates the need to gain a better understanding of how heuristics work and the cognitive structures over which they operate. I develop a general theory of cognition which I argue underwrites the heuristic operations that concern this dissertation. I argue that heuristics operate over highly organized systems of knowledge, and I offer a cognitive architecture to accommodate this view. I then provide an account of the systems of knowledge that heuristics are supposed to operate over, in which I suggest that such systems of knowledge are concepts. The upshot, then, is that heuristics operate over concepts. I argue, however, that heuristics do not operate over conceptual content, but over metainformational relations between activated and primed concepts and their contents. Finally, to show that my thesis is empirically adequate, I consider empirical evidence on heuristic reasoning and argue that my account of heuristics explains the data. (shrink)

Summary Since its first description, the imprinting phenomenon has been deeply investigated, and researchers can nowadays provide profound knowledge of its functioning. Here, I present how this peculiar form of early exposure learning can be used as a strategy to study animal cognition. Starting from imprinting as a social trigger for the domestic chick and combining it with the unique possibility of accurate control of sensory experiences in this animal model, I present evidence that in artificial environments, imprinting serves as (...) a rigorous test of the core domains of cognition. Whether basic cognitive concepts are already present at birth or whether they need extensive experience to develop are questions that can be addressed in precocial birds and still, following the tradition of the seminal works made by Lorenz, can inform on human cognitive processing. (shrink)

ABSTRACTWe discuss the thesis of universality of geometric notions and offer critical reflections on the concept of “natural geometry” employed by Spelke and others. Promoting interdisciplinary wor...

We argue against the claim that the employment of diagrams in Euclidean geometry gives rise to gaps in the proofs. First, we argue that it is a mistake to evaluate its merits through the lenses of Hilbert’s formal reconstruction. Second, we elucidate the abilities employed in diagram-based inferences in the Elements and show that diagrams are mathematically reputable tools. Finally, we complement our analysis with a review of recent experimental results purporting to show that, not only is the Euclidean diagram-based (...) practice strictly regimented, it is rooted in cognitive abilities that are universally shared. (shrink)