Two features of mathematics stand out: its menagerie of seemingly eternal objects (numbers, spaces, patterns, functions, categories, morphisms, graphs, and so on), and the hieroglyphics of special notations, signs, symbols, and diagrams associated with them. The author challenges the widespread belief in the extra-human origins of these objects and the understanding of mathematics as either a purely mental activity about them or a formal game of manipulating symbols. Instead, he argues that mathematics is a vast and unique man-made imagination machine controlled by writing.
"Mathematics as Sign" addresses both aspects--mental and linguistic--of this machine. The opening essay, "Toward a Semiotics of Mathematics" (long acknowledged as a seminal contribution to its field), sets out the author's underlying model. According to this model, "doing" mathematics constitutes a kind of waking dream or thought experiment in which a proxy of the self is propelled around imagined worlds that are conjured into intersubjective being through signs.
Other essays explore the status of these signs and the nature of mathematical objects, how mathematical ideograms and diagrams differ from each other and from written words, the probable fate of the real number continuum and calculus in the digital era, the manner in which Platonic and Aristotelean metaphysics are enshrined in the contemporary mathematical infinitude of endless counting, and the possibility of creating a new conception of the sequence of whole numbers based on what the author calls non-Euclidean counting.
Reprising and going beyond the critique of number in "Ad Infinitum," the essays in this volume offer an accessible insight into Rotman's project, one that has been called "one of the most original and important recent contributions to the philosophy of mathematics."

The legendary Renaissance math duel that ushered in the modern age of algebra The Secret Formula tells the story of two Renaissance mathematicians whose jealousies, intrigues, and contentious debates led to the discovery of a formula for the solution of the cubic equation. Niccolo Tartaglia was a talented and ambitious teacher who possessed a secret formula-the key to unlocking a seemingly unsolvable, two-thousand-year-old mathematical problem. He wrote it down in the form of a poem to prevent other mathematicians from stealing it. Gerolamo Cardano was a physician, gifted scholar, and notorious gambler who would not hesitate to use flattery and even trickery to learn Tartaglia's secret. Set against the backdrop of sixteenth-century Italy, The Secret Formula provides new and compelling insights into the peculiarities of Renaissance mathematics while bringing a turbulent and culturally vibrant age to life. It was an era when mathematicians challenged each other in intellectual duels held outdoors before enthusiastic crowds. Success not only enhanced the winner's reputation, but could result in prize money and professional acclaim. After hearing of Tartaglia's spectacular victory in one such contest in Venice, Cardano invited him to Milan, determined to obtain his secret by whatever means necessary. Cardano's intrigues paid off. In 1545, he was the first to publish a general solution of the cubic equation. Tartaglia, eager to take his revenge by establishing his superiority as the most brilliant mathematician of the age, challenged Cardano to the ultimate mathematical duel. A lively and compelling account of genius, betrayal, and all-too-human failings, The Secret Formula reveals the epic rivalry behind one of the fundamental ideas of modern algebra.

In the third volume in the Rutgers Lectures in Philosophy series, distinguished philosopher Robert Stalnaker here offers a defense of an ontology of propositions, and of some logical resources for representing them. He offers an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic as an appropriate framework for regimented languages that are constructed to represent any of our scientific and philosophical commitments. His book adopts a self-consciously neo-Quinean methodology, and argues that the theory that is developed helps to motivate and clarify Quine's naturalistic metaphysical picture.

