Classical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory.

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.

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.

'The whole problem with the world is that fools and fanatics are always so certain of themselves, and wiser people so full of doubts' Bertrand Russell 'Science is what you know. Philosophy is what you don't know' Bertrand Russell discovered mathematics at the age of eleven. It was, he recalled, a transporting experience: 'as dazzling as first love'. From that moment on, he would pursue his passion with undying devotion and fervour. Mathematics might succeed, he felt, where philosophy had failed, reducing thought to its purest form, and freeing knowledge from doubt and contradiction. And for a time, so it seemed. Russell's mathematical investigations effortlessly resolved at a stroke some of philosophy's most intractable problems. Yet if mathematics could be a liberating mistress, she was also an unreliable one... Opening up the work of one of our age's undisputed giants, Ray Monk's exhilaratingly clear, readable guide tells a compelling human tale too: a moving story of love and loss, of ecstatic triumph and deep disillusion.

This is the first of two volumes on belief and counterfactuals. It provides an introduction to ranking theory, which is a powerful formal theory with a broad range of applications in different areas of analytic philosophy. Drawing on formal logic, ranking theory can account for degrees of belief, which can change with the introduction of new information. In Belief and Counterfactuals, Franz Huber applies ranking theory and belief revision to metaphysics and epistemology. Though based on his technical writings, the volume is intended to be as accessible as possible, in order to fully present the utility of ranking theory to a wide range of philosophical issues. The volume contains several novel arguments, accounts, and applications-including the consistency argument for ranking theory, the conditional theory of conditional belief, as well as solutions to the problems of conceptual belief change, logical learning, and learning conditionals. Huber also presents a defense of the instrumentalist understanding of normativity, or rationality, and an argument for the thesis that there are only hypothetical imperatives and no categorical imperatives. His distinctive use of means-end philosophy as a unifying methodological approach establishes a treatment of philosophy as a normative discipline, and of philosophical problems as entangled with one another. This position also explains the importance of logic to philosophy, without devolving into a separate technical theory.

This text presents an intuitive and robust mathematical image of fundamental particle physics based on a novel approach to quantum field theory, which is guided by four carefully motivated metaphysical postulates. In particular, the book explores a dissipative approach to quantum field theory, which is illustrated for scalar field theory and quantum electrodynamics, and proposes an attractive explanation of the Planck scale in quantum gravity. Offering a radically new perspective on this topic, the book focuses on the conceptual foundations of quantum field theory and ontological questions. It also suggests a new stochastic simulation technique in quantum field theory which is complementary to existing ones. Encouraging rigor in a field containing many mathematical subtleties and pitfalls this text is a helpful companion for students of physics and philosophers interested in quantum field theory, and it allows readers to gain an intuitive rather than a formal understanding.

Hilbert's Programs & Beyond presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematical logic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position of reductive structuralism and explores mathematical capacities via computational models.

Responding to widespread interest within cultural studies and social inquiry, this book addresses the question 'what is a mathematical concept?' using a variety of vanguard theories in the humanities and posthumanities. Tapping historical, philosophical, sociological and psychological perspectives, each chapter explores the question of how mathematics comes to matter. Of interest to scholars across the usual disciplinary divides, this book tracks mathematics as a cultural activity, drawing connections with empirical practice. Unlike other books in this area, it is highly interdisciplinary, devoted to exploring the ontology of mathematics as it plays out in different contexts. This book will appeal to scholars who are interested in particular mathematical habits - creative diagramming, structural mappings, material agency, interdisciplinary coverings - that shed light on both mathematics and other disciplines. Chapters are also relevant to social sciences and humanities scholars, as each offers philosophical insight into mathematics and how we might live mathematically.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic).

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.

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.

In 1655, the philosopher Thomas Hobbes claimed he had solved the centuries-old problem of "squaring of the circle" (constructing a square equal in area to a given circle). With a scathing rebuttal to Hobbes's claims, the mathematician John Wallis began one of the longest and most intense intellectual disputes of all time. "Squaring the Circle" is a detailed account of this controversy, from the core mathematics to the broader philosophical, political, and religious issues at stake.
Hobbes believed that by recasting geometry in a materialist mold, he could solve any geometric problem and thereby demonstrate the power of his materialist metaphysics. Wallis, a prominent Presbyterian divine as well as an eminent mathematician, refuted Hobbes's geometry as a means of discrediting his philosophy, which Wallis saw as a dangerous mix of atheism and pernicious political theory.
Hobbes and Wallis's "battle of the books" illuminates the intimate relationship between science and crucial seventeenth-century debates over the limits of sovereign power and the existence of God.

This book will present a collection of mathematical problems - lighthearted in nature - intended to entertain the general readership. Problems will be selected largely for the unusual and unexpected solutions to which they lend themselves. Some interesting contents included: All in all, the book is meant to entertain the general readership and to convince them about the power and beauty of mathematics.

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.

"Casti Tours offers the most spectacular vistas of modern applied mathematics."— Nature

Mathematical modeling is about rules—the rules of reality. Reality Rules explores the syntax and semantics of the language in which these rules are written, the language of mathematics. Characterized by the clarity and vision typical of the author's previous books, Reality Rules is a window onto the competing dialects of this language—in the form of mathematical models of real-world phenomena—that researchers use today to frame their views of reality.

Moving from the irreducible basics of modeling to the upper reaches of scientific and philosophical speculation, Volumes 1 and 2, The Fundamentals and The Frontier, are ideal complements, equally matched in difficulty, yet unique in their coverage of issues central to the contemporary modeling of complex systems.

