Recently, mathematical models based on quantum formalism have been developed in cognitive science. The target articles in this special issue of Topics in Cognitive Science clearly illustrate how quantum theoretical formalism can account for various aspects of human judgment and decision making in a quantitatively and mathematically rigorous manner. In this commentary, we show how future studies in quantum cognition and decision making should be developed to establish theoretical foundations based on physical theory, by introducing Taketani's three-stage theory (...) of the development of science. Also, implications for neuroeconomics (another rapidly evolving approach to human judgment and decision making) are discussed. (shrink)

This book presents a philosophical interpretation to numerical cognition based on dual process theories and heuristics. It shows how investigations in cognitive science can shed light on issues traditionally raised by philosophers of mathematics. The analysis will also help readers to better understand the relationship between current neuroscientific research and the philosophical reflection on mathematics. The author seeks to explain the acquisition of mathematical concepts. To accomplish this, he needs to answer two questions. How can the concepts (...) of approximate numerosity become an object of thought that is so accessible to our consciousness? How are these concepts refined and specified in such a way as to become numbers? Unfortunately, there is currently no model that can truly demonstrate the role of language in the development of numerical skills starting from approximate pre-verbal skills. However, the author details a solution to this problem: dual process theories. It is an approach widely used by theorists focusing on reasoning, decision making, social cognition, and consciousness. Here, he applies this approach to the studies on mathematical knowledge. He details the results brought about by psychological and neuroscientific studies conducted on numerical cognition by key neuroscientists. In the process, he develops the foundations of a new, potential philosophical explanation on mathematical knowledge. (shrink)

The theory suggests that quantum computations in brain neuronal dendritic-somatic microtubules regulate axonal firings to control conscious behavior. Within microtubule subunit proteins, collective dipoles in arrays of contiguous amino acid electron clouds enable suitable for topological dipole able to physically represent cognitive values, for example, those portrayed by Pothos & Busemeyer (P&B) as projections in abstract Hilbert space.

Vehicle externalism maintains that the vehicles of our mental representations can be located outside of the head, that is, they need not be instantiated by neurons located inside the brain of the cogniser. But some disagree, insisting that ‘non-derived’, or ‘original’, content is the mark of the cognitive and that only biologically instantiated representational vehicles can have non-derived content, while the contents of all extra-neural representational vehicles are derived and thus lie outside the scope of the cognitive. In this paper (...) we develop one aspect of Menary’s vehicle externalist theory of cognitive integration—the process of enculturation—to respond to this longstanding objection. We offer examples of how expert mathematicians introduce new symbols to represent new mathematical possibilities that are not yet understood, and we argue that these new symbols have genuine non-derived content, that is, content that is not dependent on an act of interpretation by a cognitive agent and that does not derive from conventional associations, as many linguistic representations do. (shrink)

In this book, Earl Mac Cormac presents an original and unified cognitive theory of metaphor using philosophical arguments which draw upon evidence from psychological experiments and theories. He notes that implications of this theory for meaning and truth with specific attention to metaphor as a speech act, the iconic meaning of metaphor, and the development of a four-valued system of truth. Numerous examples of metaphor from poetry and science are presented and analyzed to support Mac Cormac's theory. A Cognitive (...) Theory of Metaphortakes up three levels of explanation—metaphor as expressed in surface language, the semantics of metaphor, and metaphor as a cogitive process—and unifies these by interpreting metaphor as an evolutionary knowledge process in which metaphors mediate between minds and culture. Mac Cormac considers, and rejects, the radical theory that all use of language is metaphorical; however, this argument also recognizes that the theoryof metaphor may itself be metaphorical. The book first considers the computational metaphor often adopted by cognitive psychology as an example of metaphor requiring analysis. In contrast to three well-known philosophical theories of metaphor—the tension theory, the controversion theory, and the grammatical deviance theory—it develops a semantical anomaly theory of metaphor based on a quasi-mathematical hierarchy of words. In developing the theory, Mac Cormac makes much-needed connections between theories of metaphor and more orthodox analytic philosophy of meaning, including discussions of speech acts and the logic of fuzzy sets. This semantical theory of explanation is then shown to be compatible with contemporary psychological theories of memory. (shrink)

In a recent series of publications, dynamicist researchers have proposed a new conception of cognitive functioning. This conception is intended to replace the currently dominant theories of connectionism and symbolicism. The dynamicist approach to cognitive modeling employs concepts developed in the mathematical field of dynamical systems theory. They claim that cognitive models should be embedded, low-dimensional, complex, described by coupled differential equations, and non-representational. In this paper I begin with a short description of the dynamicist project and its (...) role as a cognitive theory. Subsequently, I determine the theoretical commitments of dynamicists, critically examine those commitments and discuss current examples of dynamicist models. In conclusion, I determine dynamicism's relation to symbolicism and connectionism and find that the dynamicist goal to establish a new paradigm has yet to be realized. (shrink)

Rips et al. appear to discuss, and then dismiss with counterexamples, the brain-based theory of mathematical cognition given in Lakoff and Nez (2000). Instead, they present another theory of their own that they correctly dismiss. Our theory is based on neural learning. Rips et al. misrepresent our theory as being directly about real-world experience and mappings directly from that experience.

