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