Engagingly written and handsomely illustrated, Reality Rules is a fascinating journey into the conceptual underpinnings of reality itself, one that examines the major themes in dynamical system theory and modeling and the issues related to mathematical models in the broader contexts of science and philosophy. Far-reaching and far-sighted, Reality Rules is destined to shape the insight and work of students, researchers, and scholars in mathematics, science, and the social sciences for generations to come.

Of related interest . . .

ALTERNATE REALITIES

Mathematical Models of Nature and Man

John L. Casti

A thoroughly modern account of the theory and practice of mathematical modeling with a treatment focusing on system-theoretic concepts such as complexity, self-organization, adaptation, bifurcation, resilience, surprise and uncertainty, and the mathematical structures needed to employ these in a formal system.

1989 0-471-61842-X 493pp.

Prime numbers are beautiful, mysterious, and beguiling mathematical objects. The mathematician Bernhard Riemann made a celebrated conjecture about primes in 1859, the so-called Riemann hypothesis, which remains one of the most important unsolved problems in mathematics. Through the deep insights of the authors, this book introduces primes and explains the Riemann hypothesis. Students with a minimal mathematical background and scholars alike will enjoy this comprehensive discussion of primes. The first part of the book will inspire the curiosity of a general reader with an accessible explanation of the key ideas. The exposition of these ideas is generously illuminated by computational graphics that exhibit the key concepts and phenomena in enticing detail. Readers with more mathematical experience will then go deeper into the structure of primes and see how the Riemann hypothesis relates to Fourier analysis using the vocabulary of spectra. Readers with a strong mathematical background will be able to connect these ideas to historical formulations of the Riemann hypothesis.

Ten amazing curves personally selected by one of today's most important math writers Curves for the Mathematically Curious is a thoughtfully curated collection of ten mathematical curves, selected by Julian Havil for their significance, mathematical interest, and beauty. Each chapter gives an account of the history and definition of one curve, providing a glimpse into the elegant and often surprising mathematics involved in its creation and evolution. In telling the ten stories, Havil introduces many mathematicians and other innovators, some whose fame has withstood the passing of years and others who have slipped into comparative obscurity. You will meet Pierre Bezier, who is known for his ubiquitous and eponymous curves, and Adolphe Quetelet, who trumpeted the ubiquity of the normal curve but whose name now hides behind the modern body mass index. These and other ingenious thinkers engaged with the challenges, incongruities, and insights to be found in these remarkable curves-and now you can share in this adventure. Curves for the Mathematically Curious is a rigorous and enriching mathematical experience for anyone interested in curves, and the book is designed so that readers who choose can follow the details with pencil and paper. Every curve has a story worth telling.

Medieval Islamic World: An Intellectual History of Science and Politics surveys major scientific and philosophical discoveries in the medieval period within the broader Islamicate world, providing an alternative historical framework to that of the primarily Eurocentric history of science and philosophy of science and technology fields. Medieval Islamic World serves to address the history of rationalist inquiry within scholarly institutions in medieval Islamic societies, surveying developments in the fields of medicine and political theory, and the scientific disciplines of astronomy, chemistry, physics, and mechanics, as led by medieval Muslim scholarship.

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.

This collection of essays examines logic and its philosophy. The author investigates the nature of logic not only by describing its properties but also by showing philosophical applications of logical concepts and structures. He evaluates what logic is and analyzes among other aspects the relations of logic and language, the status of identity, bivalence, proof, truth, constructivism, and metamathematics. With examples concerning the application of logic to philosophy, he also covers semantic loops, the epistemic discourse, the normative discourse, paradoxes, properties of truth, truth-making as well as theology, being and logical determinism. The author concludes with a philosophical reflection on nothingness and its modelling.

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by the principal figures in the history of the subject - Frege, Russell, Ramsey and Carnap - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues addressed include the nature of arithmetical knowledge in the light of Frege's theorem; the status of realism about the theoretical entities of physics; and the proper interpretation of empirical theories that postulate abstract structural constraints.

This text focuses on a variety of topics in mathematics in common usage in graduate engineering programs including vector calculus, linear and nonlinear ordinary differential equations, approximation methods, vector spaces, linear algebra, integral equations and dynamical systems. The book is designed for engineering graduate students who wonder how much of their basic mathematics will be of use in practice. Following development of the underlying analysis, the book takes students through a large number of examples that have been worked in detail. Students can choose to go through each step or to skip ahead if they so desire. After seeing all the intermediate steps, they will be in a better position to know what is expected of them when solving assignments, examination problems, and when on the job. Chapters conclude with exercises for the student that reinforce the chapter content and help connect the subject matter to a variety of engineering problems. Students have grown up with computer-based tools including numerical calculations and computer graphics; the worked-out examples as well as the end-of-chapter exercises often use computers for numerical and symbolic computations and for graphical display of the results.

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.

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.

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet Hein and again in 1949 by John F. nash. How did this happen? Who created the puzzle for Hein's Danish newspaper column? How are Martin Gardner, David Gale, Claude Shannon, and Claude Berge involved? What is the secret to playing Hex well? The answers are inside... Features New documents on Hein's creation of Hex, the complete set of Danish puzzles, and the identity of their composer Chapters on Gale's game Bridg-it, the game Rex, computer Hex, open Hex problems, and more Dozens of new puzzles and solutions Study guide for Hex players Supplemenetary text for a course in game theory, discrete math, computer science, or science history