Mark Balaguer’s project in this book is extremely ambitious; he sets out to defend both platonism and fictionalism about mathematical entities. Moreover, Balaguer argues that at the end of the day, platonism and fictionalism are on an equal footing. Not content to leave the matter there, however, he advances the anti-metaphysical conclusion that there is no fact of the matter about the existence of mathematical objects.1 Despite the ambitious nature of this project, for the most part Balaguer does not shortchange (...) the reader on rigor; all the main theses advanced are argued for at length and with remarkable clarity and cogency. There are, of course, gaps in the account but these should not be allowed to overshadow the sig-. (shrink)

What are the philosophical views of contemporary professional philosophers? We surveyed many professional philosophers in order to help determine their views on 30 central philosophical issues. This article documents the results. It also reveals correlations among philosophical views and between these views and factors such as age, gender, and nationality. A factor analysis suggests that an individual's views on these issues factor into a few underlying components that predict much of the variation in those views. The results of a metasurvey (...) also suggest that many of the results of the survey are surprising: philosophers as a whole have quite inaccurate beliefs about the distribution of philosophical views in the profession. (shrink)

Our ability to deal with abstract concepts is one of the most intriguing faculties of human cognition. Still, we know little about how such concepts are formed, processed, and represented in mind. Current views are presented in their most recent and advanced form in this special issue, and directly compared and discussed in a lively debate, reported at the end of each chapter. The main results are reported in the editors’ introduction.

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices. In this survey article, the view is clarified and distinguished from some related views, and arguments for and against the view are discussed.

Several of these essays have been printed whole in journals; others are in varying degrees new. Two main themes run through them. One is the problem of meaning, particularly as involved in the notion of an analytic statement. The other is the notion of ontological, commitment, particularly as involved in the problem of universals.

... as 'logicism') that the content expressed by true propositions of arithmetic and analysis is not something of an irreducibly mathematical character, ...

The current investigations coordinate math cognition and cultural approaches to numeric thinking to examine the linkages between numeric and spatial processes, and how these linkages are modified by the cultural artifact of writing. Previous research in the adult numeric cognition literature has shown that English monoliterates have a spatialised mental number line which is oriented from left-to-right with smaller magnitudes associated with the left side of space and larger magnitudes are associated with the right side of space. These associations between (...) number and space have been termed the Spatial Numeric Association Response Code Effect. The current study investigates the spatial orientation of the mental number line in the following groups: English monoliterates, Arabic monoliterates who use only the right-left writing system, Arabic-English biliterates, and illiterate Arabic speakers who only read numerals. Current results indicate, for the first time, a Reverse SNARC effect for Arabic monoliterates, such that the mental number line had a right-to-left directionality. Furthermore, a weakened Reverse SNARC was observed for Arabic-English biliterates, and no effect was observed among Illiterate Arabic speakers. These findings are especially notable since left-right biases are neurologically supported and are observed in pre-literate children regardless of which writing system is used by adults. The broader implications of how cultural artifacts affect basic numeric cognition will be discussed. (shrink)

The question whether cognition is subserved by internal processes in the brain (internalism) or extends in to the world (active externalism) has been vigorously debated in recent years. I show how internalist and externalist ideas can be pursued in a common framework, using (1) open dynamical systems, which allow for separate analysis of an agent's intrinsic and embodied dynamics, and (2) supervenience functions, which can be used to study how low-level dynamical systems give rise to higher-level dynamical structures.

STEWART SHAPIRO; Mathematical Structuralism, Philosophia Mathematica, Volume 4, Issue 2, 1 May 1996, Pages 81–82, https://doi.org/10.1093/philmat/4.2.81.

Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of the doctrine, Psychological Individualism, and the many counter-arguments to it. We then propose and assess various modifications to the doctrine that might allow it to avoid the classical objections. We call these Psychological Descriptivism, Teleological Cognitive Architecture, and Ideal Cognizers. These characterizations give some order to the wide range of modern views (...) that are seen as psychologistic because of one or another feature. Although these can avoid some of the classic objections to psychologism, some still hold. (shrink)

In this paper I develop a philosophical account of actual mathematical infinity that does not demand ontologically or epistemologically problematic assumptions. The account is based on a simple metaphor in which we think of indefinitely continuing processes as defining objects. It is shown that such a metaphor is valid in terms of mathematical practice, as well as in line with empirical data on arithmetical cognition.

In this paper I study the development of arithmetical cognition with the focus on metaphorical thinking. In an approach developing on Lakoff and Núñez, I propose one particular conceptual metaphor, the Process → Object Metaphor, as a key element in understanding the development of mathematical thinking.

