This volume contains ten papers that have been collected by the Canadian Society for History and Philosophy of Mathematics/Societe canadienne d'histoire et de philosophie des mathematiques. It showcases rigorously-reviewed contemporary scholarship on an interesting variety of topics in the history and philosophy of mathematics from the seventeenth century to the modern era. The volume begins with an exposition of the life and work of Professor Boleslaw Sobocinski. It then moves on to cover a collection of topics about twentieth-century philosophy of mathematics, including Fred Sommers's creation of Traditional Formal Logic and Alexander Grothendieck's work as a starting point for discussing analogies between commutative algebra and algebraic geometry. Continuing the focus on the philosophy of mathematics, the next selections discuss the mathematization of biology and address the study of numerical cognition. The volume then moves to discussing various aspects of mathematics education, including Charles Davies's early book on the teaching of mathematics and the use of Gaussian Lemniscates in the classroom. A collection of papers on the history of mathematics in the nineteenth century closes out the volume, presenting a discussion of Gauss's "Allgemeine Theorie des Erdmagnetismus" and a comparison of the geometric works of Desargues and La Hire. Written by leading scholars in the field, these papers are accessible not only to mathematicians and students of the history and philosophy of mathematics, but also to anyone with a general interest in mathematics.

Guicciardini presents a comprehensive survey of both the research and teaching of Newtonian calculus, the calculus of "fluxions", over the period between 1700 and 1810. Although Newton was one of the inventors of calculus, the developments in Britain remained separate from the rest of Europe for over a century. While it is usually maintained that after Newton there was a period of decline in British mathematics, the author's research demonstrates that the methods used by researchers of the period yielded considerable success in laying the foundations and investigating the applications of the calculus. Even when "decline" set in, in mid century, the foundations of the reform were being laid, which were to change the direction and nature of the mathematics community. The book considers the importance of Isaac Newton, Roger Cotes, Brook Taylor, James Stirling, Abraham de Moivre, Colin Maclaurin, Thomas Bayes, John Landen and Edward Waring. This will be a useful book for students and researchers in the history of science, philosophers of science and undergraduates studying the history of mathematics.

Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.

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.

Gottfried Wilhelm Leibniz (1646-1716) was a man of extraordinary intellectual creativity who lived an exceptionally rich and varied intellectual life in troubled times. More than anything else, he was a man who wanted to improve the life of his fellow human beings through the advancement of all the sciences and the establishment of a stable and just political order. In this Very Short Introduction Maria Rosa Antognazza outlines the central features of Leibniz's philosophy in the context of his overarching intellectual vision and aspirations. Against the backdrop of Leibniz's encompassing scientific ambitions, she introduces the fundamental principles of Leibniz's thought, as well as his theory of truth and theory of knowledge. Exploring Leibniz's contributions to logic, mathematics, physics, and metaphysics, she considers how his theories sat alongside his concerns with politics, diplomacy, and a broad range of practical reforms: juridical, economic, administrative, technological, medical, and ecclesiastical. Discussing Leinbniz's theories of possible worlds, she concludes by looking at what is ultimately real in this actual world that we experience, the good and evil there is in it, and Leibniz's response to the problem of evil through his theodicy. ABOUT THE SERIES: The Very Short Introductions series from Oxford University Press contains hundreds of titles in almost every subject area. These pocket-sized books are the perfect way to get ahead in a new subject quickly. Our expert authors combine facts, analysis, perspective, new ideas, and enthusiasm to make interesting and challenging topics highly readable.

The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been proposed, each a consistent theory permitting the development of a significant portion of mathematics.

This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in each. John Burgess considers every proposed fix, each with its distinctive philosophical advantages and drawbacks. These systems range from those barely able to reconstruct the rudiments of arithmetic to those that go well beyond the generally accepted axioms of set theory into the speculative realm of large cardinals. For the most part, Burgess finds that attempts to fix Frege do less than advertised to revive his system. This book will be the benchmark against which future analyses of the revival of Frege will be measured.

