L. E. J. Brouwer, the founder of mathematical intuitionism, believed that mathematics and its objects must be humanly graspable. He initiated a program rebuilding modern mathematics according to that principle. This book introduces the reader to the mathematical core of intuitionism - from elementary number theory through to Brouwer's uniform continuity theorem - and to the two central topics of 'formalized intuitionism': formal intuitionistic logic, and formal systems for intuitionistic analysis. Building on that, the book proposes a systematic, philosophical foundation for intuitionism that weaves together doctrines about human grasp, mathematical objects and mathematical truth.

This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context. By thoroughly examining the writings of the first Arabic logicians, al-Farabi, Avicenna and Averroes, the author analyzes their respective theories, discusses their relationship to the syllogistics of Aristotle and his followers, and measures their influence on later logical systems. Beginning with an introduction to the writings of the most prominent Arabic logicians, the author scrutinizes these works to determine their categorical logic, as well as their modal and hypothetical logics. Where most other studies written on this subject focus on the Arabic logicians' epistemology, metaphysics, and theology, this volume takes a unique approach by focusing on the actual technical aspects and features of their logics. The author then moves on to examine the original texts as closely as possible and employs the symbolism of modern propositional, predicate, and modal logics, rendering the arguments of each logician clearly and precisely while clarifying the theories themselves in order to determine the differences between the Arabic logicians' systems and those of Aristotle. By providing a detailed examination of theories that are still not very well-known in Western countries, the author is able to assess the improvements that can be found in the Arabic writings, and to situate Arabic logic within the breadth of the history of logic. This unique study will appeal mainly to historians of logic, logicians, and philosophers who seek a better understanding of the Arabic tradition. It also will be of interest to modern logicians who wish to delve into the historical aspects and progression of their discipline. Furthermore, this book will serve as a valuable resource for graduate students who wish to complement their general knowledge of Arabic culture, logic, and sciences.

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled 'The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,' reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas of Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,' discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincare, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal.

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.

This book gathers the most essential results, including recent ones, on linear-quadratic optimal control problems, which represent an important aspect of stochastic control. It presents results for two-player differential games and mean-field optimal control problems in the context of finite and infinite horizon problems, and discusses a number of new and interesting issues. Further, the book identifies, for the first time, the interconnections between the existence of open-loop and closed-loop Nash equilibria, solvability of the optimality system, and solvability of the associated Riccati equation, and also explores the open-loop solvability of mean-filed linear-quadratic optimal control problems. Although the content is largely self-contained, readers should have a basic grasp of linear algebra, functional analysis and stochastic ordinary differential equations. The book is mainly intended for senior undergraduate and graduate students majoring in applied mathematics who are interested in stochastic control theory. However, it will also appeal to researchers in other related areas, such as engineering, management, finance/economics and the social sciences.

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.

Alone in a cube that's glowing in the darkness, X is content within its little universe of infinite thought. This solitude is disturbed by the appearance of Y, who insists on exposing X to the richness of the physical world. Each begins to long for what the other has, luring them into a strange loop. In this play for two variables, Marcus du Sautoy and Victoria Gould use mathematics and theatre to navigate the furthest reaches of our world. Through a series of surreal episodes, X and Y tackle some of life's greatest questions: where did the universe come from, does time have an end, do we have free will? I is a Strange Loop was first performed by the authors at the Barbican Pit, London, in March 2019. 'I is a Strange Loop is a play that plays with ideas, concepts, abstractions and relationships that are, usually, hidden from the sight of ordinary mortals, articulating the ineffable, incarnating the incorporeal, revealing the inconceivable. It makes us feel we know a great deal more than we do. It is also very funny, utterly compelling and marvellously human.' Simon McBurney

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.

To many outsiders, mathematicians appear to think like computers, grimly grinding away with a strict formal logic and moving methodically--even algorithmically--from one black-and-white deduction to another. Yet mathematicians often describe their most important breakthroughs as creative, intuitive responses to ambiguity, contradiction, and paradox. A unique examination of this less-familiar aspect of mathematics, "How Mathematicians Think" reveals that mathematics is a profoundly creative activity and not just a body of formalized rules and results.

Nonlogical qualities, William Byers shows, play an essential role in mathematics. Ambiguities, contradictions, and paradoxes can arise when ideas developed in different contexts come into contact. Uncertainties and conflicts do not impede but rather spur the development of mathematics. Creativity often means bringing apparently incompatible perspectives together as complementary aspects of a new, more subtle theory. The secret of mathematics is not to be found only in its logical structure.

The creative dimensions of mathematical work have great implications for our notions of mathematical and scientific truth, and "How Mathematicians Think" provides a novel approach to many fundamental questions. Is mathematics objectively true? Is it discovered or invented? And is there such a thing as a "final" scientific theory?

