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)

This review discusses the content of Mateusz Hohol’s new book Foundations of Geometric Cognition. Mathematical cognition has until now focused mainly on human numerical abilities. Hohol’s work tackles geometric cognition, an issue that has not been described in previous investigations into mathematical cognition. The main strength of the book lies in its critical analysis of a huge amount of results from empirical experiments. The author formulates his theoretical proposals very carefully, avoiding radical and one-sided (...) solutions. He claims that human geometric cognition is based mainly on two core systems, both being phylogenetically hardwired, namely the system of layout geometry and the system of object geometry. The interaction of these systems becomes amplified in the individual development of the mind, which, in turn, is supported by the use of language. The second part of the review contains the reviewer’s remarks concerning the history of geometry, experiments related to spatial representations, and the role of geometry in mathematical education. (shrink)

The cognitive foundations of geometry have puzzled academics for a long time, and even today are mostly unknown to many scholars, including mathematical cognition researchers. -/- Foundations of Geometric Cognition shows that basic geometric skills are deeply hardwired in the visuospatial cognitive capacities of our brains, namely spatial navigation and object recognition. These capacities, shared with non-human animals and appearing in early stages of the human ontogeny, cannot, however, fully explain a uniquely human form of (...) class='Hi'>geometric cognition. In the book, Hohol argues that Euclidean geometry would not be possible without the human capacity to create and use abstract concepts, demonstrating how language and diagrams provide cognitive scaffolding for abstract geometric thinking, within a context of a Euclidean system of thought. -/- Taking an interdisciplinary approach and drawing on research from diverse fields including psychology, cognitive science, and mathematics, this book is a must-read for cognitive psychologists and cognitive scientists of mathematics, alongside anyone interested in mathematical education or the philosophical and historical aspects of geometry. (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)

© 2018, Springer International Publishing AG, part of Springer Nature. Aristotelian diagrams are used extensively in contemporary research in artificial intelligence. The present paper investigates the geometric and cognitive differences between two types of Aristotelian diagrams for the Boolean algebra B4. Within the class of 3D visualizations, the main geometric distinction is that between the cube-based diagrams and the tetrahedron-based diagrams. Geometric properties such as collinearity, central symmetry and distance are examined from a cognitive perspective, focusing on (...) diagram design principles such as congruence/isomorphism and apprehension. The cognitive effectiveness of the different visualizations is compared for the representation of implication versus opposition relations, and for subdiagram embeddings. (shrink)

We reformulate minimalist grammars as partial functions on term algebras for strings and trees. Using filler/role bindings and tensor product representations, we construct homomorphisms for these data structures into geometric vector spaces. We prove that the structure-building functions as well as simple processors for minimalist languages can be realized by piecewise linear operators in representation space. We also propose harmony, i.e. the distance of an intermediate processing step from the final well-formed state in representation space, as a measure of (...) processing complexity. Finally, we illustrate our findings by means of two particular arithmetic and fractal representations. (shrink)

Evans’ 1968 ANALOGY system was the first computer model of analogy. This paper demonstrates that the structure mapping model of analogy, when combined with high‐level visual processing and qualitative representations, can solve the same kinds of geometric analogy problems as were solved by ANALOGY. Importantly, the bulk of the computations are not particular to the model of this task but are general purpose: We use our existing sketch understanding system, CogSketch, to compute visual structure that is used by our (...) existing analogical matcher, Structure Mapping Engine (SME). We show how SME can be used to facilitate high‐level visual matching, proposing a role for structural alignment in mental rotation. We show how second‐order analogies over differences computed via analogies between pictures provide a more elegant model of the geometric analogy task. We compare our model against human data on a set of problems, showing that the model aligns well with both the answers chosen by people and the reaction times required to choose the answers. (shrink)