We begin by distinguishing computationalism from a number of other theses that are sometimes conflated with it. We also distinguish between several important kinds of computation: computation in a generic sense, digital computation, and analog computation. Then, we defend a weak version of computationalism—neural processes are computations in the generic sense. After that, we reject on empirical grounds the common assimilation of neural computation to either analog or digital computation, concluding that neural computation is sui generis. Analog computation requires continuous (...) signals; digital computation requires strings of digits. But current neuroscientific evidence indicates that typical neural signals, such as spike trains, are graded like continuous signals but are constituted by discrete functional elements (spikes); thus, typical neural signals are neither continuous signals nor strings of digits. It follows that neural computation is sui generis. Finally, we highlight three important consequences of a proper understanding of neural computation for the theory of cognition. First, understanding neural computation requires a specially designed mathematical theory (or theories) rather than the mathematical theories of analog or digital computation. Second, several popular views about neural computation turn out to be incorrect. Third, computational theories of cognition that rely on non-neural notions of computation ought to be replaced or reinterpreted in terms of neural computation. (shrink)

According to a grand narrative that long ago ceased to be told, there was a seventeenth century Scientific Revolution, during which a few heroes conquered nature thanks to mathematics. This grand narrative began with the exhibition of quantitative laws that these heroes, Galileo and Newton for example, had disclosed: the law of falling bodies, according to which the speed of a falling body is proportional to the square of the time that has elapsed since the beginning of its fall; the (...) law of gravitation, according to which two bodies are attracted to one another in proportion to the sum of their masses and in inverse proportion to the square of the distance separating them -- according to his own preferences, each narrator added one or two quantitative laws of this kind. The essential feature was not so much the examples that were chosen, but, rather, the more or less explicit theses that accompanied them. First, mathematization would be taken as the criterion for distinguishing between a qualitative Aristotelian philosophy and the new quantitative physics. Secondly, mathematization was founded on the metaphysical conviction that the world was created pondere, numero et mensura, or that the ultimate components of natural things are triangles, circles, and other geometrical objects. This metaphysical conviction had two immediate consequences: that all the phenomena of nature can be in principle submitted to mathematics and that mathematical language is transparent; it is the language of nature itself and has simply to be picked up at the surface of phenomena. Finally, it goes without saying that, from a social point of view, the evolution of the sciences was apprehended through what has been aptly called the "relay runner model," according to which science progresses as a result of individual discoveries. Grand narratives such as this are perhaps simply fictions doomed to ruin as soon as they are clearly expressed. In any case, the very assumption on which this grand narrative relies can be brought into question: even in the canonical domain of mechanics, the relevant epistemological units crucial to understanding the dynamics of the Scientific Revolution are perhaps not a few laws of motion, but a complex set of problems embodied in mundane objects. Moreover, each of the theses just mentioned was actually challenged during the long period of historiographical reappraisal, out of which we have probably not yet stepped. Against the sharp distinction between a qualitative Aristotelian philosophy and the new quantitative physics, numerous studies insist that Rome wasn't built in a day, so to speak. Since Antiquity, there have always been mixed sciences; the emergence of pre-classical mechanics depends on both medieval treatises and the practical challenges met by Renaissance engineers. It is indeed true that, for Aristotle, mathematics merely captures the superficial properties of things, but the Aristotelianisms were many during the Renaissance and the Early Modern period, with some of them being compatible with the introduction of mathematics in natural philosophy. In addition, the gap between the alleged program of mathematizing nature and its effective realization was underlined as most natural phenomena actually escaped mathematization; at best they were enrolled in what Thomas Kuhn began to rehabilitate under the appellation of the "Baconian sciences," i.e., empirical investigations aiming at establishing isolated facts, without relating them to any overarching theory. Hence, mathematization of nature cannot pretend to capture a historical fact: at most, it expresses an indeterminate task for generations to come. On top of these first two considerations, and against the thesis of the neutrality of the mathematical language, it was urged that mathematics is not "only a language" and that, exactly as other symbolic means or cognitive tools, it has its own constraints. For example, it has been thoroughly explained that the Euclidean theory of proportions both guides and frustrates the Galilean analysis of motion; its shortages were particularly clear with respect to the expression of continuity, which is crucial in the case of motion. Consequently, when calculus was invented and applied to the analysis of motion, it was not a transposition that left things as they stood. Even more clearly than in the case of a translation from one natural language to another, the shift from one symbolic language to another entails that certain possibilities are opened while others are closed. The cognitive constraints imposed by established mathematical theories, as seen in the theory of proportions or calculus, were not the only ones to be studied in relation to mathematization. Certain schemes dependent on the grammar of natural languages, e.g., the scheme of contrariety, or certain symbolic means of representation, e.g. geometrical diagrams and numerical tables, were also subject to such scrutiny. Lastly, it was insisted that, even if we concede the existence of scientific geniuses, mathematics is largely produced by intellectual communities and embedded within social practices. More attention was consequently paid to the forms of communication in given mathematical networks, or to the teaching of the discipline in, for example, Jesuit colleges and universities. The set of mathematical practices specific to specialized craftsmen, highly-qualified experts and engineers began to be studied in its own right. All these reflections may have helped us change our perspectives on the question of mathematization. It seems, however, that they were instead set aside, both because of a general distrust towards sweeping narratives that are always subject to the suspicion that they overlook the unyielding complexity of real history, and because of a shift in our interests. The more obscure and idiosyncratic they are, an alchemist, a patron of the sciences or a lunatic collector is nowadays honored in journals of the history of sciences. As for the general issues involved in the question of mathematization, they are rejected as obsolete, or reserved for specialized journals in the history of mathematics. Consequently, before presenting the essays of this fascicle, I would like to say a few words in favor of a renewed study of the forms of mathematization in the history of the early sciences. (shrink)

