David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre

David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre

Eine Rekonstruktion

$137.99

Publication Date: 26th February 2015

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:... Read More
0 in stock
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:... Read More
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".

Details
  • Price: $137.99
  • Pages: 152
  • Publisher: De Gruyter
  • Imprint: De Gruyter
  • Series: Logos
  • Publication Date: 26th February 2015
  • ISBN: 9781614517788
  • Format: Hardcover
  • BISACs:
    PHILOSOPHY / Language
    PHILOSOPHY / Logic
    MATHEMATICS / History & Philosophy
    MATHEMATICS / Set Theory
Author Bio

Philipp Werner, München, Deutschland.

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

  • Price: $137.99
  • Pages: 152
  • Publisher: De Gruyter
  • Imprint: De Gruyter
  • Series: Logos
  • Publication Date: 26th February 2015
  • ISBN: 9781614517788
  • Format: Hardcover
  • BISACs:
    PHILOSOPHY / Language
    PHILOSOPHY / Logic
    MATHEMATICS / History & Philosophy
    MATHEMATICS / Set Theory

Philipp Werner, München, Deutschland.