This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in phil...

The primary mechanism for ideological and theoretical unification in modern mathematics, set theory forms an essential element of any comprehensive treatment of the philosophy of mathematics. This unique approach to set theory offers a technically informed discussion that covers a variety of philosophical issues. Rather than focusing on intuitionist and constructive alternatives to the Cantorian/Zermelian tradition, the author examines the two most important aspects of the current philosop...

This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers.The works translated record Schröder’s journey out of algebra into algebraic logic and document his transform...

Moritz Pasch (1843-1930) is justly celebrated as a key figure in the history of axiomatic geometry. Less well known are his contributions to other areas of foundational research. This volume features English translations of 14 papers Pasch published in the decade 1917-1926. In them, Pasch argues that geometry and, more surprisingly, number theory are branches of empirical science; he provides axioms for the combinatorial reasoning essential to Hilbert’s program of consistency proofs; he ex...

Looking for a head start in your undergraduate degree in mathematics? Maybe you've already started your degree and feel bewildered by the subject you previously loved? Don't panic! This friendly companion will ease your transition to real mathematical thinking. Working through the book you will develop an arsenal of techniques to help you unlock the meaning of definitions, theorems and proofs, solve problems, and write mathematics effectively. All the major methods of proof - direct method...

The purpose of this little book is to give the reader a convenient introduction to the theory of numbers, one of the most extensive and most elegant disciplines in the whole body of mathematics. The arrangement of the material is as follows:The first five chapters are devoted to the development of those elements which are essential to any study of the subject. The sixth and last chapter is intended to give the reader some indication of the direction of further study with a brief ac...

Originating from the authors' own graduate course at the University of North Carolina, this material has been thoroughly tried and tested over many years, making the book perfect for a two-term course or for self-study. It provides a concise introduction that covers all of the measure theory and probability most useful for statisticians, including Lebesgue integration, limit theorems in probability, martingales, and some theory of stochastic processes. Readers can test their understanding ...

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic: " An excellent nontechnical account." — Bulletin of the American Mathematical SocietyIn 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public r...

This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are exp...

At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in courses or for independent study. Assuming relatively little mathematical background, it is ideal fo...

This book presents the major philosophical doctrines of phenomenology in a clear, lively style with an abundance of examples. The book examines such phenomena as perception, pictures, imagination, memory, language, and reference, and shows how human thinking arises from experience. It also studies personal identity as established through time and discusses the nature of philosophy. In addition to providing a new interpretation of the correspondence theory of truth, the author also explains...

In this book one of the world's foremost philosophers of language presents his unifying vision of the field--its principal achievements, its most pressing current questions, and its most promising future directions. In addition to explaining the progress philosophers have made toward creating a theoretical framework for the study of language, Scott Soames investigates foundational concepts--such as truth, reference, and meaning--that are central to the philosophy of language and important ...