Frege writes in Numbers and Arithmetic about kindergarten-numbers and “an a priori mode of cognition” that they may have “a geometrical source.” This resembles recent findings on arithmetical cognition. In my paper, I explore this resemblance between Gottlob Frege’s later position concerning the geometrical source of arithmetical knowledge, and some current positions in the literature dedicated to arithmetical cognition, especially that of Stanislas Dehaene. In my analysis, I shall try to mainly see to what extent (Frege’s) logicism (...) is compatible with (Dehaene’s) intuitionism. (shrink)

Frege writes in Numbers and Arithmetic about kindergarten-numbers and “an a priori mode of cognition” that they may have “a geometrical source.” This resembles recent findings on arithmetical cognition. In my paper, I explore this resemblance between Gottlob Frege’s later position concerning the geometrical source of arithmetical knowledge, and some current positions in the literature dedicated to arithmetical cognition, especially that of Stanislas Dehaene. In my analysis, I shall try to mainly see to what extent logicism is (...) compatible with intuitionism. (shrink)

Equality, similarity and congruence are essential elements of Kant’s theory of geometrical cognition; nevertheless, Kant’s account of them is not well understood. This paper provides historical context for treatments of these geometrical relations, presents Kant’s views on their mathematical definitions, and explains Kant’s theory of their cognition. It also places Kant’s theory within the larger context of his understanding of the quality-quantity distinction. Most importantly, it argues that the relation of equality, in conjunction with the categories of quantity, (...) plays a pivotal and wide-ranging role in Kant’s account of mathematical cognition. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of (...) ancient Greek practical geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)

This article offers an analysis of the cognitive role of diagrammatic movements in the theater. Based on the recognition of a theatrical work’s inherent ability to provide new insights concerning reality, the article concentrates on the way by which actors’ movements on stage create spatial diagrams that can provide new insights into the spectators’ world. The suggested model of theater’s epistemology results from a combination of Charles S. Peirce’s doctrine of diagrammatic reasoning and David Lewis’s theoretical account of the truth (...) value of counterfactual conditionals. I argue that in several theatrical works – in particular those whose central image is dominated by movements – the relation of what Lewis names “comparative overall similarity” between the fictional and the actual world is based on diagrammatic homology. The cognitive process involved in deciphering them is, hence, based on diagrammatic reasoning. The main emphasis of the analysis is on the previously unnoticed but important cognitive role of observation in the theater: the idea that observation takes an active role in the reasoning process that enables the spectators to form new knowledge about their actual world. Samuel Beckett’s plays Quad and Come and Go serve here as case studies. (shrink)

Since Tversky argued that similarity judgments violate the three metric axioms, asymmetrical similarity judgments have been particularly challenging for standard, geometric models of similarity, such as multidimensional scaling. According to Tversky, asymmetrical similarity judgments are driven by differences in salience or extent of knowledge. However, the notion of salience has been difficult to operationalize, especially for perceptual stimuli for which there are no apparent differences in extent of knowledge. To investigate similarity judgments between perceptual stimuli, across three experiments, we (...) collected data where individuals would rate the similarity of a pair of temporally separated color patches. We identified several violations of symmetry in the empirical results, which the conventional multidimensional scaling model cannot readily capture. Pothos et al. proposed a quantum geometric model of similarity to account for Tversky's findings. In the present work, we extended this model to a more general framework that can be fit to similarity judgments. We fitted several variants of quantum and multidimensional scaling models to the behavioral data and concluded in favor of the quantum approach. Without further modifications of the model, the best-fit quantum model additionally predicted violations of the triangle inequality that we observed in the same data. Overall, by offering a different form of geometric representation, the quantum geometric framework of similarity provides a viable alternative to multidimensional scaling for modeling similarity judgments, while still allowing a convenient, spatial illustration of similarity. (shrink)

