Abstract

In den Manuskripten vom April 1679 verwendet Leibniz ein arithmetisches Modell der Logik kategorischer Sätze. In seinen späteren Werken findet man kaum eine Spur dieses Projektes. Dieser Sachverhalt scheint Anlaß gegeben zu haben zu der Frage, weshalb Leibniz seine Ansichten von 1679 verwarf. Erwa vier unterschiedliche Antworten wurden gegeben. In diesem Aufsatz möchte ich zeigen, daß all diese Antworten falsch sind, und darüber hinaus, daß die Frage selbst sinnlos ist. Ich werde darlegen, daß Leibniz die arithmetischen Kalküle niemals verworfen hat, obgleich sie fehlerhaft sind. Stattdessen betrachtete er sie als äquivalente Alternativen zu seinen späteren deduktionstheoretischen Darstellungen derselben Logik. Auf diese Weise nahm er das bei modernen Logikern beliebte Verfahren der Konstruktion und Prüfung unterschiedlicher Darstellungen ein und derselben Logik voraus