This book argues against the view that mathematical knowledge is a priori,contending that mathematics is an empirical science and develops historically,just as ...

In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...

An introduction to the developments of nonstandard models. Beginning with Godel's incompleteness theorem, it covers the prime models, cofinal extensions, and extensions, Gaifman's construction of a definable type, Tennenbaum's theorem and Friedman's theorem on indicators, ending with a chapter on recursive saturation and resplendency.

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

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

This self-contained introduction to natural language semantics addresses the majortheoretical questions in the field. The authors introduce the systematic study of linguistic meaningthrough a sequence of formal tools and their linguistic applications. Starting with propositionalconnectives and truth conditions, the book moves to quantification and binding, intensionality andtense, and so on. To set their approach in a broader perspective, the authors also explore theinteraction of meaning with context and use (the semantics-pragmatics interface) and address some ofthe foundational questions, especially in connection (...) with cognition in general. They also introducea few of the most accessible and interesting ideas from recent research to give the reader a bit ofthe flavor of current work in semantics. The organization of this new edition is modular; after theintroductory chapters, the remaining material can be covered in flexible order. The book presupposesno background in formal logic (an appendix introduces the basic notions of set theory) and only aminimal acquaintance with linguistics. This edition includes a substantial amount of completely newmaterial and has been not only updated but redesigned throughout to enhance itsuser-friendliness. (shrink)

Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to find firm foundations for mathematics. From the late nineteenth century to the present day, this project has stimulated some of the most original and influential work in logic and philosophy.

In this book, Newell makes the case for unified theories by setting forth a candidate.

In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...

Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his proposals for a theory of the real numbers. This collection of essays addresses three main developments in recent work on Frege's (...) philosophy of mathematics: the emerging interest in the intellectual background to his logicism; the rediscovery of Frege's theorem; and the reevaluation of the mathematical content of The Basic Laws of Arithmetic. Each essay attempts a sympathetic, if not uncritical, reconstruction, evaluation, or extension of a facet of Frege's theory of arithmetic. Together they form an accessible and authoritative introduction to aspects of Frege's thought that have, until now, been largely missed by the philosophical community. (shrink)

A theory that treats language not as an abstract symbol system but as a function of our brains and experience, integrating recent findings from biology, ...

Dehaene (this volume) articulates a naturalistic approach to the cognitive foundations of mathematics. Further, he argues that the ‘number line’ (analog magnitude) system of representation is the evolutionary and ontogenetic foundation of numerical concepts. Here I endorse Dehaene’s naturalistic stance and also his characterization of analog magnitude number representations. Although analog magnitude representations are part of the evolutionary foundations of numerical concepts, I argue that they are unlikely to be part of the ontogenetic foundations of the capacity to represent natural (...) number. Rather, the developmental source of explicit integer list representations of number are more likely to be systems such as the object–file representations that articulate mid–level object based attention, systems that build parallel representations of small sets of individuals. (shrink)

Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs,and an Internet-based grading service.

The central argument that Leslie Smith makes in this study is that reasoning by mathematical induction develops during childhood. The basis for this claim is a study conducted with children aged five to seven years in school years one and two.

Editorial preface to the fourth edition and modified translation -- The text of the Philosophische Untersuchungen -- Philosophische untersuchungen = Philosophical investigations -- Philosophie der psychologie, ein fragment = Philosophy of psychology, a fragment.

First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.

One of the most important abilities we have as humans is the ability to think about number. In this chapter, we examine the question of whether there is an essential connection between language and number. We provide a careful examination of two prominent theories according to which concepts of the positive integers are dependent on language. The first of these claims that language creates the positive integers on the basis of an innate capacity to represent real numbers. The second claims (...) that language’s function is to integrate contents from modules that humans share with other animals. We argue that neither model is successful. (shrink)

This is the first volume of a projected three-volume set on the subject of innateness. The extent to which the mind is innate is one of the central questions in the human sciences, with important implications for many surrounding debates. By bringing together the top nativist scholars in philosophy, psychology, and allied disciplines these volumes provide a comprehensive assessment of nativist thought and a definitive reference point for future nativist inquiry. The Innate Mind: Structure and Content, concerns the fundamental architecture (...) of the mind, addressing such question as: What capacities, processes, representations, biases, and connections are innate? How do these innate elements feed into a story about the development of our mature cognitive capacities, and which of them are shared with other members of the animal kingdom? The editors have provided an introduction giving some of the background to debates about innateness and introducing each of the subsequent essays, as well as a consolidated bibliography that will be a valuable reference resource for all those interested in this area. The volume will be of great importance to all researchers and students interested in the fundamental nature and powers of the human mind. Together, the three volumes in the series will provide the most intensive and richly cross-disciplinary investigation of nativism ever undertaken. They point the way toward a synthesis of nativist work that promises to provide a new understanding of our minds and their place in the natural order. (shrink)

The value of nothing is explored in rich detail as the author reaches back as far as the ancient Sumerians to find evidence that humans have long struggled with the concept of zero, from the Greeks who may or may not have known of it, to the East where it was first used, to the modern-day desktop PC, which uses it as an essential letter in its computational alphabet.

Six-month-old infants discriminate between large sets of objects on the basis of numerosity when other extraneous variables are controlled, provided that the sets to be discriminated differ by a large ratio (8 vs. 16 but not 8 vs. 12). The capacities to represent approximate numerosity found in adult animals and humans evidently develop in human infants prior to language and symbolic counting.

Experiments with young infants provide evidence for early-developing capacities to represent physical objects and to reason about object motion. Early physical reasoning accords with 2 constraints at the center of mature physical conceptions: continuity and solidity. It fails to accord with 2 constraints that may be peripheral to mature conceptions: gravity and inertia. These experiments suggest that cognition develops concurrently with perception and action and that development leads to the enrichment of conceptions around an unchanging core. The experiments challenge claims (...) that cognition develops on a foundation of perceptual or motor experience, that initial conceptions are inappropriate to the world, and that initial conceptions are abandoned or radically.. (shrink)

Complex cognitive skills such as reading and calculation and complex cognitive achievements such as formal science and mathematics may depend on a set of building block systems that emerge early in human ontogeny and phylogeny. These core knowledge systems show characteristic limits of domain and task specificity: Each serves to represent a particular class of entities for a particular set of purposes. By combining representations from these systems, however human cognition may achieve extraordinary flexibility. Studies of cognition in human infants (...) and in nonhuman primates therefore may contribute to understanding unique features of human knowledge. 2020 APA, all rights reserved). (shrink)

Despite a vast philosophical literature on the epistemology of mathematics and much speculation about how, in principle, knowledge of this domain is possible, little attention has been paid to the psychological findings and theories concerning the acquisition, comprehension and use of mathematical knowledge. This contrasts sharply with recent philosophical work on language where comparable issues and problems arise. One topic that is the center of debate in the study of mathematical cognition is the question of innateness. This paper critically examines (...) the controversy. (shrink)