David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre : : Eine Rekonstruktion /

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.”...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DG Plus DeG Package 2015 Part 1
VerfasserIn:
Werner, Philipp,
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!
LEADER 05124nam a22008655i 4500
001 9781614517030
003 DE-B1597
005 20230228123812.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 230228t20152015gw fo d z ger d
010 |a 2014042920 
019 |a (OCoLC)951146951 
020 |a 9781614517030 
024 7 |a 10.1515/9781614517030  |2 doi 
035 |a (DE-B1597)426987 
035 |a (OCoLC)908079351 
040 |a DE-B1597  |b eng  |c DE-B1597  |e rda 
041 0 |a ger 
044 |a gw  |c DE 
050 0 0 |a B945.L4554  |b W47 2015 
072 7 |a MAT028000  |2 bisacsh 
084 |a CI 6436  |q BVB  |2 rvk  |0 (DE-625)rvk/18536:11798 
100 1 |a Werner, Philipp,   |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre :  |b Eine Rekonstruktion /  |c Philipp Werner. 
264 1 |a Berlin ;  |a Boston :   |b De Gruyter,   |c [2015] 
264 4 |c ©2015 
300 |a 1 online resource (140 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 0 |a Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,  |x 2198-2201 ;  |v 24 
505 0 0 |t Frontmatter --   |t Vorwort --   |t Inhalt --   |t 1 Einleitung --   |t Teil I: Überlappung --   |t 2 Die mereologische Sprache --   |t 3 Die Mereologie M --   |t 4 Mereologische Begriffe erster Stufe --   |t 5 Gunk-Neutralität --   |t 6 Die Fusionsfunktion --   |t 7 Mereologische Begriffe zweiter Stufe --   |t Teil II: Unendlichkeit und Codierung --   |t 8 Das Axiom φ B --   |t 9 M+ φ B interpretiert parametrisiert OPN --   |t Teil III: Starke Unerreichbarkeit und Elementschaft --   |t 10 Das Axiom φ L --   |t 11 M + φ L interpretiert parametrisiert ZFC --   |t 12 Schluss --   |t Appendix --   |t Literatur --   |t Symbolverzeichnis --   |t Personenverzeichnis --   |t Stichwortverzeichnis 
506 0 |a restricted access  |u http://purl.org/coar/access_right/c_16ec  |f online access with authorization  |2 star 
520 |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. 
520 |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". 
530 |a Issued also in print. 
538 |a Mode of access: Internet via World Wide Web. 
546 |a In German. 
588 0 |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) 
650 0 |a Set theory. 
650 0 |a Whole and parts (Philosophy) 
650 4 |a Grundlagen der Mathematik. 
650 4 |a Mereologie. 
650 4 |a Nominalismus. 
650 7 |a MATHEMATICS / Set Theory.  |2 bisacsh 
653 |a Mereology. 
653 |a interpretability. 
653 |a nominalism. 
653 |a set theory. 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t DG Plus DeG Package 2015 Part 1  |z 9783110762518 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t DG Plus eBook-Package 2015  |z 9783110700985 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t EBOOK PACKAGE COMPLETE 2015  |z 9783110439687  |o ZDB-23-DGG 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t EBOOK PACKAGE Philosophy 2015  |z 9783110438680  |o ZDB-23-DPH 
776 0 |c EPUB  |z 9781614519362 
776 0 |c print  |z 9781614517788 
856 4 0 |u https://doi.org/10.1515/9781614517030 
856 4 0 |u https://www.degruyter.com/isbn/9781614517030 
856 4 2 |3 Cover  |u https://www.degruyter.com/document/cover/isbn/9781614517030/original 
912 |a 978-3-11-070098-5 DG Plus eBook-Package 2015  |b 2015 
912 |a 978-3-11-076251-8 DG Plus DeG Package 2015 Part 1  |b 2015 
912 |a EBA_BACKALL 
912 |a EBA_CL_MTPY 
912 |a EBA_CL_PLTLJSIS 
912 |a EBA_DGALL 
912 |a EBA_EBKALL 
912 |a EBA_SSHALL 
912 |a EBA_STMALL 
912 |a GBV-deGruyter-alles 
912 |a PDA11SSHE 
912 |a PDA12STME 
912 |a PDA5EBK 
912 |a ZDB-23-DGG  |b 2015 
912 |a ZDB-23-DPH  |b 2015 

Similar Items