David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : : Eine Rekonstruktion / / Philipp Werner.
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 inaccessible partition.”...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2015] ©2015 |
Year of Publication: | 2015 |
Language: | German |
Series: | Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,
24 |
Online Access: | |
Physical Description: | 1 online resource (140 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Frontmatter
- Vorwort
- Inhalt
- 1 Einleitung
- Teil I: Überlappung
- 2 Die mereologische Sprache
- 3 Die Mereologie M
- 4 Mereologische Begriffe erster Stufe
- 5 Gunk-Neutralität
- 6 Die Fusionsfunktion
- 7 Mereologische Begriffe zweiter Stufe
- Teil II: Unendlichkeit und Codierung
- 8 Das Axiom φ B
- 9 M+ φ B interpretiert parametrisiert OPN
- Teil III: Starke Unerreichbarkeit und Elementschaft
- 10 Das Axiom φ L
- 11 M + φ L interpretiert parametrisiert ZFC
- 12 Schluss
- Appendix
- Literatur
- Symbolverzeichnis
- Personenverzeichnis
- Stichwortverzeichnis