Finally the book concludes with a discussion of the most recent debates between realists and nominalists.

I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes and (...) Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. (shrink)

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

" Vivid . . . immense clarity . . . the product of a brilliant and extremely forceful intellect." — Journal of the Royal Naval Scientific Service "Still a sheer joy to read." — Mathematical Gazette "Should be read by any student, teacher or researcher in mathematics." — Mathematics Teacher The originator of algebraic topology and of the theory of analytic functions of several complex variables, Henri Poincare (1854–1912) excelled at explaining the complexities of scientific and mathematical ideas to lay (...) readers. Science and Method, written in 1908, has been appreciated by a wide audience of nonprofessionals and translated into many languages. It defines the basic methodology and psychology of scientific discovery, particularly in regard to mathematics and mathematical physics. Drawing on examples from many fields, it explains how scientists analyze and choose their working facts, and it explores the nature of experimentation, theory, and the mind. 1914 edition. Translated by Francis Maitland. (shrink)

Fourteen of the American philosopher's most influential essays appear here, offering profound reflections on many different aspects of knowledge, reality, and epistemology. These papers on experimental logic are rooted in the implication that possession of knowledge implies a judgment, resulting from an inquiry or investigation. The presence of this "inquiry stage" suggests an intermediate and mediating phase between the external world and knowledge, an area conditioned by other factors. Expanding upon this basis, these essays consider the relationship of thought and (...) its subject matter; the antecedents and stimuli of thought, data, and meanings; the objects of thought; control of ideas by facts; and similar topics. Unabridged republication of the classic 1916 edition. (shrink)

In his controversial book _An Outline of Philosophy_, first published in 1927, Bertrand Russell argues that humanity demands consideration solely as the instrument by which we acquire knowledge of the universe. From our inner-world to the outer-world, from our physical world to the universe, his argument separates modern scientific knowledge and our ‘seeming’ consciousness. These innovative perspectives on philosophy made a significant contribution to the discourse on the meaning, relevance and function of philosophy which continues to this day.

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, ...

Mathematics is a subject we are all exposed to in our daily lives, but one which many of us fear. In this introduction, Timothy Gowers elucidates the most fundamental differences, which are primarily philosophical, between advanced mathematics and what we learn at school, so that one emerges with a clearer understanding of such paradoxical-sounding concepts as 'infinity', 'curved space', and 'imaginary numbers'. From basic ideas, through to philosophical queries, to common sociological questions about the mathematical community, this book unravels some (...) of the mysteries of space and numbers. (shrink)

Leading scholars respond to the famous proposition by Andy Clark and David Chalmers that cognition and mind are not located exclusively in the head. Where does the mind stop and the rest of the world begin? In their famous 1998 paper "The Extended Mind," philosophers Andy Clark and David J. Chalmers posed this question and answered it provocatively: cognitive processes "ain't all in the head." The environment has an active role in driving cognition; cognition is sometimes made up of neural, (...) bodily, and environmental processes. Their argument excited a vigorous debate among philosophers, both supporters and detractors. This volume brings together for the first time the best responses to Clark and Chalmers's bold proposal. These responses, together with the original paper by Clark and Chalmers, offer a valuable overview of the latest research on the extended mind thesis. The contributors first discuss objections raised to Clark and Chalmers's thesis. Clark himself responds to critics in an essay that uses the movie Memento's amnesia-aiding notes and tattoos to illustrate the workings of the extended mind. Contributors then consider the different directions in which the extended mind project might be taken, including the need for an approach that focuses on cognitive activity and practice. (shrink)

The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VIVII of Platos Republic and Aristotles Prior and Posterior Analytics, to Kants Critique of Pure Reason and Mills A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers by Bertrand Russell. However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from (...) knowledge. This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors. (shrink)

Available for the first time in 20 years, here are two important works from the 1920s by the best-known representative of the Vienna Circle.

Available for the first time in 20 years, here are two important works from the 1920s by the best-known representative of the Vienna Circle.

