| David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre Contributor(s): Werner, Philipp (Author) |
|
 |
ISBN: 1614517789 ISBN-13: 9781614517788 Publisher: de Gruyter OUR PRICE: $124.44 Product Type: Hardcover - Other Formats Language: German Published: February 2015 |
| Additional Information |
| BISAC Categories: - Mathematics | Set Theory - Mathematics | History & Philosophy - Philosophy | Logic |
| Dewey: 191 |
| LCCN: 2014042920 |
| Series: Logos |
| Physical Information: 0.5" H x 6.14" W x 9.21" (0.92 lbs) 152 pages |
| Themes: - Chronological Period - Modern |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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". |
Contributor Bio(s): Werner, Philipp: - Philipp Werner, München, Deutschland. |