"Mathematics in Kant's Critical Philosophy" provides a much needed reading (and re-reading) of Kant's theory of the construction of mathematical concepts through a fully contextualized analysis. In this work Lisa Shabel convincingly argues that it is only through an understanding of the relevant eighteenth century mathematics textbooks, and the related mathematical practice, can the material and context necessary for a successful interpretation of Kant's philosophy be provided. This is borne out through sustained readings of Euclid and Woolf in particular, which, when brought together with Kant's work, allows for the elucidation of several key issues and the reinterpretation of many hitherto opaque and long debated passages.

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Goedel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Goedel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Goedel's texts on foundations with materials from Goedel's Nachlass and from Hao Wang's discussions with Goedel. As well as providing discussions of Goedel's views on the philosophical significance of his technical results on completeness, incompleteness, undecidability, consistency proofs, speed-up theorems, and independence proofs, Tieszen furnishes a detailed analysis of Goedel's critique of Hilbert and Carnap, and of his subsequent turn to Husserl's transcendental philosophy in 1959. On this basis, a new type of platonic rationalism that requires rational intuition, called 'constituted platonism', is developed and defended. Tieszen shows how constituted platonism addresses the problem of the objectivity of mathematics and of the knowledge of abstract mathematical objects. Finally, he considers the implications of this position for the claim that human minds ('monads') are machines, and discusses the issues of pragmatic holism and rationalism.

First published in 1990, this is a reissue of Professor Hilary Putnam 's dissertation thesis, written in 1951, which concerns itself with The Meaning of the Concept of Probability in Application to Finite Sequences and the problems of the deductive justification for induction. Written under the direction of Putnam 's mentor, Hans Reichenbach, the book considers Reichenbach 's idealization of very long finite sequences as infinite sequences and the bearing this has upon Reichenbach 's pragmatic vindication of induction.

The book treats two approaches to decision theory: (1) the normative, purporting to determine how a 'perfectly rational' actor ought to choose among available alternatives; (2) the descriptive, based on observations of how people actually choose in real life and in laboratory experiments. The mathematical tools used in the normative approach range from elementary algebra to matrix and differential equations. Sections on different levels can be studied independently. Special emphasis is made on 'offshoots' of both theories to cognitive psychology, theoretical biology, and philosophy.

This reissue of D. A. Gillies highly influential work, first published in 1973, is a philosophical theory of probability which seeks to develop von Mises' views on the subject. In agreement with von Mises, the author regards probability theory as a mathematical science like mechanics or electrodynamics, and probability as an objective, measurable concept like force, mass or charge. On the other hand, Dr Gillies rejects von Mises' definition of probability in terms of limiting frequency and claims that probability should be taken as a primitive or undefined term in accordance with modern axiomatic approaches. This of course raises the problem of how the abstract calculus of probability should be connected with the actual world of experiments'. It is suggested that this link should be established, not by a definition of probability, but by an application of Popper's concept of falsifiability. In addition to formulating his own interesting theory, Dr Gillies gives a detailed criticism of the generally accepted Neyman Pearson theory of testing, as well as of alternative philosophical approaches to probability theory. The reissue will be of interest both to philosophers with no previous knowledge of probability theory and to mathematicians interested in the foundations of probability theory and statistics.

We see numbers on automobile license plates, addresses, weather reports, and, of course, on our smartphones. Yet we look at these numbers for their role as descriptors, not as an entity in and unto themselves. Each number has its own history of meaning, usage, and connotation in the larger world. The Secret Lives of Numbers takes readers on a journey through integers, considering their numerological assignments as well as their significance beyond mathematics and in the realm of popular culture. Of course we all know that the number 13 carries a certain value of unluckiness with it. The phobia of the number is called Triskaidekaphobia; Franklin Delano Roosevelt was known to invite and disinvite guests to parties to avoid having 13 people in attendance; high-rise buildings often skip the 13th floor out of superstition. There are many explanations as to how the number 13 received this negative honor, but from a mathematical point of view, the number 13 is also the smallest prime number that when its digits are reversed is also a prime number. It is honored with a place among the Fibonacci numbers and integral Pythagorean triples, as well as many other interesting and lesser-known occurrences. In The Secret Lives of Numbers, popular mathematician Alfred S. Posamentier provides short and engaging mini-biographies of more than 100 numbers, starting with 1 and featuring some especially interesting numbers -like 6,174, a number with most unusual properties -to provide readers with a more comprehensive picture of the lives of numbers both mathematically and socially.