The way in which mathematics relates to experience has deeply engaged philosophers from the scientific revolution to the present. It has strongly influenced their views on epistemology, mathematics, science, and the nature of reality. Kant's views on the nature of mathematics and its relation to experience both influence and are influenced by his epistemology, and in particular the distinction Kant draws between concepts and intuitions. My dissertation contributes to clarifying the role of intuition in Kant's theory of mathematical (...) class='Hi'>cognition. It focuses in particular on Kant's theory of magnitudes. This theory explains the applicability of mathematics to experience while bridging his philosophy of mathematics and his philosophy of science; it is therefore central. Kant's views on magnitudes, however, have been neglected. ;The dissertation divides into four parts. It begins by analyzing Kant's concept of magnitude and the closely related concepts of quanta, quantitas, quantity and number. These clarifications lay the groundwork for reconstructing and evaluating Kant's views. ;Understanding Kant's theory of mathematical cognition requires understanding how the quantitative forms of judgment and the categories of quantity are employed in mathematics. I argue for an interpretation that reflects the influence of 18$\sp{\rm th}$ Century metaphysics on Kant's thought, and reveals Kant's attempt to find a place for a mathematical conception of the world within that metaphysics. ;I also examine Kant's arguments for two fundamental properties of space--infinite divisibility and unlimited extent. I argue that intuition plays a perceptual role that can only be understood within the context of Kant's theory of imagination. ;Finally, I argue that according to Kant, a homogeneous manifold in intuition is required to represent composition and a mathematical version of the part/whole relation. The dissertation uses a modern understanding of the properties of relations to analyze the part/whole relations Kant refers to in his logic, and contrast them with the part/whole relations in his theory of magnitudes. Modern measurement theory aids in identifying Kant's insights into the conditions for the applicability of mathematics to experience. Kant's insights constitute an important part of his views on the role of intuition in mathematics. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience of readers and (...) describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)

The purpose of this book is to initiate a new discipline, namely a formalized epistemological method drawn from the cognitive strategies practised in the most effective among the modern scientific disciplines, as well as from general philosophical thinking. Indeed, what is lacking in order to improve our knowledge and our domination of the modes which nowadays are available for the generation and communication of knowledge, thoroughly and rapidly and with precision and detail? It is a systematic explication of the epistemological (...) essence encrypted in the specialized languages and algorithms of the major modern scientific approaches, a systematic cross-referencing of the explicated results, and a final elaboration of a new coherent whole. Quantum mechanics, like a diver, can take us down to the level of the very first actions of our conceptualization of reality. And starting from there, it can induce an explicit understanding of certain fundamental features of the new scientific thinking. A formalized epistemology should not be mistaken for a crossdisciplinary or a multidisciplinary project. The latter projects are designed to offer to nonspecialists access to information, to results obtained inside specialized disciplines, as well as a certain understanding of these results; whereas a formalized epistemology should equip anyone with a framework for conceptualizing himself in whatever domain and direction he or she might choose. A formalized epistemology should not be mistaken either for an approach belonging to the modern cognitive sciences. These try to establish as neutrally as possible descriptions of how the human body-and-mind work spontaneously when knowledge is generated; whereas a method of conceptualization should establish what conceptual-operational deliberate procedures have to be applied in order to represent and to achieve processes of generation of knowledge optimized accordingly to any definite aims. This book addresses philosophers of science, physicists, mathematicians, logicians, computer scientists, researchers in cognitive sciences, and biologists, as well as any intellectual who is interested in scientific and philosophical thinking. (shrink)

It is widely believed that mathematics carries a substantial part of the explanatory burden in science. However, mathematics can also play important heuristic roles of a different kind, being a source of new ideas and approaches, allowing us to build toy models, enhancing expressive power and providing fruitful conceptualizations. In this paper, we focus on the application of dynamical systems theory (DST) within the extended cognition (EC) field of cognitive science, considering this case study to be a good illustration (...) of a general phenomenon. In the paper, we justify both a negative and a positive claim. The negative claim is that dynamical systems theory hardly plays any explanatory role in EC research. We justify our claim by analyzing several accounts of the explanatory role of mathematics and stressing the way mathematical arguments are used in explanations. Our positive claim is that even though, for now, DST has no explanatory power in many of the EC approaches, it still plays an important heuristic role there. In particular, using mathematical notions improves the expressive power of the language and gives a sense of understanding of the phenomena under investigation. The case study of EC allows us to identify and analyze this important role of mathematics, which seems to be neglected in contemporary discussions. (shrink)

Mathematics is a highly specialised arena of human endeavour, one in which complex notations are invented and are subjected to complex and involved manipulations in the course of everyday work. What part do these writing practices play in mathematical communication, and how can we understand their use in the mathematical world in relation to theories of communication and cognition? To answer this, I examine in detail an excerpt from a research meeting in which communicative board-writing practices (...) can be observed, and attempt to explain the observed exchanges with reference to relevance theory (a cognitivist theory of pragmatics), in combination with the situated cognition paradigm. Successful communication in the excerpt appears well described by the notion of metacognitive acquaintance, as described in Sperber & Wilson (2015), especially when a situated view of cognition is adopted. Though this example is taken from a relatively informal face-to-face communicative situation, characteristics of such situations extend even into formal written mathematics, since even the technical terminology developed in the course of the meeting includes details that may provide readers with a kind of access to the mathematicians’ cognitive processes. (shrink)

The essential role of language in rational cognition is analysed. The approach is functional: only the results of the connection between language, reality, and thinking are considered. Scientific language is analysed as an extension and improvement of everyday language. The analysis gives a uniform view of language and rational cognition. The consequences for the nature of ontology, truth, logic, thinking, scientific theories, and mathematics are derived.

For all of recorded history prior to the second half of the twentieth century, there has been but one realm in which the cognitive processes of reasoning and problem solving, learning and discovery, language and mathematics took place. The realm of human intellect no longer has an exclusive claim on these cognitive processes--artificial intelligence represents a parallel claim. Wagman compares the two realms, focusing on each of the major components of cognition: logic, reasoning, problem-solving, language, memory, learning, and discovery. (...) He identifies consonant and disparate modes of cognition, and develops a general theory of human and artificial intelligence. (shrink)