The canonical history of mathematics suggests that the late 19th-century “arithmetization” of calculus marked a shift away from spatial-dynamic intuitions, grounding concepts in static, rigorous definitions. Instead, we argue that mathematicians, both historically and currently, rely on dynamic conceptualizations of mathematical concepts like continuity, limits, and functions. In this article, we present two studies of the role of dynamic conceptual systems in expert proof. The first is an analysis of co-speech gesture produced by mathematics graduate students while proving a theorem, (...) which reveals a reliance on dynamic conceptual resources. The second is a cognitive-historical case study of an incident in 19th-century mathematics that suggests a functional role for such dynamism in the reasoning of the renowned mathematician Augustin Cauchy. Taken together, these two studies indicate that essential concepts in calculus that have been defined entirely in abstract, static terms are nevertheless conceptualized dynamically, in both contemporary and historical practice. (shrink)

Conceptual integration—“blending”—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serves a variety of cognitive purposes. It is dynamic, supple, and active in the moment of thinking. It yields products that frequently become entrenched in conceptual structure and grammar, and it often performs new work on its previously entrenched products as inputs. Blending is easy to detect in spectacular cases but it is for the most part a routine, workaday process that (...) escapes detection except on technical analysis. It is not reserved for special purposes, and is not costly.In blending, structure from input mental spaces is projected to a separate, “blended” mental space. The projection is selective. Through completion and elaboration, the blend develops structure not provided by the inputs. Inferences, arguments, and ideas developed in the blend can have effect in cognition, leading us to modify the initial inputs and to change our view of the corresponding situations.Blending operates according to a set of uniform structural and dynamic principles. It additionally observes a set of optimality principles. (shrink)

The now-classic Metaphors We Live By changed our understanding of metaphor and its role in language and the mind. Metaphor, the authors explain, is a fundamental mechanism of mind, one that allows us to use what we know about our physical and social experience to provide understanding of countless other subjects. Because such metaphors structure our most basic understandings of our experience, they are "metaphors we live by"--metaphors that can shape our perceptions and actions without our ever noticing them. In (...) this updated edition of Lakoff and Johnson's influential book, the authors supply an afterword surveying how their theory of metaphor has developed within the cognitive sciences to become central to the contemporary understanding of how we think and how we express our thoughts in language. (shrink)

From the late 1950s until 1975, cognition was understood mainly as disembodied symbol manipulation in cognitive psychology, linguistics, artificial intelligence, and the nascent field of Cognitive Science. The idea of embodied cognition entered the field of Cognitive Linguistics at its beginning in 1975. Since then, cognitive linguists, working with neuroscientists, computer scientists, and experimental psychologists, have been developing a neural theory of thought and language (NTTL). Central to NTTL are the following ideas: (a) we think with our brains, that is, (...) thought is physical and is carried out by functional neural circuitry; (b) what makes thought meaningful are the ways those neural circuits are connected to the body and characterize embodied experience; (c) so-called abstract ideas are embodied in this way as well, as is language. Experimental results in embodied cognition are seen not only as confirming NTTL but also explained via NTTL, mostly via the neural theory of conceptual metaphor. Left behind more than three decades ago is the old idea that cognition uses the abstract manipulation of disembodied symbols that are meaningless in themselves but that somehow constitute internal “representations of external reality” without serious mediation by the body and brain. This article uniquely explains the connections between embodied cognition results since that time and results from cognitive linguistics, experimental psychology, computational modeling, and neuroscience. (shrink)

"There are books—few and far between—which carefully, delightfully, and genuinely turn your head inside out. This is one of them. It ranges over some central issues in Western philosophy and begins the long overdue job of giving us a radically new account of meaning, rationality, and objectivity."—Yaakov Garb, _San Francisco Chronicle_.

Edmund Husserl is the founder of phenomenology. The Logical Investigations is Edmund Husserl's most famous work and has had a decisive impact on the direction of twentieth century philosophy. This is the first time both volumes of this classic work, translated by J.N. Findlay, have been available in paperback. They include a new introduction by Dermot Moran, placing the Logical Investigations in historical context and bringing out its importance for contemporary philosophy.

We agree with Barsalou's claim about the importance of perceptual symbols in a theory of abstract concepts. Yet we maintain that the richness of many abstract concepts arises from the metaphorical mapping of recurring patterns of perceptual, embodied experience to provide essential structure to these abstract ideas.