Some combinations of attitudes-of beliefs, credences, intentions, preferences, hopes, fears, and so on-do not fit together right: they are incoherent. A natural idea is that there are requirements of "structural rationality" that forbid us from being in these incoherent states. Yet a number of surprisingly difficult challenges arise for this idea. These challenges have recently led many philosophers to attempt to minimize or eliminate structural rationality, arguing that it is just a "shadow" of "substantive rationality"-that is, correctly responding to one's reasons. In Fitting Things Together, Alex Worsnip pushes back against this trend-defending the view that structural rationality is a genuine kind of rationality, distinct from and irreducible to substantive rationality, and tackling the most important challenges for this view. In so doing, he gives an original positive theory of the nature of coherence and structural rationality that explains how the diverse range of instances of incoherence can be unified under a general account, and how facts about coherence are normatively significant. He also shows how a failure to focus on coherence requirements as a distinctive phenomenon and distinguish them adequately from requirements of substantive rationality has led to confusion and mistakes in several substantive debates in epistemology and ethics. Taken as a whole, Fitting Things Together provides the first sustained defense of the view that structural rationality is a genuine, autonomous, unified, and normatively significant phenomenon.

Building on the seminal work of Kit Fine in the 1980s, Leon Horsten here develops a new theory of arbitrary entities. He connects this theory to issues and debates in metaphysics, logic, and contemporary philosophy of mathematics, investigating the relation between specific and arbitrary objects and between specific and arbitrary systems of objects. His book shows how this innovative theory is highly applicable to problems in the philosophy of arithmetic, and explores in particular how arbitrary objects can engage with the nineteenth-century concept of variable mathematical quantities, how they are relevant for debates around mathematical structuralism, and how they can help our understanding of the concept of random variables in statistics. This fully worked through theory will open up new avenues within philosophy of mathematics, bringing in the work of other philosophers such as Saul Kripke, and providing new insights into the development of the foundations of mathematics from the eighteenth century to the present day.

This Element aims to present an outline of mathematics and its history, with particular emphasis on events that shook up its philosophy. It ranges from the discovery of irrational numbers in ancient Greece to the nineteenth- and twentieth-century discoveries on the nature of infinity and proof. Recurring themes are intuition and logic, meaning and existence, and the discrete and the continuous. These themes have evolved under the influence of new mathematical discoveries and the story of their evolution is, to a large extent, the story of philosophy of mathematics.

Der Mathematiker Vito Volterra (1860 1940) war nicht nur ein grosser Mathematiker, sondern auch ein guter Wissenschaftsorganisator. Uber Jahrzehnte galt er als der bedeutendste Reprasentant der Wissenschaft in Italien. Die Autoren rekonstruieren seine wichtigsten Beitrage zur Wissenschaft und zur Entwicklung der wissenschaftlichen Institutionen in Italien und der Welt: von der Entwicklung der Funktionalanalysis uber die Untersuchung der Populationsdynamik bis zu seiner Lehrtatigkeit und der Grundung des staatlichen italienischen Forschungsrates."

How can we identify events due to intelligent causes and distinguish them from events due to undirected natural causes? If we lack a causal theory how can we determine whether an intelligent cause acted? This book presents a reliable method for detecting intelligent causes: the design inference. The design inference uncovers intelligent causes by isolating the key trademark of intelligent causes: specified events of small probability. Design inferences can be found in a range of scientific pursuits from forensic science to research into the origins of life to the search for extraterrestrial intelligence. This challenging and provocative book will be read with particular interest by philosophers of science and religion, other philosophers concerned with epistemology and logic, probability and complexity theorists, and statisticians.

