Klassenlogik

Die Klassenlogik ist im weiteren Sinn eine Logik, deren Objekte als Klassen bezeichnet werden. Im engeren Sinn spricht man von einer Klassenlogik nur dann, wenn Klassen durch eine Eigenschaft ihrer Elemente beschrieben werden. Diese Klassenlogik ist daher eine Verallgemeinerung der Mengenlehre, die nur eine eingeschränkte Klassenbildung erlaubt.

Klassenlogik im weiteren Sinn

Vorläufer der Klassenlogik sind die Dihairese bei Platon und vor allem die Syllogistik des Aristoteles mitsamt ihren späteren Modifikationen. Aristoteles arbeitet meist mit Begriffen (termini, Termen), ohne diese als Klassen zu bezeichnen. Erst 1847 bezeichnete George Boole in seiner mathematischen Analyse der aristotelischen Syllogistik Begriffe als Klassen und schuf damit die erste Klassenlogik im weiteren Sinn. Er beschrieb aber Klassen nicht durch ihre Elemente und deren Eigenschaften, so dass bei ihm noch keine Klassenlogik im engeren Sinn vorliegt. Das gilt auch für die moderne boolesche Algebra, die Booles Nachfolger aus dessen Kalkül entwickelten.

Auch die Neumann-Bernays-Gödel-Mengenlehre NBG von 1937 bis 1940 ist eine Klassenlogik im weiteren Sinn, die als Erweiterung der Zermelo-Fraenkel-Mengenlehre ZF konzipiert ist, so dass sie außer den üblichen Mengen auch sogenannte echte Klassen als Objekte hat, die in ZF fehlen, weil sie in der naiven Mengenlehre Antinomien erzeugen. NBG und ZF bauen in der heute üblichen strengen Formalisierung auf einer Prädikatenlogik auf und haben offiziell keine für die Klassenlogik typischen Klassenterme {x|A(x)}, sondern benützen diese nur virtuell als Schreibweise auf metasprachlicher Ebene. Beide Mengenlehren werden also in der Praxis klassenlogisch notiert. Sie lassen sich aber auch problemlos im Rahmen einer Klassenlogik im engeren Sinn formal korrekt aufbauen.

Klassenlogik im engeren Sinn

Die erste Klassenlogik im engeren Sinn schuf Giuseppe Peano 1889 als Grundlage für seine Arithmetik (Peano-Axiome). Er führte den Klassenterm ein, der Klassen formal korrekt durch eine Eigenschaft ihrer Elemente beschreibt. Heute notiert man diesen Klassenterm in der Form {x|A(x)}, bei dem A(x) eine beliebige Aussage ist, die alle Klassenelemente x erfüllen. Peano axiomatisierte erstmals den Klassenterm und benutzte ihn uneingeschränkt. Gottlob Frege versuchte 1893 ebenfalls, die Arithmetik in einer Logik mit Klassentermen zu begründen; in ihr entdeckte Bertrand Russell 1902 aber einen Widerspruch, der als Russellsche Antinomie bekannt wurde. Dadurch wurde allgemein bewusst, dass man Klassenterme nicht bedenkenlos verwenden kann.

Zur Lösung der Problematik entwickelte Russell von 1903 bis 1908 seine Typentheorie, die nur noch einen sehr eingeschränkten Gebrauch von Klassentermen zuließ. Auf Dauer setzte sie sich aber nicht durch, sondern die bequemere und leistungsfähigere, von Ernst Zermelo 1907 initiierte Mengenlehre. Sie ist aber in ihrer jetzigen Form (ZF oder NBG) keine Klassenlogik im engeren Sinn mehr, da sie den Klassenterm nicht axiomatisiert, sondern nur in der Praxis als nützliche Schreibweise gebraucht. Willard Van Orman Quine präzisierte 1963 diese verbreitete Anwendung von Klassen und führte in seiner Mengenlehre {x|A(x)} als virtuellen Klasse ein, so dass Klassen zwar noch nicht vollwertige Terme sind, aber Teilterme in definierten Kontexten.^[1]

Von Quine ausgehend entwickelte Arnold Oberschelp ab 1974 die erste voll funktionsfähige moderne axiomatische Klassenlogik. Sie ist eine widerspruchsfreie Erweiterung der Prädikatenlogik und erlaubt (wie Peano) den uneingeschränkten Gebrauch von Klassentermen.^[2] Sie benutzt auch alle Klassen, die in der naiven Mengenlehre Antinomien erzeugen, als Terme. Das ist möglich, weil sie keine Existenzaxiome für Klassen annimmt. Sie setzt insbesondere keine Mengenaxiome voraus, kann aber solche zusätzlich aufnehmen und syntaktisch korrekt in der traditionell-einfachen Darstellung mit Klassentermen formulieren; zum Beispiel entwickelt die Oberschelp-Mengenlehre die Zermelo-Fraenkel-Mengenlehre im Rahmen der allgemeinen Klassenlogik.^[3]

„Eine klassenlogische Sprache entspricht der tatsächlich verwendeten mathematischen Sprache weit besser als eine prädikatenlogische Sprache.“

– Oberschelp: Allgemeine Mengenlehre, 1994, Vorwort Seite 5

Literatur (chronologisch)

• Peano, Giuseppe: Arithmetices principia nova methodo exposita, 1889, in: G. Peano: Opere scelte II, Rom 1958, 20-55
• Frege, Gottlob: Grundgesetze der Arithmetik, Band 1, Jena 1893.
• Quine, Willard Van Orman: Set Theory and its Logic, 1963, ISBN 0-674-80207-1. Deutsche Übersetzung: Mengenlehre und ihre Logik, Braunschweig 1973, ISBN 3-548-03532-9
• Albert Menne Grundriß der formalen Logik Paderborn: Universitäts-Taschen-Bücher-Verlag: 1983. Ab 5. Auflage umbenannt von Grundriß der Logistik - Das Buch zeigt neben anderen Kalkülen auch eine mögliche Kalkülisierung der Klassenlogik, aufbauend auf dem Aussagen- und Prädikatenkalkül und führt anhand dieser grundlegende Begriffe des formalen Systems der Klassenlogik ein. Es behandelt auch kurz Paradoxien und die Typentheorie.
• Arnold Oberschelp: Elementare Logik und Mengenlehre I/II, Mannheim/Wien/Zürich, 1974/1978.
• Jürgen-Michael Glubrecht, Arnold Oberschelp, Günter Todt: Klassenlogik. Bibliographisches Institut, Mannheim/Wien/Zürich 1983, ISBN 3-411-01634-5.

• Arnold Oberschelp: Allgemeine Mengenlehre, Mannheim/Leipzig/Wien/Zürich, 1994, ISBN 3-411-17271-1

Einzelnachweise

1. ↑ Quine, Willard Van Orman: Mengenlehre und ihre Logik, Braunschweig 1973, S. 12
2. ↑ A. Oberschelp:Allgemeine Mengenlehre, 1994, S. 75f.
3. ↑ Die Vorteile der Klassenlogik zeigt eine Gegenüberstellung von ZFC in klassenlogischer und prädikatenlogischer Form in: Oberschelp, Allgemeine Mengenlehre, 1994, S.261