This volume offers a selection of the most interesting and important work from recent years in the philosophy of mathematics, which has always been closely linked to and has exerted a significant influence upon the main stream of analytical philosophy. The issues discussed are of interest throughout philosophy, and no mathematical expertise is required of the reader.

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.

In many ways set theory lies at the heart of modern mathematics, and it does powerful work both philosophical and mathematical - as a foundation for the subject. However, certain philosophical problems raise serious doubts about our acceptance of the axioms of set theory. In a detailed and original reassessment of these axioms, Sharon Berry uses a potentialist (as opposed to actualist) approach to develop a unified determinate conception of set-theoretic truth that vindicates many of our intuitive expectations regarding set theory. Berry further defends her approach against a number of possible objections, and she shows how a notion of logical possibility that is useful in formulating Potentialist set theory connects in important ways with philosophy of language, metametaphysics and philosophy of science. Her book will appeal to readers with interests in the philosophy of set theory, modal logic, and the role of mathematics in the sciences.

We use addition on a daily basis--yet how many of us stop to truly consider the enormous and remarkable ramifications of this mathematical activity? Summing It Up uses addition as a springboard to present a fascinating and accessible look at numbers and number theory, and how we apply beautiful numerical properties to answer math problems. Mathematicians Avner Ash and Robert Gross explore addition's most basic characteristics as well as the addition of squares and other powers before moving onward to infinite series, modular forms, and issues at the forefront of current mathematical research. Ash and Gross tailor their succinct and engaging investigations for math enthusiasts of all backgrounds. Employing college algebra, the first part of the book examines such questions as, can all positive numbers be written as a sum of four perfect squares? The second section of the book incorporates calculus and examines infinite series--long sums that can only be defined by the concept of limit, as in the example of 1+1/2+1/4+...=? With the help of some group theory and geometry, the third section ties together the first two parts of the book through a discussion of modular forms--the analytic functions on the upper half-plane of the complex numbers that have growth and transformation properties. Ash and Gross show how modular forms are indispensable in modern number theory, for example in the proof of Fermat's Last Theorem. Appropriate for numbers novices as well as college math majors, Summing It Up delves into mathematics that will enlighten anyone fascinated by numbers.

Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science.

The concept of identity has been seen to lead to paradox: we cannot truly and usefully say that a thing is the same either as itself or as something else. This book is a full examination of this paradox in philosophical logic, and of its implications for the philosophy of mathematics, the philosphy of mind, and relativism about identity. The author's account involves detailed discussion of the views of Wittgenstein, Russell, Frege, and Hintikka.

This book examines the birth of the scientific understanding of motion. It investigates which logical tools and methodological principles had to be in place to give a consistent account of motion, and which mathematical notions were introduced to gain control over conceptual problems of motion. It shows how the idea of motion raised two fundamental problems in the 5th and 4th century BCE: bringing together being and non-being, and bringing together time and space. The first problem leads to the exclusion of motion from the realm of rational investigation in Parmenides, the second to Zeno's paradoxes of motion. Methodological and logical developments reacting to these puzzles are shown to be present implicitly in the atomists, and explicitly in Plato who also employs mathematical structures to make motion intelligible. With Aristotle we finally see the first outline of the fundamental framework with which we conceptualise motion today.

This book investigates the process of care in mathematics teaching. The author proposes transformative educational spaces in which learning mathematics, rather than consisting of a repetitive grind of exercises and facts, can become a part of learner identity. This book describes examples of mathematics teachings in a wide range of contexts and pedagogies, coordinated to identify common features where care for mathematical learning and thinking is combined with care for learners. Along with detailing caring mathematics education practices in alternative spaces, the author demonstrates similar practices alive even with the current mainstream spaces of acquisition and performance. Care is integrated through listening, and developing responsive and trusting relationships. It will be of interest to scholars of mathematics education, as well as pre-service and in-service teachers and teacher educators.