One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...) the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

This paper explores how to explain the applicability of classical mathematics to the physical world in a radically naturalistic and nominalistic philosophy of mathematics. The applicability claim is first formulated as an ordinary scientific assertion about natural regularity in a class of natural phenomena and then turned into a logical problem by some scientific simplification and abstraction. I argue that there are some genuine logical puzzles regarding applicability and no current philosophy of mathematics has resolved these puzzles. Then I introduce (...) a plan for resolving the logical puzzles of applicability. (shrink)

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested (...) in non-standard analysis. It treats in rich detail many areas of application, including topology, functions of a real variable, functions of a complex variable, and normed linear spaces, together with problems of boundary layer flow of viscous fluids and rederivations of Saint-Venant's hypothesis concerning the distribution of stresses in an elastic body. (shrink)

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (shrink)

Diagrams are ubiquitous in mathematics. From the most elementary class to the most advanced seminar, in both introductory textbooks and professional journals, diagrams are present, to introduce concepts, increase understanding, and prove results. They thus fulfill a variety of important roles in mathematical practice. Long overlooked by philosophers focused on foundational and ontological issues, these roles have come to receive attention in the past two decades, a trend in line with the growing philosophical interest in actual mathematical practice.

David Lewis (1941-2001) was Class of 1943 University Professor of Philosophy at Princeton University. His contributions spanned philosophical logic, philosophy of language, philosophy of mind, philosophy of science, metaphysics, and epistemology. In On the Plurality of Worlds, he defended his challenging metaphysical position, "modal realism." He was also the author of the books Convention, Counterfactuals, Parts of Classes, and several volumes of collected papers.

Kant's views on logic and logical theory play an important role in his critical writings, especially the Critique of Pure Reason. However, since he published only one short essay on the subject, we must turn to the texts derived from his logic lectures to understand his views. The present volume includes three previously untranslated transcripts of Kant's logic lectures: the Blumberg Logic from the 1770s; the Vienna Logic (supplemented by the recently discovered Hechsel Logic) from the early 1780s; and the (...) Dohna-Wundlacken Logic from the early 1790s. Also included is a new translation of the Jasche Logic, compiled at Kant's request and published in 1800 but which also appears to stem in part from a transcript of his lectures. Together these texts provide a rich source of evidence for Kant's evolving views on logic, on the relations between logic and other disciplines, and on a variety of topics (e.g. analysis and synthesis) central to Kant's mature philosophy. They also provide a portrait of Kant as lecturer, a role in which he was both popular and influential. This volume contains substantial editorial apparatus: a general introduction, linguistic and factual notes, glossaries of key terms (both German/English and English/German) and concordances relating Kant's lectures to Georg Frederich Meier's Excerpts from the Doctrine of Reason, the book on which Kant lectured throughout his life and in which he left extensive notes. (shrink)

One of the cornerstone books of Western philosophy, Critique of Pure Reason is Kant's seminal treatise, where he seeks to define the nature of reason itself and builds his own unique system of philosophical thought with an approach known as transcendental idealism. He argues that human knowledge is limited by the capacity for perception and attempts a logical designation of two varieties of knowledge: a posteriori, the knowledge acquired through experience; and a priori, knowledge not derived through experience. This accurate (...) translation by J. M. D. Meiklejohn offers a simple and direct rendering of Kant's work that is suitable for readers at all levels. (shrink)

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...) für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt. (shrink)

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late 19th century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis received much attention in the 19th century. They helped to instigate what Hans Hahn called a ‘crisis of intuition’, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this ‘crisis’ as follows : " Mathematicians had for (...) a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof … "Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called ‘logicization’, ‘when the discipline requires nothing but purely logical fundamental concepts and propositions for its development’. On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals …. (shrink)

This book provides an accessible, critical introduction to the three main approaches that dominated work in the philosophy of mathematics during the twentieth century: logicism, intuitionism and formalism.

