[Draft Chapters: Any comments on style and/or content to would be much appreciated!][Chapters 3-6 are now slightly revised for readability. Sincere thanks to A.Y. for his input.]
Potentialism is a popular philosophy of set theory, which has been developed by philosophers like Putnam, Parsons and Hellman. It solves apparent paradoxes about the height of the hierarchy of sets by reinterpreting set theory as an exploration of how it would be logically or mathematically possible for standard-width initial segments of the hierarchy of sets to be extended.
In this book, I introduce a powerful, yet intuitively compelling, formal system for reasoning about logical possibility. I then use this formal system to address a major line of worry for potentialism: that wholeheartedly adopting potentialism makes current mathematical practice look unjustified. Specifically, I show that every mainstream (ZFC based) proof in set theory can be transformed into a proof of the potentialist translation for the relevant claim within my formal system. This result also turns out to provide a new and appealing answer to Boolos' classic question about how anyone (realist or potentialist) can justify use of the axiom of replacement.