Andere Kunden interessierten sich auch für
![Formalism and Beyond]( "Formalism and Beyond")
Formalism and Beyond113,99 €![Raum und Wissen]( "Raum und Wissen")
Raum und Wissen129,95 €![Aspekte des Unendlichen bei Kant und Wittgenstein]( "Aspekte des Unendlichen bei Kant und Wittgenstein")
Aspekte des Unendlichen bei Kant und Wittgenstein40,00 €![Logic and Its Philosophy]( "Logic and Its Philosophy")
Logic and Its Philosophy76,30 €![Geometrie und Philosophie]( "Geometrie und Philosophie")
Geometrie und Philosophie169,95 €![Das wahrhafte Unendliche und die Unendlichkeit der Mathematik]( "Das wahrhafte Unendliche und die Unendlichkeit der Mathematik")
Das wahrhafte Unendliche und die Unendlichkeit der Mathematik19,99 €![Über Existenz: Die Ontologie Roman Ingardens]( "Über Existenz: Die Ontologie Roman Ingardens")
Über Existenz: Die Ontologie Roman Ingardens212,99 €
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".