LEADER 03728nam 22006615 450 001 996234846503316 005 20240402072555.0 010 $a1-61451-703-7 024 7 $a10.1515/9781614517030 035 $a(CKB)3360000000515273 035 $a(EBL)1642743 035 $a(SSID)ssj0001457413 035 $a(PQKBManifestationID)11861650 035 $a(PQKBTitleCode)TC0001457413 035 $a(PQKBWorkID)11441744 035 $a(PQKB)10051630 035 $a(DE-B1597)426987 035 $a(OCoLC)908079351 035 $a(DE-B1597)9781614517030 035 $a(MiAaPQ)EBC1642743 035 $a(EXLCZ)993360000000515273 100 $a20200623h20152015 fg 101 0 $ager 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDavid Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre $eEine Rekonstruktion /$fPhilipp Werner 205 $a1st ed. 210 1$aBerlin ;$aBoston : $cDe Gruyter, $d[2015] 210 4$d©2015 215 $a1 online resource (152 p.) 225 0 $aLogos ;$v24 300 $aDescription based upon print version of record. 311 $a1-61451-936-6 311 $a1-61451-778-9 320 $aIncludes bibliographical references and indexes. 327 $tFrontmatter -- $tVorwort -- $tInhalt -- $t1 Einleitung -- $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 -- $t8 Das Axiom ? B -- $t9 M+ ? B interpretiert parametrisiert OPN -- $t10 Das Axiom ? L -- $t11 M + ? L interpretiert parametrisiert ZFC -- $t12 Schluss -- $tAppendix -- $tLiteratur -- $tSymbolverzeichnis -- $tPersonenverzeichnis -- $tStichwortverzeichnis 330 $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. 330 $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". 410 0$aLogos 606 $aWhole and parts (Philosophy) 606 $aSet theory 610 $aMereology. 610 $ainterpretability. 610 $anominalism. 610 $aset theory. 615 0$aWhole and parts (Philosophy) 615 0$aSet theory. 676 $a191 686 $aCI 6436$qBVB$2rvk 700 $aWerner$b Philipp, $4aut$4http://id.loc.gov/vocabulary/relators/aut$0740339 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a996234846503316 996 $aDavid Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre$92382705 997 $aUNISA LEADER 01014nam0 22002651i 450 001 UON00221635 005 20231205103417.563 100 $a20030730d1968 |0itac50 ba 101 $aspa 102 $aAR 105 $a|||| ||||| 200 1 $aMi amigo El Che$fRicardo Rojo 210 $aBuenos Aires$cEditorial Jorge Alvarez$dc1968. 266 p., 8 c. di tav. ; 18 cm. 606 $aAmerica latina$xStoria$3UONC042431$2FI 606 $aGUEVARA ERNESTO$3UONC041510$2FI 620 $aAR$dBuenos Aires$3UONL000389 676 $a980$cStoria generale del Sudamerica$v21 700 1$aROJO$bRicardo$3UONV134270$0685449 712 $aEditorial Jorge Alvarez$3UONV268296$4650 801 $aIT$bSOL$c20250530$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00221635 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI 980 219 $eSI SP 4119 5 219 $sBuono 996 $aMi amigo El Che$91267329 997 $aUNIOR