How is that when scientists need some piece of mathematics through which to frame their theory, it is there to hand? What has been called 'the unreasonable effectiveness of mathematics' sets a challenge for philosophers. Some have responded to that challenge by arguing that mathematics is essentially anthropocentric in character, whereas others have pointed to the range of structures that mathematics offers. Otavio Bueno and Steven French offer a middle way, which focuses on the moves that have to be made in both the mathematics and the relevant physics in order to bring the two into appropriate relation. This relation can be captured via the inferential conception of the applicability of mathematics, which is formulated in terms of immersion, inference, and interpretation. In particular, the roles of idealisations and of surplus structure in science and mathematics respectively are brought to the fore and captured via an approach to models and theories that emphasize the partiality of the available information: the partial structures approach. The discussion as a whole is grounded in a number of case studies drawn from the history of quantum physics, and extended to contest recent claims that the explanatory role of certain mathematical structures in scientific practice supports a realist attitude towards them. The overall conclusion is that the effectiveness of mathematics does not seem unreasonable at all once close attention is paid to how it is actually applied in practice.

Includes several classic essays from the first edition, a representative selection of the most influential work of the past twenty years, a substantial introduction, and an extended bibliography. Originally published by Prentice-Hall in 1964.

"The Mathematician's Brain" poses a provocative question about the world's most brilliant yet eccentric mathematical minds: were they brilliant because of their eccentricities or in spite of them? In this thought-provoking and entertaining book, David Ruelle, the well-known mathematical physicist who helped create chaos theory, gives us a rare insider's account of the celebrated mathematicians he has known-their quirks, oddities, personal tragedies, bad behavior, descents into madness, tragic ends, and the sublime, inexpressible beauty of their most breathtaking mathematical discoveries.

Consider the case of British mathematician Alan Turing. Credited with cracking the German Enigma code during World War II and conceiving of the modern computer, he was convicted of "gross indecency" for a homosexual affair and died in 1954 after eating a cyanide-laced apple--his death was ruled a suicide, though rumors of assassination still linger. Ruelle holds nothing back in his revealing and deeply personal reflections on Turing and other fellow mathematicians, including Alexander Grothendieck, Rene Thom, Bernhard Riemann, and Felix Klein. But this book is more than a mathematical tell-all. Each chapter examines an important mathematical idea and the visionary minds behind it. Ruelle meaningfully explores the philosophical issues raised by each, offering insights into the truly unique and creative ways mathematicians think and showing how the mathematical setting is most favorable for asking philosophical questions about meaning, beauty, and the nature of reality.

"The Mathematician's Brain" takes you inside the world--and heads--of mathematicians. It's a journey you won't soon forget."

In line with the emerging field of philosophy of mathematical practice, this book pushes the philosophy of mathematics away from questions about the reality and truth of mathematical entities and statements and toward a focus on what mathematicians actually do--and how that evolves and changes over time. How do new mathematical entities come to be? What internal, natural, cognitive, and social constraints shape mathematical cultures? How do mathematical signs form and reform their meanings? How can we model the cognitive processes at play in mathematical evolution? And how does mathematics tie together ideas, reality, and applications? Roi Wagner uniquely combines philosophical, historical, and cognitive studies to paint a fully rounded image of mathematics not as an absolute ideal but as a human endeavor that takes shape in specific social and institutional contexts. The book builds on ancient, medieval, and modern case studies to confront philosophical reconstructions and cutting-edge cognitive theories. It focuses on the contingent semiotic and interpretive dimensions of mathematical practice, rather than on mathematics' claim to universal or fundamental truths, in order to explore not only what mathematics is, but also what it could be. Along the way, Wagner challenges conventional views that mathematical signs represent fixed, ideal entities; that mathematical cognition is a rigid transfer of inferences between formal domains; and that mathematics' exceptional consensus is due to the subject's underlying reality. The result is a revisionist account of mathematical philosophy that will interest mathematicians, philosophers, and historians of science alike.

Mathematics and logic have been central topics of concern since the dawn of philosophy. Since logic is the study of correct reasoning, it is a fundamental branch of epistemology and a priority in any philosophical system. Philosophers have focused on mathematics as a case study for general philosophical issues and for its role in overall knowledge- gathering. Today, philosophy of mathematics and logic remain central disciplines in contemporary philosophy, as evidenced by the regular appearance of articles on these topics in the best mainstream philosophical journals; in fact, the last decade has seen an explosion of scholarly work in these areas.
This volume covers these disciplines in a comprehensive and accessible manner, giving the reader an overview of the major problems, positions, and battle lines. The 26 contributed chapters are by established experts in the field, and their articles contain both exposition and criticism as well as substantial development of their own positions. The essays, which are substantially self-contained, serve both to introduce the reader to the subject and to engage in it at its frontiers. Certain major positions are represented by two chapters--one supportive and one critical.
The Oxford Handbook of Philosophy of Math and Logic is a ground-breaking reference like no other in its field. It is a central resource to those wishing to learn about the philosophy of mathematics and the philosophy of logic, or some aspect thereof, and to those who actively engage in the discipline, from advanced undergraduates to professional philosophers, mathematicians, and historians.

