David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre: eine Rekonstruktion
In: Logos : Studien zur Logik, Sprachphilosophie und Metaphysik Band/Volume 24
In: Logos 24
In: De Gruyter eBook-Paket Philosophie
In Parts of Classes, David Lewis outlined a reduction of ZFC to a second order mereology. His conclusion takes on the following form in this reconstruction: ZFC is susceptible to parameterized interpretation in M (classical second order mereology) plus, "there is a strongly unreachable partition." The proof makes use of the fact that ordered pairs in M plus "an infinite partition" are susceptible to parameterized interpretation.