Topological relations such as inside, outside, or intersection are ubiquitous to our spatial thinking. Here, we examined how people reason deductively with topological relations between points, lines, and circles in geometric diagrams. We hypothesized in particular that a counterexample search generally underlies this type of reasoning. We first verified that educated adults without specific math training were able to produce correct diagrammatic representations contained in the premisses of an inference. Our first experiment then revealed that subjects who correctly judged (...) an inference as invalid almost always produced a counterexample to support their answer. Noticeably, even if the counterexample always bore a certain level of similarity to the initial diagram, we observed that an object was more likely to be varied between the two drawings if it was present in the conclusion of the inference. Experiments 2 and 3 then directly probed counterexample search. While participants were asked to evaluate a conclusion on the basis of a given diagram and some premisses, we modulated the difficulty of reaching a counterexample from the diagram. Our results indicate that both decreasing the counterexample density and increasing the counterexample distance impaired reasoning performance. Taken together, our results suggest that a search procedure for counterexamples, which proceeds object‐wise, could underlie diagram‐based geometric reasoning. Transposing points, lines, and circles to our spatial environment, the present study may ultimately provide insights on how humans reason about topological relations between positions, paths, and regions. (shrink)

Fodor advocates a view of cognitive processes as computations defined over the language of thought (or Mentalese). Even among those who endorse Mentalese, considerable controversy surrounds its representational format. What semantically relevant structure should scientific psychology attribute to Mentalese symbols? Researchers commonly emphasize logical structure, akin to that displayed by predicate calculus sentences. To counteract this tendency, I discuss computational models of navigation drawn from probabilistic robotics. These models involve computations defined over cognitive maps, which have geometric rather than (...) logical structure. They thereby demonstrate the possibility of rational cognitive processes in an exclusively non-logical representational medium. Furthermore, they offer much promise for the empirical study of animal navigation. (shrink)

Current cognitive architectures are either working at the abstract, symbolic level, or the low, emergent level related to neural modeling. The best way to understand phenomena is to see, or imagine them, hence the need for a geometric model of mental processes. Geometric models should be based on an intermediate level of modeling that describe mental states in terms of features relevant from the first-person perspective but also linked to neural events. Concepts should be represented as geometrical objects (...) that have sufficiently rich structures to show their properties and their relations to other concepts. The best way to create such geometrical representations of concepts is through the approximate description of the physical states of neural networks. The evolution of brain states is then represented as a trajectory linking successful concepts, and topological constraints on the shape of such trajectory define grammar and logic. (shrink)

It is frequently claimed that the human mind is organized in a modular fashion, a hypothesis linked historically, though not inevitably, to the claim that many aspects of the human mind are innately specified. A specific instance of this line of thought is the proposal of an innately specified geometric module for human reorientation. From a massive modularity position, the reorientation module would be one of a large number that organized the mind. From the core knowledge position, the reorientation (...) module is one of five innate and encapsulated modules that can later be supplemented by use of human language. In this paper, we marshall five lines of evidence that cast doubt on the geometric module hypothesis, unfolded in a series of reasons: (1) Language does not play a necessary role in the integration of feature and geometric cues, although it can be helpful. (2) A model of reorientation requires flexibility to explain variable phenomena. (3) Experience matters over short and long periods. (4) Features are used for true reorientation. (5) The nature of geometric information is not as yet clearly specified. In the final section, we review recent theoretical approaches to the known reorientation phenomena. (shrink)

Although the study of visual perception has made more progress in the past 40 years than any other area of cognitive science, there remain major disagreements as to how closely vision is tied to general cognition. This paper sets out some of the arguments for both sides and defends the position that an important part of visual perception, which may be called early vision or just vision, is prohibited from accessing relevant expectations, knowledge and utilities - in other words (...) it is cognitively impenetrable. That part of vision is complex and articulated and provides a representation of the 3-D surfaces of objects sufficient to serve as an index into memory, with somewhat different outputs being made available to other systems such as those dealing with motor control. The paper also addresses certain conceptual and methodological issues, including the use of signal detection theory and event-related potentials to assess cognitive penetration of vision. A distinction is made among several stages in visual processing. These include, in addition to the inflexible early-vision stage, a pre-perceptual attention allocation stage and a post-perceptual evaluation, memory-accessing, and inference stage which provide several different highly constrained ways in which cognition can affect the outcome of visual perception. The paper discusses arguments that have been presented in both computer vision and psychology showing that vision is "intelligent" and involves elements of problem solving". It is suggested that these cases do not show cognitive penetration, but rather they show that certain natural constraints on interpretation, concerned primarily with optical and geometrical properties of the world, have been compiled into the visual system. The paper also examines a number of examples where instructions and "hints" are alleged to affect. (shrink)

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)

