‘Another terrific book by Rob Eastaway’ SIMON SINGH ‘A delightfully accessible guide to how to play with numbers’ HANNAH FRY How many cats are there in the world? What's the chance of winning the lottery twice? And just how long does it take to count to a million? Learn how to tackle tricky maths problems with nothing but the back of an envelope, a pencil and some good old-fashioned brain power. Join Rob Eastaway as he takes an entertaining look at how to figure without a calculator. Packed with amusing anecdotes, quizzes, and handy calculation tips for every situation, Maths on the Back of an Envelope is an invaluable introduction to the art of estimation, and a welcome reminder that sometimes our own brain is the best tool we have to deal with numbers.

It is a fact of modern scientific thought that there is an enormous variety of logical systems - such as classical logic, intuitionist logic, temporal logic, and Hoare logic, to name but a few - which have originated in the areas of mathematical logic and computer science. In this book the author presents a systematic study of this rich harvest of logics via Tarski's well-known axiomatization of the notion of logical consequence. New and sometimes unorthodox treatments are given of the underlying principles and construction of many-valued logics, the logic of inexactness, effective logics, and modal logics. Throughout, numerous historical and philosophical remarks illuminate both the development of the subject and show the motivating influences behind its development. Those with a modest acquaintance of modern formal logic will find this to be a readable and not too technical account which will demonstrate the current diversity and profusion of logics. In particular, undergraduate and postgraduate students in mathematics, philosophy, computer science, and artificial intelligence will enjoy this introductory survey of the field.

Rudolf Carnap (1891-1970) and W. V. O Quine (1908-2000) have long been seen as key figures of analytic philosophy who are opposed to each other, due in no small part to their famed debate over the analytic/synthetic distinction. This volume of new essays assembles for the first time a number of scholars of the history of analytic philosophy who see Carnap and Quine as figures largely sympathetic to each other in their philosophical views. The essays acknowledge the differences which exist, but through their emphasis on Carnap and Quine's shared assumption about how philosophy should be done-that philosophy should be complementary to and continuous with the natural and mathematical sciences-our understanding of how they diverge is also deepened. This volume reshapes our understanding not only of Carnap and Quine, but of the history of analytic philosophy generally.

Crispin Wright is widely recognised as one of the most important and influential analytic philosophers of the twentieth and twenty-first centuries. This volume is a collective exploration of the major themes of his work in philosophy of language, philosophical logic, and philosophy of mathematics. It comprises specially written chapters by a group of internationally renowned thinkers, as well as four substantial responses from Wright. In these thematically organized replies, Wright summarizes his life's work and responds to the contributory essays collected in this book. In bringing together such scholarship, the present volume testifies to both the enormous interest in Wright's thought and the continued relevance of Wright's seminal contributions in analytic philosophy for present-day debates;

Cet ouvrage contient les correspondances actives et passives de Jules Houel avec Joseph-Marie De Tilly, Gaston Darboux et Victor-Amedee Le Besgue ainsi qu'une introduction qui se focalise sur la decouverte de l'impossibilite de demontrer le postulat des paralleles d'Euclide et l'apparition des premiers exemples de fonctions continues non derivables. Jules Houel (1823-1886) a occupe une place particuliere dans les mathematiques en France durant la seconde partie du 19eme siecle. Par ses travaux de traduction et ses recensions, il a vivement contribue a la reception de la geometrie non euclidienne de Bolyai et Lobatchevski ainsi qu'aux debats sur les fondements de l'analyse. Il se situe au centre d'un vaste reseau international de correspondances en lien avec son role de redacteur pour le Bulletin des sciences mathematiques et astronomiques.

This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.

This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.

