Gottfried Wilhelm Leibniz
1646–1716
Universalgelehrter und Rationalist, der von der Infinitesimalrechnung bis zur Monadenlehre reichte – und mit dem „calculus ratiocinator“ den Urtraum der formalen Logik formulierte.

Bekanntestes Konzept
Die beste aller möglichen Welten
Da Gott vollkommen und gütig ist, hat er aus unendlich vielen möglichen Welten die bestmögliche verwirklicht; das Übel ist nur als notwendiger Bestandteil dieses optimalen Ganzen zugelassen.
Gottfried Wilhelm Leibniz war einer der universellsten Gelehrten der Neuzeit: Mathematiker, Logiker, Metaphysiker, Jurist und Diplomat. Er entdeckte – zeitgleich mit, aber unabhängig von Newton – die Infinitesimalrechnung und entwarf zugleich große metaphysische Systeme. In der Logik war er ein entscheidender Vorläufer der Moderne: Sein Traum einer „characteristica universalis“ und eines „calculus ratiocinator“ sollte philosophische Streitigkeiten durch bloßes Rechnen entscheiden – eine Idee, die erst Frege, Russell und Gödel technisch einlösten. Seine Metaphysik der Monaden, die prästabilierte Harmonie und die These von der „besten aller möglichen Welten“ prägen die Philosophiegeschichte bis heute.
Kernideen
- 1.Characteristica universalis & calculus ratiocinator: eine universelle Begriffsschrift und ein Kalkül des Denkens – Streitigkeiten durch Rechnen lösen.
- 2.Formale statt natürlicher Sprache: Wegen ihrer Mehrdeutigkeit soll die natürliche Sprache durch eine präzise Formalsprache ersetzt werden (wie später bei Frege).
- 3.Satz vom zureichenden Grund: Nichts ist ohne einen Grund, warum es so und nicht anders ist.
- 4.Identität des Ununterscheidbaren: Zwei Dinge sind identisch, wenn sie in keiner Eigenschaft differieren.
- 5.Monadenlehre: Die Welt besteht aus unteilbaren geistigen „Kraftpunkten“, die je das ganze Universum spiegeln.
- 6.Prästabilierte Harmonie: Gott hat alle Monaden im Voraus so abgestimmt, dass sie ohne kausale Wechselwirkung synchron agieren.
- 7.Beste aller möglichen Welten: In der Theodizee rechtfertigt Leibniz das Übel als notwendigen Teil der bestmöglichen Schöpfung.
- 8.Deontik = Modallogik: Die Logik von geboten/erlaubt/verboten ist strukturgleich mit notwendig/möglich/unmöglich.
Bezug zur Technikphilosophie
Leibniz gilt als Urvater des Computers: Mit der „characteristica universalis“ und dem „calculus ratiocinator“ entwarf er den Traum, Denken in eine formale Zeichenkunst zu überführen und Streitfragen mechanisch zu entscheiden („Calculemus!“) – eine Idee, die Frege, Gödel und Turing technisch einlösten. Er baute eine der ersten Rechenmaschinen für alle vier Grundrechenarten (die „Maschina arithmetica“) und beschrieb 1679 das binäre Zahlensystem, das zur Grundlage jeder digitalen Rechentechnik wurde. Damit verbindet sich bei ihm die philosophische Logik unmittelbar mit der materiellen Maschine: das Rechnen als automatisierbares Verfahren, in dem die heutige Informatik und Künstliche Intelligenz ihren begrifflichen Ursprung haben.
Wahrheitsbegriff
Leibniz unterscheidet zwei Arten von Wahrheiten: notwendige „Vernunftwahrheiten“ (vérités de raison), deren Gegenteil widersprüchlich ist und die auf dem Satz vom Widerspruch beruhen, sowie kontingente „Tatsachenwahrheiten“ (vérités de fait), die der Satz vom zureichenden Grund stützt. Sein Grundprinzip ist die Inhärenztheorie: In jedem wahren Satz ist das Prädikat im Begriff des Subjekts enthalten (praedicatum inest subjecto). Eine Aussage ist also wahr, wenn ihre begriffliche Analyse das Prädikat im Subjekt aufweist – bei notwendigen Wahrheiten in endlich vielen Schritten, bei kontingenten nur in einer unendlichen, allein Gott zugänglichen Analyse.
Subjekt & Objekt
Leibniz löst die klassische Gegenüberstellung von Subjekt und Objekt monadologisch auf: Es gibt keine passive, von außen erkennbare Objektwelt, sondern nur unzählige Monaden – geistige, vorstellende Kraftzentren, die jeweils das gesamte Universum aus ihrem eigenen Blickwinkel spiegeln. Jede Monade ist „fensterlos“, empfängt also keine kausalen Einwirkungen von Objekten, sondern entfaltet ihre Perzeptionen allein aus sich heraus. Objektivität entsteht dabei nicht durch Übereinstimmung mit einer subjektunabhängigen Dingwelt, sondern durch die prästabilierte Harmonie, die alle perspektivischen Innenwelten gottgegeben aufeinander abstimmt. Was wir als gemeinsame, objektive Welt erfahren, ist so das harmonische Zusammenspiel zahlloser subjektiver Spiegelungen ein und desselben Universums.
Gerechtigkeit
Als ausgebildeter Jurist entwickelte Leibniz in den „Elementa juris naturalis“ (um 1671) eine rationalistische Theorie der Gerechtigkeit, die er als „caritas sapientis“ – die Liebe oder Wohltätigkeit des Weisen – bestimmte: Gerechtigkeit ist die nach der Erkenntnis des Guten geordnete Liebe zum Wohl aller. Er gliederte das Recht in drei Stufen – nicht schaden (neminem laedere), jedem das Seine geben (suum cuique tribuere) und ehrbar leben (honeste vivere) – und ordnete sie aufsteigend dem strikten Recht, der Billigkeit und der Frömmigkeit zu. Bahnbrechend ist seine Einsicht in die strukturelle Parallele von Normen und Modalitäten: Geboten, erlaubt und verboten verhalten sich logisch wie notwendig, möglich und unmöglich, sodass sich das Recht im Leibniz’schen Sinne „berechnen“ lässt – die begriffliche Wurzel der modernen deontischen Logik.
Beitrag zur Wissenschaftstheorie
Leibniz’ Beitrag zur Wissenschaftstheorie liegt in zwei großen Prinzipien, die alles Forschen leiten: dem Satz vom Widerspruch, der die notwendigen Vernunftwahrheiten regiert, und dem Satz vom zureichenden Grund, demzufolge nichts ohne hinreichenden Grund geschieht – das Fundament jeder kausalen und empirischen Erklärung. Mit der Unterscheidung von „vérités de raison“ und „vérités de fait“ trennte er apriorisch-notwendiges von empirisch-kontingentem Wissen und nahm damit eine Grundfrage der späteren Wissenschaftstheorie vorweg. Sein Traum einer „characteristica universalis“ und eines „calculus ratiocinator“ zielte darauf, wissenschaftliche Begriffe in eine eindeutige Formalsprache zu übersetzen und Streitfragen durch Rechnen zu entscheiden („Calculemus!“) – eine Vision formaler Methodik, die Logik, Mathematik und Naturforschung als ein einheitliches, mechanisierbares Verfahren denkt.
Logische Beweise & Argumente
Die Identität des Ununterscheidbaren (Leibniz’ Gesetz)
Zwei eng verwandte Prinzipien über Identität – eines davon ist bis heute Standard der Logik.
- P1Ununterscheidbarkeit des Identischen (Leibniz’ Gesetz, salva veritate): Sind x und y identisch, so kommen ihnen genau dieselben Eigenschaften zu.
- P2Identität des Ununterscheidbaren (die Umkehrung): Kommen x und y genau dieselben Eigenschaften zu, so sind sie identisch.
- P3Gäbe es zwei numerisch verschiedene Dinge mit exakt denselben Eigenschaften, fehlte ein zureichender Grund, warum es zwei und nicht eines sind.
- ∴Also gilt: x = y genau dann, wenn x und y in allen Eigenschaften übereinstimmen. Es kann keine zwei vollkommen gleichen Dinge geben.
x = y ⟺ ∀F ( Fx ↔ Fy )
Die erste Richtung (Ersetzbarkeit salva veritate) ist heute fester Bestandteil der Identitätslogik. Die zweite – die Identität des Ununterscheidbaren – ist metaphysisch umstritten (vgl. Max Blacks Gedankenexperiment zweier exakt gleicher Kugeln).
Der ontologische Gottesbeweis (Leibniz’ Verschärfung)
Leibniz ergänzte den Beweis von Anselm und Descartes um einen entscheidenden Möglichkeitsnachweis.
- P1Gott ist definiert als das absolut vollkommene Wesen (ens perfectissimum), das alle Vollkommenheiten in höchstem Grad vereint.
- P2Notwendige Existenz ist eine Vollkommenheit.
- P3Vollkommenheiten sind einfache, positive Qualitäten, die einander nicht widersprechen können – der Begriff Gottes ist also widerspruchsfrei und damit möglich.
- ∴Ist ein notwendiges Wesen überhaupt möglich, so existiert es notwendig. Gott existiert.
◇□G → □G (in der Modallogik S5)
Leibniz’ eigentlicher Beitrag ist der Möglichkeitsnachweis. Kant kritisierte später die Grundannahme, „Existenz“ sei ein Prädikat bzw. eine Vollkommenheit. Die Struktur lebt fort bis zu Kurt Gödels eigenem ontologischem Beweis.
Deontische = alethische Modallogik
Schon in den Elementa juris naturalis (um 1671) erkannte Leibniz die formale Parallele zwischen Normen und Möglichkeiten.
- P1Die alethischen Modalbegriffe stehen in festen logischen Beziehungen: notwendig, möglich, unmöglich (□p, ◇p, ¬◇p).
- P2Die deontischen Begriffe verhalten sich strukturgleich: geboten, erlaubt, verboten (Op, Pp, Fp).
- P3Ersetzt man „notwendig“ durch „geboten“, „möglich“ durch „erlaubt“ und „unmöglich“ durch „verboten“, bleiben alle logischen Beziehungen (das „logische Quadrat“) erhalten.
- ∴Also lässt sich die Logik der Pflichten als eine Modallogik behandeln – das Recht wird, in Leibniz’ Sinne, „rechenbar“.
Op ↔ ¬P¬p (analog zu □p ↔ ¬◇¬p)
Diese frühe Einsicht wurde zur Grundlage der modernen deontischen Logik, die Georg Henrik von Wright (1951) ausdrücklich auf Leibniz’ alethischer Modallogik aufbaute.
Hauptwerke
Dissertatio de arte combinatoria(1666)
Frühschrift zur Kombinatorik – erste Skizze einer universellen Zeichenkunst.
Discours de métaphysique(1686)
Grundlegung der Metaphysik: vollständiger Begriff der Substanz, Gott und Welt.
Essais de Théodicée(1710)
Rechtfertigung Gottes angesichts des Übels – die „beste aller möglichen Welten“.
Monadologie(1714)
Knappe Summe seiner Metaphysik: die Lehre von den Monaden.
Zitate
„Warum gibt es überhaupt etwas und nicht vielmehr nichts?“
— Principes de la nature et de la grâce (1714)
„Lasst uns rechnen! Wenn Streitigkeiten entstehen, brauchen zwei Philosophen nicht mehr zu disputieren als zwei Rechner.“
— nach Leibniz, „Calculemus“ (vgl. Die Kunst des Entdeckens)
„Diese Welt ist die beste aller möglichen Welten.“
— sinngemäß, Essais de Théodicée (1710)
Aus dem Leben
Der Prioritätsstreit mit Newton
Leibniz und Isaac Newton entwickelten die Infinitesimalrechnung unabhängig voneinander: Newton entwickelte seine Methode früher, doch Leibniz veröffentlichte zuerst und prägte die noch heute gebräuchliche Notation. In den folgenden Jahren eskalierte der Streit um die Priorität zu einem erbitterten Konflikt zwischen englischer und kontinentaler Wissenschaft. 1712 setzte die von Newton dominierte Royal Society eine Untersuchungskommission ein, die parteiisch gegen Leibniz urteilte – Newton selbst soll den abschließenden Bericht anonym mitverfasst haben. Leibniz starb 1716 verarmt und weitgehend vereinsamt; an seinem Begräbnis nahm kaum jemand teil. Als Kuriosum am Rande: Sein Name erscheint in zeitgenössischen Quellen in wechselnden Schreibweisen – Leibnütz, Leibnitz und Leibniz –, ohne dass sich sicher sagen ließe, warum sich am Ende die kürzeste Form durchsetzte.
Verwandte Denker
Frege löste Leibniz’ Traum einer logischen Formalsprache technisch ein.
Gödels ontologischer Gottesbeweis steht in der Tradition von Leibniz’ Version.
Leibniz baute auf der aristotelischen Logik auf und wollte sie zum Kalkül machen.
Kant widerlegte Leibniz’ ontologischen Gottesbeweis mit dem Einwand „Sein ist kein Prädikat“.
Mit-Rationalist; Leibniz’ prästabilierte Harmonie antwortet auf Descartes’ Leib-Seele-Problem.