Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz

Abstract

Wir diskutieren das Leibnizsche Programm einer Mathesis universalis, d.h. den Versuch, die Struktur formaler Wissenschaften in mechanisch bzw. kalkülmäßig kontrollierbaren Abhängigkeitsbeziehungen darzustellen und damit die Begründung wissenschaftlicher Sätze auf die Basis einer einheitlichen exakten Wissenschaftssprache zu stellen. Als speziellen Anwendungsfall besprechen wir Leibniz' arithmetischen Logikkalkül, der auf der Idee beruht, positive und negative Merkmale von Begriffen durch teilerfremde Zahlen zu repräsentieren. Als weitere Anwendung der Mathesis universalis wird Leibniz' Begriff der Wahrscheinlichkeit und seine Wahrscheinlichkeitslogik erörtert und auch auf dessen konzeptionelle Schwierigkeiten hingewiesen.