Why bother to praise mathematics when you claim, as Alain Badiou does, that philosophy is first and foremost a metaphysics of happiness, or else it s not worth an hour of trouble? What possible relationship can there be between mathematics and happiness? That is precisely the issue at stake in this dialogue, which serves as a very accessible introduction to what mathematics is and an exploration of the crucial influence it has always exerted on the greatest philosophers. Far from the thankless, pointless exercises they are often thought to be, mathematics and logic are indispensable guides to ridding ourselves of dominant opinions and making possible an access to truths, or to a human experience of the utmost value. That is why mathematics may well be the shortest path to the true life, which, when it exists, is characterized by an incomparable happiness.

The mysterious beauty, harmony, and consistency of mathematics once caused philosopher Hilary Putnam to term its existence a "miracle." Now, advances in the understanding of physics suggest that the foundations of mathematics are encompassed by the laws of nature, an idea that sheds new light on both mathematics and physics.

The philosophical relationship between mathematics and the natural sciences is the subject of "Converging Realities," the latest work by one of the leading thinkers on the subject. Based on a simple but powerful idea, it shows that the axioms needed for the mathematics used in physics can also generate practically every field of contemporary pure mathematics. It also provides a foundation for current investigations in string theory and other areas of physics.

This approach to the nature of mathematics is not really new, but it became overshadowed by formalism near the end of nineteenth century. The debate turned eventually into an exclusive dialogue between mathematicians and philosophers, as if physics and nature did not exist. This unsatisfactory situation was enforced by the uncertain standing of physical reality in quantum mechanics.

The recent advances in the interpretation of quantum mechanics (as described in "Quantum Philosophy," also by Omnes) have now reconciled the foundations of physics with objectivity and common sense. In Converging Realities, Roland Omnes is among the first scholars to consider the connection of natural laws with mathematics."

In this third installment of his classic 'Foundations' trilogy, Michel Serres takes on the history of geometry and mathematics. Even more broadly, Geometry is the beginnings of things and also how these beginnings have shaped how we continue to think philosophically and critically. Serres rejects a traditional history of mathematics which unfolds in a linear manner, and argues for the need to delve into the past of maths and identify a series of ruptures which can help shed light on how this discipline has developed and how, in turn, the way we think has been shaped and formed. This meticulous and lyrical translation marks the first ever English translation of this key text in the history of ideas.

A stimulating intellectual history of Ptolemy's philosophy and his conception of a world in which mathematics reigns supreme The Greco-Roman mathematician Claudius Ptolemy is one of the most significant figures in the history of science. He is remembered today for his astronomy, but his philosophy is almost entirely lost to history. This groundbreaking book is the first to reconstruct Ptolemy's general philosophical system-including his metaphysics, epistemology, and ethics-and to explore its relationship to astronomy, harmonics, element theory, astrology, cosmology, psychology, and theology. In this stimulating intellectual history, Jacqueline Feke uncovers references to a complex and sophisticated philosophical agenda scattered among Ptolemy's technical studies in the physical and mathematical sciences. She shows how he developed a philosophy that was radical and even subversive, appropriating ideas and turning them against the very philosophers from whom he drew influence. Feke reveals how Ptolemy's unique system is at once a critique of prevailing philosophical trends and a conception of the world in which mathematics reigns supreme. A compelling work of scholarship, Ptolemy's Philosophy demonstrates how Ptolemy situated mathematics at the very foundation of all philosophy-theoretical and practical-and advanced the mathematical way of life as the true path to human perfection.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that, conversely, concepts and methods originating from randomness enrich computability theory. The book covers topics such as lowness and highness properties, Kolmogorov complexity, betting strategies and higher computability. Both the basics and recent research results are desribed, providing a very readable introduction to the exciting interface of computability and randomness for graduates and researchers in computability theory, theoretical computer science, and measure theory.

