308 Ernst Schröder, [8J 



je nachdem das Relativ in letzter Instanz eine relative Summe oder ein 

 relatives Produkt ist. 



Im erstem Falle setze man das ausgezeichnete Relativ (in einer Sub- 

 sumtion) als Prädikat zum Subjekt 1 an. Man kann alsdann nach meinem 

 „ersten Inversionstheorem" (Bd. 3, p. 44) einen relativen Summanden von 

 rechts nach links schatten und erhält eine gewöhnliche Subsumtion — - 

 das ist eine universale Urteilsform. 



Im letzteren Falle würde bei gleichem Verfahren kein Satz zum 

 Vonrechtsnachlinksschaffen eines relativen Faktors zur Verfügung stehen. 

 Hier wird aber das Negat des ausgezeichneten Relativs eine relative Summe 

 werden, und kann man dieses wie vorhin behandeln, das Ergebniss wieder 

 zurück negirend. Oder auch: man setzt das ausgezeichnete Relativ als ein 

 Subjekt zum Prädikate hin, wirft einen relativen Faktor nach dem In- 

 versionstheoreme von links nach rechts und negirt zuletzt. Beide Mal 

 wird sich eine Unsubsumtion, also partikulare Urteilsform ergeben. 



So lässt sich nun auch unsere Definition I als ein ausgezeichnetes 

 Relativ in folgender Weise schreiben: 



3)(«istoo)= vji; (rj-i). 1; (l-j-l). a: (^^J-fl). («J-ij-ä)(ai5;^;a)J-o]. 



Dass a ein „System" bedeuten solle, habe ich in unseren beiden 

 Darstellungsformen 1) und 3) der Def. I nicht zum Ausdruck gebracht. Ab- 

 gesehen hievon sind dieselben jedoch vollliommen ausdrucksvoll, bringen 

 sie alles Wesentliche zur Darstellung. 



Ich ziehe vor, die Bedingung 2) für a ein für allemal zur Voraus- 

 setzung zu erheben und alle Schlüsse gleichsam unter der Herrschaft 

 des Aussagenfaktors a zu ziehen, wenn wir so für den Augenblick 

 etwa das ausgezeichnete Relativ rechts in 2) Kürze halber nennen. 



Ist auf Grund solcher Voraussetzung « irgend eine Thcsis: ß = y 

 gewonnen, oder auch in dieser Form etwa eine Definition aufgestellt, so 

 stehen zwei Wege zu Gebote, diese bedingt geltende Formel auf Wunsch 

 in eine bedingungslos gültige umzuschreiben. 



Der eine beruht auf dem leicht erweislichen Aussagenschema: 

 {«=^(,3 = 7)}= («^ = «7) 

 und läuft einfach darauf hinaus, dass man den Aussagenfaktor « den beiden 

 Seiten unserer Formeln {ß — y) jeweils beifügt. 