Since Darwin, the idea of psychological continuity between humans and other animals has dominated theory and research in investigating the minds of other species. Indeed, the field of comparative psychology was founded on two assumptions. First, it was assumed that introspection could provide humans with reliable knowledge about the causal connection between specific mental states and specific behaviors. Second, it was assumed that in those cases in which other species exhibited behaviors similar to our own, similar psychological causes were at (...) work. In this paper. we show how this argument by analogy is flowed with respect to the case of second-order mental states. As a test case, we focus on the question of how other species conceive of visual attention, and in particular whether chimpanzees interpret seeing as a mentalistic event involving internal states of perception, attention, and belief. We conclude that chimpanzees do not reason about seeing in this manner, and indeed, there is considerable reason to suppose that they do not harbor representations of mental states in general. We propose a reinterpretation model in which the majority of the rich social behaviors that humans and other primates share in common emerged long before the human lineage evolved the psychological means of interpreting those behaviors in mentalistic terms. Although humans, chimpanzees, and most other species may be said to possess mental states, humans alone may have evolved a cognitive specialization for reasoning about such states. (shrink)

The first systematic collaboration between cognitive scientists and sports psychologists considers the mind–body relationship from the perspective of athletic skill and sports practice. This landmark work is the first systematic collaboration between cognitive scientists and sports psychologists that considers the mind–body relationship from the perspective of athletic skill and sports practice. With twenty-six chapters by leading researchers, the book connects and integrates findings from fields that range from philosophy of mind to sociology of sports. The chapters show not only that (...) sports can tell scientists how the human mind works but also that the scientific study of the human mind can help athletes succeed. Sports psychology research has always focused on the themes, notions, and models of embodied cognition; embodied cognition, in turn, has found striking confirmation of its theoretical claims in the psychological accounts of sports performance and athletic skill. Athletic skill is a legitimate form of intelligence, involving cognitive faculties no less sophisticated and complex than those required by mathematical problem solving. After presenting the key concepts necessary for applying embodied cognition to sports psychology, the book discusses skill disruption ; sensorimotor skill acquisition and how training correlates to the development of cognitive faculties; the intersubjective and social dimension of sports skills, seen in team sports; sports practice in cultural and societal contexts; the notion of “affordance” and its significance for ecological psychology and embodied cognition theory; and the mind's predictive capabilities, which enable anticipation, creativity, improvisation, and imagination in sports performance. Contributors Ana Maria Abreu, Kenneth Aggerholm, Salvatore Maria Aglioti, Jesús Ilundáin-Agurruza, Duarte Araújo, Jürgen Beckmann, Kath Bicknell, Geoffrey P. Bingham, Jens E. Birch, Gunnar Breivik, Noel E. Brick, Massimiliano L. Cappuccio, Thomas H. Carr, Alberto Cei, Anthony Chemero, Wayne Christensen, Lincoln J. Colling, Cassie Comley, Keith Davids, Matt Dicks, Caren Diehl, Karl Erickson, Anna Esposito, Pedro Tiago Esteves, Mirko Farina, Giolo Fele, Denis Francesconi, Shaun Gallagher, Gowrishankar Ganesh, Raúl Sánchez-García, Rob Gray, Denise M. Hill, Daniel D. Hutto, Tsuyoshi Ikegami, Geir Jordet, Adam Kiefer, Michael Kirchhoff, Kevin Krein, Kenneth Liberman, Tadhg E. MacIntyre, Nelson Mauro Maldonato, David L. Mann, Richard S. W. Masters, Patrick McGivern, Doris McIlwain, Michele Merritt, Christopher Mesagno, Vegard Fusche Moe, Barbara Gail Montero, Aidan P. Moran, David Moreau, Hiroki Nakamoto, Alberto Oliverio, David Papineau, Gert-Jan Pepping, Miriam Reiner, Ian Renshaw, Michael A. Riley, Zuzanna Rucinska, Lawrence Shapiro, Paula Silva, Shannon Spaulding, John Sutton, Phillip D. Tomporowski, John Toner, Andrew D. Wilson, Audrey Yap, Qin Zhu, Christopher Madan. (shrink)

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or reveal implicit assumptions in a purported proof. Hence, argumentation is an integral component of the discovery process for mathematical proofs. This work presents how argumentation theories can be applied to describe specific informal features in the development of proof-events. The concept of proof-event was coined by Goguen who described mathematical proof as a public social event that takes place in space and time. This (...) new meta-methodological concept is designed to cover not only “traditional” formal proofs but all kinds of proofs and inference steps, including incomplete or purported proofs. Our approach attempts to make proof-events more comprehensive to express the complete trajectory of a mathematical proof-event until the ultimate validation of the proving outcome. Thus, we advance an extended version of proof-event calculus which is built on argumentation theories designed to capture the internal and external structure of collaborative mathematical practice and highlight the relationship between proof, human reasoning, and cognitive processes. In addition, another area in which argumentation can make a significant contribution is dealing with the defeasible knowledge of the Web which is a product of its open and ubiquitous nature. This approach seems to be sufficient for the presentation of Web-based proving processes as manifested in the case of the Mini-Polymath 4 project. (shrink)