During the Victorian era, industrial and economic growth led to a phenomenal rise in productivity and invention. That spirit of creativity and ingenuity was reflected in the massive expansion in scope and complexity of many scientific disciplines during this time, with subjects evolving rapidly and the creation of many new disciplines. The subject of mathematics was no exception and many of the advances made by mathematicians during the Victorian period are still familiar today; matrices, vectors, Boolean algebra, histograms, and standard deviation were just some of the innovations pioneered by these mathematicians.
This book constitutes perhaps the first general survey of the mathematics of the Victorian period. It assembles in a single source research on the history of Victorian mathematics that would otherwise be out of the reach of the general reader. It charts the growth and institutional development of mathematics as a profession through the course of the 19th century in England, Scotland, Ireland, and across the British Empire. It then focuses on developments in specific mathematical areas, with chapters ranging from developments in pure mathematical topics (such as geometry, algebra, and logic) to Victorian work in the applied side of the subject (including statistics, calculating machines, and astronomy). Along the way, we encounter a host of mathematical scholars, some very well known (such as Charles Babbage, James Clerk Maxwell, Florence Nightingale, and Lewis Carroll), others largely forgotten, but who all contributed to the development of Victorian mathematics.

The traditional debate among philosophers of mathematics is whether there is an external mathematical reality, something out there to be discovered, or whether mathematics is the product of the human mind. This provocative book, now available in a revised and expanded paperback edition, goes beyond foundationalist questions to offer what has been called a "postmodern" assessment of the philosophy of mathematics--one that addresses issues of theoretical importance in terms of mathematical experience. By bringing together essays of leading philosophers, mathematicians, logicians, and computer scientists, Thomas Tymoczko reveals an evolving effort to account for the nature of mathematics in relation to other human activities. These accounts include such topics as the history of mathematics as a field of study, predictions about how computers will influence the future organization of mathematics, and what processes a proof undergoes before it reaches publishable form.

This expanded edition now contains essays by Penelope Maddy, Michael D. Resnik, and William P. Thurston that address the nature of mathematical proofs. The editor has provided a new afterword and a supplemental bibliography of recent work.

There is a need for integrated thinking about causality, probability and mechanisms in scientific methodology. Causality and probability are long-established central concepts in the sciences, with a corresponding philosophical literature examining their problems. On the other hand, the philosophical literature examining mechanisms is not long-established, and there is no clear idea of how mechanisms relate to causality and probability. But we need some idea if we are to understand causal inference in the sciences: a panoply of disciplines, ranging from epidemiology to biology, from econometrics to physics, routinely make use of probability, statistics, theory and mechanisms to infer causal relationships.
These disciplines have developed very different methods, where causality and probability often seem to have different understandings, and where the mechanisms involved often look very different. This variegated situation raises the question of whether the different sciences are really using different concepts, or whether progress in understanding the tools of causal inference in some sciences can lead to progress in other sciences. The book tackles these questions as well as others concerning the use of causality in the sciences.

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.

"Casti Tours offers the most spectacular vistas of modern applied mathematics."— Nature

Mathematical modeling is about rules—the rules of reality. Reality Rules explores the syntax and semantics of the language in which these rules are written, the language of mathematics. Characterized by the clarity and vision typical of the author's previous books, Reality Rules is a window onto the competing dialects of this language—in the form of mathematical models of real-world phenomena—that researchers use today to frame their views of reality.

Moving from the irreducible basics of modeling to the upper reaches of scientific and philosophical speculation, Volumes 1 and 2, The Fundamentals and The Frontier, are ideal complements, equally matched in difficulty, yet unique in their coverage of issues central to the contemporary modeling of complex systems.

Engagingly written and handsomely illustrated, Reality Rules is a fascinating journey into the conceptual underpinnings of reality itself, one that examines the major themes in dynamical system theory and modeling and the issues related to mathematical models in the broader contexts of science and philosophy. Far-reaching and far-sighted, Reality Rules is destined to shape the insight and work of students, researchers, and scholars in mathematics, science, and the social sciences for generations to come.

Of related interest . . .

ALTERNATE REALITIES

Mathematical Models of Nature and Man

John L. Casti

A thoroughly modern account of the theory and practice of mathematical modeling with a treatment focusing on system-theoretic concepts such as complexity, self-organization, adaptation, bifurcation, resilience, surprise and uncertainty, and the mathematical structures needed to employ these in a formal system.

1989 0-471-61842-X 493pp.

