Termlogik, in der Philosophie auch traditionelle Logik oder Begriffslogik genannt, bezeichnet diejenige Logik, die mit Aristoteles begann und die bis ins späte 19. Jahrhundert, als die moderne Prädikatenlogik entstand, dominierend war.
Um philosophische Texte, die vor der Entstehung der Prädikatenlogik entstanden sind (z. B. die mittelalterliche oder Leibniz’ und Kants Logik), zu verstehen, sind Grundkenntnisse der Terminologie und der Ideen der Termlogik unverzichtbar.
Aristoteles’ System Aristoteles’ Werk ist in den sechs Texten zusammengefasst, die man insgesamt als Organon bezeichnet. Insbesondere zwei von diesen Texten, nämlich die Analytica priora und De Interpretatione enthalten das Kernstück seiner Logik, die Untersuchung von Urteilen und Schlussfolgerungen.
Die Grundlagen Die Grundannahme der Theorie ist, dass Urteile (auch Aussagen oder Sätze; engl. propositions) aus zwei Termen zusammengesetzt sind – daher der Name Termlogik –, und dass der Vorgang der Schlussfolgerung auf Urteilen aufgebaut ist: Der Term ist derjenige Teil einer Rede, der etwas für sich bedeutet, wie Mensch oder sterblich, der aber nichts bedeutet, was wahr oder falsch sein kann. Das Urteil (griechisch apophansis): eine Verbindung von zwei Termen, die etwas anzeigt oder kundgibt, das wahr oder falsch sein kann.Die Römer übersetzten apophansis mit enuntiatio, propositio und iudicum. Aussage ist eine Übersetzung jüngsten Datums von enuntiatio. Iudicum kommt wesentlich bei Boethius vor und wurde von Leibniz als „Urteil“ ins Deutsche eingeführt und durch Wolff eingebürgert. Die Englische Logik spricht von jeher von proposition. Das Urteil enthält zwei Terme, von denen der eine Term, das Prädikat, von einem anderen Term, dem Subjekt, bejahend oder verneinend ausgesagt wird. Der Syllogismus ist eine Schlussfolgerung, in der ein Urteil (die Konklusion) notwendig aus zwei anderen (den Prämissen) folgt.
Der Term Der Term (griechisch horos, lateinisch terminus) ist die Grundkomponente des Urteils. Die Originalbedeutung von horos und auch von terminus ist Umgrenzung (lat. determinatio). Terme bedeuten Begriffe und umgrenzen Bedeutungen. Die beiden Terme liegen am Rande des Urteils, verbunden durch den Akt der Bejahung oder Verneinung.
Für Aristoteles ist ein Term einfach ein Ding, ein Teil des Urteils. Für die Logiker der Frühmoderne wie Arnauld (dessen Logik von Port-Royal der bekannteste Logiktext seiner Zeit war), Leibniz und KantImmanuel Kant: Schriften zur Metaphysik und Logik. Werkausgabe Band VI. Hrsg. Wilhelm Weischedel. Suhrkamp, ISBN 3-518-27789-8, S. 521. stehen Terme für Begriffe, Ideen oder Konzepte.
Sowohl für das Verständnis der traditionellen Termlogik als auch für deren angemessene Übersetzung in moderne Formalismen ist die Tatsache von Bedeutung, dass Subjekt und Prädikat in den klassischen Interpretationen gleichberechtigt sind und innerhalb unterschiedlicher Urteile auch die Plätze wechseln können: Der Terminus Mensch kann sowohl als Subjekt vorkommen (wenn ihm z. B. das Prädikat weiß zugesprochen wird) als auch als Prädikat (wenn z. B. dem Begriff Grieche das Prädikat Mensch zugesprochen oder dem Begriff Pferd dieses Prädikat abgesprochen wird).
Das Urteil In der Termlogik ist ein (kategorisches) Urteil (oder: ein Satz, eine Proposition) eine besondere Satzart, in der Subjektterm und Prädikatterm verknüpft werden, so dass – in einer dazugehörenden Interpretation – etwas Wahres oder Falsches ausgesagt wird. Es gibt vier verschiedene Typen von Urteilen, nämlich das A-, I-, E- und O-Urteil, und diese Urteilsarten werden gemäß ihrer Qualität und ihrer Quantität klassifiziert (vgl. Quantität und Qualität von Urteilen):
Die logische Qualität eines Urteils kann bejahend sein (wenn das Prädikat zustimmend vom Subjekt ausgesagt wird) oder negativ (wenn dem Subjekt das Prädikat abgesprochen wird).
Die Quantität eines Urteils besagt, ob es total (oder allgemein) ist (das Prädikat wird „dem Ganzen“, gr. katholou, des Subjekts zu- oder abgesprochen) oder partikulär (gr. meros; das Prädikat wird nur einem Teil des Subjekts zu- oder abgesprochen).
Mit Hilfe dieser Begriffe ergibt sich die folgende Klassifikation: allgemein partikulär bejahend A-Urteil I-Urteil verneinend E-Urteil O-Urteil
Wenn Terme sind, dann schreibt man die vier Urteile meist in der Gestalt ; es sind aber auch andere Schreibweisen üblich.
In Worten liest man diese Urteile wie folgt: A-UrteilSaP Alle S sind P I-UrteilSiP Einige S sind P E-UrteilSeP Kein S ist P O-UrteilSoP Einige S sind nicht P
Diese Sprechweise ist aus folgendem Grund problematisch: Sie scheint als selbstverständlich anzunehmen, dass eine extensionale Interpretation vorausgesetzt wird (s. den Abschnitt Intensionale und extensionale Interpretation); das heißt eine Interpretation, in der S und P für Mengen von Individuen stehen. Nun kann man – wenn auch in der deutschen Sprache etwas ungewohnt – auch eine intensionale Sprechweise wählen (etwa: P kommt S zu; oder: der Begriff S enthält den Begriff P), aber auch das würde das Problem nicht beheben, dass die Syntax der Termlogik einer semantischen Festlegung überhaupt nicht bedarf, dass aber stets – wie immer man spricht – eine solche Festlegung auf eine Standardsemantik mitschwingt.
Der Schluss (Syllogismus) Aristoteles hat eine ausgefeilte Theorie des logischen Schlusses aufgestellt, die auf einzelnen Schlussregeln, den Syllogismen, beruht (siehe die ausführliche Darstellung in Allgemeine Darstellung des Syllogismus).
Er geht dabei von vollkommenen Syllogismen aus:
In Formelschreibweise kann man diese Regeln wie folgt schreiben.:
Aus CaB und BaA folgt CaA. Aus CaB und BeA folgt CeA.
Zu diesem System gehören auch noch Konversionen wie
Aus AeB folgt BeA. Aus AiB folgt BiA. Aus AaB folgt BiA.
Aristoteles hat die letztgenannte Regel (die als Subalternation bezeichnet wird) durch das folgende Beispiel illustriert:
Algebraische Termlogik Im Zuge der Algebraisierung der Logik im 19. Jahrhundert entstand 1847 der erste mathematische Logikkalkül von George Boole als Formalisierung der aristotelischen Termlogik. Auch Kalküle seiner Nachfolger John Venn, Ernst Schröder und Charles Sanders Peirce standen in dieser Termlogik-Tradition. Die älteren Formalisierungsversuche der Termlogik von Leibniz um 1690 wurden bereits 1840 publiziert, beeinflussten aber erst die Term-Kalküle von Giuseppe Peano.Peano, G: Logique mathématique. In: Peano: Formulaire de mathématique, Tome II, Turin 1897, S. 18 Zitatenliste, die meisten Zitate aus: G. W. Leibnitii Opera philophophica, Hrsg.: Erdmann, Berlin 1840.
Termlogik und Prädikatenlogik Die moderne Prädikatenlogik, 1879 begründet durch die Begriffsschrift von Gottlob Frege, enthält eine Interpretation der Termlogik, wie sie auch heute noch vielfach angegeben wird.
Urteil ÜbersetzungSaPSePSiPSoP
In seiner Begriffsschrift hat Frege das klassische Urteilsquadrat folgendermaßen skizziert (wir verwenden die heutige Schreibweise):
zentriert
Diese fregesche Formalisierung, die von fast allen gängigen Lehrbüchern übernommen wurde, hat den Nachteil, dass sie wichtige Eigenschaften der Termlogik nicht wiedergibt. So ist beispielsweise die Subalternation (der Pfeil ganz links in der Skizze), in der Termlogik gemäß Aristoteles gültig:
nicht aber in der fregeschen „Übersetzung“ in die Prädikatenlogik:
Es ist versucht worden, dieses Problem durch Modifikationen der fregeschen Formeln zu beheben. So diskutiert StrawsonP. F. Strawson: Introduction to Logical Theory. Methuen & Co., New York und London 1952. S. 125 ff. mehrere Möglichkeiten; unter anderem die folgende:
Die fregesche Formulierung des Allurteils wird um eine Existenzannahme erweitert:
Die Idee dahinter ist die, dass bei „nichtleerer Subjektmenge“ die Subalternation gilt – was sicher richtig ist. Strawson stellt aber fest, dass diese Veränderung unerwünschte Folgen für das gesamte System hat – die Subalternation ist nun zwar gültig, aber andere, bisher richtige Gesetze stimmen nun nicht mehr. Seine Versuche, die fregesche prädikatenlogische Formulierung zu retten, erweisen sich als erfolglos.
Dass es überhaupt keine sinnvolle Formalisierung der Termlogik durch die (monadische) Prädikatenlogik erster Stufe gibt, hat der polnische Logiker Stanisław Jaśkowski bewiesen.Stanisław Jaśkowski: On the interpretations of Aristotelian categorical propositions in the predicate calculus. In: Studia Logica. 24 (1969), S. 161–172. Klaus Glashoff hat diese Ergebnisse durch einen computergestützten Beweis bestätigt.Klaus Glashoff: Zur Übersetzung der Aristotelischen Logik in die Prädikatenlogik.
Niedergang der Termlogik Die Prädikatenlogik setzte sich im 20. Jahrhundert durch. Gleichzeitig geriet die Termlogik mit der dazugehörigen Syllogistik mehr und mehr außer Gebrauch; sie wurde fast nur noch im Bereich der Philosophie gepflegt. Die Termlogik überlebte auch im Rahmen der traditionellen Römisch-katholischen theologischen Ausbildung.Frederick Copleston: A History of Philosophy. Image Books 1993–1994, ISBN 0-385-46843-1.
Moderne Termlogik Die bedeutendste Entwicklung der Termlogik in neuerer Zeit ist John Corcorans Formalisierung der aristotelischen Logik durch natürliche Deduktion im Jahre 1973.John Corcoran: Completeness of an Ancient Logic. In: The Journal of Symbolic Logic. Band 37, Nr. 4, Dezember 1973. Vorläufer ist Jan Łukasiewicz, der in seinem BuchJan Łukasiewicz: Aristotle’s syllogistic. From the standpoint of modern formal logic. Clarendon Press, Oxford 1951. die erste termlogische Formalisierung der aristotelischen Logik angab. Beide Systeme haben den Vorteil, dass sich die gesamte aristotelische Syllogistik ohne Zusatzannahmen, die bei Aristoteles nicht vorhanden sind (Existenzannahmen), herleiten lässt. Im Gegensatz zu Corcoran verwendet Łukasiewicz in seiner Formalisierung der aristotelischen Logik die Aussagenlogik, was seitdem häufig kritisiert wurde und durch Corcorans Arbeiten vermieden werden kann. Corcorans Theorie wird bei Philosophen und Logikhistorikern geschätzt, weil die Beweise durch Natürliches Schließen die Argumentation des Aristoteles in seiner Analytica priora fast wörtlich reproduzieren.George Boger: Completion, Reduction and Analysis: Three Proof-theoretic Processes in Aristotle’s Prior Analysis. In: History and Philosophy of Logic. 19, 1998, S. 187–226.
Im Folgenden werden die formalen Elemente der modernen, auf Corcoran zurückgehenden Termlogik beschrieben.
Kalkül der modernen Termlogik Bausteine Die Atome der Termlogik bestehen aus den vier Zeichen A, I, E, O. Sie bezeichnen die klassischen vier Aristotelischen Urteilsformen; den abzählbar vielen Termkonstanten (oder einfach Termen) . Man schreibt auch einfacher .
Die Variablen der Termlogik werden mit bezeichnet, und man verwendet manchmal auch die Bezeichnung . Diese Variablen heißen auch als Termvariable.
Es gibt eine einzige Formationsregel; sie besagt, dass Zeichenketten der Form Aab, Iab, Eab, Oab zugelassen sind; hier können a und b beliebige Termkonstanten sein (also auch … usw. ).
Zeichenketten der Form Uab (wobei U eines der Atome A, I, E, O ist und a, b beliebige Terme sind ), werden als Urteile, Aristotelische Aussagen, oder kürzer nur als Aussagen bezeichnet. Sie sind die eigentlichen Bausteine der Termlogik.
Die Termlogik hat keine Axiome. Das bedeutet, dass die Regeln, die im folgenden Abschnitt behandelt werden, stets auf Annahmen angewendet werden. Insbesondere folgt daraus, dass es in dieser Logik keine Tautologien gibt.
Es existiert allerdings eine Variante der hier dargestellten Termlogik, bei der alle Ausdrücke der Gestalt Aaa Axiome sind.
Die folgende Sprechweise hat sich für die Urteile eingebürgert:
Aab: Alle a sind b Iab: Einige a sind b Eab: Kein a ist b Oab: Nicht alle a sind b
In der Literatur findet man für die Urteile viele verschiedenen Darstellungen; so etwa – für unser Aab – auch aAb oder A(a,b).
Transformationsregeln