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.

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.

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

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.

The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science introduces readers to the Bayesian approach to science: teasing out the link between probability and knowledge. The author strives to make this book accessible to a very broad audience, suitable for professionals, students, and academics, as well as the enthusiastic amateur scientist/mathematician. This book also shows how Bayesianism sheds new light on nearly all areas of knowledge, from philosophy to mathematics, science and engineering, but also law, politics and everyday decision-making. Bayesian thinking is an important topic for research, which has seen dramatic progress in the recent years, and has a significant role to play in the understanding and development of AI and Machine Learning, among many other things. This book seeks to act as a tool for proselytising the benefits and limits of Bayesianism to a wider public. Features Presents the Bayesian approach as a unifying scientific method for a wide range of topics Suitable for a broad audience, including professionals, students, and academics Provides a more accessible, philosophical introduction to the subject that is offered elsewhere

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.

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 contextualised analysis. In this work the author 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.

PYTHAGORAS (fl. 500 B.C.E.), the first man to call himself a philosopher, was both a brilliant mathematician and spiritual teacher. This anthology is the largest collection of Pythagorean writings ever to appear in the English language. It contains the four ancient biographies of Pythagoras and over twenty-five Pythagorean and Neopythagorean writings from the classical and Hellenistic periods. The Pythagorean ethical and political tractates are especially interesting, for they are based on the premise that the universal principles of Harmony, Proportion, and Justice govern the physical cosmos, and these writings show how individuals and societies alike attain their peak of excellence when informed by these same principles. Indexed, illustrated, with appendices and an extensive bibliography, this work also contains an introductory essay by David Fideler.

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.

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

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz's theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion. The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz's grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.

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.

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical Society in Zurich in 1917. This marked the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic. Hilbert also used the opportunity to bring Paul Bernays back to Goettingen as his main collaborator in foundational studies in the years to come. The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations.

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.

This work provides descriptions, explanations and examples of the Bayesian approach to statistics, demonstrating the utility of Bayesian methods for analyzing real-world problems in the health sciences. The work considers the individual components of Bayesian analysis.;College or university bookstores may order five or more copies at a special student price, available on request from Marcel Dekker, Inc.

Offering a bold new vision on the history of modern logic, Lukas M. Verburgt and Matteo Cosci focus on the lasting impact of Aristotle's syllogism between the 1820s and 1930s. For over two millennia, deductive logic was the syllogism and syllogism was the yardstick of sound human reasoning. During the 19th century, this hegemony fell apart and logicians, including Boole, Frege and Peirce, took deductive logic far beyond its Aristotelian borders. However, contrary to common wisdom, reflections on syllogism were also instrumental to the creation of new logical developments, such as first-order logic and early set theory. This volume presents the period under discussion as one of both tradition and innovation, both continuity and discontinuity. Modern logic broke away from the syllogistic tradition, but without Aristotle's syllogism, modern logic would not have been born. A vital follow up to The Aftermath of Syllogism, this book traces the longue duree history of syllogism from Richard Whately's revival of formal logic in the 1820s through the work of David Hilbert and the Goettingen school up to the 1930s. Bringing together a group of major international experts, it sheds crucial new light on the emergence of modern logic and the roots of analytic philosophy in the 19th and early 20th centuries.

Quadratic equations, Pythagoras' theorem, imaginary numbers, and pi - you may remember studying these at school, but did anyone ever explain why? Never fear - bestselling science writer, and your new favourite maths teacher, Michael Brooks, is here to help. In The Maths That Made Us, Brooks reminds us of the wonders of numbers: how they enabled explorers to travel far across the seas and astronomers to map the heavens; how they won wars and halted the HIV epidemic; how they are responsible for the design of your home and almost everything in it, down to the smartphone in your pocket. His clear explanations of the maths that built our world, along with stories about where it came from and how it shaped human history, will engage and delight. From ancient Egyptian priests to the Apollo astronauts, and Babylonian tax collectors to juggling robots, join Brooks and his extraordinarily eccentric cast of characters in discovering how maths made us who we are today.

Geometry for the Artist is based on a course of the same name which started in the 1980s at Maharishi International University. It is aimed both at artists willing to dive deeper into geometry and at mathematicians open to learning about applications of mathematics in art. The book includes topics such as perspective, symmetry, topology, fractals, curves, surfaces, and more. A key part of the book's approach is the analysis of art from a geometric point of view-looking at examples of how artists use each new topic. In addition, exercises encourage students to experiment in their own work with the new ideas presented in each chapter. This book is an exceptional resource for students in a general-education mathematics course or teacher-education geometry course, and since many assignments involve writing about art, this text is ideal for a writing-intensive course. Moreover, this book will be enjoyed by anyone with an interest in connections between mathematics and art. Features Abundant examples of artwork displayed in full color. Suitable as a textbook for a general-education mathematics course or teacher-education geometry course. Designed to be enjoyed by both artists and mathematicians.

Features Provides a uniquely historical perspective on the mathematical underpinnings of a comprehensive list of games Suitable for a broad audience of differing mathematical levels. Anyone with a passion for games, game theory, and mathematics will enjoy this book, whether they be students, academics, or game enthusiasts Covers a wide selection of topics at a level that can be appreciated on a historical, recreational, and mathematical level.

* Examines the history and philosophy of the mathematical sciences in a cultural context, tracing their evolution from ancient times up to the twentieth century
* 176 articles contributed by authors of 18 nationalities
* Chronological table of main events in the development of mathematics
* Fully integrated index of people, events and topics
* Annotated bibliographies of both classic and contemporary sources
* Unique coverage of Ancient and non-Western traditions of mathematics



eBook available with sample pages: 0203014588