This volume presents interviews that have been conducted from the 1980s to the present with important scholars of social choice and welfare theory. Starting with a brief history of social choice and welfare theory written by the book editors, it features 15 conversations with four Nobel Laureates and other key scholars in the discipline. The volume is divided into two parts. The first part presents four conversations with the founding fathers of modern social choice and welfare theory: Kenneth Arrow, John Harsanyi, Paul Samuelson, and Amartya Sen. The second part includes conversations with scholars who made important contributions to the discipline from the early 1970s onwards. This book will appeal to anyone interested in the history of economics, and the history of social choice and welfare theory in particular.

The genesis of the digital idea and why it transformed civilization A few short decades ago, we were informed by the smooth signals of analog television and radio; we communicated using our analog telephones; and we even computed with analog computers. Today our world is digital, built with zeros and ones. Why did this revolution occur? The Discrete Charm of the Machine explains, in an engaging and accessible manner, the varied physical and logical reasons behind this radical transformation. The spark of individual genius shines through this story of innovation: the stored program of Jacquard's loom; Charles Babbage's logical branching; Alan Turing's brilliant abstraction of the discrete machine; Harry Nyquist's foundation for digital signal processing; Claude Shannon's breakthrough insights into the meaning of information and bandwidth; and Richard Feynman's prescient proposals for nanotechnology and quantum computing. Ken Steiglitz follows the progression of these ideas in the building of our digital world, from the internet and artificial intelligence to the edge of the unknown. Are questions like the famous traveling salesman problem truly beyond the reach of ordinary digital computers? Can quantum computers transcend these barriers? Does a mysterious magical power reside in the analog mechanisms of the brain? Steiglitz concludes by confronting the moral and aesthetic questions raised by the development of artificial intelligence and autonomous robots. The Discrete Charm of the Machine examines why our information technology, the lifeblood of our civilization, became digital, and challenges us to think about where its future trajectory may lead.

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna's logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.

From his return to Cambridge in 1929 to his death in 1951, Wittgenstein influenced philosophy almost exclusively through teaching and discussion. These lecture notes indicate what he considered to be salient features of his thinking in this period of his life.

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.

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.

This handbook features essays written by both literary scholars and mathematicians that examine multiple facets of the connections between literature and mathematics. These connections range from mathematics and poetic meter to mathematics and modernism to mathematics as literature. Some chapters focus on a single author, such as mathematics and Ezra Pound, Gertrude Stein, or Charles Dickens, while others consider a mathematical topic common to two or more authors, such as squaring the circle, chaos theory, Newton's calculus, or stochastic processes. With appeal for scholars and students in literature, mathematics, cultural history, and history of mathematics, this important volume aims to introduce the range, fertility, and complexity of the connections between mathematics, literature, and literary theory. Chapter 1 is available open access under a Creative Commons Attribution 4.0 International License via [link.springer.com|http://link.springer.com/].

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.

Sets are central to mathematics and its foundations, but what are they? In this book Luca Incurvati provides a detailed examination of all the major conceptions of set and discusses their virtues and shortcomings, as well as introducing the fundamentals of the alternative set theories with which these conceptions are associated. He shows that the conceptual landscape includes not only the naive and iterative conceptions but also the limitation of size conception, the definite conception, the stratified conception and the graph conception. In addition, he presents a novel, minimalist account of the iterative conception which does not require the existence of a relation of metaphysical dependence between a set and its members. His book will be of interest to researchers and advanced students in logic and the philosophy of mathematics.

Kant's Mathematical World aims to transform our understanding of Kant's philosophy of mathematics and his account of the mathematical character of the world. Daniel Sutherland reconstructs Kant's project of explaining both mathematical cognition and our cognition of the world in terms of our most basic cognitive capacities. He situates Kant in a long mathematical tradition with roots in Euclid's Elements, and thereby recovers the very different way of thinking about mathematics which existed prior to its 'arithmetization' in the nineteenth century. He shows that Kant thought of mathematics as a science of magnitudes and their measurement, and all objects of experience as extensive magnitudes whose real properties have intensive magnitudes, thus tying mathematics directly to the world. His book will appeal to anyone interested in Kant's critical philosophy -- either his account of the world of experience, or his philosophy of mathematics, or how the two inform each other.

