Library Catalog
Amazon cover image
Image from Amazon.com

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

By: Material type: TextTextSeries: Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ; 24Publisher: Berlin ; Boston : De Gruyter, [2015]Copyright date: ©2015Description: 1 online resource (140 p.)Content type:
Media type:
Carrier type:
ISBN:
  • 9781614517788
  • 9781614519362
  • 9781614517030
Subject(s): LOC classification:
  • B945.L4554 W47 2015
Other classification:
  • online - DeGruyter
Online resources: Available additional physical forms:
  • 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
Summary: 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.Summary: 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".
Holdings
Item type Current library Call number URL Status Notes Barcode
eBook eBook Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Nuvola online online - DeGruyter (Browse shelf(Opens below)) Online access Not for loan (Accesso limitato) Accesso per gli utenti autorizzati / Access for authorized users (dgr)9781614517030

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 online access with authorization star

http://purl.org/coar/access_right/c_16ec

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)