To what extent are the subjects of our thoughts and talk real? This is the question of realism. In this book, Justin Clarke-Doane explores arguments for and against moral realism and mathematical realism, how they interact, and what they can tell us about areas of philosophical interest more generally. He argues that, contrary to widespread belief, our mathematical beliefs have no better claim to being self-evident or provable than our moral beliefs. Nor do our mathematical beliefs have better claim to being empirically justified than our moral beliefs. It is also incorrect that reflection on the genealogy of our moral beliefs establishes a lack of parity between the cases. In general, if one is a moral antirealist on the basis of epistemological considerations, then one ought to be a mathematical antirealist as well. And, yet, Clarke-Doane shows that moral realism and mathematical realism do not stand or fall together - and for a surprising reason. Moral questions, insofar as they are practical, are objective in a sense that mathematical questions are not, and the sense in which they are objective can only be explained by assuming practical anti-realism. One upshot of the discussion is that the concepts of realism and objectivity, which are widely identified, are actually in tension. Another is that the objective questions in the neighborhood of factual areas like logic, modality, grounding, and nature are practical questions too. Practical philosophy should, therefore, take center stage.

In this first modern, critical assessment of the place of mathematics in Berkeley's philosophy and Berkeley's place in the history of mathematics, Douglas M. Jesseph provides a bold reinterpretation of Berkeley's work. Jesseph challenges the prevailing view that Berkeley's mathematical writings are peripheral to his philosophy and argues that mathematics is in fact central to his thought, developing out of his critique of abstraction. Jesseph's argument situates Berkeley's ideas within the larger historical and intellectual context of the Scientific Revolution. Jesseph begins with Berkeley's radical opposition to the received view of mathematics in the philosophy of the late seventeenth and early eighteenth centuries, when mathematics was considered a science of abstractions. Since this view seriously conflicted with Berkeley's critique of abstract ideas, Jesseph contends that he was forced to come up with a nonabstract philosophy of mathematics. Jesseph examines Berkeley's unique treatments of geometry and arithmetic and his famous critique of the calculus in The Analyst. By putting Berkeley's mathematical writings in the perspective of his larger philosophical project and examining their impact on eighteenth-century British mathematics, Jesseph makes a major contribution to philosophy and to the history and philosophy of science.

An exploration of mathematical style through 99 different proofs of the same theorem This book offers a multifaceted perspective on mathematics by demonstrating 99 different proofs of the same theorem. Each chapter solves an otherwise unremarkable equation in distinct historical, formal, and imaginative styles that range from Medieval, Topological, and Doggerel to Chromatic, Electrostatic, and Psychedelic. With a rare blend of humor and scholarly aplomb, Philip Ording weaves these variations into an accessible and wide-ranging narrative on the nature and practice of mathematics. Inspired by the experiments of the Paris-based writing group known as the Oulipo-whose members included Raymond Queneau, Italo Calvino, and Marcel Duchamp-Ording explores new ways to examine the aesthetic possibilities of mathematical activity. 99 Variations on a Proof is a mathematical take on Queneau's Exercises in Style, a collection of 99 retellings of the same story, and it draws unexpected connections to everything from mysticism and technology to architecture and sign language. Through diagrams, found material, and other imagery, Ording illustrates the flexibility and creative potential of mathematics despite its reputation for precision and rigor. Readers will gain not only a bird's-eye view of the discipline and its major branches but also new insights into its historical, philosophical, and cultural nuances. Readers, no matter their level of expertise, will discover in these proofs and accompanying commentary surprising new aspects of the mathematical landscape.

This Element defends mathematical anti-realism against an underappreciated problem with that view-a problem having to do with modal truthmaking. Part I develops mathematical anti-realism, it defends that view against a number of well-known objections, and it raises a less widely discussed objection to anti-realism-an objection based on the fact that (a) mathematical anti-realists need to commit to the truth of certain kinds of modal claims, and (b) it's not clear that the truth of these modal claims is compatible with mathematical anti-realism. Part II considers various strategies that anti-realists might pursue in trying to solve this modal-truth problem with their view, it argues that there's only one viable view that anti-realists can endorse in order to solve the modal-truth problem, and it argues that the view in question-which is here called modal nothingism-is true.

THE INTERNATIONAL BESTSELLER 'An entertaining tour that will change how you see the world' Sean Carroll, author of Something Deeply Hidden Is there a secret formula for improving your life? For making something a viral hit? For deciding how long to stick with your current job, Netflix series, or even relationship? This book is all about the equations that make our world go round. Ten of them, in fact. They are integral to everything from investment banking to betting companies and social media giants. And they can help you to increase your chance of success, guard against financial loss, live more healthily and see through scaremongering. They are known only by mathematicians - until now. With wit and clarity, mathematician David Sumpter shows that it isn't the technical details which make these formulas so successful. It is the way they allow mathematicians to view problems from a different angle - a way of seeing the world that anyone can learn. Empowering and illuminating, The Ten Equations that Rule the World shows how maths really can change your life.

