172 
F. Exner. Uihir Leihnili (HS 
über- und untergeordneten, und durch deren Subtraction л'оп der ganzen Zalil der Begriffe 
auch alle nicht in diesem Verhältniss zu ihm stehenden angeben; damit aber habe man alle 
möglichen Subjcctc, so wie alle positiven und negativen Prädieale dieses Begriffes, also alle 
allgemeinen Urtheile, aus welchen durch Unteroidnung und Unikehrung die besonderen ge- 
iunden werden. Auf demselben Wege finde man für je zwei Begriffe die dazwischen liegen- 
den Mittelbegriffe zum Behufc der möglichen Schlüsse So weit die Ars combinntcrin. 
Diese wohl gar zu einfache Methode genügte dem gereifleren Denker nicht mehr; die spä- 
teren Schriften, Fundammtn caiculi raticcinatcris und Усп ind.igans specimen demcns/rnndi in 
fibstractis ') suchen gründlicher zu ЛѴегке zu gehen. Sie bemerken, dass alle menschlichen 
Gedanken in wenige primitive aufgelöst, diese aber bezeichnet werden können; dass sich 
daraus die Bezeichnungen der zusammengesetzten Begrilfe ableiten lassen, aus denen wieder 
die Definitionen dieser Begriffe und hieraus die aus den Definitionen beweisbaren Beschaf- 
lenheiten, aßccticnes, gefunden werden. Wie man die zusammengesetzten Bezeichnungen aus 
den einfachen zu bilden habe, wird nicht gesagt; nach dem Früheren ist anzunehmen, dass 
es durch Combination geschehen soll, wobei die Buchstaben vorläufig als Zeichen dienen. 
Kin aus einfachen Charakteren zusanmiengesetztes Zeichen wird Formel genannt. Es wird 
dann die Zusammensetzung der Formeln betrachtet und gezeigt, dass ein einfacher Charakter 
in einer Formel entweder offen oder versteckt, entweder direct oder indirect, d. i. selbst- 
sländig oder abhängig von einem andern vorkommen und dass die Zusammensetzung mehrer 
Formeln gleich- oder ungleichiöimig sein könne. Hierauf folgt die Untersuchung der Ver- 
hältnisse, relnticnts. welche zwischen zwei oder mehren Formeln Statt finden, und es ergeben 
sich die Verhältnisse der Koincidenz oder Identität, der Aequipollenz oder Substituirbarkeit, 
der Verschiedenheit, Einschliessung und Ähnlichkeit. — Die bisher besprochenen Formeln 
und Belationen entsprechen den Begriffen und Urtheilcn der Logik ; was aber entspricht 
ihren Schlüssen? Der Calcul oder die Operation, d. i. das Hervorbringen von Beziehungen 
durch Umänderimg der Formeln nach vorgeschriebenen Gesetzen. Denn: y>Id scilicct ejfi- 
eiindum est, iit cmnis paralogismus nihil aliud sit quam error caiculi, et ut s cp h is ma, in 
licc novo scripiurac gemre (xpressum, raiera nihil eiliud sit ejuam solccc ismus vel barba- 
г ismus, cj? ipsis grnmmaticfs hujus philcscphicae legibus rcvincendus ■*). Hier also sind wir 
bei dem Hauptgej^enstande der ganzen Untersuchung angelangt, und erwarten begierig, wel- 
che gesetzmässigc Umänderungen der Formeln man uns lehren werde. Wirklich erhalten 
wir auf driltliali) Seiten dreizehn Theoreme, welche die Begriffe des Substituirens, Addirens 
und Subtrahirens anwenden auf die oben aufgestellten Verhältnisse der Gleichheit, Verschie- 
denheit und Ähnlichkeit zweier Formeln, und uns beweisen, dass Gleiches zu Gleichem ad- 
dirt (Gleiches gibt, dass das Einschlicssende eines Einschliessenden auch ein Einschliessendes 
ist nh' das von diesem Eingeschlossene u. dgl. In dem nächsten Aufsalze: Addenda ad spe- 
cimen caiculi universalis weiden als Voraussetzungen des Calculs zuerst sechs an sich wahre 
Sätze angeführt, verschiedene Ausdrücke der sogenannten logischen Gesetze der Identität, 
») S. 12, 21, u. w. 2) S. 92 u. w. S. 83. 