Fifty years ago when Jacques Hadamard set out to explore how mathematicians invent new ideas, he considered the creative experiences of some of the greatest thinkers of his generation, such as George Polya, Claude Levi-Strauss, and Albert Einstein. It appeared that inspiration could strike anytime, particularly after an individual had worked hard on a problem for days and then turned attention to another activity. In exploring this phenomenon, Hadamard produced one of the most famous and cogent cases for the existence of unconscious mental processes in mathematical invention and other forms of creativity. Written before the explosion of research in computers and cognitive science, his book, originally titled "The Psychology of Invention in the Mathematical Field," remains an important tool for exploring the increasingly complex problem of mental life.

The roots of creativity for Hadamard lie not in consciousness, but in the long unconscious work of incubation, and in the unconscious aesthetic selection of ideas that thereby pass into consciousness. His discussion of this process comprises a wide range of topics, including the use of mental images or symbols, visualized or auditory words, "meaningless" words, logic, and intuition. Among the important documents collected is a letter from Albert Einstein analyzing his own mechanism of thought."

People who learn to solve problems ‘on the job’ often have to do it differently from people who learn in theory. Practical knowledge and theoretical knowledge is different in some ways but similar in other ways - or else one would end up with wrong solutions to the problems. Mathematics is also like this. People who learn to calculate, for example, because they are involved in commerce frequently have a more practical way of doing mathematics than the way we are taught at school. This book is about the differences between what we call practical knowledge of mathematics - that is street mathematics - and mathematics learned in school, which is not learned in practice. The authors look at the differences between these two ways of solving mathematical problems and discuss their advantages and disadvantages. They also discuss ways of trying to put theory and practice together in mathematics teaching.

Mathematical and philosophical thought about continuity has changed considerably over the ages. Aristotle insisted that continuous substances are not composed of points, and that they can only be divided into parts potentially. There is something viscous about the continuous. It is a unified whole. This is in stark contrast with the prevailing contemporary account, which takes a continuum to be composed of an uncountably infinite set of points. This vlume presents a collective study of key ideas and debates within this history. The opening chapters focus on the ancient world, covering the pre-Socratics, Plato, Aristotle, and Alexander. The treatment of the medieval period focuses on a (relatively) recently discovered manuscript, by Bradwardine, and its relation to medieval views before, during, and after Bradwardine's time. In the so-called early modern period, mathematicians developed the calculus and, with that, the rise of infinitesimal techniques, thus transforming the notion of continuity. The main figures treated here include Galileo, Cavalieri, Leibniz, and Kant. In the early party of the nineteenth century, Bolzano was one of the first important mathematicians and philosophers to insist that continua are composed of points, and he made a heroic attempt to come to grips with the underlying issues concerning the infinite. The two figures most responsible for the contemporary orthodoxy regarding continuity are Cantor and Dedekind. Each is treated in an article, investigating their precursors and influences in both mathematics and philosophy. A new chapter then provides a lucid analysis of the work of the mathematician Paul Du Bois-Reymond, to argue for a constructive account of continuity, in opposition to the dominant Dedekind-Cantor account. This leads to consideration of the contributions of Weyl, Brouwer, and Peirce, who once dubbed the notion of continuity "the master-key which . . . unlocks the arcana of philosophy". And we see that later in the twentieth century Whitehead presented a point-free, or gunky, account of continuity, showing how to recover points as a kind of "extensive abstraction". The final four chapters each focus on a more or less contemporary take on continuity that is outside the Dedekind-Cantor hegemony: a predicative approach, accounts that do not take continua to be composed of points, constructive approaches, and non-Archimedean accounts that make essential use of infinitesimals.

Thomas Reid was an intellectual polymath interested in all aspects of Enlightenment thought. Paul Wood reconstructs Reid's career as a mathematician and natural philosopher and shows how he grappled with Sir Isaac Newton's scientific legacy.