Many philosophers these days consider themselves naturalists, but it's doubtful any two of them intend the same position by the term. In this book, Penelope Maddy describes and practices a particularly austere form of naturalism called "Second Philosophy." Without a definitive criterion for what counts as "science" and what doesn't, Second Philosophy can't be specified directly - "trust only the methods of science " or some such thing - so Maddy proceeds instead by illustrating the behaviors of an idealized inquirer she calls the "Second Philosopher." This Second Philosopher begins from perceptual common sense and progresses from there to systematic observation, active experimentation, theory formation and testing, working all the while to assess, correct and improve her methods as she goes. Second Philosophy is then the result of the Second Philosopher's investigations.
Maddy delineates the Second Philosopher's approach by tracing her reactions to various familiar skeptical and transcendental views (Descartes, Kant, Carnap, late Putnam, van Fraassen), comparing her methods to those of other self-described naturalists (especially Quine), and examining a prominent contemporary debate (between disquotationalists and correspondence theorists in the theory of truth) to extract a properly second-philosophical line of thought. She then undertakes to practise Second Philosophy in her reflections on the ground of logical truth, the methodology, ontology and epistemology of mathematics, and the general prospects for metaphysics naturalized.

Die Ursprunge mathematischen Denkens, d.h. die Bildung abstrakter Begriffe und die Herstellung von Beziehungen zwischen ihnen, liegen nach heutigem Wissen in den Hochkulturen Mesopotamiens und Agyptens im 4. Jahrtausend v. Chr. Hier beginnt der Autor seine Zeitreise durch die Mathematik und verfolgt ihre Geschichte bis in ausgehende 20. Jahrhundert. Mathematische Ideen, Methoden und Ergebnisse sowie die sie tragenden Menschen werden ebenso pragnant und lebendig geschildert, wie die Kulturen und das Umfeld, in denen Mathematik entstand und sich in Wechselwirkung mit der Gesellschaft entwickelte.

Ein spannendes Lesevergnugen fur Mathematiker und alle an Mathematik und seiner Geschichte als Teil unserer Kultur Interessierte

Der erste Band umfasst die Zeit von den Ursprungen bis zur Zeit der wissenschaftlichen Revolution des 17. Jahrhunderts.

Der zweite Band umfasst die Zeit von Euler bis zur Gegenwart."

In Cognition, Content, and the A Priori, Robert Hanna works out a unified contemporary Kantian theory of rational human cognition and knowledge. Along the way, he provides accounts of (i) intentionality and its contents, including non-conceptual content and conceptual content, (ii) sense perception and perceptual knowledge, including perceptual self-knowledge, (iii) the analytic-synthetic distinction, (iv) the nature of logic, and (v) a priori truth and knowledge in mathematics, logic, and philosophy. This book is specifically intended to reach out to two very different audiences: contemporary analytic philosophers of mind and knowledge on the one hand, and contemporary Kantian philosophers or Kant-scholars on the other. At the same time, it is also riding the crest of a wave of exciting and even revolutionary emerging new trends and new work in the philosophy of mind and epistemology, with a special concentration on the philosophy of perception. What is revolutionary in this new wave are its strong emphases on action, on cognitive phenomenology, on disjunctivist direct realism, on embodiment, and on sense perception as a primitive and proto-rational capacity for cognizing the world. Cognition, Content, and the A Priori makes a fundamental contribution to this philosophical revolution by giving it a specifically contemporary Kantian twist, and by pushing these new lines of investigation radically further.

Der Band enthalt zum ersten Mal in deutscher Sprache grundlegende Themen der chinesischen und indischen Mathematik, die den Nahrboden fur spatere Fragestellungen bereiten. Die nicht zu uberschatzende Rolle, die islamische Gelehrte bei der Entwicklung der Algebra und der Verbreitung des Ziffernsystems gespielt haben, wird in exemplarischen Episoden veranschaulicht. Unterhaltsam wird geschildert, wie Fibonacci die orientalische Aufgabenkultur nach Italien bringt. Zahlreiche Beispiele demonstrieren das neue kaufmannische Rechnen, dessen Methoden sich in ganz Europa verbreiten. In Deutschland erwachst eine neue Generation von Rechenmeistern, die mit ihren erstmals im Druck verbreiteten Schriften eine ungeheure Popularisierung des Rechnens bewirken. UEberraschende Einblicke in die Historie bieten die Kapitel uber die Vermittlung mathematischen Wissens in Kloestern und Universitaten. Das Buch ist eine Fundgrube fur historisch Interessierte; zahlreiche Aufgaben bieten vergnuglichen Stoff fur Unterricht, Vorlesung und Selbststudium.

