Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.

§ 4. Erste Grundlagen: Definition der Gleichheit.

miteinander vertauscht werden, oder: Die identische Gleichheit ist eine
„symmetrische“ Beziehung — ein Satz, der sich, wie wir soeben sahen,
ganz streng beweisen lässt.

Stellen a und b Gebiete vor, so müssen sie, wenn das erste im
zweiten und zugleich das zweite im ersten enthalten sein soll, einan-
der decken, in eines zusammenfallen, koincidiren. Identisch gleiche
Gebiete bezeichnen wir demnach als „einerlei“.

Man ersieht hierans, dass — wie schon in der Einleitung betont —
der Begriff der Gleichheit im identischen Kalkul weit enger gefasst ist,
als in der Grössenlehre. Dort, wo von Maassbestimmungen absolut nicht
die Rede sein soll, dürfen wir zwei Kreise oder Flächen, wenn sie etwa
nur „gleich gross“ (inhaltsgleich, sogar, wenn sie auch kongruent) sein
sollten, durchaus nicht als (identisch) „gleich“ gelten lassen.

Ungeachtet dieser verschiedenen Interpretation des Gleichheitszeichens
in den beiden Disziplinen ist es doch unbedenklich, sich des nämlichen
Zeichens = für beiderlei Beziehungen zu bedienen selbst dann, wenn An-
wendungen des identischen Kalkuls auf das Gebiet der mit Zahl und
Maass operirenden Mathematik beabsichtigt sein sollten. Und zwar aus
zwei Gründen.

Erstens deshalb, weil auch in der Mathematik nicht mit den Grössen
selbst, sondern nur mit deren Maasszahlen, weil darin allgemein nur mit
abstrakten Zablen gerechnet zu werden pflegt. Jede abstrakte Zahl be-
trachtet man aber daselbst als ein nur einmal existirendes Individuum, ver-
sinnlicht etwa durch einen bestimmten Punkt der Zahlenlinie resp. Zahlen-
ebene, und bei dieser Auffassung kommt die Gleichheit zweier Zahlen auch
auf ein Zusammenfallen derselben, auf deren Identität hinaus — wie schon
S. 146 angedeutet.

Zweitens würden gedachte Anwendungen des identischen Kalkuls auf
das Gebiet der rechnenden Analysis doch vor allem angezeigt erscheinen
— und könnten in der That von grossem Nutzen werden — da, wo man
mit vieldeutigen Ausdrücken zu thun bekommt, wo nämlich mit Zahlzeichen
zu operiren ist, die nicht notwendig je eine einzige Zahl, sondern eventuell
eine ganze Klasse oder Gattung von Zahlen vorstellen. Von zwei solchen
Zahlgattungen würde nun eine, A, „untergeordnet oder gleich“ einer an-
dern B zu nennen, es würde A ⋹ B zu schreiben sein, wenn alle Werte,
die A umfasst, unter den Werten von B zu finden sind, und „gleich“
würden die beiden vieldeutigen Ausdrücke A und B heissen müssen, wenn
dies gegenseitig ist, d. h. wenn sie beide ganz die nämlichen Werte um-
fassen. Sobald aber diese identisch gleichen Ausdrücke A und B ein-
deutige Zahlzeichen würden, nämlich die unter A und B verstandenen
Zahlengattungen etwa nur je aus einem Zahlindividuum bestehen sollten, die
Klasse A in den einen Wert a, die B zu der Zahl b zusammenschrumpfte,
dann würde die vorhin statuirte identische Gleichheit A = B der Klassen
doch in der That zusammenfallen mit der arithmetischen Gleichheit a = b
zwischen diesen ihren einzigen Zahlwerten.

So wenig sich auch, wie S. 136, 139 dargelegt, das Zeichen < zur