The world around us is saturated with numbers. They are a fundamental pillar of our modern society, and accepted and used with hardly a second thought. But how did this state of affairs come to be? In this book, Leo Corry tells the story behind the idea of number from the early days of the Pythagoreans, up until the turn of the twentieth century. He presents an overview of how numbers were handled and conceived in classical Greek mathematics, in the mathematics of Islam, in European mathematics of the middle ages and the Renaissance, during the scientific revolution, all the way through to the mathematics of the 18th to the early 20th century. Focusing on both foundational debates and practical use numbers, and showing how the story of numbers is intimately linked to that of the idea of equation, this book provides a valuable insight to numbers for undergraduate students, teachers, engineers, professional mathematicians, and anyone with an interest in the history of mathematics.

In these essays Geoffrey Hellman presents a strong case for a healthy pluralism in mathematics and its logics, supporting peaceful coexistence despite what appear to be contradictions between different systems, and positing different frameworks serving different legitimate purposes. The essays refine and extend Hellman's modal-structuralist account of mathematics, developing a height-potentialist view of higher set theory which recognizes indefinite extendability of models and stages at which sets occur. In the first of three new essays written for this volume, Hellman shows how extendability can be deployed to derive the axiom of Infinity and that of Replacement, improving on earlier accounts; he also shows how extendability leads to attractive, novel resolutions of the set-theoretic paradoxes. Other essays explore advantages and limitations of restrictive systems - nominalist, predicativist, and constructivist. Also included are two essays, with Solomon Feferman, on predicative foundations of arithmetic.

This challenging book argues that a new way of speaking of mathematics and describing it emerged at the end of the sixteenth century. Leading mathematicians like Hariot, Stevin, Galileo, and Cavalieri began referring to their field in terms drawn from the exploration accounts of Columbus and Magellan. As enterprising explorers in search of treasures of knowledge, these mathematicians described themselves as sailing the treacherous seas of mathematics, facing shipwreck on the shoals of paradox, and seeking shelter and refuge on the shores of geometrical demonstrations. Mathematics, formerly praised for its logic, clarity, and inescapable truths, was for them a hazardous voyage in inhospitable geometrical lands.
Significantly, many of the same practitioners who promoted the vision of mathematics as heroic exploration also played central roles in developing the most important mathematical innovation of the period--the infinitesimal methods. This was no coincidence: the heroic tales of exploration and discovery helped shape a new form of mathematical practice, complete with new questions, new acceptable answers, and new standards of evidence. It was this new vision of mathematics as a grand adventure that allowed for the development of the new techniques that led to the Newtonian calculus.
In demonstrating this, the book moves from real voyages to imaginary ones, from the coasts of the Canadian Arctic to the tropical forests of Guyana, and from the inner structure of matter to the intricacies of the mathematical continuum. Throughout, a common rhetoric and imagery of exploration and discovery run like a thread through these diverse elements and bind them together.

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

Is mathematics a highly sophisticated intellectual game in which the adepts display their skill by tackling invented problems, or are mathematicians engaged in acts of discovery as they explore an independent realm of mathematical reality? Why does this seemingly abstract discipline provide the key to unlocking the deep secrets of the physical universe? How one answers these questions will significantly influence metaphysical thinking about reality.
This book is intended to fill a gap between popular 'wonders of mathematics' books and the technical writings of the philosophers of mathematics. The chapters are written by some of the world's finest mathematicians, mathematical physicists and philosophers of mathematics, each giving their perspective on this fascinating debate. Every chapter is followed by a short response from another member of the author team, reinforcing the main theme and raising further questions.
Accessible to anyone interested in what mathematics really means, and useful for mathematicians and philosophers of science at all levels, Meaning in Mathematics offers deep new insights into a subject many people take for granted.

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculi to prove a wide range of metatheoretical results. The presentation is elementary and self-contained, with all technical details both formally stated and also informally explained. Numerous proofs are worked through to demonstrate methods of proving important results, such as the cut-elimination theorem, completeness, decidability, and interpolation. Other proofs are presented with portions left as exercises for readers, allowing them to practice techniques of sequent calculus. After a brief introduction to classical propositional logic, the text explores three variants of sequent calculus and their features and applications. The remaining chapters then show how sequent calculi can be extended, modified, and applied to non-classical logics, including modal, intuitionistic, substructural, and many-valued logics. Sequents and Trees is suitable for graduate and advanced undergraduate students in logic taking courses on proof theory and its application to non-classical logics. It will also be of interest to researchers in computer science and philosophers.

