Abstract

In der vorliegenden Arbeit wird Leibniz' wahrscheinlich detailliertestes und ausgefeiltestes System untersucht: ein Kalkül der Einfügung und eine der Konjunktion ähnliche Operation, die er realis abjectio nennt. Das System soll hinreichend detailliert und mit hinreichender Präzision vorgestellt werden, um zu zeigen, daβ es ausgefeilt formal logisch ist und eine Anzahl originärer und wichtiger Züge aufweist. Neben seinem eigenständigen Interesse ist dieses System wichtig wegen seiner Auswirkungen auf andere Aspekte von Leibniz' Logik und Philosophie, und ein weiteres Ziel dieser Arbeit ist, einige dieser Verbindungen aufzuspüren