0. 0 Psychology versus Complex Systems Science Over the last century, psychology has become much less of an art and much more of a science. Philosophical speculation is out; data collection is in. In many ways this has been a very positive trend. Cognitive science (Mandler, 1985) has given us scientific analyses of a variety of intelligent behaviors: short-term memory, language processing, vision processing, etc. And thanks to molecular psychology (Franklin, 1985), we now have a rudimentary understanding of the chemical (...) processes underlying personality and mental illness. However, there is a growing feeling-particularly among non-psychologists (see e. g. Sommerhoff, 1990) - that, with the new emphasis on data collection, something important has been lost. Very little attention is paid to the question of how it all fits together. The early psychologists, and the classical philosophers of mind, were concerned with the general nature of mentality as much as with the mechanisms underlying specific phenomena. But the new, scientific psychology has made disappointingly little progress toward the resolution of these more general questions. One way to deal with this complaint is to dismiss the questions themselves. After all, one might argue, a scientific psychology cannot be expected to deal with fuzzy philosophical questions that probably have little empirical signifi cance. It is interesting that behaviorists and cognitive scientists tend to be in agreement regarding the question of the overall structure of the mind. (shrink)

Years ago, when I was an undergraduate math major at the University of Wyoming, I came across an interesting book in our library. It was a book of counterexamples t o propositions in real analysis (the mathematics of the real numbers). Mathematicians work more or less like the rest of us. They consider propositions. If one seems to them to be plausibly true, then they set about to prove it, to establish the proposition as a theorem. Instead o f setting (...) out to prove propositions, the psychologists, neuroscientists, and other empirical types among us, set out to show that a proposition is supported by the data, and that it is the best such proposition so supported. The philosophers among us, when they are not causing trouble by arguing that AI is a dead end or that cognitive science can get along without representations, work pretty much like the mathematicians: we set out to prove certain propositions true on the basis of logic, first principles, plausible assumptions, and others' data. But, back to the book of real analysis counterexamples. If some mathematician happened t o think that some proposition about continuity, say, was plausibly true, he or she would then set out to prove it. If the proposition was in fact not a theorem, then a lot of precious time would be wasted trying to prove it. Wouldn't it be great to have a book that listed plausibly true propositions that were in fact not true, and listed with each such proposition a counterexample to it? Of course it would. (shrink)

Metalogic is an open-ended cognitive, formal methodology pertaining to semantics and information processing. The language that mathematizes metalogic is known as metalanguage and deals with metafunctions purely by extension on patterns. A metalogical process involves an effective enrichment in knowledge as logical statements, and, since human cognition is an inherently logic–based representation of knowledge, a metalogical process will always be aimed at developing the scope of cognition by exploring possible cognitive implications reflected on successive levels of abstraction. Indeed, (...) it is basically impracticable to maintain logic–and–metalogic without paying heed to cognitive theorizing. For it is cognitively irrelevant whether possible conclusions are deduced from some premises before the premises are determined to be true or whether the premises themselves are determined to be true first and, then, the conclusions are deduced from them. In this paper we consider the term metalogic as inherently embodied under the framework referred to as cognitive science and mathematics. We propose a metalogical interpretation of Arrow’s impossibility theorem and, to that end, choice theory is understood as a mental course of action dealing with logic and metalogic issues, in which a possible mathematical approach to model a mental course of action is adopted as a systematic operating method. Nevertheless, if we look closely at the core of Arrow’s impossibility theorem in terms of metalogic, a second fundamental contribution to this framework is represented by the Nash equilibrium. As a result of the foregoing, therefore, we prove the metalogical equivalence between Arrow’s impossibility theorem and the existence of the Nash equilibrium. More specifically, Arrow’s requirements correspond to the Nash equilibrium for finite mixed strategies with no symmetry conditions. To demonstrate this proof, we first verify that Arrow’s set and Nash’s set are isomorphic to each other, both sets being under stated conditions of non–symmetry. Then, the proof is completed by virtue of category theory. Indeed, the two sets are categories that correspond biuniquely to one another and, thus, it is possible to define a covariant functor that preserves their mutual structures. According to this, we show the proof–dedicated metalanguage as a precursor to a special equivalence theorem. (shrink)

Theories of grounded and embodied cognition offer a range of accounts of how reasoning and body‐based processes are related to each other. To advance theories of grounded and embodied cognition, we explore the cognitive relevance of particular body states to associated math concepts. We test competing models of action‐cognition transduction to investigate the cognitive relevance of directed actions to students’ mathematical reasoning in the area of geometry. The hypotheses we test include (1) that cognitively (...) relevant directed actions have a direct effect on performance (direct cognitive relevance hypothesis), (2) that cognitively relevant directed actions lead to more frequent production of gestures during explanations, which leads to improved performance (mediated cognitive relevance hypothesis), and (3) that performance effects of directed actions are influenced by the presence or absence of gesture production during mathematical explanations (moderated cognitive relevance hypothesis). We explore these hypotheses in an experiment where high school students (N = 85) evaluated the truth of geometry conjectures after performing cognitively relevant or cognitively irrelevant directed actions while playing a movement‐based video game. Contrary to the direct and mediated cognitive relevance hypotheses, we found no overall differences in performance or gesture production between relevant and irrelevant conditions. Consistent with the moderated cognitive relevance hypothesis, cognitive relevance influenced mathematical performance, as measured by the accuracy of students’ intuitions, insights, and the validity of their proofs, provided that students produced certain kinds of gestures during mathematical explanations (i.e., with explanatory gestures as the moderator). Implications for theories of grounded and embodied cognition and the design of embodied forms of educational interventions are discussed. (shrink)

