03728nam 22006615 450 99623484650331620240402072555.01-61451-703-710.1515/9781614517030(CKB)3360000000515273(EBL)1642743(SSID)ssj0001457413(PQKBManifestationID)11861650(PQKBTitleCode)TC0001457413(PQKBWorkID)11441744(PQKB)10051630(DE-B1597)426987(OCoLC)908079351(DE-B1597)9781614517030(MiAaPQ)EBC1642743(EXLCZ)99336000000051527320200623h20152015 fg gerur|n|---|||||txtccrDavid Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre Eine Rekonstruktion /Philipp Werner1st ed.Berlin ;Boston : De Gruyter, [2015]©20151 online resource (152 p.)Logos ;24Description based upon print version of record.1-61451-936-6 1-61451-778-9 Includes bibliographical references and indexes.Frontmatter -- Vorwort -- Inhalt -- 1 Einleitung -- 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 -- 8 Das Axiom φ B -- 9 M+ φ B interpretiert parametrisiert OPN -- 10 Das Axiom φ L -- 11 M + φ L interpretiert parametrisiert ZFC -- 12 Schluss -- Appendix -- Literatur -- Symbolverzeichnis -- Personenverzeichnis -- Stichwortverzeichnis 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.” The proof makes use of the fact that ordered pairs in M plus “an infinite partition” are susceptible to parameterized interpretation. In seinem wichtigen Buch "Parts of Classes" hat David Lewis eine Reduktion von ZFC auf eine Mereologie zweiter Stufe skizziert. Sein Resultat nimmt in vorliegender Rekonstruktion folgende Form an: ZFC ist in M (der klassischen Mereologie zweiter Stufe) plus "Es gibt eine stark unerreichbare Partition" parametrisiert interpretierbar. In den Beweis geht ein, dass geordnete Paare in M plus "Es gibt eine unendliche Partition" parametrisiert interpretierbar sind. Die Arbeit beleuchtet den logischen und philosophie-geschichtlichen Hintergrund von "Parts of Classes", gibt eine Einführung in die Mereologie zweiter Stufe und schließt mit einem recht einfachen Beweis für "ZFC ist (die Konsistenz von ZFC vorausgesetzt) in einer konsistenten Mereologie zweiter Stufe parametrisiert interpretierbar". LogosWhole and parts (Philosophy)Set theoryMereology.interpretability.nominalism.set theory.Whole and parts (Philosophy)Set theory.191CI 6436BVBrvkWerner Philipp, authttp://id.loc.gov/vocabulary/relators/aut740339DE-B1597DE-B1597BOOK996234846503316David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre2382705UNISA