The universality, invariance, and elegance of principles governing the universe may be reflected in principles of the minds that have evolved in that universe – provided that the mental principles are formulated with respect to the abstract spaces appropriate for the representation of biologically significant objects and their properties. (1) Positions and motions of objects conserve their shapes in the geometrically fullest and simplest way when represented as points and connecting geodesic paths in the six-dimensional manifold jointly determined by the (...) Euclidean group of three-dimensional space and the symmetry group of each object. (2) Colors of objects attain constancy when represented as points in a three-dimensional vector space in which each variation in natural illumination is canceled by application of its inverse from the three-dimensional linear group of terrestrial transformations of the invariant solar source. (3) Kinds of objects support optimal generalization and categorization when represented, in an evolutionarily-shaped space of possible objects, as connected regions with associated weights determined by Bayesian revision of maximum-entropy priors. Key Words: apparent motion; Bayesian inference; cognition; color constancy; generalization; mental rotation; perception; psychological laws; psychological space; universal laws. (shrink)

Although disoriented young children reorient themselves in relation to the shape of the surrounding surface layout, cognitive accounts of this ability vary. The present paper tests three theories of reorientation: a snapshot theory based on visual image-matching computations, an adaptive combination theory proposing that diverse environmental cues to orientation are weighted according to their experienced reliability, and a modular theory centering on encapsulated computations of the shape of the extended surface layout. Seven experiments test these theories by manipulating four properties (...) of objects placed within a cylindrical space: their size, motion, dimensionality, and distance from the space’s borders. Their findings support the modular theory and suggest that disoriented search behavior centers on two processes: a reorientation process based on the geometry of the 3D surface layout, and a beacon-guidance process based on the local features of objects and surface markings. Ó 2010 Elsevier Inc. All rights reserved. (shrink)