Essays on Existence and Essence presents a series of writings-including several previously unpublished-by Bob Hale on the topics of ontology and modality. The essays develop and consolidate a number of themes central to his work and to contemporary metaphysics, logic, and philosophy of language. They display Hale's innovative approach to some of the most fundamental issues in philosophy, in dialogue (and, in some cases, in collaboration) with other leading philosophers. The notion of a definition is examined as it applies both to words-verbal definitions-and to things-real definitions-and the relations between these are brought out in order to address problems in the metaphysics of necessity and the semantics and epistemology of modality. Hale argues for an essentialist theory of the source of necessity and our knowledge of it, and provides rigorous and inventive responses to problems such a theory might face. This theoretical framework is applied to the recently influential truthmaking approach to semantics and logic, developing an exact truthmaker account of universal quantification and modal statements. Other topics covered include the Fregean theory of ontological categories, the status of second-order logic, the metaphysics of numbers, and the nature of analytic propositions. The volume opens with a substantial introduction by Kit Fine, providing a critical examination of Hale's philosophy, and closes with a complete bibliography of Hale's writings.

In our hyper-modern world, we are bombarded with more facts, stats and information than ever before. So, what can we grasp hold of to make sense of it all? Oliver Johnson reveals how mathematical thinking can help us understand the myriad data all around us. From the exponential growth of viruses to social media filter-bubbles; from share price fluctuations to the cost of living; from the datafication of our sports pages to quantifying climate change. Not to mention the things much closer to home: ever wondered when the best time is to leave a party? What are the chances of rain ruining your barbecue this weekend? How about which queue is the best to join in the supermarket? Journeying through three sections - Randomness, Structure, and Information - we meet a host of brilliant minds, such Alan Turing, Enrico Fermi and Claude Shannon, and are equipped with the tools to cut through the noise all around us - from the Law of Large Numbers to Entropy to Brownian Motion. Lucid, surprising, and endlessly entertaining, Numbercrunch equips you with a definitive mathematician's toolkit to make sense of your world.

Artists and scientists view the world in quite different ways. Nevertheless, they are united in a search for hidden order beneath surface appearances. The quest for eternal geometrical designs is also seen in the sacred mathematical patterns created by the world's great religions. Tibetan monks fashion chalk mandalas representing the emergence of order in the universe. Moslem architects wrap their buildings in elaborate abstract tessellating designs. Celestial Tapestry places mathematics within a vibrant cultural and historical context. Threads are woven together telling of surprising influences that pass between the Arts and Mathematics. The story involves intriguing characters: the soldier who laid the foundations for fractals and computer art while recovering in hospital after suffering serious injury in the First World War; the mathematician imprisoned for bigamy whose books had a huge influence on twentieth century art; the pioneer clockmaker who suffered from leprosy; the Victorian housewife who amazed mathematicians with her intuition for higher-dimensional space.

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.

In 1913, a young unschooled Indian clerk wrote a letter to G H Hardy, begging the pre-eminent English mathematician's opinion on several ideas he had about numbers. Realising the letter was the work of a genius, Hardy arranged for Srinivasa Ramanujan to come to England. Thus began one of the most improbable and productive collaborations ever chronicled.

With a passion for rich and evocative detail, Robert Kanigel takes us from the temples and slums of Madras to the courts and chapels of Cambridge University, where the devout Hindu Ramanujan, 'the Prince of Intuition,' tested his brilliant theories alongside the sophisticated and eccentric Hardy, 'the Apostle of Proof'. In time, Ramanujan's creative intensity took its toll: he died at the age of thirty-two and left behind a magical and inspired legacy that is still being plumbed for its secrets today.
 

When mathematician Hermann Weyl decided to write a book on philosophy, he faced what he referred to as "conflicts of conscience"--the objective nature of science, he felt, did not mesh easily with the incredulous, uncertain nature of philosophy. Yet the two disciplines were already intertwined. In "Philosophy of Mathematics and Natural Science," Weyl examines how advances in philosophy were led by scientific discoveries--the more humankind understood about the physical world, the more curious we became. The book is divided into two parts, one on mathematics and the other on the physical sciences. Drawing on work by Descartes, Galileo, Hume, Kant, Leibniz, and Newton, Weyl provides readers with a guide to understanding science through the lens of philosophy. This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics.