The authors' novel approach to some interesting mathematical concepts - not normally taught in other courses - places them in a historical and philosophical setting. Although primarily intended for mathematics undergraduates, the book will also appeal to students in the sciences, humanities and education with a strong interest in this subject. The first part proceeds from about 1800 BC to 1800 AD, discussing, for example, the Renaissance method for solving cubic and quartic equations and providing rigorous elementary proof that certain geometrical problems posed by the ancient Greeks cannot be solved by ruler and compass alone. The second part presents some fundamental topics of interest from the past two centuries, including proof of G del's incompleteness theorem, together with a discussion of its implications.

During his lifetime, Henri PoincarA(c) published three major philosophical books which achieved great success: "La science et l'hypothA]se" (1902), "La valeur de la science" (1905) and "Science et mA(c)thode" (1908). After his death in 1913, a fourth volume of his philosophical works was published by his heirs as "DerniA]res pensA(c)es" (1913). The four books constitute the core of PoincarA(c)'s philosophic works and were given an ovation by scientific and general public. Around 1919, Gustave Le Bon wrote to PoincarA(c)'s widow. As the director of the "BibliothA]que de Philosophie Scientifique at Flammarion," he asked her permission to publish a second posthumous volume. "L'Opportunisme scientifique" was intended to be the fifth and final volume of PoincarA(c)'s philosophical writings. Louis Rougier had elaborated the project, with the collaboration of Gustave Le Bon, and the approval of the philosopher A0/00mile Boutroux and his son Pierre. Because of the reservations of the mathematician's heirs, this book was never published and DerniA]res pensA(c)es remained his last philosophical book. Nevertheless PoincarA(c)'s correspondence - which is kept in the PoincarA(c) Archives at University Nancy 2 - contains a large amount of documents concerning the project, its justification and the discussions between Louis Rougier and the mathematician's heirs. The aim of this book is to restore this episode, which gives some crucial informations about editorial practices of PoincarA(c) and about the posterity of his philosophic thinking.

In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert's program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of the consistency of such formalized theories. While interest in modi?ed v- sions of the original foundational programs is still thriving, in the second part of the twentieth century several philosophers and historians of mat- matics have questioned whether such foundational programs could exhaust the realm of important philosophical problems to be raised about the nature of mathematics. Some have done so in open confrontation (and hostility) to the logically based analysis of mathematics which characterized the cl- sical foundational programs, while others (and many of the contributors to this book belong to this tradition) have only called for an extension of the range of questions and problems that should be raised in connection with an understanding of mathematics. The focus has turned thus to a consideration of what mathematicians are actually doing when they produce mathematics. Questions concerning concept-formation, understanding, heuristics, changes instyle of reasoning, the role of analogies and diagrams etc.

Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these axioms are properly judged takes on a central importance. Approaching the question from a broadly naturalistic or second-philosophical point of view, Defending the Axioms isolates the appropriate methods for such evaluations and investigates the ontological and epistemological backdrop that makes them appropriate. In the end, a new account of the objectivity of mathematics emerges, one refreshingly free of metaphysical commitments.

Mathematics is often considered as a body of knowledge that is essen tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it. However, the question is not so simple, and P. Weingartner's paper (Language and Coding-Dependency of Results in Logic and Mathe matics) deals with some results in logic and mathematics which reveal that certain notions are in general not invariant with respect to different choices of language and of coding processes. Five example are given: 1) The validity of axioms and rules of classical propositional logic depend on the interpretation of sentential variables; 2) The language dependency of verisimilitude; 3) The proof of the weak and strong anti inductivist theorems in Popper's theory of inductive support is not invariant with respect to limitative criteria put on classical logic; 4) The language-dependency of the concept of provability; 5) The language dependency of the existence of ungrounded and paradoxical sentences (in the sense of Kripke). The requirements of logical rigour and consistency are not the only criteria for the acceptance and appreciation of mathematical proposi tions and theories."

