000 04160nam a22006615i 4500
001 225751
003 IT-RoAPU
005 20230501182350.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 230228t20152015gw fo d z ger d
010 _a2014042920
019 _a(OCoLC)951146951
020 _a9781614517788
_qprint
020 _a9781614519362
_qEPUB
020 _a9781614517030
_qPDF
024 7 _a10.1515/9781614517030
_2doi
035 _a(DE-B1597)9781614517030
035 _a(DE-B1597)426987
035 _a(OCoLC)908079351
040 _aDE-B1597
_beng
_cDE-B1597
_erda
050 0 0 _aB945.L4554
_bW47 2015
072 7 _aMAT028000
_2bisacsh
084 _aonline - DeGruyter
100 1 _aWerner, Philipp
_eautore
245 1 0 _aDavid Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre :
_bEine Rekonstruktion /
_cPhilipp Werner.
264 1 _aBerlin ;
_aBoston :
_bDe Gruyter,
_c[2015]
264 4 _c©2015
300 _a1 online resource (140 p.)
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 0 _aLogos : Studien zur Logik, Sprachphilosophie und Metaphysik ,
_x2198-2201 ;
_v24
505 0 0 _tFrontmatter --
_tVorwort --
_tInhalt --
_t1 Einleitung --
_tTeil I: Überlappung --
_t2 Die mereologische Sprache --
_t3 Die Mereologie M --
_t4 Mereologische Begriffe erster Stufe --
_t5 Gunk-Neutralität --
_t6 Die Fusionsfunktion --
_t7 Mereologische Begriffe zweiter Stufe --
_tTeil II: Unendlichkeit und Codierung --
_t8 Das Axiom φ B --
_t9 M+ φ B interpretiert parametrisiert OPN --
_tTeil III: Starke Unerreichbarkeit und Elementschaft --
_t10 Das Axiom φ L --
_t11 M + φ L interpretiert parametrisiert ZFC --
_t12 Schluss --
_tAppendix --
_tLiteratur --
_tSymbolverzeichnis --
_tPersonenverzeichnis --
_tStichwortverzeichnis
506 0 _arestricted access
_uhttp://purl.org/coar/access_right/c_16ec
_fonline access with authorization
_2star
520 _aIn 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.
520 _aIn 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".
530 _aIssued also in print.
538 _aMode of access: Internet via World Wide Web.
546 _aIn German.
588 0 _aDescription based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)
650 0 _aSet theory.
650 0 _aWhole and parts (Philosophy)
650 4 _aGrundlagen der Mathematik.
650 4 _aMereologie.
650 4 _aNominalismus.
650 7 _aMATHEMATICS / Set Theory.
_2bisacsh
653 _aMereology.
653 _ainterpretability.
653 _anominalism.
653 _aset theory.
850 _aIT-RoAPU
856 4 0 _uhttps://doi.org/10.1515/9781614517030
856 4 0 _uhttps://www.degruyter.com/isbn/9781614517030
856 4 2 _3Cover
_uhttps://www.degruyter.com/document/cover/isbn/9781614517030/original
942 _cEB
999 _c225751
_d225751