Logos – serie

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

Ding und Begriff stellen den Kern von Peter F. Strawsons Philosophie dar: Worauf beziehen wir uns in unserem alltäglichen Denken und Sprechen und unter welchen Bedingungen können wir uns darauf beziehen? Mit dieser Frage, wie wir die Welt begrifflich erfassen, sind eine Reihe von Problemstellungen metaphysisch-ontologischer, epistemologischer, logischer und sprachphilosophischer Natur verbunden. An sie knüpfen die hier versammelten Beiträge an. Die systematische Auseinandersetzung mit Strawsons Themen zeigt einige Schwächen seiner Positionen auf, weist aber auch Wege zu möglichen Lösungen und bettet Strawsons Philosophieren dadurch in aktuelle Debatten ein.

Diese Einführung in die Ontologie zeigt die Geschichte der abendländischen Philosophie als einen dauernden Kampf zwischen den Riesen und Göttern von Platons Sophistes. Auf der einen Seite gibt es die Philosophen, die die Auffassung vertreten, daß nur das physikalische Universum existiert und auf der anderen Seite gibt es solche Philosophen, die darauf bestehen, daß es eine weit 'größere' Welt gibt, die auch zeitlose und nicht-räumliche Dinge, wie z.B. Egenschaften enthält. Der Autor diskutiert detailliert diese wichtige metaphysische Debatte, die dem Kampf zugrunde liegt, nämlich die Auseinandersetzung zwischen Naturalisten und Ontologen. Das Buch beginnt mit einer Untersuchung der Geschichte der Auseinandersetzung zwischen Nominalisten und Realisten über das Problem der Universalien. Danach erkundet der Autor die Natur und Existenz der Kategorien wie Relationen, Strukturen, Zahlen und Tatsachen. Im letzten Teil argumentiert er dafür, daß Existenz und Negation keine Kategorien sind, sondern eher Merkmale der Welt. Die Einführung in die Ontologie dient zugleich als Einführung in die Philosophie insgesamt und zeichnet sich durch Klarheit, gute Verständlichkeit und einen lebendigen Stil aus.

Der Begriff der logischen Form charakterisiert einerseits einen der Gegenstände und andererseits eine der Methoden der analytischen Philosophie. Diese zweifache Rolle verdankt der Formbegriff den Formulierungen Russells, der in Auseinandersetzung mit seinen Zeitgenossen verschiedene Aspekte des Inhalts dieses Begriffs definiert. Die vorliegende Untersuchung rekonstruiert die Theorie Russells als einen Begriffszusammenhang und stellt die Ursprünge und die Besonderheiten der Entwicklung des Begriffs der logischen Form dar, welche die moderne Herangehensweise an die logisch-philosophische Problematik entscheidend prägen und somit die Gestalt der analytischen Tradition bestimmen.