David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : : Eine Rekonstruktion / / Philipp Werner.
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.”...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2015] ©2015 |
Year of Publication: | 2015 |
Language: | German |
Series: | Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,
24 |
Online Access: | |
Physical Description: | 1 online resource (140 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9781614517030 |
---|---|
lccn |
2014042920 |
ctrlnum |
(DE-B1597)426987 (OCoLC)908079351 |
collection |
bib_alma |
record_format |
marc |
spelling |
Werner, Philipp, author. aut http://id.loc.gov/vocabulary/relators/aut David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / Philipp Werner. Berlin ; Boston : De Gruyter, [2015] ©2015 1 online resource (140 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , 2198-2201 ; 24 Frontmatter -- Vorwort -- Inhalt -- 1 Einleitung -- Teil I: Überlappung -- 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 -- Teil II: Unendlichkeit und Codierung -- 8 Das Axiom φ B -- 9 M+ φ B interpretiert parametrisiert OPN -- Teil III: Starke Unerreichbarkeit und Elementschaft -- 10 Das Axiom φ L -- 11 M + φ L interpretiert parametrisiert ZFC -- 12 Schluss -- Appendix -- Literatur -- Symbolverzeichnis -- Personenverzeichnis -- Stichwortverzeichnis restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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". Issued also in print. Mode of access: Internet via World Wide Web. In German. Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) Set theory. Whole and parts (Philosophy) Grundlagen der Mathematik. Mereologie. Nominalismus. MATHEMATICS / Set Theory. bisacsh Mereology. interpretability. nominalism. set theory. Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 9783110762518 Title is part of eBook package: De Gruyter DG Plus eBook-Package 2015 9783110700985 Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2015 9783110439687 ZDB-23-DGG Title is part of eBook package: De Gruyter EBOOK PACKAGE Philosophy 2015 9783110438680 ZDB-23-DPH EPUB 9781614519362 print 9781614517788 https://doi.org/10.1515/9781614517030 https://www.degruyter.com/isbn/9781614517030 Cover https://www.degruyter.com/document/cover/isbn/9781614517030/original |
language |
German |
format |
eBook |
author |
Werner, Philipp, Werner, Philipp, |
spellingShingle |
Werner, Philipp, Werner, Philipp, David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , Frontmatter -- Vorwort -- Inhalt -- 1 Einleitung -- Teil I: Überlappung -- 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 -- Teil II: Unendlichkeit und Codierung -- 8 Das Axiom φ B -- 9 M+ φ B interpretiert parametrisiert OPN -- Teil III: Starke Unerreichbarkeit und Elementschaft -- 10 Das Axiom φ L -- 11 M + φ L interpretiert parametrisiert ZFC -- 12 Schluss -- Appendix -- Literatur -- Symbolverzeichnis -- Personenverzeichnis -- Stichwortverzeichnis |
author_facet |
Werner, Philipp, Werner, Philipp, |
author_variant |
p w pw p w pw |
author_role |
VerfasserIn VerfasserIn |
author_sort |
Werner, Philipp, |
title |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / |
title_sub |
Eine Rekonstruktion / |
title_full |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / Philipp Werner. |
title_fullStr |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / Philipp Werner. |
title_full_unstemmed |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / Philipp Werner. |
title_auth |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / |
title_alt |
Frontmatter -- Vorwort -- Inhalt -- 1 Einleitung -- Teil I: Überlappung -- 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 -- Teil II: Unendlichkeit und Codierung -- 8 Das Axiom φ B -- 9 M+ φ B interpretiert parametrisiert OPN -- Teil III: Starke Unerreichbarkeit und Elementschaft -- 10 Das Axiom φ L -- 11 M + φ L interpretiert parametrisiert ZFC -- 12 Schluss -- Appendix -- Literatur -- Symbolverzeichnis -- Personenverzeichnis -- Stichwortverzeichnis |
title_new |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : |
title_sort |
david lewis und seine mereologische interpretation der zermelo-fraenkelschen mengenlehre : eine rekonstruktion / |
series |
Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , |
series2 |
Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , |
publisher |
De Gruyter, |
publishDate |
2015 |
physical |
1 online resource (140 p.) Issued also in print. |
contents |
Frontmatter -- Vorwort -- Inhalt -- 1 Einleitung -- Teil I: Überlappung -- 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 -- Teil II: Unendlichkeit und Codierung -- 8 Das Axiom φ B -- 9 M+ φ B interpretiert parametrisiert OPN -- Teil III: Starke Unerreichbarkeit und Elementschaft -- 10 Das Axiom φ L -- 11 M + φ L interpretiert parametrisiert ZFC -- 12 Schluss -- Appendix -- Literatur -- Symbolverzeichnis -- Personenverzeichnis -- Stichwortverzeichnis |
isbn |
9781614517030 9783110762518 9783110700985 9783110439687 9783110438680 9781614519362 9781614517788 |
issn |
2198-2201 ; |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
B - Philosophy |
callnumber-label |
B945 |
callnumber-sort |
B 3945 L4554 W47 42015 |
url |
https://doi.org/10.1515/9781614517030 https://www.degruyter.com/isbn/9781614517030 https://www.degruyter.com/document/cover/isbn/9781614517030/original |
illustrated |
Not Illustrated |
doi_str_mv |
10.1515/9781614517030 |
oclc_num |
908079351 |
work_keys_str_mv |
AT wernerphilipp davidlewisundseinemereologischeinterpretationderzermelofraenkelschenmengenlehreeinerekonstruktion |
status_str |
n |
ids_txt_mv |
(DE-B1597)426987 (OCoLC)908079351 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 Title is part of eBook package: De Gruyter DG Plus eBook-Package 2015 Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2015 Title is part of eBook package: De Gruyter EBOOK PACKAGE Philosophy 2015 |
is_hierarchy_title |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : Eine Rekonstruktion / |
container_title |
Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1 |
_version_ |
1806143997030170625 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05124nam a22008655i 4500</leader><controlfield tag="001">9781614517030</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20230228123812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">230228t20152015gw fo d z ger d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2014042920</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)951146951</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614517030</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781614517030</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)426987</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908079351</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="050" ind1="0" ind2="0"><subfield code="a">B945.L4554</subfield><subfield code="b">W47 2015</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT028000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 6436</subfield><subfield code="q">BVB</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/18536:11798</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Werner, Philipp, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre :</subfield><subfield code="b">Eine Rekonstruktion /</subfield><subfield code="c">Philipp Werner.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (140 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,</subfield><subfield code="x">2198-2201 ;</subfield><subfield code="v">24</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Vorwort -- </subfield><subfield code="t">Inhalt -- </subfield><subfield code="t">1 Einleitung -- </subfield><subfield code="t">Teil I: Überlappung -- </subfield><subfield code="t">2 Die mereologische Sprache -- </subfield><subfield code="t">3 Die Mereologie M -- </subfield><subfield code="t">4 Mereologische Begriffe erster Stufe -- </subfield><subfield code="t">5 Gunk-Neutralität -- </subfield><subfield code="t">6 Die Fusionsfunktion -- </subfield><subfield code="t">7 Mereologische Begriffe zweiter Stufe -- </subfield><subfield code="t">Teil II: Unendlichkeit und Codierung -- </subfield><subfield code="t">8 Das Axiom φ B -- </subfield><subfield code="t">9 M+ φ B interpretiert parametrisiert OPN -- </subfield><subfield code="t">Teil III: Starke Unerreichbarkeit und Elementschaft -- </subfield><subfield code="t">10 Das Axiom φ L -- </subfield><subfield code="t">11 M + φ L interpretiert parametrisiert ZFC -- </subfield><subfield code="t">12 Schluss -- </subfield><subfield code="t">Appendix -- </subfield><subfield code="t">Literatur -- </subfield><subfield code="t">Symbolverzeichnis -- </subfield><subfield code="t">Personenverzeichnis -- </subfield><subfield code="t">Stichwortverzeichnis</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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".</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In German.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Set theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Whole and parts (Philosophy)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Grundlagen der Mathematik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mereologie.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nominalismus.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Set Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mereology.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">interpretability.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">nominalism.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">set theory.</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DG Plus DeG Package 2015 Part 1</subfield><subfield code="z">9783110762518</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DG Plus eBook-Package 2015</subfield><subfield code="z">9783110700985</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE COMPLETE 2015</subfield><subfield code="z">9783110439687</subfield><subfield code="o">ZDB-23-DGG</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE Philosophy 2015</subfield><subfield code="z">9783110438680</subfield><subfield code="o">ZDB-23-DPH</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">EPUB</subfield><subfield code="z">9781614519362</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9781614517788</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781614517030</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781614517030</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781614517030/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-070098-5 DG Plus eBook-Package 2015</subfield><subfield code="b">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-076251-8 DG Plus DeG Package 2015 Part 1</subfield><subfield code="b">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="b">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DPH</subfield><subfield code="b">2015</subfield></datafield></record></collection> |