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

· Logos Bók 24 · Walter de Gruyter GmbH & Co KG
Rafbók
152
Síður
Einkunnir og umsagnir eru ekki staðfestar  Nánar

Um þessa rafbók

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

Um höfundinn

Philipp Werner, München, Deutschland.

Gefa þessari rafbók einkunn.

Segðu okkur hvað þér finnst.

Upplýsingar um lestur

Snjallsímar og spjaldtölvur
Settu upp forritið Google Play Books fyrir Android og iPad/iPhone. Það samstillist sjálfkrafa við reikninginn þinn og gerir þér kleift að lesa með eða án nettengingar hvar sem þú ert.
Fartölvur og tölvur
Hægt er að hlusta á hljóðbækur sem keyptar eru í Google Play í vafranum í tölvunni.
Lesbretti og önnur tæki
Til að lesa af lesbrettum eins og Kobo-lesbrettum þarftu að hlaða niður skrá og flytja hana yfir í tækið þitt. Fylgdu nákvæmum leiðbeiningum hjálparmiðstöðvar til að flytja skrár yfir í studd lesbretti.