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.

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.

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

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.

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

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.

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.

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

A comprehensive look at four of the most famous problems in mathematics Tales of Impossibility recounts the intriguing story of the renowned problems of antiquity, four of the most famous and studied questions in the history of mathematics. First posed by the ancient Greeks, these compass and straightedge problems-squaring the circle, trisecting an angle, doubling the cube, and inscribing regular polygons in a circle-have served as ever-present muses for mathematicians for more than two millennia. David Richeson follows the trail of these problems to show that ultimately their proofs-which demonstrated the impossibility of solving them using only a compass and straightedge-depended on and resulted in the growth of mathematics. Richeson investigates how celebrated luminaries, including Euclid, Archimedes, Viete, Descartes, Newton, and Gauss, labored to understand these problems and how many major mathematical discoveries were related to their explorations. Although the problems were based in geometry, their resolutions were not, and had to wait until the nineteenth century, when mathematicians had developed the theory of real and complex numbers, analytic geometry, algebra, and calculus. Pierre Wantzel, a little-known mathematician, and Ferdinand von Lindemann, through his work on pi, finally determined the problems were impossible to solve. Along the way, Richeson provides entertaining anecdotes connected to the problems, such as how the Indiana state legislature passed a bill setting an incorrect value for pi and how Leonardo da Vinci made elegant contributions in his own study of these problems. Taking readers from the classical period to the present, Tales of Impossibility chronicles how four unsolvable problems have captivated mathematical thinking for centuries.

In this brief treatise, Ekelund explains some philosophical implications of recent mathematics. He examines randomness, the geometry involved in making predictions, and why general trends are easy to project, but particulars are practically impossible.

The perception of what he calls 'aspects' preoccupied Wittgenstein and gave him considerable trouble in his final years. The Wittgensteinian aspect defies any number of traditional philosophical dichotomies: the aspect is neither subjective (inner, metaphysically private) nor objective; it presents perceivable unity and sense that are (arguably) not (yet) conceptual; it is 'subject to the will', but at the same time is normally taken to be genuinely revelatory of the object perceived under it. This Element begins with a grammatical and phenomenological characterization of Wittgensteinian 'aspects'. It then challenges two widespread ideas: that aspects are to be identified with concepts; and that aspect perception has a continuous version that is characteristic of (normal) human perception. It concludes by proposing that aspect perception brings to light the distinction between the world as perceived and the world as objectively construed, and the role we play in the constitution of the former.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics.

The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes. The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial ontology in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations. Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science.

Metamathematics and the Philosophical Tradition is the first work to explore in such historical depth the relationship between fundamental philosophical quandaries regarding self-reference and meta-mathematical notions of consistency and incompleteness. Using the insights of twentieth-century logicians from Goedel through Hilbert and their successors, this volume revisits the writings of Aristotle, the ancient skeptics, Anselm, and enlightenment and seventeenth and eighteenth century philosophers Leibniz, Berkeley, Hume, Pascal, Descartes, and Kant to identify ways in which these both encode and evade problems of a priori definition and self-reference. The final chapters critique and extend more recent insights of late 20th-century logicians and quantum physicists, and offer new applications of the completeness theorem as a means of exploring "metatheoretical ascent" and the limitations of scientific certainty. Broadly syncretic in range, Metamathematics and the Philosophical Tradition addresses central and recurring problems within epistemology. The volume's elegant, condensed writing style renders accessible its wealth of citations and allusions from varied traditions and in several languages. Its arguments will be of special interest to historians and philosophers of science and mathematics, particularly scholars of classical skepticism, the Enlightenment, Kant, ethics, and mathematical logic.

This edited collection covers Friedrich Waismann's most influential contributions to twentieth-century philosophy of language: his concepts of open texture and language strata, his early criticism of verificationism and the analytic-synthetic distinction, as well as their significance for experimental and legal philosophy. In addition, Waismann's original papers in ethics, metaphysics, epistemology and the philosophy of mathematics are here evaluated. They introduce Waismann's theory of action along with his groundbreaking work on fiction, proper names and Kafka's Trial. Waismann is known as the voice of Ludwig Wittgenstein in the Vienna Circle. At the same time we find in his works a determined critic of logical positivism and ordinary language philosophy, who anticipated much later developments in the analytic tradition and devised his very own vision for its future.

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

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.

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.

This book constitutes the refereed proceedings of the 20th International Conference on Group Decision and Negotiation, GDN 2020, which was planned to be held in Toronto, ON, Canada, during June 7-11, 2020. The conference was cancelled due to the Coronavirus pandemic. Nevertheless, it was decided to publish the proceedings, because the review process had already been completed at the time the cancellation was decided. The field of Group Decision and Negotiation focuses on decision processes with at least two participants and a common goal but conflicting individual goals. Research areas of Group Decision and Negotiation include electronic negotiations, experiments, the role of emotions in group decision and negotiations, preference elicitation and decision support for group decisions and negotiations, and conflict resolution principles. The 14 full papers presented in this volume were carefully reviewed and selected from 75 submissions. They were organized in topical sections named: Conflict Resolution, Preference Modeling for Group Decision and Negotiation, Intelligent Group Decision Making and Consensus Process, Collaborative Decision Making Processes.

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.

As discrete fields of inquiry, rhetoric and mathematics have long been considered antithetical to each other. That is, if mathematics explains or describes the phenomena it studies with certainty, persuasion is not needed. This volume calls into question the view that mathematics is free of rhetoric. Through nine studies of the intersections between these two disciplines, Arguing with Numbers shows that mathematics is in fact deeply rhetorical. Using rhetoric as a lens to analyze mathematically based arguments in public policy, political and economic theory, and even literature, the essays in this volume reveal how mathematics influences the values and beliefs with which we assess the world and make decisions and how our worldviews influence the kinds of mathematical instruments we construct and accept. In addition, contributors examine how concepts of rhetoric-such as analogy and visuality-have been employed in mathematical and scientific reasoning, including in the theorems of mathematical physicists and the geometrical diagramming of natural scientists. Challenging academic orthodoxy, these scholars reject a math-equals-truth reduction in favor of a more constructivist theory of mathematics as dynamic, evolving, and powerfully persuasive. By bringing these disparate lines of inquiry into conversation with one another, Arguing with Numbers provides inspiration to students, established scholars, and anyone inside or outside rhetorical studies who might be interested in exploring the intersections between the two disciplines. In addition to the editors, the contributors to this volume are Catherine Chaput, Crystal Broch Colombini, Nathan Crick, Michael Dreher, Jeanne Fahnestock, Andrew C. Jones, Joseph Little, and Edward Schiappa.