Logical paradoxes - like the Liar, Russell's, and the Sorites - are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses "dialetheic paraconsistency" - a formal framework where some contradictions can be true without absurdity - as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber directly addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary.

What are the meanings of number expressions, and what can they tell us about questions of central importance to the philosophy of mathematics, specifically 'Do numbers exist?' This Element attempts to shed light on this question by outlining a recent debate between substantivalists and adjectivalists regarding the semantic function of number words in numerical statements. After highlighting their motivations and challenges, I develop a comprehensive polymorphic semantics for number expressions. I argue that accounting for the numerous meanings and how they are related leads to a strengthened argument for realism, one which renders familiar forms of nominalism highly implausible.

The late 1960s saw the emergence of new philosophical interest in Kant's philosophy of mathematics, and since then this interest has developed into a major and dynamic field of study. In this state-of-the-art survey of contemporary scholarship on Kant's mathematical thinking, Carl Posy and Ofra Rechter gather leading authors who approach it from multiple perspectives, engaging with topics including geometry, arithmetic, logic, and metaphysics. Their essays offer fine-grained analysis of Kant's philosophy of mathematics in the context of his Critical philosophy, and also show sensitivity to its historical background. The volume will be important for readers seeking a comprehensive picture of the current scholarship about the development of Kant's philosophy of mathematics, its place in his overall philosophy, and the Kantian themes that influenced mathematics and its philosophy after Kant.

Apart from its foray into technical issues of risk assessment and management, this book has one principal aim. With situations of chancy outcomes certain key factors-including outcome possibilities, overall expectation, threat, and even luck-are measurable parameters. But risk is something different: it is not measurable a single parametric quantity, but a many-sided factor that has several different components, and constitutes a complex phenomenon that must be assessed judgmentally in a highly contextualized way. This book explains and analyzes how this works out in practice. Topics in this work include choice and risk, chance and likelihood, as well as outcome-yield evaluation and risk. It takes into account abnormal situations and eccentric measurements, situational evaluation and expectation and scrutinizes the social aspect of risk. The book is of interest to logicians, philosophers of mathematics, and researchers of risk assessment. The project is a companion piece to the author's LUCK THEORY, also published by Springer.

This monograph examines the private annotations that Ludwig Wittgenstein made to his copy of G.H. Hardy's classic textbook, A Course of Pure Mathematics. Complete with actual images of the annotations, it gives readers a more complete picture of Wittgenstein's remarks on irrational numbers, which have only been published in an excerpted form and, as a result, have often been unjustly criticized. The authors first establish the context behind the annotations and discuss the historical role of Hardy's textbook. They then go on to outline Wittgenstein's non-extensionalist point of view on real numbers, assessing his manuscripts and published remarks and discussing attitudes in play in the philosophy of mathematics since Dedekind. Next, coverage focuses on the annotations themselves. The discussion encompasses irrational numbers, the law of excluded middle in mathematics and the notion of an "improper picture," the continuum of real numbers, and Wittgenstein's attitude toward functions and limits.

This monograph uses the concept and category of "event" in the study of mathematics as it emerges from an interaction between levels of cognition, from the bodily experiences to symbolism. It is subdivided into three parts.The first moves from a general characterization of the classical approach to mathematical cognition and mind toward laying the foundations for a view on the mathematical mind that differs from going approaches in placing primacy on events.The second articulates some common phenomena-mathematical thought, mathematical sign, mathematical form, mathematical reason and its development, and affect in mathematics-in new ways that are based on the previously developed ontology of events. The final part has more encompassing phenomena as its content, most prominently the thinking body of mathematics, the experience in and of mathematics, and the relationship between experience and mind. The volume is well-suited for anyone with a broad interest in educational theory and/or social development, or with a broad background in psychology.

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."