Charakteristische Zahlen

Gottfried Wilhelm Leibniz entwickelte die Idee der charakteristischen Zahlen im Jahre 1679. Er verwendete sie als Modell der aristotelischen syllogistischen Logik und hoffte, damit eine allgemeine Methode gefunden zu haben, alle logischen Probleme mit Hilfe eines Kalküls, nämlich des Rechnens mit ganzen Zahlen, lösen zu können.

Die Idee

Im Jahre 1679 verfasste Gottfried Wilhelm Leibniz eine kleine Anzahl von unveröffentlichten Manuskripten. Diese Texte gehören in den Kontext seines ehrgeizigen Projektes eines Calculus Universalis, den er selbst wie folgt beschreibt:

Leibniz Idee war es, Primzahlen zu verwenden, um die Bausteine seiner Logik, die einfachen oder elementaren Ideen, zu repräsentieren. Zusammengesetzte Ideen oder Begriffe sollten dann durch das Produkt von Primzahlen repräsentiert werden, genau wie sich alle ganzen Zahlen gemäß dem Fundamentalsatz der Algebra als Produkte von Primzahlen darstellen lassen. Von ihm stammt das folgende einfache Beispiel:

Nach einigen Mühen musste Leibniz allerdings feststellen, dass er mit dieser einfachen Methode seine Idee nicht realisieren konnte (die dabei auftretenden Probleme werden ausführlich in geschildert). Leibniz löste diese Probleme, indem er von der Darstellung durch ganze Zahlen zur Darstellung durch Zahlenpaare überging.

Die Zahlenpaare

Wie bei seinem simplen oben geschilderten Ansatz geht Leibniz davon aus, dass es einfache, nicht zusammengesetzte Ideen oder Begriffe gibt, durch die sich alle anderen Begriffe zusammensetzen lassen. Diese Grundbegriffe werden wieder den Primzahlen zugeordnet; d. h. jedem Grundbegriff entspricht genau eine Primzahl.

Zusammengesetzte Begriffe werden dadurch bestimmt, dass man angibt, welche elementaren Begriffe in ihnen enthalten sind ("positive" Grundbegriffe) und welche Grundbegriffe nicht in ihm enthalten sind ("negative" Grundbegriffe).

Zu einem gegebenen zusammengesetzten Begriff ${\displaystyle S}$ sei ${\displaystyle s}$ das Produkt derjenigen Primzahlen, die zu den "positiven" Begriffen gehören, und sei ${\displaystyle \sigma }$ das Produkt derjenigen Primzahlen, die zu den "negativen" Begriffen gehören. Dann ordnet man dem Begriff ${\displaystyle S}$ das Zahlenpaar ${\displaystyle (s,\sigma )}$ zu:

.

Leibniz selbst verwendete allerdings nicht die moderne Schreibweise als Zahlenpaar, sondern eine andere: Statt ${\displaystyle (s,\sigma )}$ schrieb er ${\displaystyle s-\sigma }$.

Die Urteile

Ziel der Abbildung von Begriffen auf Zahlen(paare) war es, die auf Aristoteles zurückgehenden kategorischen Urteilsformen ebenfalls durch arithmetische Formeln zu interpretieren. Dies gelingt Leibniz wie folgt.

Nehmen wir an, dass dem Subjekt S und dem Prädikat P die charakteristischen Zahlenpaare ${\displaystyle (s,\sigma )}$ bzw. ${\displaystyle (p,\pi )}$ zugeordnet sind. Dann werden die kategorischen Urteile wie folgt interpretiert:

Hierbei wird wie üblich mit ggT(a,b) der größte gemeinsame Teiler der ganzen Zahlen a und b bezeichnet.

Folgerungen

An den arithmetischen Interpretationen der Urteile lassen sich die Gesetze der Aristotelischen Logik nachvollziehen. Dazu beachte man, dass in den Zahlenpaaren ${\displaystyle (s,\sigma )}$ die Zahlen s und ${\displaystyle \sigma }$ stets teilerfremd sind (als Produkte unterschiedlicher Primzahlen).

Beispiel Aus A(S,P) folgt I(S,P).

Beweis: Angenommen, alle in s enthaltenen Primfaktoren seien auch in p enthalten, und alle in ${\displaystyle \sigma }$ enthaltenen Primfaktoren auch in ${\displaystyle \pi }$. Wenn nun einer der Primfaktoren von s, sagen wir m, in ${\displaystyle \pi }$ enthalten wäre, dann hätten p und ${\displaystyle \pi }$ diese Primzahl als gemeinsamen Faktor, was nach Definition der Zahlenpaare ausgeschlossen ist. Genauso führt man die Annahme zum Widerspruch, dass p und ${\displaystyle \sigma }$ einen gemeinsamen Teiler haben.

Analog hat Leibniz alle anderen grundlegenden Gesetze der Aristotelischen Logik (insbesondere die Syllogismen) in seiner arithmetischen Interpretation bestätigt.

Mit seiner arithmetischen Interpretation ist es Leibniz gelungen, ein intensionales Modell der Logik des Aristoteles aufzustellen. Dieses Modell erlangte Bedeutung durch den polnischen Logiker Jan Łukasiewicz, der die Leibnizschen charakteristischen Zahlen in seinem Standardwerk für den Beweis der Vollständigkeit seines Axiomensystems der Aristotelischen Logik verwendete.

Einzelnachweise

Quellen

• Gottfried Wilhelm Leibniz: „Sämtliche Schriften und Briefe“, Akademie-Ausgabe, 6. Reihe, 4. Band, Teil A, Manuskripte Nr. 56–64 Berlin 1999
• Fragmente zur Logik. Ausgewählt, übersetzt und erläutert von Dr. phil. habil. Franz Schmidt. Akademieverlag, Berlin 1960