David Lewis Und Seine Mereologische Interpretation Der Zermelo-Fraenkelschen Mengenlehre

Eine Rekonstruktion

Philipp Werner (Autor)

Buch

140 Seiten

2015
Walter De Gruyter (Verlag)
978-1-61451-704-7 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

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 stronglyinaccessible partition.” The proof makes use of the fact that ordered pairs in M plus “an infinite partition” are susceptible to parameterized interpretation. In seinem 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. Der Beweis benutzt, dass geordnete Paare in M plus "Es gibt eine unendliche Partition" parametrisiert interpretierbar sind.

Philipp Werner, München, Deutschland.

Reihe/Serie	Logos ; 24
Sprache	englisch; deutsch
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Mathematik ► Geschichte der Mathematik
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Mereology; set theory; interpretability; nominalism
ISBN-10	1-61451-704-5 / 1614517045
ISBN-13	978-1-61451-704-7 / 9781614517047
Zustand	Neuware