© 2017 by the authors. Aristotelian diagrams visualize the logical relations among a finite set of objects. These diagrams originated in philosophy, but recently, they have also been used extensively in artificial intelligence, in order to study various knowledge representation formalisms. In this paper, we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical entities. In particular, we focus on four polyhedral Aristotelian diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron, the tetrakis hexahedron, the tetraicosahedron (...) and the nested tetrahedron. After an in-depth investigation of the geometrical properties and interrelationships of these polyhedral diagrams, we analyze the correlation between logical and geometrical distance in each of these diagrams. The outcome of this analysis is that the Aristotelian rhombic dodecahedron and tetrakis hexahedron exhibit the strongest degree of correlation between logical and geometrical distance; the tetraicosahedron performs worse; and the nested tetrahedron has the lowest degree of correlation. Finally, these results are used to shed new light on the relative strengths and weaknesses of these polyhedral Aristotelian diagrams, by appealing to the congruence principle from cognitive research on diagram design. (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, so (...) the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (shrink)

Strict finitism is a minority view in the philosophy of mathematics. In this paper, we develop a strict finite axiomatic system for geometric constructions in which only constructions that are executable by simple tools in a small number of steps are permitted. We aim to demonstrate that as far as the applications of synthetic geometry to real-world constructions are concerned, there are viable strict finite alternatives to classical geometry where by one can prove analogs to fundamental results in classical (...) geometry. We consider this as one of many early steps investigating the extent to which strict finite foundations can be developed for the application of mathematics to the real-world. (shrink)

The cognitive processing of spatial relations in Euclidean diagrams is central to the diagram-based geometric practice of Euclid's Elements. In this study, we investigate this processing through two dichotomies among spatial relations—metric vs topological and exact vs co-exact—introduced by Manders in his seminal epistemological analysis of Euclid's geometric practice. To this end, we carried out a two-part experiment where participants were asked to judge spatial relations in Euclidean diagrams in a visual half field task design. In the first (...) part, we tested whether the processing of metric vs topological relations yielded the same hemispheric specialization as the processing of coordinate vs categorical relations. In the second part, we investigated the specific performance patterns for the processing of five pairs of exact/co-exact relations, where stimuli for the co-exact relations were divided into three categories depending on their distance from the exact case. Regarding the processing of metric vs topological relations, hemispheric differences were found for only a few of the stimuli used, which may indicate that other processing mechanisms might be at play. Regarding the processing of exact vs co-exact relations, results show that the level of agreement among participants in judging co-exact relations decreases with the distance from the exact case, and this for the five pairs of exact/co-exact relations tested. The philosophical implications of these empirical findings for the epistemological analysis of Euclid's diagram-based geometric practice are spelled out and discussed. (shrink)

Students of geometry do not prove Euclid's first theorem by examining an accompanying diagram, or by visualizing the construction of a figure. The original proof of Euclid's first theorem is incomplete, and this gap in logic is undetected by visual imagination. While cognition involves truth values, vision does not: the notions of inference and proof are foreign to vision.

Every linear perspective image has a center of the perspective construction. Only when observed from that location does a 2D image provide the same stimulus as the original 3D scene. Geometric analyses indicate that observing the image from other vantage points should affect the perceived spatial structure of the scene conveyed by the image, involving transformations such as shear, compression, and dilation. Based on previous research, this paper presents a detailed account of these transformations. The analyses are presented in (...) a uniform manner, illustrated with special 3D diagrams, and embedded in a wider framework of related perspective paradigms. Such analyses provide the potential theoretical basis for empirical work on the effects of changes of observer vantage points on the perception of spatial structure in perspective images. (shrink)

I propose that neural cognition is supported by non-neural storage of a 3-D model of local space, used in the planning of movements. Information is stored in wave-like excitations which couple to neurons in the thalamus, with the wave-vectors of excitations representing spatial positions. This hybrid of neural and non-neural cognition may have fitness advantages over any purely neural mechanism -- in information capacity, geometric accuracy, and fast selective retrieval. The wave excitations may be sustained on a (...) Bose-condensed state of some excitation in the brain, by a mechanism like those investigated by Frohlich, Umezawa, Vitiello and others. These states, being frictionless, can store information indefinitely at low energy levels, insulated from thermal noise, so are an ideal substrate for memory. If a Bose-condensed state is a 3-D representation of local reality, it may be the basis of phenomenal consciousness . The resulting theory of consciousness is highly constrained, and agrees well with the main properties of conscious experience. In this account, consciousness arises from a very simple state of matter, rather than from complexity; and it evolved to meet one of the strongest selection pressures on the brain. (shrink)

When national borders in the modern sense first began to be established in early modern Europe, non-contiguous and perforated nations were a commonplace. According to the conception of the shapes of nations that is currently preferred, however, nations must conform to the topological model of circularity; their borders must guarantee contiguity and simple connectedness, and such borders must as far as possible conform to existing topographical features on the ground. The striving to conform to this model can be seen at (...) work today in Quebec and in Ireland, it underpins much of the rhetoric of the P.L.O., and was certainly to some degree involved as a motivating factor in much of the ethnic cleansing which took place in Bosnia in recent times. The question to be addressed in what follows is: to what extent could inter-group disputes be more peacefully resolved, and ethnic cleansing avoided, if political leaders, diplomats and others involved in the resolution of such disputes could be brought to accept weaker geometrical constraints on the shapes of nations? A number of associated questions then present themselves: What sorts of administrative and logistical problems have been encountered by existing non contiguous nations and by perforated nations, and by other nations deviating in different ways from the received geometrical ideal? To what degree is the desire for continuity and simple connectedness a rational desire, and to what degree does it rest on species of political rhetoric which might be countered by, for example, philosophical argument? These and a series of related questions will form the subject- matter of the present essay. (shrink)

Like most, if not all, of his contemporaries, Spinoza never developed a full-fledged philosophy of mathematics. Still, his numerous remarks about mathematics attest not only to his deep interest in the subject (a point which is also confirmed by the significant presence of mathematical books in his library), but also to his quite elaborate and perhaps unique understanding of the nature of mathematics. At the very center of his thought about mathematics stands a paradox (or, at least, an apparent paradox): (...) mathematics provides Spinoza with an epistemic model. Mathematical knowledge is certain (II/138/9 and II/138/9), clear (IV/261/8), and free from teleological thinking (II/79/33), but the objects of mathematical knowledge – i.e., mathematical entities – are nothing but “auxila imaginationis [aids of the imagination],” (IV/57/16 and II/83/15), entities that are not real and merely assist the imagination in carving the world in manner that is suitable to our limited and distortive cognitive capacities. (shrink)

Why is a red face not really red? How do we decide that this book is a textbook or not? Conceptual spaces provide the medium on which these computations are performed, but an additional operation is needed: Contrast. By contrasting a reddish face with a prototypical face, one gets a prototypical ‘red’. By contrasting this book with a prototypical textbook, the lack of exercises may pop out. Dynamic contrasting is an essential operation for converting perceptions into predicates. The existence of (...) dynamic contrasting may contribute to explaining why lexical meanings correspond to convex regions of conceptual spaces. But it also explains why predication is most of the time opportunistic, depending on context. While off-line conceptual similarity is a holistic operation, the contrast operation provides a context-dependent distance that creates ephemeral predicative judgments that are essential for interfacing conceptual spaces with natural language and with reasoning. (shrink)

Topology has been characterized as an unsuitable mathematical framework for the investigation of geometric-perceptual phenomena. This has been attributed to the highly abstract nature of topology leading to failures in tasks such as making distinctions between geometrical figures (e.g., a cube versus a sphere) in which the human perceptual system succeeds easily. An alternative thesis is proposed on both philosophical and empirical grounds. The present analysis applies the Müller-Lyer (ML) illusion as a method of investigation to examine the suitability (...) of topology in raising questions about geometric-perceptual phenomena and formulating potential answers to these questions. Not only will it be concluded that topology is a suitable mathematical framework in which one can formulate relevant questions and potential answers with respect to perceptual phenomena such as the ML illusion, it will also be discussed that topology will not be replaced by other means of spatial representation consistent with the findings that indicate its contributions to our daily spatial behavior along with other means such as Euclidean geometry. In addition, the analysis will be discussed with respect to two relevant themes: 1) the implications of the proposed view in relation to Husserl’s phenomenology and 2) the effect of developmental stages and education that may change the involvement of topology in such perceptual responses over time. (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)