This volume brings together many of Terence Horgan's essays on paradoxes: Newcomb's problem, the Monty Hall problem, the two-envelope paradox, the sorites paradox, and the Sleeping Beauty problem. Newcomb's problem arises because the ordinary concept of practical rationality constitutively includes normative standards that can sometimes come into direct conflict with one another. The Monty Hall problem reveals that sometimes the higher-order fact of one's having reliably received pertinent new first-order information constitutes stronger pertinent new information than does the new first-order information itself. The two-envelope paradox reveals that epistemic-probability contexts are weakly hyper-intensional; that therefore, non-zero epistemic probabilities sometimes accrue to epistemic possibilities that are not metaphysical possibilities; that therefore, the available acts in a given decision problem sometimes can simultaneously possess several different kinds of non-standard expected utility that rank the acts incompatibly. The sorites paradox reveals that a certain kind of logical incoherence is inherent to vagueness, and that therefore, ontological vagueness is impossible. The Sleeping Beauty problem reveals that some questions of probability are properly answered using a generalized variant of standard conditionalization that is applicable to essentially indexical self-locational possibilities, and deploys "preliminary" probabilities of such possibilities that are not prior probabilities. The volume also includes three new essays: one on Newcomb's problem, one on the Sleeping Beauty problem, and an essay on epistemic probability that articulates and motivates a number of novel claims about epistemic probability that Horgan has come to espouse in the course of his writings on paradoxes. A common theme unifying these essays is that philosophically interesting paradoxes typically resist either easy solutions or solutions that are formally/mathematically highly technical. Another unifying theme is that such paradoxes often have deep-sometimes disturbing-philosophical morals.

Dieser Band fuhrt 16 Aufsatze von Herbert Breger zusammen, die um Leibniz' Arbeiten zur Mathematik und Physik und ihre philosophischen Voraussetzungen kreisen. Drei interessante und ungewoehnliche Aspekte stehen hierbei im Vordergrund: Kontinuum, Analysis und Informales. Leibniz' Kontinuum und seine Analysis sind gerade wegen ihres Unterschieds zur heutigen Mathematik interessant. Anhand zahlreicher Beispiele wird ferner die Frage nach dem Verhaltnis zwischen der mathematischen Rationalitat und der Kunst gestellt und die nach den engen Beziehungen zwischen Mathematik und Philosophie bei Leibniz eroertert. Es wird gezeigt, dass der Leibniz zugeschriebene Brief zum Prinzip der kleinsten Wirkung, der Anlass zu einem Streit zwischen Maupertuis, Samuel Koenig und Voltaire wurde, eine Falschung war. Das Buch erscheint im Leibniz-Jahr 2016, in dem auch der X. Leibniz-Kongress stattfindet.

Aus dem Vorwort: "Die Ergebnisse, Methoden und Begriffe, die die mathematische Wissenschaft dem Forscher ISSAI SCHUR verdankt, haben ihre nachhaltige Wirkung bis in die Gegenwart hinein erwiesen und werden sie unverandert beibehalten. Immer wieder wird auf Unter suchungen von SCHUR zuruckgegriffen, werden Erkenntnisse von ihm benutzt oder fortgefuhrt und werden Vermutungen von ihm bestatigt... Die Besonderheit des mathematischen Schaffens von SCHUR hat einst MAX PLANCK, als Sekretar der physikalisch-mathematischen Klasse der Preussischen Akademie der Wissenschaften zu Berlin, gut gekennzeichnet. In seiner Erwiderung auf die Antrittsrede von SCHUR bei dessen Aufnahme als ordentliches Mitglied der Akademie am 29. Juni 1922 bezeugte er, dass SCHUR "wie nur wenige Mathematiker die grosse Abelsche Kunst ube, die Probleme richtig zu formulieren, passend umzuformen, geschickt zu teilen und dann einzeln zu bewaltigen"."Band II enthalt 34 von Issai Schur im Zeitraum von 1912 bis 1924 verfasste Artikel.

Dieses Buch bietet einen historisch orientierten Einstieg in die Algorithmik, also die Lehre von den Algorithmen, in Mathematik, Informatik und daruber hinaus. Besondere Merkmale und Zielsetzungen sind: Elementaritat und Anschaulichkeit, die Berucksichtigung der historischen Entwicklung, Motivation der Begriffe und Verfahren anhand konkreter, aussagekraftiger Beispiele unter Einbezug moderner Werkzeuge (Computeralgebrasysteme, Internet). Als Zusatzmedien werden computer- und internetspezifische Interaktions- und Visualisierungsmoeglichkeiten (kostenlos) zur Verfugung gestellt. Das Werk wendet sich an Studierende und Lehrende an Schulen und Hochschulen sowie an Nichtspezialisten, die an den Themen "Computer/Algorithmen/Programmierung" einschliesslich ihrer historischen und geisteswissenschaftlichen Dimension interessiert sind.

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.