Ultimately, "How Mathematicians Think" shows that the nature of mathematical thinking can teach us a great deal about the human condition itself.

Experience mathematics--and develop problem-solving skills that will benefit you throughout your life--with THE NATURE OF MATHEMATICS and its accompanying online learning tools. Karl Smith introduces you to proven problem-solving techniques and shows you how to use these techniques to solve unfamiliar problems. You’ll also find coverage of interesting historical topics, and practical applications to settings and situations that you encounter in your day-to-day world, such as finance (amortization, installment buying, annuities) and voting. With this book’s guidance, you’ll both understand mathematical concepts and master the techniques.

Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inherently important as a tool of mathematical logic, it also enjoys connections to and applications in diverse branches of mathematics, including algebra, number theory and analysis. Despite this, traditional introductions to model theory assume a graduate-level background of the reader. In this innovative textbook, Jonathan Kirby brings model theory to an undergraduate audience. The highlights of basic model theory are illustrated through examples from specific structures familiar from undergraduate mathematics, paying particular attention to definable sets throughout. With numerous exercises of varying difficulty, this is an accessible introduction to model theory and its place in mathematics.

This broad and insightful book presents current scholarship in important subfields of philosophy of science and addresses an interdisciplinary and multidisciplinary readership. It groups carefully selected contributions into the four fields of I) philosophy of physics, II) philosophy of life sciences, III) philosophy of social sciences and values in science, and IV) philosophy of mathematics and formal modeling. Readers will discover research papers by Paul Hoyningen-Huene, Keizo Matsubara, Kian Salimkhani, Andrea Reichenberger, Anne Sophie Meincke, Javier Suarez, Roger Deulofeu, Ludger Jansen, Peter Hucklenbroich, Martin Carrier, Elizaveta Kostrova, Lara Huber, Jens Harbecke, Antonio Piccolomini d'Aragona and Axel Gelfert. This collection fosters dialogue between philosophers of science working in different subfields, and brings readers the finest and latest work across the breadth of the field, illustrating that contemporary philosophy of science has successfully broadened its scope of reflection. It will interest and inspire a wide audience of philosophers as well as scholars of the natural sciences, social sciences and the humanities. The volume shares selected contributions from the prestigious second triennial conference of the German Society for Philosophy of Science/ Gesellschaft fur Wissenschaftsphilosophie (GWP.2016, March 8, 2016 - March 11, 2016).

The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the Element considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained logical possibilities, and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives.

This book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms, i.e., what the readers "see" and how they make use of what they see. Thus in comparison with some other books on the philosophy (or methodology) of science, which employ a syntactic approach, the author's approach is model theoretic or structural. Properly understood, it extends the current art and science of mathematical modeling to all fields of knowledge. The link between structure and algorithms is mathematics. But viewing "mathematics" as such a link is not exactly what readers most likely learned in school; thus, the task of this book is to explain what "mathematics" should actually mean. Chapter 1, an introductory essay, presents a general analysis of structures, algorithms and how they are to be linked. Several examples from the natural and social sciences, and from the history of knowledge, are provided in Chapters 2-6. In turn, Chapters 7 and 8 extend the analysis to include language and the mind. Structures are what the readers see. And, as abstract cultural objects, they can almost always be seen in many different ways. But certain structures, such as natural numbers and the basic theory of grammar, seem to have an absolute character. Any theory of knowledge grounded in human culture must explain how this is possible. The author's analysis of this cultural invariance, combining insights from evolutionary theory and neuroscience, is presented in the book's closing chapter. The book will be of interest to researchers, students and those outside academia who seek a deeper understanding of knowledge in our present-day society.

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics.

Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems. Those tools are a lens through which we view metaphysical problems, and the same problems will look different when we change the lens. In this book, Theodore Sider identifies how the shift from modal to "postmodal" conceptual tools in recent years has affected the metaphysics of science and mathematics. He highlights, for instance, how the increased consideration of concepts of ground, essence, and fundamentality has transformed the debate over structuralism in many ways. Sider then examines three structuralist positions through a postmodal lens. First, nomic essentialism, which says that scientific properties are secondary and lawlike relationships among them are primary. Second, structuralism about individuals, a general position of which mathematical structuralism and structural realism are instances, which says that scientific and mathematical objects are secondary and the pattern of relations among them is primary. And third, comparativism about quantities, which says that particular values of scientific quantities, such as having exactly 1000g mass, are secondary, and quantitative relations, such as being-twice-as-massive-as, are primary. Sider concludes these discussions by considering the meta-question of when theories are equivalent and how that impacts the debate over structuralism.

