|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996234846503316 |
|
|
Autore |
Werner Philipp |
|
|
Titolo |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / / Philipp Werner |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Boston : , : De Gruyter, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (152 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Whole and parts (Philosophy) |
Set theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 |
|
|
|
|