Is anything truly random? Does infinity actually exist? Could we ever see into other dimensions?

In this delightful journey of discovery, David Darling and extraordinary child prodigy Agnijo Banerjee draw connections between the cutting edge of modern maths and life as we understand it, delving into the strange would we like alien music? and venturing out on quests to consider the existence of free will and the fantastical future of quantum computers. Packed with puzzles and paradoxes, mind-bending concepts and surprising solutions, this is for anyone who wants life s questions answered even those you never thought to ask.

Do electrons and genes exist? If inclined to answer 'yes', let's ask a harder question: do numbers exist? This book argues that the answer should be, again, affirmative. It elaborates a philosophical position according to which all, and only, entities truly indispensable to the formulation of modern scientific theories should be recognized as existent, regardless of how we might be initially tempted to categorize them - as concrete-physical or abstract-mathematical. In addition to explicating the subtleties of the positive reasons supporting this form of realism, the book clarifies and rebuts a variety of objections raised against this position.

This collection of essays explores the ancient affinity between the mathematical and the aesthetic, focusing on fundamental connections between these two modes of reasoning and communicating. From historical, philosophical and psychological perspectives, with particular attention to certain mathematical areas such as geometry and analysis, the authors examine ways in which the aesthetic is ever-present in mathematical thinking and contributes to the growth and value of mathematical knowledge.

Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership.
Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists
This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.

First published in 2000. This is Volume I of eight in the Philosophy of Logic and Mathematics series. Written in 1933, in The Nature of Mathematics offers a critical survey the author seeks to present a considered critical exposition of Principia Mathematica and to give supplementary accounts of the formalist and intuitionist doctrines in sufficient detail to lighten the paths of all who may be provoked to read the original papers.

New to the Fourth Edition Reorganised and revised chapter seven and thirteen New exercises and examples Expanded, updated references Further historical material on figures besides Galois: Omar Khayyam, Vandermonde, Ruffini, and Abel A new final chapter discussing other directions in which Galois Theory has developed: the inverse Galois problem, differential Galois theory, and a (very) brief introduction to p-adic Galois representations.

In Western Civilization Mathematics and Music have a long and interesting history in common, with several interactions, traditionally associated with the name of Pythagoras but also with a significant number of other mathematicians, like Leibniz, for instance. Mathematical models can be found for almost all levels of musical activities from composition to sound production by traditional instruments or by digital means. Modern music theory has been incorporating more and more mathematical content during the last decades. This book offers a journey into recent work relating music and mathematics. It contains a large variety of articles, covering the historical aspects, the influence of logic and mathematical thought in composition, perception and understanding of music and the computational aspects of musical sound processing. The authors illustrate the rich and deep interactions that exist between Mathematics and Music.

The Conceptual Roots of Mathematics is a comprehensive study of the foundation of mathematics. J.R. Lucas, one of the most distinguished Oxford scholars, covers a vast amount of ground in the philosophy of mathematics, showing us that it is actually at the heart of the study of epistemology and metaphysics.

eBook available with sample pages: EB:0203028422

Kit Fine develops a Fregean theory of abstraction, and suggests that it may yield a new philosophical foundation for mathematics, one that can account for both our reference to various mathematical objects and our knowledge of various mathematical truths. The Limits of Abstraction breaks new ground both technically and philosophically, and will be essential reading for all who work on the philosophy of mathematics.

