This unique approach maintains that set theory is the primary mechanism for ideological and theoretical unification in modern mathematics, and its technically informed discussion covers a variety of philosophical issues. 1990 edition.
A wonderful new book ... Potter has written the best philosophical introduction to set theory on the market - Timothy Bays, Notre Dame Philosophical Reviews.
Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. The axioms of set theory have long played this role, so the question of how they are properly judged is of central importance. Maddy discusses the appropriate methods for such evaluations and the philosophical backdrop that makes them appropriate.
An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations.
This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.
DIVBeginning with perspectives on the finite universe and classes and Aristotelian logic, the author examines permutations, combinations, and infinite cardinalities; numbering the continuum; Cantor's transfinite paradise; axiomatic set theory, and more. /div
This book is designed to explain the technical ideas that are taken for granted in much contemporary philosophical writing. Notions like 'denumerability', 'modal scope distinction', 'Bayesian conditionalization', and 'logical completeness' are usually only elucidated deep within difficult specialist texts. By offering simple explanations that by-pass much irrelevant and boring detail, Philosophical Devices is able to cover a wealth of material that is normally only available to specialists. The book contains four sections, each of three chapters. The first section is about sets and numbers, starting with the membership relation and ending with the generalized continuum hypothesis. The second is about analyticity, a prioricity, and necessity. The third is about probability, outlining the difference between objective and subjective probability and exploring aspects of conditionalization and correlation. The fourth deals with metalogic, focusing on the contrast between syntax and semantics, and finishing with a sketch of Gödel's theorem. Philosophical Devices will be useful for university students who have got past the foothills of philosophy and are starting to read more widely, but it does not assume any prior expertise. All the issues discussed are intrinsically interesting, and often downright fascinating. It can be read with pleasure and profit by anybody who is curious about the technical infrastructure of contemporary philosophy.
More Precisely is a rigorous and engaging introduction to the mathematics necessary to do philosophy. Eric Steinhart provides lucid explanations of many basic mathematical concepts and sets out the most commonly used notational conventions. He also demonstrates how mathematics applies to fundamental issues in various branches of philosophy, including metaphysics, philosophy of language, epistemology, and ethics. This second edition adds a substantial section on decision and game theory, as well as a chapter on information theory and the efficient coding of information.