Der Bericht uber das vielleicht grosste mathematische Genie des 20. Jahrhunderts liest sich wie ein spannender Roman."

What do pure mathematicians do, and why do they do it? Looking beyond the conventional answers--for the sake of truth, beauty, and practical applications--this book offers an eclectic panorama of the lives and values and hopes and fears of mathematicians in the twenty-first century, assembling material from a startlingly diverse assortment of scholarly, journalistic, and pop culture sources.

Drawing on his personal experiences and obsessions as well as the thoughts and opinions of mathematicians from Archimedes and Omar Khayyam to such contemporary giants as Alexander Grothendieck and Robert Langlands, Michael Harris reveals the charisma and romance of mathematics as well as its darker side. In this portrait of mathematics as a community united around a set of common intellectual, ethical, and existential challenges, he touches on a wide variety of questions, such as: Are mathematicians to blame for the 2008 financial crisis? How can we talk about the ideas we were born too soon to understand? And how should you react if you are asked to explain number theory at a dinner party?

Disarmingly candid, relentlessly intelligent, and richly entertaining, "Mathematics without Apologies" takes readers on an unapologetic guided tour of the mathematical life, from the philosophy and sociology of mathematics to its reflections in film and popular music, with detours through the mathematical and mystical traditions of Russia, India, medieval Islam, the Bronx, and beyond."

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.

Reason's Nearest Kin is a critical examination of the most exciting period there has been in the philosophical study of the properties of the natural numbers, from the 1880s to the 1930s. Reassessing the brilliant innovations of Frege, Russell, Wittgenstein, and others, which transformed philosophy as well as our understanding of mathematics, Michael Potter places arithmetic at the interface between experience, language, thought, and the world.

Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From its modern start in the mid-20th century, paraconsistency was intended for use in mathematics, providing a rigorous framework for describing abstract objects and structures where some contradictions are allowed, without collapse into incoherence. Over the past decades, this initiative has evolved into an area of non-classical mathematics known as inconsistent or paraconsistent mathematics. This Element provides a selective introductory survey of this research program, distinguishing between `moderate' and `radical' approaches. The emphasis is on philosophical issues and future challenges.

Jeffrey Barrett presents the most comprehensive study yet of a problem that has puzzled physicists and philosophers since the 1930s. The standard theory of quantum mechanics is in one sense the most successful physical theory ever, predicting the behaviour of the basic constituents of all physical things; no other theory has ever made such accurate empirical predictions. However, if one tries to understand the theory as providing a complete and accurate framework for the description of the behaviour of all physical interactions, it becomes evident that the theory is ambiguous, or even logically inconsistent. The most notable attempt to formulate the theory so as to deal with this problem, the quantum measurement problem, was initiated by Hugh Everett III in the 1950s. Barrett gives a careful and challenging examination and evaluation of the work of Everett and those who have followed him. His informal approach, minimizing technicality, will make the book accessible and illuminating for philosophers and physicists alike. Anyone interested in the interpretation of quantum mechanics should read it.

This book is an original-the first-ever treatment of the mathematics of Luck. Setting out from the principle that luck can be measured by the gap between reasonable expectation and eventual realization, the book develops step-by-step a mathematical theory that accommodates the entire range of our pre-systematic understanding of the way in which luck functions in human affairs. In so moving from explanatory exposition to mathematical treatment, the book provides a clear and accessible account of the way in which luck assessment enters into the calculations of rational decision theory.