Die Grundlagen des logischen Kalküls

Leibniz hat eine große Anzahl von Fragmenten zur Logik verfaßt. Der umfangreichste dieser Texte sind die "Generales inquisitiones" (PhB 338). Leibniz hat jedoch verschiedene Systeme der Logik entworfen, von denen das in den "Generales inquisitiones" dargestellte nur eines ist, an dem er zudem später noch weitergearbeitet hat. Es lag daher nahe, weitere Texte zur Logik von Leibniz in einer ähnlichen Ausgabe zu bearbeiten, in denen einerseits diese Weiterentwicklungen exemplifiziert und andererseits weitere Systementwürfe vorgestellt werden.

Diese neue Ausgabe enthält zehn Texte aus den Jahren 1683-1690 zur Allgemeinen Wissenschaft (Scientia generalis), zur Allgemeinen Wissenschaftssprache (Characteristica universalis) und zum Logischen Kalkül (Calculus logicus). Im Bereich der Logikkalküle werden Texte zum sogenannten Identitätskalkül vorgestellt, die eine Weiterentwicklung der "Generales inquisitiones" darstellen, sowie Texte zum sogenannten Plus-Minus-Kalkül. Innerhalb beider Gruppen ist jeweils ein Text enthalten, der eher als Vorstufe angesehen werden kann, der also Leibniz 'bei der Arbeit' zeigt.

• | Kapitel kaufen InhaltsverzeichnisV
• | Kapitel kaufen Einleitung von Franz SchuppVII
• | Kapitel kaufen 1. Handschriften und Textform VII
• | Kapitel kaufen 2. Datierung der Texte X
• | Kapitel kaufen 3. Zur Übersetzung XVI
• | Kapitel kaufen 4. Zum Kommentar XVII
• | Kapitel kaufen 5. Grundprobleme XX
• | Kapitel kaufen 1. Die allgemeine Wissenschaft XXI
• | Kapitel kaufen 2. Die allgemeine Wissenschaftssprache XXX
• | Kapitel kaufen 3. Der logische Kalkül XXXII
• | Kapitel kaufen 3.1. Der Identitätskalkül XXXII
• | Kapitel kaufen 3.1.1. Das Adäquatheitskriterium XXXII
• | Kapitel kaufen 3.1.2. Begriffs- und Aussagennegation XXXVIII
• | Kapitel kaufen 3.2. Die Interpretation der Kalküle XLI
• | Kapitel kaufen 3.2.1. Intensionale und extensionale Interpretation XLI
• | Kapitel kaufen 3.2.2. Begriffs- und Aussagenkalkül VLI
• | Kapitel kaufen 3.3. Der Plus-Minus-Kalkül VLII
• | Kapitel kaufen 3.3.1. Das Enthaltensein und die reale Hinzufügung L
• | Kapitel kaufen 3.3.2. Das disjunktive Enthalten LIII
• | Kapitel kaufen 3.3.3. Der arithmetische und der logische Kalkül LVIII
• | Kapitel kaufen 3.3.4. Die Einschränkung der Anwendbarkeit der Wegnahme LXI
• | Kapitel kaufen 3.3.5. Die Wegnahme im Kalkül in Text LXIV
• | Kapitel kaufen 3.3.6. Die Begriffskonstante des "Nichts" LXX
• | Kapitel kaufen 3.3.7. Wegnahme und Negation LXXIII
• | Kapitel kaufen 3.3.8. Die Definition des Gemeinsamen LXXVI
• | Kapitel kaufen 3.3.9. Die Interpretation der Diagramme LXXVIII
• | Kapitel kaufen 6. Zur Geschichte des Leibniz-Programms LXXXI
• | Kapitel kaufen Gottfried Wilhelm Leibniz: Fundamenta calculi logici. Die Grundlagen des logischen Kalküls1
• | Kapitel kaufen [I] De logica nova condenda 2
• | Kapitel kaufen Über die neu zu begründende Logik 3
• | Kapitel kaufen [II] Fundamenta calculi ratiocinatoris 16
• | Kapitel kaufen Die Grundlagen des Vernunftkalküls 17
• | Kapitel kaufen [III] Specimina calculi rationalis 28
• | Kapitel kaufen Probestücke des Vernunftkalküls 29
• | Kapitel kaufen [IV] Specimen calculi logici 44
• | Kapitel kaufen Ein Probestück des logischen Kalküls 45
• | Kapitel kaufen [V] Primaria calculi logici fundamenta 52
• | Kapitel kaufen Die ersten Grundlagen des logischen Kalküls 53
• | Kapitel kaufen [VI] Fundamenta calculi logici 60
• | Kapitel kaufen Die Grundlagen des logischen Kalküls 61
• | Kapitel kaufen [VII] Specimen calculi coincidentium 68
• | Kapitel kaufen Probestück eines Kalküls der Koinzidierenden 69
• | Kapitel kaufen [VIII] Non inelegans specimen demonstrandi in abstractis86
• | Kapitel kaufen Ein nicht unelegantes Probestück des Beweisens im Bereich von Abstrakten 87
• | Kapitel kaufen [IX] Ad non inelegans specimen demonstrandi additamenta 112
• | Kapitel kaufen Ergänzungen zum nicht uneleganten Probestück des Beweisens113
• | Kapitel kaufen [X] Specimen calculi coincidentium et inexistentium 116
• | Kapitel kaufen Probestück eines Kalküls der Koinzidierenden und der Darin-Existierenden117
• | Kapitel kaufen Kommentar 157
• | Kapitel kaufen Verzeichnis der logischen Symbole 265
• | Kapitel kaufen Literaturverzeichnis 267
• | Kapitel kaufen Namensverzeichnis 275
• | Kapitel kaufen Verzeichnis der lateinischen Begriffe 277
• | Kapitel kaufen Begriffsverzeichnis deutsch - lateinisch 287