Michael G. Titelbaum presents a new Bayesian framework for modeling rational degrees of belief, called the Certainty-Loss Framework. Subjective Bayesianism is epistemologists' standard theory of how individuals should change their degrees of belief over time. But despite the theory's power, it is widely recognized to fail for situations agents face every day-cases in which agents forget information, or in which they assign degrees of belief to self-locating claims. Quitting Certainties argues that these failures stem from a common source: the inability of Conditionalization (Bayesianism's traditional updating rule) to model claims' going from certainty at an earlier time to less-than-certainty later on. It then presents a new Bayesian updating framework that accurately represents rational requirements on agents who undergo certainty loss. Titelbaum develops this new framework from the ground up, assuming little technical background on the part of his reader. He interprets Bayesian theories as formal models of rational requirements, leading him to discuss both the elements that go into a formal model and the general principles that link formal systems to norms. By reinterpreting Bayesian methodology and altering the theory's updating rules, Titelbaum is able to respond to a host of challenges to Bayesianism both old and new. These responses lead in turn to deeper questions about commitment, consistency, and the nature of information. Quitting Certainties presents the first systematic, comprehensive Bayesian framework unifying the treatment of memory loss and context-sensitivity. It develops this framework, motivates it, compares it to alternatives, then applies it to cases in epistemology, decision theory, the theory of identity, and the philosophy of quantum mechanics.

This volume contains six new and fifteen previously published essays -- plus a new introduction -- by Storrs McCall. Some of the essays were written in collaboration with E. J. Lowe of Durham University. The essays discuss controversial topics in logic, action theory, determinism and indeterminism, and the nature of human choice and decision. Some construct a modern up-to-date version of Aristotle's bouleusis, practical deliberation. This process of practical deliberation is shown to be indeterministic but highly controlled and the antithesis of chance. Others deal with the concept of branching four-dimensional space-time, explain non-local influences in quantum mechanics, or reconcile God's omniscience with human free will. The eponymous first essay contains the proof of a fact that in 1931 Kurt Godel had claimed to be unprovable, namely that the set of arithmetic truths forms a consistent system."

Change, Choice and Inference unifies lively and significant strands of research in logic, philosophy, economics and artificial intelligence.

These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,

Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century. The Adventure of Reason is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert's program, constructivity, Wittgenstein, Goedel); mathematics and phenomenology (Weyl, Becker, Mahnke); nominalism (Quine, Tarski); semantics (Tarski, Carnap, Neurath). Mancosu exploits extensive untapped archival sources to make available a wealth of new material that deepens in significant ways our understanding of these fascinating areas of modern intellectual history. At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of mathematics, the nature of finitist intuition, the viability of alternative definitions of logical consequence, and the extent to which phenomenology can hope to account for the exact sciences.

This is a concise introductory textbook for a one-semester (40-class) course in the history and philosophy of mathematics. It is written for mathemat ics majors, philosophy students, history of science students, and (future) secondary school mathematics teachers. The only prerequisite is a solid command of precalculus mathematics. On the one hand, this book is designed to help mathematics majors ac quire a philosophical and cultural understanding of their subject by means of doing actual mathematical problems from different eras. On the other hand, it is designed to help philosophy, history, and education students come to a deeper understanding of the mathematical side of culture by means of writing short essays. The way I myself teach the material, stu dents are given a choice between mathematical assignments, and more his torical or philosophical assignments. (Some sample assignments and tests are found in an appendix to this book. ) This book differs from standard textbooks in several ways. First, it is shorter, and thus more accessible to students who have trouble coping with vast amounts of reading. Second, there are many detailed explanations of the important mathematical procedures actually used by famous mathe maticians, giving more mathematically talented students a greater oppor tunity to learn the history and philosophy by way of problem solving.

Simone Weil: philosopher, political activist, mystic - and sister to André, one of the most influential mathematicians of the twentieth century. These two extraordinary siblings formed an obsession for Karen Olsson, who studied mathematics at Harvard, only to turn to writing as a vocation.

When Olsson got hold of the 1940 letters between the siblings, she found they shared a curiosity about the inception of creative thought - that flash of insight - that Olsson experienced as both a maths student, and later, novelist.

Following this thread of connections, The Weil Conjectures explores the lives of Simone and André, the lore and allure of mathematics, and its significance in Olsson's own life.

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.

Mary Leng offers a defense of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the claims of our best empirical theories are (at least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focussed on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. Leng, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized.

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.

This Element shows that Plato keeps a clear distinction between mathematical and metaphysical realism and the knife he uses to slice the difference is method. The philosopher's dialectical method requires that we tether the truth of hypotheses to existing metaphysical objects. The mathematician's hypothetical method, by contrast, takes hypotheses as if they were first principles, so no metaphysical account of their truth is needed. Thus, we come to Plato's methodological as-if realism: in mathematics, we treat our hypotheses as if they were first principles, and, consequently, our objects as if they existed, and we do this for the purpose of solving problems. Taking the road suggested by Plato's Republic, this Element shows that methodological commitments to mathematical objects are made in light of mathematical practice; foundational considerations; and, mathematical applicability. This title is also available as Open Access on Cambridge Core.

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Godel's platonism, up to the the current debate on Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem.

To Infinity and Beyond explores the idea of infinity in mathematics and art. Eli Maor examines the role of infinity, as well as its cultural impact on the arts and sciences. He evokes the profound intellectual impact the infinite has exercised on the human mind--from the "horror infiniti" of the Greeks to the works of M. C. Escher; from the ornamental designs of the Moslems, to the sage Giordano Bruno, whose belief in an infinite universe led to his death at the hands of the Inquisition. But above all, the book describes the mathematician's fascination with infinity--a fascination mingled with puzzlement.

This fifth volume of A History of Arabic Sciences and Mathematics is complemented by four preceding volumes which focused on the main chapters of classical mathematics: infinitesimal geometry, theory of conics and its applications, spherical geometry, mathematical astronomy, etc. This book includes seven main works of Ibn al-Haytham (Alhazen) and of two of his predecessors, Thabit ibn Qurra and al-Sijzi: The circle, its transformations and its properties; Analysis and synthesis: the founding of analytical art; A new mathematical discipline: the Knowns; The geometrisation of place; Analysis and synthesis: examples of the geometry of triangles; Axiomatic method and invention: Thabit ibn Qurra; The idea of an Ars Inveniendi: al-Sijzi. Including extensive commentary from one of the world's foremost authorities on the subject, this fundamental text is essential reading for historians and mathematicians at the most advanced levels of research.

This book follows the development of classical mathematics and the relation between work done in the Arab and Islamic worlds and that undertaken by the likes of Descartes and Fermat. 'Early modern,' mathematics is a term widely used to refer to the mathematics which developed in the West during the sixteenth and seventeenth century. For many historians and philosophers this is the watershed which marks a radical departure from 'classical mathematics,' to more modern mathematics; heralding the arrival of algebra, geometrical algebra, and the mathematics of the continuous. In this book, Roshdi Rashed demonstrates that 'early modern,' mathematics is actually far more composite than previously assumed, with each branch having different traceable origins which span the millennium. Going back to the beginning of these parts, the aim of this book is to identify the concepts and practices of key figures in their development, thereby presenting a fuller reality of these mathematics. This book will be of interest to students and scholars specialising in Islamic science and mathematics, as well as to those with an interest in the more general history of science and mathematics and the transmission of ideas and culture.

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes' set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science.

Longlisted for the BSHS Hughes Prize 2021 A New Year's Present from a Mathematician is an exciting book dedicated to two questions: What is it that mathematicians do? And who gets to be called a 'mathematician' and why? This book seeks to answer these questions through a series of stories ranging from the beginning of modern mathematics through to the 20th century, but not in a usual, chronological manner. The author weaves her story around major questions concerning nature of mathematics, and links mathematicians by the substance of their ideas and the historical and personal context in which they were developed. Ideal as a gift for anyone with an interest in mathematics, this book gives a powerful insight into mathematical concepts in an easy-to-read-and-digest manner, without trivializing their nature. The attention given to engaging examples, framed within a poetic narrative structure, means that this book can be enjoyed by almost anyone, regardless of their level of mathematical education.

The infinite No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other concept stands in greater need of clarification than that of the infinite. David Hilbert This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world renowned researchers in the fields of mathematics, physics, cosmology, philosophy, and theology offer a rich intellectual exchange among various current viewpoints, rather than displaying a static picture of accepted views on infinity. The book starts with a historical examination of the transformation of infinity from a philosophical and theological study to one dominated by mathematics. It then offers technical discussions on the understanding of mathematical infinity. Following this, the book considers the perspectives of physics and cosmology: Can infinity be found in the real universe? Finally, the book returns to questions of philosophical and theological aspects of infinity."

The ancient Greeks played a fundamental role in the history of mathematics and their ideas were reused and developed in subsequent periods all the way down to the scientific revolution and beyond. In this, the first complete history for a century. Reviel Netz offers a panoramic view of the rise and influence of Greek mathematics and its significance in world history. He explores the Near Eastern antecedents and the social and intellectual developments underlying the subject's beginnings in Greece in the fifth century BCE. He leads the reader through the proofs and arguments of key figures like Archytas, Euclid and Archimedes, and considers the totality of the Greek mathematical achievement which also includes, in addition to pure mathematics, such applied fields as optics, music, mechanics and, above all, astronomy. This is the story not only of a major historical development, but of some of the finest mathematics ever created.

From WW2 code-breaker to Artificial Intelligence - a fascinating account of the remarkable Alan Turing.

Alan Turing's 1936 paper On Computable Numbers was a landmark of twentieth-century thought. It not only provided the principle of the post-war computer, but also gave an entirely new approach to the philosophy of the mind.

Influenced by his crucial codebreaking work during the war, and by practical pioneering of the first electronic computers, Turing argued that all the operations of the mind could be performed by computers. His thesis is the cornerstone of modern Artificial Intelligence.

Andrew Hodges gives a fresh analysis of Turing's work, relating it to his extraordinary life.

In this book, thirteen promising young researchers write on what they take to be the right philosophical account of mathematics and discuss where the philosophy of mathematics ought to be going. New trends are revealed, such as an increasing attention to mathematical practice, a reassessment of the canon, and inspiration from philosophical logic.