Universalsprache
Die Universalsprache bezeichnet nach Leibniz ein System von Zeichen (characteristica universalis), mit dessen Hilfe alle Objekte und ihre Beziehungen, Gesetze u.a. abgebildet werden sollen, und zwar derart, daß den Dingen bestimmte Zeichen und den Beziehungen zwischen den Dingen bestimmte Beziehungen zwischen diesen Zeichen entsprechen sollten.Dieses Programm beinhaltet insbesondere auch die Ersetzung der Operation mit Begriffen durch die Operation mit Zeichen. Diese characteristica universalis sollte die Grundlage einer scientia universalis, einer Universalwissenschaft, sein. Vom besonderem philosophischem Interesse ist die Anwendung dieser Universalsprache auf das Problem der Abbildung. Die einzelnen Zeichen, die zur Bezeichnung der Objekte verwendet werden, mögen zwar willkürlich sein, nicht willkürlich ist aber die Struktur eines derartigen, einen bestimmten objektiv-realen Gegenstandsbereich abbildenden Zeichensystems.
Die Verknüpfung der Zeichen miteinander ist nicht willkürlich, sondern entspricht der Verknüpfung zwischen den bezeichneten Objekten. Das Problem der Universalsprache hat Leibniz zeitlebens beschäftigt, ohne daß ihm eine systematische Darlegung gelungen wäre. Die moderne Logik kann in gewisser Hinsicht als Realisierung des Leibnizschen Programms aufgefaßt werden. Sie hat zugleich auch erwiesen, daß das Leibnizsche Programm nur in begrenztem Umfang realisierbar ist, und hat diese Grenzen durch Kurt Gödels Unvollständigkeitssatz und Erkenntnisse über die Möglichkeit von Entscheidungsverfahren schon recht genau bestimmt.
siehe auch Einheitssprache, Einheitswissenschaft