A Logical Foundation for Potentialist Set Theory

[NOTE: Chapters Removed as Book is Currently Under Review. Feb/9/2018 ]


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.

  1. Introduction
  2. Philosophical Background and the Problem to be Solved
  3. The Language of Logical Possibility ℒ
  4. The Formal System I: Basics
  5. The Formal System II: Other Inference Rules
  6. Example Lemmas About Well-Ordering
  7. Useful Corollaries to Axioms
  8. The Potentialist Translation
  9. Use of First Order Logic in Set Theory & Translation Lemma
  10. Use of ZFC in Set Theory

  1. Set Theoretic Mimicry of ℒ
  2. Infinity Lemma
  3. Recursive Definition and Isomorphism Lemmas
  4. Helpful Facts About Hierarchies