Late ancient Platonists discuss two theories in which geometric entities xplain natural phenomena : the regular polyhedra of geometric atomism and the ccentrics and epicycles of astronomy. Simplicius explicitly compares the status of the first to the hypotheses of the astronomers. The point of omparison is the fallibility of both theories, not the reality of the entities postulated. Simplicius has strong realist commitments as far as astronomy is concerned. Syrianus and Proclus, too, do not consider the polyhedra as (...) devoid of physical reality. Proclus rejects epicycles and eccentrics, but accepts the reality of material homocentric spheres, moved by their own souls. The spheres move the astral objects contained in them, which, however, add motions caused by their own souls. The epicyclical and eccentric hypotheses are useful, as they help us to understand the complex motions resulting from the interplay of spherical motions and volitional motions of the planets. Yet astral souls do not think in accordance with human theoretical constructs, but rather grasp the complex patterns of their motions directly. Our understanding of astronomy depends upon our own cognition of intelligible patterns and their mathematical images. (shrink)

Mathematicians often consider Zermelo-Fraenkel Set Theory with Choice (ZFC) as the only foundation of Mathematics, and frequently don’t actually want to think much about foundations. We argue here that modern Type Theory, i.e. Homotopy Type Theory (HoTT), is a preferable and should be considered as an alternative.

Searching for information is critical in many situations. In medicine, for instance, careful choice of a diagnostic test can help narrow down the range of plausible diseases that the patient might have. In a probabilistic framework, test selection is often modeled by assuming that people's goal is to reduce uncertainty about possible states of the world. In cognitive science, psychology, and medical decision making, Shannon entropy is the most prominent and most widely used model to formalize probabilistic uncertainty and the (...) reduction thereof. However, a variety of alternative entropy metrics (Hartley, Quadratic, Tsallis, Rényi, and more) are popular in the social and the natural sciences, computer science, and philosophy of science. Particular entropy measures have been predominant in particular research areas, and it is often an open issue whether these divergences emerge from different theoretical and practical goals or are merely due to historical accident. Cutting across disciplinary boundaries, we show that several entropy and entropy reduction measures arise as special cases in a unified formalism, the Sharma–Mittal framework. Using mathematical results, computer simulations, and analyses of published behavioral data, we discuss four key questions: How do various entropy models relate to each other? What insights can be obtained by considering diverse entropy models within a unified framework? What is the psychological plausibility of different entropy models? What new questions and insights for research on human information acquisition follow? Our work provides several new pathways for theoretical and empirical research, reconciling apparently conflicting approaches and empirical findings within a comprehensive and unified information-theoretic formalism. (shrink)

This article looks at recent work in cognitive science on mathematical cognition from the perspective of history and philosophy of mathematical practice. The discussion is focused on the work of Lakoff and Núñez, because this is the first comprehensive account of mathematical cognition that also addresses advanced mathematics and its history. Building on a distinction between mathematics as it is presented in textbooks and as it presents itself to the researcher, it is argued that the (...) focus of cognitive analyses of historical developments of mathematics has been primarily on the former, even if they claim to be about the latter. (shrink)

In this lengthy book, Daniel Sutherland proposes to rectify our long neglect of Kant's theory of mathematics by means of both historical and systematic analyses. This is a worthy undertaking, since the scope and significance of that theory were lost from view during the twentieth century.

Quantum cognition research applies abstract, mathematical principles of quantum theory to inquiries in cognitive science. It differs fundamentally from alternative speculations about quantum brain processes. This topic presents new developments within this research program. In the introduction to this topic, we try to answer three questions: Why apply quantum concepts to human cognition? How is quantum cognitive modeling different from traditional cognitive modeling? What cognitive processes have been modeled using a quantum account? In addition, a brief introduction (...) to quantum probability theory and a concrete example is provided to illustrate how a quantum cognitive model can be developed to explain paradoxical empirical findings in psychological literature. (shrink)

The main problem discussed in this paper is: Why and how did animal cognition abilities arise? It is argued that investigations of the evolution of animal cognition abilities are very important from an epistemological point of view. A new direction for interdisciplinary researches – the creation and development of the theory of human logic origin – is proposed. The approaches to the origination of such a theory (mathematical models of ``intelligent invention'' of biological evolution, the cybernetic schemes (...) of evolutionary progress and purposeful adaptive behavior) as well as potential interdisciplinary links of the theory are described and analyzed. (shrink)

This work explores the conceptual and empirical issues of the concept of knowledge and its relation to the pattern of our belief change, from formal and experimental perspectives. Part I gives an analysis of knowledge (called Sustainability) that is formally represented and naturalistically plausible at the same time, which is claimed to be a synthesized view of knowledge, covering not only empirical knowledge, but also knowledge of future, practical knowledge, mathematical knowledge, knowledge of general facts. Part II tries to (...) formalize the natural pattern of belief change assumed in Sustainability in terms of a specific formal theory of belief change, after carefully examining the notions of belief, belief change, and Information, from which the cognitive function F in Chapter 3 is actually constructed, which is later implemented by a computer program and its behavior against random input is demonstrated. In Part III we proceed to examine the analysis empirically. In particular, we will investigate Sustainability from the developmental point of view. We first justify experimental approach in philosophy as a legitimate method of philosophical investigation, and then developmental approach in particular. The specific proposal of experiment here is what we call the Gettier Task, an analogue of the famous false-belief task in developmental psychology, which has been much discussed in philosophy of mind. Two versions of the Gettier Task were tested on children aged from 6 to 12, and we claim that the data obtained empirically supports our analysis of knowledge, or Sustainability. (shrink)

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already there, ready to (...) meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

