Offering a philosophical introduction to set theory, this book interweaves a presentation of the technical material with a philosophical critique. At every stage, it discusses the reasons that can be offered for believing it to be true. It is designed as a key text for philosophy, mathematical logic, & computer science.