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

Neunte Vorlesung.

liches gilt von dem (vorhin in andrer Hinsicht erwähnten) D 54,
welches mit D 52 und 53 schon a fortiori gegeben erscheint. Ich
möchte deshalb den Leser bitten, sooft im Nachfolgenden von dem
Formelkomplex der Kettentheorie gesprochen wird, sich die drei Zeilen
der Gruppe 4⁰), welche fünf Sätze D 52 ‥ D 56 anführt, ausgemerzt und
durch die zwei Zeilen der folgenden Gruppe ersetzt denken zu wollen:
6⁰) [Formel 1]
— welche ihrerseits nur drei Sätze enthält, indem von den drei Aus-
sagensubsumtionen der ersten Zeile blos die zwei ersten bewiesen zu
werden brauchen.

Ganz ebenso endlich wäre D 49 als blosses Korollar zu D 45 zu
unterdrücken.

Das ist freilich nur eine Kleinigkeit, die aber doch etwas beitragen
wird, die Schönheit der Theorie zu erhöhen, bei der die übergrosse Menge
so kleiner Sätze fast verwirrend wirkt.

Sodann will ich dem „Schein-Dualismus“ kurz zuleibe gehen, von
dem ich in der Einleitung gesprochen.

Derselbe macht sich bei sechs Sätzen — zunächst bei den Formeln der
zweiten und denen der letzten Zeile unsrer Zusammenstellung — bemerk-
lich, sobald dieselben nur in der Dedekind’schen (oder in einer ihr an-
gepassten) Bezeichnung vorgeführt werden. Sind in der That die Formeln
wie folgt geschrieben:

D 23. (b + c + …)' = b' + c' + …	D 24. (bc …)' ⋹ b' c' …
D 61. (b + c + …)_0 = b_0 + c_0 + …	D 62. (bc …)_0 ⋹ b_0c_0 …,

so scheinen die nebeneinanderstehenden geradezu einander dual entsprechen
zu müssen (mit Bezug auf den unwillkürlich, aber eben unberechtigterweise
festgehaltenen „Bild-“ resp. „Ketten-“Begriff, den der Accent resp. das
Suffixum 0 bei Dedekind repräsentirt). Mit solch dualem Entsprechen
bleibt jedoch unvereinbar: die Verschiedenheit der Beziehungszeichen, welche
links als Gleichheits-, rechts als Einordnungszeichen sich darstellen. Die
— wenn ich so sagen darf — „Paradoxie“ dieses Pseudodualismus rührt
nur von der „unzulänglichen“ Bezeichnung her, und hellt sich auf, sobald
man die Sätze — so wie es in 1⁰ und 5⁰) von uns geschehen — hin-
reichend „ausdrucksvoll“ darstellt. Da erkennt man denn sofort — was
dem Accent z. B. nicht anzusehen gewesen — dass der Begriff „a-Bild
von-“ imgleichen wie der „a-Kette von-“ sich selber keineswegs dual ent-
spricht, und dass die einander (als „pseudoduale“) gegenübergestellten Sätze
in der That aus ganz verschiedenen Formelgespannen der allgemeinen Theorie
entstammen, die links nämlich dem Gespanne 4), die rechts dem Gespanne 5)
des § 6, in welchem letztern statt der Gleichheitszeichen nur Subsumtions-
zeichen obwalten konnten.