Traditionally it is taken for granted that mental imagery (MI) is a mental representation (MR) of some kind or format. This yields that theory of MR can give an adequate and exhaustive explanation of MI. Such co-relation between the two is usually seen as unproblematic. But is it really so? This article aims at challenging the theoretical claim that the dominant ‘two-world’ account of MR can adequately explain MI. Contrary to the standard theory of MR, there are reasons to believe (...) that: (a) MI has different cognitive architecture, (b) the relations between elements of MI are dynamic, (c) relations between elements of MI are context-dependent. Consequently, it follows that dominant account of MR neglects important characteristics of MI and, thus, fails to give a comprehensive explanation of the latter. Alternatively, I will argue that a sign-theoretic approach, proposed by C. S. Peirce, can suggest a promising explanation of MI and fully account for the divergent empirical data on the matter. (shrink)

This Handbook offers the first comprehensive reference guide to the interdisciplinary field of abductive cognition, providing readers with extensive information on the process of reasoning to hypotheses in humans, animals, and in computational machines. It highlights the role of abduction in both theory practice: in generating and testing hypotheses and explanatory functions for various purposes and as an educational device. It merges logical, cognitive, epistemological and philosophical perspectives with more practical needs relating to the application of abduction across various (...) disciplines and practices, such as in diagnosis, creative reasoning, scientific discovery, diagrammatic and ignorance-based cognition, and adversarial strategies. It also discusses the inferential role of models in hypothetical reasoning, abduction and creativity, including the process of development, implementation and manipulation for different scientific and technological purposes. Written by a group of internationally renowned experts in philosophy, logic, general epistemology, mathematics, cognitive, and computer science, as well as life sciences, engineering, architecture, and economics, the Handbook of Abductive Cognition offers a unique reference guide for readers approaching the process of reasoning to hypotheses from different perspectives and for various theoretical and practical purposes. Numerous diagrams, schemes and other visual representations are included to promote a better understanding of the relevant concepts and to make concepts highly accessible to an audience of scholars and students with different scientific backgrounds. (shrink)

The important role of mathematical representations in scientific thinking has received little attention from cognitive scientists. This study argues that neglect of this issue is unwarranted, given existing cognitive theories and laws, together with promising results from the cognitive historical analysis of several important scientists. In particular, while the mathematical wizardry of James Clerk Maxwell differed dramatically from the experimental approaches favored by Michael Faraday, Maxwell himself recognized Faraday as “in reality a mathematician of a very high (...) order,” and his own work as in some respects a re‐representation of Faraday’s field theory in analytic terms. The implications of the similarities and differences between the two figures open new perspectives on the cognitive role of mathematics as a learned mode of representation in science. (shrink)

How could the kinds of grammars that linguists write actually be used in models of perceptual processing? This book relates grammars to cognitive architecture. It shows how incremental parsing works, step-by-step, and how specific learning rules might lead to frequency-sensitive preferences. Along the way, Hale reconsiders garden-pathing, the parallel/serial distinction and information-theoretical complexity metrics such as surprisal. A "must" for cognitive scientists of language. ".

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Handbook of Cognitive Mathematics ed. by Marcel DanesiNathan HaydonMarcel Danesi (Ed) Handbook of Cognitive Mathematics Cham, Switzerland: Springer International, 2022, vii + 1383, including indexFor one acquainted with C.S. Peirce, it is hard to see Springer's recent Handbook of Cognitive Mathematics (editor: Marcel Danesi) through none other than a Peircean lens. Short for the cognitive science of mathematics, such a modern, scientific pursuit into the nature and study (...) of mathematical practice would no doubt be found agreeable to Peirce. The fact that references to Peirce appear often throughout the Handbook is a welcome find, with Peirce's ideas being a key subject of half a dozen chapters, and where a reader of any other chapter may well find further connections to Peirce's ideas. After spending time with the Handbook, it is clear that cognitive mathematics has not only embraced some of Pierce's ideas but may be at an important forefront of Peirce studies. In the end, the field may well be an area a Peircean should pay attention to.The book itself is pitched as a reference volume to the field (p. v) with the necessary background to familiarize oneself with the aims and results. The connection to cognitive science may call to mind detailed cognitive models [Ch. 10–14], theories on the origins of numeracy and other theories behind the biological and evolutionary requirements of mathematical thought [Ch.15–18], and the like. These are all present. But a key theme of the Handbook is to situate mathematics not just within more traditional 'cognitive' faculties and the more formal, i.e. algebraic, presentations of mathematics, but also to place mathematics within other human faculties and practices, from the arts to language [Ch. 19–22], within education and learning more broadly [Ch. 23–26], and in relation to the significant, though at first perhaps less quantitative parts of mathematics, like the use of metaphor, gesture, analogy, [End Page 243] abstraction, as well as further cultural and ethnographic considerations [Ch. 5–8]. The Handbook has explicitly taken a broader, more interdisciplinary approach (p. vi–vii) towards the scientific aspects of mathematical practice—choosing to regulate the study not by antecedently drawn opinions about what mathematics is (or has traditionally been taken to be) but by what future quantifiable and diverse study may come to bear on the practice and have to say about those engaging in it.This broad interdisciplinarity has a pragmatist ring, where theory cannot so easily be separated from the normative, social, and, more generally, the more thoroughly human aspects that we encounter and employ when we engage in it. Two further commitments of cognitive mathematics steer us even closer towards Peirce's views. The first—going back, for example, to Lakoff and Núñez's Where Mathematics Comes From (2000), which is taken to be a key early work in shaping the field—is that mathematics is taken to be a language like any other and as such must be learned and situated within our other cognitive faculties (p. vi, Ch. 4). The second—and largely, one imagines, following from a concern for seeing how mathematics is actually practiced—is that mathematics is essentially diagrammatic, involving as it does experimenting in diagrams and employing other signs (one may think here even of the mathematician sketching equations or geometric figures on a sheet of paper). What is perhaps initially most noteworthy about Peirce's philosophy of mathematics is his early concern for both these aspects of the practice.The book (more like a tome of over 1300 pages) is too large to be covered here in all its aspects, hence the review will focus on those aspects a Peircean or Pragmatist may find of interest. In particular, this review focuses on several of the themes above—situating mathematics more broadly within our everyday (cognitive) lives, the necessarily diagrammatic, fallible, and creative aspects of the practice, and, finally, what these aspects may have to say about Peirce's philosophy more generally, particularly with respect to (scientific) inquiry.A Peircean reader may well begin with Pietarinen's "Pragmaticism as Philosophy of Cognitive Mathematics" [Ch. 39] and "Peirce on Mathematical... (shrink)

