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)

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)

We present a spatial system called Specialized Egocentrically Coordinated Spaces embedded in an embodied cognitive architecture (ACT-R Embodied). We show how the spatial system works by modeling two different developmental findings: gaze-following and Level 1 perspective taking. The gaze-following model is based on an experiment by Corkum and Moore (1998), whereas the Level 1 visual perspective-taking model is based on an experiment by Moll and Tomasello (2006). The models run on an embodied robotic system.

Sketching is a powerful means of working out and communicating ideas. Sketch understanding involves a combination of visual, spatial, and conceptual knowledge and reasoning, which makes it both challenging to model and potentially illuminating for cognitive science. This paper describes CogSketch, an ongoing effort of the NSF-funded Spatial Intelligence and Learning Center, which is being developed both as a research instrument for cognitive science and as a platform for sketch-based educational software. We describe the idea of open-domain sketch understanding, the (...) scientific hypotheses underlying CogSketch, and provide an overview of the models it employs, illustrated by simulation studies and ongoing experiments in creating sketch-based educational software. (shrink)

One of the central issues in cognitive science is the nature of human representations. We argue that symbolic representations are essential for capturing human cognitive capabilities. We start by examining some common misconceptions found in discussions of representations and models. Next we examine evidence that symbolic representations are essential for capturing human cognitive capabilities, drawing on the analogy literature. Then we examine fundamental limitations of feature vectors and other distributed representations that, despite their recent successes on various practical problems, suggest (...) that they are insufficient to capture many aspects of human cognition. After that, we describe the implications for cognitive architecture of our view that analogy is central, and we speculate on roles for hybrid approaches. We close with an analogy that might help bridge the gap. (shrink)

Absolute linguistic universals are often justified by cross-linguistic analysis: If all observed languages exhibit a property, the property is taken to be a likely universal, perhaps specified in the cognitive or linguistic systems of language learners and users. In many cases, these patterns are then taken to motivate linguistic theory. Here, we show that cross-linguistic analysis will very rarely be able to statistically justify absolute, inviolable patterns in language. We formalize two statistical methods—frequentist and Bayesian—and show that in both it (...) is possible to find strict linguistic universals, but that the numbers of independent languages necessary to do so is generally unachievable. This suggests that methods other than typological statistics are necessary to establish absolute properties of human language, and thus that many of the purported universals in linguistics have not received sufficient empirical justification. (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)

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)

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)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

The philosophy of mathematics of the last few decades is commonly distinguished into mainstream and maverick, to which a ‘third way’ has been recently added, the philosophy of mathematical practice. In this paper the limitations of these trends in the philosophy of mathematics are pointed out, and it is argued that they are due to the fact that all of them are based on a top-down approach, that is, an approach which explains the nature of mathematics in terms of some (...) general unproven assumption. As an alternative, a bottom-up approach is proposed, which explains the nature of mathematics in terms of the activity of real individuals and interactions between them. This involves distinguishing between mathematics as a discipline and the mathematics embodied in organisms as a result of biological evolution, which however, while being distinguished, are not opposed. Moreover, it requires a view of mathematical proof, mathematical definition and mathematical objects which is alternative to the top-down approach. (shrink)

Euclidean diagrammatic reasoning refers to the diagrammatic inferential practice that originated in the geometrical proofs of Euclid’s Elements. A seminal philosophical analysis of this practice by Manders (‘The Euclidean diagram’, 2008) has revealed that a systematic method of reasoning underlies the use of diagrams in Euclid’s proofs, leading in turn to a logical analysis aiming to capture this method formally via proof systems. The central premise of this paper is that our understanding of Euclidean diagrammatic reasoning can be fruitfully advanced (...) by confronting these logical and philosophical analyses with the field of cognitive science. Surprisingly, central aspects of the philosophical and logical analyses resonate in very natural ways with research topics in mathematical cognition, spatial cognition and the psychology of reasoning. The paper develops these connections, concentrating on four issues: (1) the cognitive origins of Euclidean diagrammatic reasoning, (2) the cognitive representations of spatial relations in Euclidean diagrams, (3) the nature of the cognitive processes and cognitive representations involved in Euclidean diagrammatic reasoning seen as a form of visuospatial relational reasoning and (4) the complexity of Euclidean diagrammatic reasoning for the human cognitive system. For each of these issues, our analysis generates concrete experiment proposals, opening thereby the way for further empirical investigations. The paper is thus a prolegomenon to a research program on Euclidean diagrammatic reasoning at the crossroads of logic, philosophy and cognitive science. (shrink)

