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

Zehnte Vorlesung.

auch als „absolute Terme“ (ich übersetze so in Ermangelung eines
bessern Ausdrucks das englische „absolute terms“) hingestellt werden.
In ⁵ p. 48 gebraucht Peirce auch den Ausdruck: „terms of singular
reference“, während er daselbst „Systeme“ als „complete as to their
correlate“ umschreibt.

Bekannt ist nun aber, dass auch jeder relative Name als ein ab-
soluter gebraucht werden kann. Jeder relative Begriff gibt Veran-
lassung zur Bildung auch eines (zumeist beinah völlig gleichlautend
benamten) absoluten Begriffes. Von den Begriffen „Liebender von-“,
„Vater von-“, „Bild von-“ vermögen wir auch zu abstrahiren die Be-
griffe: „Liebender“, „Vater“, „Bild“ (überhaupt).

An diesen wichtigen Prozess oder Übergang knüpfen sich nun
noch einige fundamentale Überlegungen, und wollen wir diesen zunächst
analytisch beikommen, an sie von den Gesichtspunkten der Algebra
aus herantreten.

Ist a kein System sondern ein beliebiges binäres Relativ, so wissen
wir zwar was das Symbol a_{i j} bedeutet, dagegen ist dem Symbole a_i
bis jetzt noch keine Erklärung zuteil geworden. Wir können aber
versuchen, den Begriff von a_i von den Systemen auf beliebige Relative
auszudehnen.

Dazu bieten sich zwei ursprünglich gleichberechtigte aber auf
Verschiedenes hinauslaufende Wege dar.

Wäre a System, so hätten wir kraft 58) im Hinblick auf 40):
(a_{i j} =) (a ; 1)_{i j} = a_i = (a ɟ 0)_{i j}.

In jedem Falle ist sowol (a ; 1)_{i j} = Σ_ha_{i h} als auch (a ɟ 0)_{i j} = Π_ha_{i h}
vom zweiten Index im Suffixe, nämlich von j, unabhängig; aber wenn
a kein System ist, sind die beiden Ausdrücke von einander verschieden,
und müssen wir uns für den einen von ihnen als den zur Definition
von a_i zu verwendenden entscheiden.

Wir thun dies für den ersten, sodass uns die Gleichung
(71) a_i = (a ; 1)_{i j}
bedingungslos gelten wird.

Damit gewinnt aber a_i die Bedeutung der Aussage: „i ist ein a“,
wo a den zum relativen Begriff „a von-“ gehörigen absoluten Begriff
„a“ vorstellt.

Wir wollen dies und noch einiges dazu Gehörige an dem Para-
digma erläutern, wo a als binäres Relativ = amans, Liebender von-
bedeutet.