Not all scientific explanations work by describing causal connections between events or the world's overall causal structure. Some mathematical proofs explain why the theorems being proved hold. In this book, Marc Lange proposes philosophical accounts of many kinds of non-causal explanations in science and mathematics. These topics have been unjustly neglected in the philosophy of science and mathematics. One important kind of non-causal scientific explanation is termed explanation by constraint. These explanations work by providing information about what makes certain facts especially inevitable - more necessary than the ordinary laws of nature connecting causes to their effects. Facts explained in this way transcend the hurly-burly of cause and effect. Many physicists have regarded the laws of kinematics, the great conservation laws, the coordinate transformations, and the parallelogram of forces as having explanations by constraint. This book presents an original account of explanations by constraint, concentrating on a variety of examples from classical physics and special relativity. This book also offers original accounts of several other varieties of non-causal scientific explanation. Dimensional explanations work by showing how some law of nature arises merely from the dimensional relations among the quantities involved. Really statistical explanations include explanations that appeal to regression toward the mean and other canonical manifestations of chance. Lange provides an original account of what makes certain mathematical proofs but not others explain what they prove. Mathematical explanation connects to a host of other important mathematical ideas, including coincidences in mathematics, the significance of giving multiple proofs of the same result, and natural properties in mathematics. Introducing many examples drawn from actual science and mathematics, with extended discussions of examples from Lagrange, Desargues, Thomson, Sylvester, Maxwell, Rayleigh, Einstein, and Feynman, Because Without Cause's proposals and examples should set the agenda for future work on non-causal explanation.

Biographie des ungarischen Mathematikers Janos Bolyai (1802-1860), der etwa gleichzeitig mit dem russischen Mathematiker Nikolai Lobatschewski und unabhangig von ihm die nichteuklidische Revolution eingeleitet hat. Diese erbrachte den Nachweis, dass die euklidische Geometrie keine Denknotwendigkeit ist, wie Kant irrtumlicherweise annahm. Das Verstandnis fur die kuhnen Gedankengange verbreitete sich allerdings erst in der zweiten Halfte des 19. Jahrhunderts durch die Arbeiten von Riemann, Beltrami, Klein und Poincare. Die nichteuklidische Revolution war eine der Grundlagen fur die Entwicklung der Physik im 20. Jahrhundert und fur Einsteins Erkenntnis, dass der uns umgebende reale Raum gekrummt ist. Tibor Weszely schildert das wechselvolle Leben des Offiziers der K.u.K.-Armee, der krank und vereinsamt starb. Bolyai hat sich auch intensiv mit den komplexen Zahlen und mit Zahlentheorie befasst, ebenso auch mit philosophischen und sozialen Fragen ( Allheillehre ) sowie mit Logik und Grammatik.

Substance and the Fundamentality of the Familiar explicates and defends a novel neo-Aristotelian account of the structure of material objects. While there have been numerous treatments of properties, laws, causation, and modality in the neo-Aristotelian metaphysics literature, this book is one of the first full-length treatments of wholes and their parts. Another aim of the book is to further develop the newly revived area concerning the question of fundamental mereology, the question of whether wholes are metaphysically prior to their parts or vice versa. Inman develops a fundamental mereology with a grounding-based conception of the structure and unity of substances at its core, what he calls substantial priority, one that distinctively allows for the fundamentality of ordinary, medium-sized composite objects. He offers both empirical and philosophical considerations against the view that the parts of every composite object are metaphysically prior, in particular the view that ascribes ontological pride of place to the smallest microphysical parts of composite objects, which currently dominates debates in metaphysics, philosophy of science, and philosophy of mind. Ultimately, he demonstrates that substantial priority is well-motivated in virtue of its offering a unified solution to a host of metaphysical problems involving material objects.