: This article attempts to reconcile Sandra Harding's postmodernist standpoint theory with process reliabilism in first-order epistemology and naturalism in metaepistemology. Postmodernist standpoint theory is best understood as consisting of an applied epistemological component and a metaepistemological component. Naturalist metaepistemology and the metaepistemological component of postmodernist standpoint theory have produced complementary views of knowledge as a socially and naturally located phenomenon and have converged on a common concept of objectivity. The applied epistemological claims of postmodernist standpoint theory usefully can be (...) construed as applications of process reliabilist first-order epistemology. Postmodernist standpoint theory, reliabilism, and naturalism thus form a coherent package of views in metaepistemology, first-order epistemology, and applied epistemology. (shrink)

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)

Several advocates of the lively field of “metaphysics of science” have recently argued that a naturalistic metaphysics should be based solely on current science, and that it should replace more traditional, intuition-based, forms of metaphysics. The aim of the present paper is to assess that claim by examining the relations between metaphysics of science and general metaphysics. We show that the current metaphysical battlefield is richer and more complex than a simple dichotomy between “metaphysics of science” and “traditional metaphysics”, and (...) that it should instead be understood as a three dimensional “box”, with one axis distinguishing “descriptive metaphysics” from “revisionary metaphysics”, a second axis distinguishing a priori from a posteriori metaphysics, and a third axis distinguishing “commonsense metaphysics”, “traditional metaphysics” and “metaphysics of science”. We use this three-dimensional figure to shed light on the project of current metaphysics of science, and to demonstrate that, in many instances, the target of that project is not defined with enough precision and clarity. (shrink)

Do we think in a language-like format? Taking the marker of language-like formats to be the property of unconstrained systematicity, this paper considers the following master argument for the claim that we do: language is unconstrainedly systematic, if language is unconstrainedly systematic then so is thought, so thought is unconstrainedly systematic. It is easy to feel that there is something right about this argument, that there will be some way of filling in its details that will vindicate the idea that (...) our thought must be unconstrainedly systematic given that the language in which we express it is. Clearly, however, the second premise needs support—we need a principled reason for moving from the unconstrained systematicity of language to the unconstrained systematicity of thought. This paper gives three passes at formulating such a principle. This turns out to be much harder than it might seem. We should, I conclude, resist falling too easily for the lure of this master argument for the language-like format of thought. (shrink)

Humans come prepared to recognize two fundamental features of our surroundings: animate objects and agents. This recognition begins early in ontogeny and pervades our ecological and social space. This cognitive capacity reveals an important adaptation and sets the conditions for pervasive shared experiences. One feature of our species and our evolved cephalic substrates is that we are prepared to recognize self-propelled action in others. Our cultural evolution is knotted to an expanding sense of shared experiences.

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)

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)

According to classical theories of language and cognition, human cognition is characterized by strong universal commonalities built around notions such as object, space, agency, number, time, and event (Clark, 1973; Miller & Johnson‐Laird, 1976). Languages select from this prelinguistic conceptual repertoire the concepts that become encoded in their lexical and grammatical stock. Language acquisition, on this view, is a mapping process in which the learner needs to figure out which sounds in the language spoken in the environment correspond to which (...) concepts from the ones already in the mind (Fodor, 1975; Gleitman, 1990; Pinker, 1994). (shrink)

In this paper, I present and discuss critically the main elements of Mario Bunge’s philosophy of mathematics. In particular, I explore how mathematical knowledge is accounted for in Bunge’s systemic emergent materialism.To Mario, with gratitude.

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)

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 sociology of knowledge is a heterogeneous set of theories which generally focuses on the social origins of meaning. Strong arguments, epitomized by Durkheim's late work, have hypothesized that the very concepts our minds use to structure experience are constructed through social processes. This view has come under attack from theorists influenced by recent work in developmental psychology that has demonstrated some awareness of these categories in pre-socialized infants. However, further studies have shown that the innate abilities infants display differ (...) in systematic and theoretically significant ways from adults' explicit knowledge. This paper moves beyond the constructionist/nativist dichotomy by outlining the complex relationships between innate intelligence and explicit knowledge. I end by suggesting that there are four, distinct ways the social world influences thought- facilitation, division, specification, and construction. (shrink)

This paper discusses the significance for the philosophy of perception and aesthetics of certain productions of the ‘offline brain’. These are experienced in hypnagogic and other trance states, and in disease- or drug-induced hallucination. They bear a similarity to other visual patterns in nature, and reappear in human artistry, especially of the craft type. The reasons behind these resonances are explored, along with the question why we are disposed to find geometrical complexity and ‘supercolouration’ beautiful. The paper concludes with a (...) plea on behalf of neuroaesthetics, but with a caution or two. (shrink)