Conceptual integration—“blending”—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serves a variety of cognitive purposes. It is dynamic, supple, and active in the moment of thinking. It yields products that frequently become entrenched in conceptual structure and grammar, and it often performs new work on its previously entrenched products as inputs. Blending is easy to detect in spectacular cases but it is for the most part a routine, workaday process that (...) escapes detection except on technical analysis. It is not reserved for special purposes, and is not costly.In blending, structure from input mental spaces is projected to a separate, “blended” mental space. The projection is selective. Through completion and elaboration, the blend develops structure not provided by the inputs. Inferences, arguments, and ideas developed in the blend can have effect in cognition, leading us to modify the initial inputs and to change our view of the corresponding situations.Blending operates according to a set of uniform structural and dynamic principles. It additionally observes a set of optimality principles. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods from (...) computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

Combining up-to-date scholarship with clear and accessible language and helpful exercises, Metaphor: A Practical Introduction is an invaluable resource for all readers interested in metaphor. This second edition includes two new chapters--on 'metaphors in discourse' and 'metaphor and emotion' --along with new exercises, responses to criticism and recent developments in the field, and revised student exercises, tables, and figures.

Reexamines the Western philosophical tradition, looking at the basic concepts of the mind, time, causation, morality, and the self.

This introduction to the philosophy of mathematics focuses on contemporary debates in an important and central area of philosophy. The reader is taken on a fascinating and entertaining journey through some intriguing mathematical and philosophical territory, including such topics as the realism/anti-realism debate in mathematics, mathematical explanation, the limits of mathematics, the significance of mathematical notation, inconsistent mathematics and the applications of mathematics. Each chapter has a number of discussion questions and recommended further reading from both the contemporary literature and (...) older sources. Very little mathematical background is assumed and all of the mathematics encountered is clearly introduced and explained using a wide variety of examples. The book is suitable for an undergraduate course in philosophy of mathematics and, more widely, for anyone interested in philosophy and mathematics. (shrink)

Platonism about mathematics (or mathematical platonism) isthe metaphysical view that there are abstract mathematical objectswhose existence is independent of us and our language, thought, andpractices. Just as electrons and planets exist independently of us, sodo numbers and sets. And just as statements about electrons and planetsare made true or false by the objects with which they are concerned andthese objects' perfectly objective properties, so are statements aboutnumbers and sets. Mathematical truths are therefore discovered, notinvented., Existence. There are mathematical objects.

Mathematical fictionalism (or as I'll call it, fictionalism) is best thought of as a reaction to mathematical platonism. Platonism is the view that (a) there exist abstract mathematical objects (i.e., nonspatiotemporal mathematical objects), and (b) our mathematical sentences and theories provide true descriptions of such objects. So, for instance, on the platonist view, the sentence ‘3 is prime’ provides a straightforward description of a certain object—namely, the number 3—in much the same way that the sentence ‘Mars is red’ provides a (...) description of Mars. But whereas Mars is a physical object, the number 3 is (according to platonism) an abstract object. And abstract objects, platonists tell us, are wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal. Thus, on this view, the number 3 exists independently of us and our thinking, but it does not exist in space or time, it is not a physical or mental object, and it does not enter into causal relations with other objects. This view has been endorsed by Plato, Frege (1884, 1893-1903, 1919), Gödel (1964), and in some of their writings, Russell (1912) and Quine (1948, 1951), not to mention numerous more recent philosophers of mathematics, e.g., Putnam (1971), Parsons (1971), Steiner (1975), Resnik (1997), Shapiro (1997), Hale (1987), Wright (1983), Katz (1998), Zalta (1988), and Colyvan (2001). (shrink)

The guiding idea behind formalism is that mathematics is not a body of propositions representing an abstract sector of reality but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess. This idea has some intuitive plausibility: consider the tyro toiling at multiplication tables or the student using a standard algorithm for differentiating or integrating a function. It also corresponds to some aspects of the practice of (...) advanced mathematicians in some periods—for example, the treatment of imaginary numbers for some time after Bombelli's introduction of them, and perhaps the attitude of some contemporary mathematicians towards the higher flights of set theory. Finally, it is often the position to which philosophically naïve respondents will gesture towards, when pestered by questions as to the nature of mathematics. (shrink)

Concepts are the elementary units of reason and linguistic meaning. They are conventional and relatively stable. As such, they must somehow be the result of neural activity in the brain. The questions are: Where? and How? A common philosophical position is that all concepts—even concepts about action and perception—are symbolic and abstract, and therefore must be implemented outside the brain’s sensory-motor system. We will argue against this position using (1) neuroscientific evidence; (2) results from neural computation; and (3) results about (...) the nature of concepts from cognitive linguistics. We will propose that the sensory-motor system has the right kind of structure to characterise both sensory-motor and more abstract concepts. Central to this picture are the neural theory of language and the theory of cogs, according to which, brain structures in the sensory-motor regions are exploited to characterise the so-called “abstract” concepts that constitute the meanings of grammatical constructions and general inference patterns. (shrink)