While some studies suggest cultural differences in visual processing, others do not, possibly because the complexity of their tasks draws upon high-level factors that could obscure such effects. To control for this, we examined cultural differences in visual search for geometric figures, a relatively simple task for which the underlying mechanisms are reasonably well known. We replicated earlier results showing that North Americans had a reliable search asymmetry for line length: Search for long among short lines was faster than (...) vice versa. In contrast, Japanese participants showed no asymmetry. This difference did not appear to be affected by stimulus density. Other kinds of stimuli resulted in other patterns of asymmetry differences, suggesting that these are not due to factors such as analytic/holistic processing but are based instead on the target-detection process. In particular, our results indicate that at least some cultural differences reflect different ways of processing early-level features, possibly in response to environmental factors. (shrink)

This book is concerned with the problem of applying the theory of verisimilitude to cognitive problems of a quantitative nature. Attention is mostly focused on hypotheses concerned with (physical or other) systems whose state can be represented with an element of a multidimensional state space, but hypotheses concerned with quantitative laws are also considered. The book provides a systematic introduction to the main contemporary forms of the theory of verisimilitude, including both proposed definitions of quantitative degrees of verisimilitude and proposed (...) definitions of the relation `closer to the truth than'. It shows why the quantitative measures that have been proposed earlier produce unacceptable results in the multidimensional case and, using the tools of geometric measure theory, works out alternatives for them in detail. In addition, the standard structuralist theory of science and the way in which the problems of approximation are dealt with in it are presented and evaluated critically. (shrink)

The paper addresses the capabilities and limitations of extrafoveal processing during a categorical visual search. Previous research has established that a target could be identified from the very first or without any saccade, suggesting that extrafoveal perception is necessarily involved. However, the limits in complexity defining the processed information are still not clear. We performed four experiments with a gradual increase of stimuli complexity to determine the role of extrafoveal processing in searching for the categorically defined geometric shape. The (...) series of experiments demonstrated a significant role of extrafoveal processing while searching for simple two‐dimensional shapes and its gradual decrease in a condition with more complicated three‐dimensional shapes. The factors of objects’ spatial orientation and distractor homogeneity significantly influenced both reaction time and the number of saccades required to identify a categorically defined target. An analysis of the individual p‐value distributions revealed pronounced individual differences in using extrafoveal analysis and allowed examination of the performance of each particular participant. The condition with the forced prohibition of eye movements enabled us to investigate the efficacy of covert attention in the condition with complicated shapes. Our results indicate that both foveal and extrafoveal processing are simultaneously involved during a categorical search, and the specificity of their interaction is determined by the spatial orientation of objects, type of distractors, the prohibition to use overt attention, and individual characteristics of the participants. (shrink)

Cognitive Science, Volume 46, Issue 1, January 2022.

Research on human infants, adult nonhuman primates, and children and adults in diverse cultures provides converging evidence for four systems at the foundations of human knowledge. These systems are domain specific and serve to represent both entities in the perceptible world (inanimate manipulable objects and animate agents) and entities that are more abstract (numbers and geometrical forms). Human cognition may be based, as well, on a fifth system for representing social partners and for categorizing the social world into groups. (...) Research on infants and children may contribute both to understanding of these systems and to attempts to overcome misconceptions that they may foster. (shrink)

There has been considerable debate in the literature about the relative merits of information processing versus dynamical approaches to understanding cognitive processes. In this article, we explore the relationship between these two styles of explanation using a model agent evolved to solve a relational categorization task. Specifically, we separately analyze the operation of this agent using the mathematical tools of information theory and dynamical systems theory. Information-theoretic analysis reveals how task-relevant information flows through the system to be combined into a (...) categorization decision. Dynamical analysis reveals the key geometrical and temporal interrelationships underlying the categorization decision. Finally, we propose a framework for directly relating these two different styles of explanation and discuss the possible implications of our analysis for some of the ongoing debates in cognitive science. (shrink)

Many species rely on the three-dimensional surface layout of an environment to find a desired goal following disorientation. They generally do so to the exclusion of other important spatial cues. Two influential frameworks for explaining that phenomenon are provided by geometric-module theories and view-matching theories of reorientation respectively. The former posit a module that operates only on representations of the global geo- metry of three-dimensional surfaces to guide behavior. The latter place snapshots, stored representations of the subject’s two-dimensional retinal (...) stimulation at specific locations, at the heart of their accounts. In this paper, I take a fresh look at the debate between them. I begin by making a case that the empirical evidence we currently have does not clearly favor one framework over the other, and that the debate has reached something of an impasse. Then, I present a new explanatory problem—the representation selection problem—that offers the pro- spect of breaking the impasse by introducing a new type of explanatory consideration that both frameworks must address. The representation selection problem requires explaining how subjects can reliably select the relevant representation with which they initiate the reorientation process. I argue that the view-matching framework does not have the resources to address this problem, while a certain type of theory within the geometric-module framework can provide a natural response to it. In showing this, I develop a new geometric-module theory. (shrink)