New to the Fourth Edition Reorganised and revised chapter seven and thirteen New exercises and examples Expanded, updated references Further historical material on figures besides Galois: Omar Khayyam, Vandermonde, Ruffini, and Abel A new final chapter discussing other directions in which Galois Theory has developed: the inverse Galois problem, differential Galois theory, and a (very) brief introduction to p-adic Galois representations.

Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle is at the core of neo-logicism. In the first two chapters of the book, Mancosu provides a historical analysis of the mathematical uses and foundational discussion of definitions by abstraction up to Frege, Peano, and Russell. Chapter one shows that abstraction principles were quite widespread in the mathematical practice that preceded Frege's discussion of them and the second chapter provides the first contextual analysis of Frege's discussion of abstraction principles in section 64 of the Grundlagen. In the second part of the book, Mancosu discusses a novel approach to measuring the size of infinite sets known as the theory of numerosities and shows how this new development leads to deep mathematical, historical, and philosophical problems. The final chapter of the book explore how this theory of numerosities can be exploited to provide surprisingly novel perspectives on neo-logicism.

In recent years there have been a number of books-both anthologies and monographs-that have focused on the Liar Paradox and, more generally, on the semantic paradoxes, either offering proposed treatments to those paradoxes or critically evaluating ones that occupy logical space. At the same time, there are a number of people who do great work in philosophy, who have various semantic, logical, metaphysical and/or epistemological commitments that suggest that they should say something about the Liar Paradox, yet who have said very little, if anything, about that paradox or about the extant projects involving it. The purpose of this volume is to afford those philosophers the opportunity to address what might be described as reflections on the Liar.

The logician Kurt Goedel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Goedel's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues.

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.

Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the face of uncertainty. It has applications to decision making and artificial intelligence, as well as how scientists should reason when not in possession of the full facts. In this book, Jon Williamson embarks on a quest to find a general, reasonable, applicable inductive logic (GRAIL), all the while examining why pioneers such as Ludwig Wittgenstein and Rudolf Carnap did not entirely succeed in this task. Along the way he presents a general framework for the field, and reaches a new inductive logic, which builds upon recent developments in Bayesian epistemology (a theory about how strongly one should believe the various propositions that one can express). The book explores this logic in detail, discusses some key criticisms, and considers how it might be justified. Is this truly the GRAIL? Although the book presents new research, this material is well suited to being delivered as a series of lectures to students of philosophy, mathematics, or computing and doubles as an introduction to the field of inductive logic

Towards Non-Being presents an account of the semantics of intentional language-verbs such as 'believes', 'fears', 'seeks', 'imagines'. Graham Priest tackles problems concerning intentional states which are often brushed under the carpet in discussions of intentionality, such as their failure to be closed under deducibility. Priest's account draws on the work of the late Richard Routley (Sylvan), and proceeds in terms of objects that may be either existent or non-existent, at worlds that may be either possible or impossible. Since Russell, non-existent objects have had a bad press in Western philosophy; Priest mounts a full-scale defence. In the process, he offers an account of both fictional and mathematical objects as non-existent. The book will be of central interest to anyone who is concerned with intentionality in the philosophy of mind or philosophy of language, the metaphysics of existence and identity, the philosophy or fiction, the philosophy of mathematics, or cognitive representation in AI. This updated second edition adds ten new chapters to the original eight. These further develop the ideas of the first edition, reply to critics, and explore new areas of relevance. New topics covered include: conceivability, realism/antirealism concerning non-existent objects, self-deception, and the verb to be.

Towards Non-Being presents an account of the semantics of intentional language-verbs such as 'believes', 'fears', 'seeks', 'imagines'. Graham Priest tackles problems concerning intentional states which are often brushed under the carpet in discussions of intentionality, such as their failure to be closed under deducibility. Priest's account draws on the work of the late Richard Routley (Sylvan), and proceeds in terms of objects that may be either existent or non-existent, at worlds that may be either possible or impossible. Since Russell, non-existent objects have had a bad press in Western philosophy; Priest mounts a full-scale defence. In the process, he offers an account of both fictional and mathematical objects as non-existent. The book will be of central interest to anyone who is concerned with intentionality in the philosophy of mind or philosophy of language, the metaphysics of existence and identity, the philosophy or fiction, the philosophy of mathematics, or cognitive representation in AI. This updated second edition adds ten new chapters to the original eight. These further develop the ideas of the first edition, reply to critics, and explore new areas of relevance. New topics covered include: conceivability, realism/antirealism concerning non-existent objects, self-deception, and the verb to be.

This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns the view that the first mathematical proofs were in Greek geometry and rested on the logical insights of Aristotle by showing how much of that view is an artefact of nineteenth-century historical scholarship. It documents the existence of proofs in ancient mathematical writings about numbers and shows that practitioners of mathematics in Mesopotamian, Chinese and Indian cultures knew how to prove the correctness of algorithms, which are much more prominent outside the limited range of surviving classical Greek texts that historians have taken as the paradigm of ancient mathematics. It opens the way to providing the first comprehensive, textually based history of proof.