In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom (...) provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support. -/- Beginning with a previously unpublished lecture for a general audience, Deciding the Undecidable, Feferman examines the famous list of twenty-three mathematical problems posed by David Hilbert, concentrating on three problems that have most to do with logic. Other chapters are devoted to the work and thought of Kurt Gödel, whose stunning results in the 1930s on the incompleteness of formal systems and the consistency of Cantors continuum hypothesis have been of utmost importance to all subsequent work in logic. Though Gödel has been identified as the leading defender of set-theoretical platonism, surprisingly even he at one point regarded it as unacceptable. -/- In his concluding chapters, Feferman uses tools from the special part of logic called proof theory to explain how the vast part--if not all--of scientifically applicable mathematics can be justified on the basis of purely arithmetical principles. At least to that extent, the question raised in two of the essays of the volume, Is Cantor Necessary?, is answered with a resounding no. -/- This volume of important and influential work by one of the leading figures in logic and the foundations of mathematics is essential reading for anyone interested in these subjects. (shrink)

In historical claims for nativism, mathematics is a paradigmatic example of innate knowledge. Claims by contemporary developmental psychologists of elementary mathematical skills in human infants are a legacy of this. However, the connection between these skills and more formal mathematical concepts and methods remains unclear. This paper assesses the current debates surrounding nativism and mathematical knowledge by teasing them apart into two distinct claims. First, in what way does the experimental evidence from infants, nonhuman animals and neuropsychology support the nativist (...) hypothesis? Second, granting that infants have some elementary mathematical skills, does this mean that such skills play an important role in the development of mathematical knowledge? (shrink)

In the past decades, recent paradigm shifts in ethology, psychology, and the social sciences have given rise to various new disciplines like cognitive ethology and evolutionary psychology. These disciplines use concepts and theories of evolutionary biology to understand and explain the design, function and origin of the brain. I shall argue that there are several good reasons why this approach could also apply to human mathematical abilities. I will review evidence from various disciplines (cognitive ethology, cognitive psychology, cognitive archaeology and (...) neuropsychology) that suggests that the human capacity for mathematics is a category-specific domain of knowledge, hard-wired in the brain, which can be explained as the result of natural selection. (shrink)

In this paper we discuss visualizations in mathematics from a historical and didactical perspective. We consider historical debates from the 17th and 19th centuries regarding the role of intuition and visualizations in mathematics. We also consider the problem of what a visualization in mathematical learning can achieve. In an empirical study we investigate what mathematical conclusions university students made on the basis of a visualization. We emphasize that a visualization in mathematics should always be considered in its proper context.

History and Philosophy of Modern Mathematics was first published in 1988. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. The fourteen essays in this volume build on the pioneering effort of Garrett Birkhoff, professor of mathematics at Harvard University, who in 1974 organized a conference of mathematicians and historians of modern mathematics to examine how the two disciplines approach the history of mathematics. In (...) History and Philosophy of Modern Mathematics, William Aspray and Philip Kitcher bring together distinguished scholars from mathematics, history, and philosophy to assess the current state of the field. Their essays, which grow out of a 1985 conference at the University of Minnesota, develop the basic premise that mathematical thought needs to be studied from an interdisciplinary perspective. The opening essays study issues arising within logic and the foundations of mathematics, a traditional area of interest to historians and philosophers. The second section examines issues in the history of mathematics within the framework of established historical periods and questions. Next come case studies that illustrate the power of an interdisciplinary approach to the study of mathematics. The collection closes with a look at mathematics from a sociohistorical perspective, including the way institutions affect what constitutes mathematical knowledge. (shrink)

Contending that only a normative theory of rationality can be adequate to the complexities of the subject, this book explains and defends the view that rationality consists of the intelligent pursuit of appropriate objectives. Rescher considers the mechanics, rationale, and rewards of reason, and argues that social scientists who want to present a theory of rationality while avoiding the vexing complexities of normative deliberations must amend their perspective of the rational enterprise.