The aim of this paper is make a contribution to the ongoing search for an adequate concept of the a priori element in scientific knowledge. The point of departure is C.I. Lewis’s account of a pragmatic a priori put forward in his "Mind and the World Order" (1929). Recently, Hasok Chang in "Contingent Transcendental Arguments for Metaphysical Principles" (2008) reconsidered Lewis’s pragmatic a priori and proposed to conceive it as the basic ingredient of the dynamics of an embodied scientific reason. (...) The present paper intends to further elaborate Chang’s account by relating it with some conceptual tools from cognitive semantics and certain ideas that first emerged in the context of the category-theoretical foundations of mathematics. (shrink)

Most previous research on human cognition has focused on problem-solving, and has confined its investigations to the laboratory. As a result, it has been difficult to account for complex mental processes and their place in culture and history. In this startling - indeed, disco in forting - study, Jean Lave moves the analysis of one particular form of cognitive activity, - arithmetic problem-solving - out of the laboratory into the domain of everyday life. In so doing, she shows how (...) mathematics in the 'real world', like all thinking, is shaped by the dynamic encounter between the culturally endowed mind and its total context, a subtle interaction that shapes 1) Both tile human subject and the world within which it acts. The study is focused on mundane daily, activities, such as grocery shopping for 'best buys' in the supermarket, dieting, and so on. Innovative in its method, fascinating in its findings, the research is above all significant in its theoretical contributions. Have offers a cogent critique of conventional cognitive theory, turning for an alternative to recent social theory, and weaving a compelling synthesis from elements of culture theory, theories of practice, and Marxist discourse. The result is a new way of understanding human thought processes, a vision of cognition as the dialectic between persons-acting, and the settings in which their activity is constituted. The book will appeal to anthropologists, for its novel theory of the relation of cognition to culture and context; to cognitive scientists and educational theorists; and to the 'plain folks' who form its subject, and who will recognize themselves in it, a rare accomplishment in the modern social sciences. (shrink)

In recent years, philosophers have developed accounts of cognitive and affective scaffolding to describe the contribution of environmental resources to the realization of mental abilities. However, an integrative account, which captures scaffolding relations in general terms and across domains, is currently lacking. To close this gap, this paper proposes a pattern theory of scaffolding. According to this theory, the functional and causal role of an environmental resource for an individual agent or a group of agents concerning a mental ability in (...) a situational context can be specified by multiple conditions that a scaffold can satisfy. On this view, scaffolds can be described in terms of patterns of relevance-weighted, gradually satisfied scaffolding conditions. The resulting theory will be applied to cases of mathematical cognition to demonstrate its plausibility and feasibility. The pattern theory of scaffolding, it will be shown, has important implications for research on embodied, embedded, extended, and enactive (4E) cognition. (shrink)

The paper gives an impression of the multi-dimensionality of mathematics as a human activity. This 'phenomenological' exercise is performed within an analytic framework that is both an expansion and a refinement of the one proposed by Kitcher. Such a particular tool enables one to retain an integrated picture while nevertheless welcoming an ample diversity of perspectives on mathematical practices, that is, from different disciplines, with different scopes, and at different levels. Its functioning is clarified by fitting in illustrations based (...) on actual research. (shrink)

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) (...) class='Hi'>mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

In recent decades, the scientific study of consciousness has significantly increased our understanding of this elusive phenomenon. Yet, despite critical development in our understanding of the functional side of consciousness, we still lack a fundamental theory regarding its phenomenal aspect. There is an “explanatory gap” between our scientific knowledge of functional consciousness and its “subjective,” phenomenal aspects, referred to as the “hard problem” of consciousness. The phenomenal aspect of consciousness is the first-person answer to “what it’s like” question, and it (...) has thus far proved recalcitrant to direct scientific investigation. Naturalistic dualists argue that it is composed of a primitive, private, non-reductive element of reality that is independent from the functional and physical aspects of consciousness. Illusionists, on the other hand, argue that it is merely a cognitive illusion, and that all that exists are ultimately physical, non-phenomenal properties. We contend that both the dualist and illusionist positions are flawed because they tacitly assume consciousness to be an absolute property that doesn’t depend on the observer. We develop a conceptual and a mathematical argument for a relativistic theory of consciousness in which a system either has or doesn’t have phenomenal consciousness with respect to some observer. Phenomenal consciousness is neither private nor delusional, just relativistic. In the frame of reference of the cognitive system, it will be observable and in other frame of reference it will not. These two cognitive frames of reference are both correct, just as in the case of an observer that claims to be at rest while another will claim that the observer has constant velocity. Given that consciousness is a relativistic phenomenon, neither observer position can be privileged, as they both describe the same underlying reality. Based on relativistic phenomena in physics we developed a mathematical formalization for consciousness which bridges the explanatory gap and dissolves the hard problem. Given that the first-person cognitive frame of reference also offers legitimate observations on consciousness, we conclude by arguing that philosophers can usefully contribute to the science of consciousness by collaborating with neuroscientists to explore the neural basis of phenomenal structures. (shrink)