Attempts to understand various aspects of the empirical world often rely on modelling processes that involve a reconstruction of systems under investigation. Typically the reconstruction uses mathematical frameworks like gauge theory and renormalization group methods, but more recently simulations also have become an indispensable tool for investigation. This book is a philosophical examination of techniques and assumptions related to modelling and simulation with the goal of showing how these abstract descriptions can contribute to our understanding of the physical world. Particular issues include the role of fictional models in science, how mathematical formalisms can yield physical information, and how we should approach the use of inconsistent models for specific types of systems. It also addresses the role of simulation, specifically the conditions under which simulation can be seen as a technique for measurement, replacing more traditional experimental approaches. Inherent worries about the legitimacy of simulation "knowledge " are also addressed, including an analysis of verification and validation and the role of simulation data in the search for the Higgs boson. In light of the significant role played by simulation in the Large Hadron Collider experiments, it is argued that the traditional distinction between simulation and experiment is no longer applicable in some contexts of modern science. Consequently, a re-evaluation of the way and extent to which simulation delivers empirical knowledge is required. "This is a, lively, stimulating, and important book by one of the main scholars contributing to current topics and debates in our field. It will be a major resource for philosophers of science, their students, scientists interested in examining scientific practice, and the general scientifically literate public. "-Bas van Fraassen, Distinguished Professor of Philosophy, San Francisco State University

Why do some children seem to learn mathematics easily and others slave away at it, learning it only with great effort and apparent pain? Why are some people good at algebra but terrible at geometry? How can people who successfully run a business as adults have been failures at math in school? How come some professional mathematicians suffer terribly when trying to balance a checkbook? And why do school children in the United States perform so dismally in international comparisons? These are the kinds of real questions the editors set out to answer, or at least address, in editing this book on mathematical thinking. Their goal was to seek a diversity of contributors representing multiple viewpoints whose expertise might converge on the answers to these and other pressing and interesting questions regarding this subject.
The chapter authors were asked to focus on their own approach to mathematical thinking, but also to address a common core of issues such as the nature of mathematical thinking, how it is similar to and different from other kinds of thinking, what makes some people or some groups better than others in this subject area, and how mathematical thinking can be assessed and taught. Their work is directed to a diverse audience -- psychologists interested in the nature of mathematical thinking and abilities, computer scientists who want to simulate mathematical thinking, educators involved in teaching and testing mathematical thinking, philosophers who need to understand the qualitative aspects of logical thinking, anthropologists and others interested in how and why mathematical thinking seems to differ in quality across cultures, and laypeople and others who have to think mathematically and want to understand how they are going to accomplish that feat.

This is a reconstruction of Henri Poincare's anti-realist philosophy of mathematics. Although Poincare is recognized as the greatest mathematician of the late 19th century, his contribution to the philosophy of mathematics is not generally highly regarded. Poincare criticized logicism and axiomatic set theory, and he argued that we have mathematical intuitions. Many regard his remarks as idiosyncratic, and based upon a misunderstanding of logic and logicism. This book argues that Poincare's critiques are not based on misunderstanding. Rather, they are grounded in a coherent and attractive foundation of neo-Kantian constructivity.

A History of Mathematics: From Mesopotamia to Modernity covers the evolution of mathematics through time and across the major Eastern and Western civilizations. It begins in Babylon, then describes the trials and tribulations of the Greek mathematicians. The important, and often neglected, influence of both Chinese and Islamic mathematics is covered in detail, placing the description of early Western mathematics in a global context. The book concludes with modern mathematics, covering recent developments such as the advent of the computer, chaos theory, topology, mathematical physics, and the solution of Fermat's Last Theorem. Containing more than 100 illustrations and figures, this text, aimed at advanced undergraduates and postgraduates, addresses the methods and challenges associated with studying the history of mathematics. The reader is introduced to the leading figures in the history of mathematics (including Archimedes, Ptolemy, Qin Jiushao, al-Kashi, al-Khwarizmi, Galileo, Newton, Leibniz, Helmholtz, Hilbert, Alan Turing, and Andrew Wiles) and their fields. An extensive bibliography with cross-references to key texts will provide invaluable resource to students and exercises (with solutions) will stretch the more advanced reader.