Zur Lehre von den Kontrapositionsschlüssen

Zusammenfassung

In der Lehre der traditionellen Logik, womit die im Wesentlichen auf Aristoteles und die Scholastik zurückzuführende vorlogistische Logik gemeint ist, versteht man bekanntlich unter einem Schluß die Ableitung eines Urteils aus mindestens einem anderen. Wenn die Ableitung des erschlossenen Urteils aus mehr als einem anderen erfolgt, spricht man von einem mittelbaren, andernfalls von einem unmittelbaren Schluß. Es liegt nahe, die traditionelle Lehre von den Schlüssen — das Kernstück der Logik — mit den Mitteln, welche die neue Logikforschung zur Verfügung stellt, zu überprüfen. Für die mittelbaren Schlußarten haben u. a. Hilbert und Ackermann eine eingehende Erörterung bereits vorgelegt¹. Die unmittelbaren Schlüsse werden darin jedoch nur kurz gestreift. Um das Verhältnis der traditionellen Logik zur modernen Logik erneut zur Anschauung zu bringen, soll in den folgenden Untersuchungen ein Ausschnitt aus der klassischen Theorie von den unmittelbaren Schlußmodi im Lichte des Logikkalküls behandelt werden. Die sich hierbei herausstellenden Ergebnisse werden in gewisser Weise überraschend genannt werden können².