| Kommentar |
In der analytischen Philosophie hält sich das hartnäckige Gerücht, die Begriffslogik sei tot. Wer schon einen Einführungskurs in Prädikatenlogik mitgemacht hat, entsinnt sich vermutlich eines kurzen herablassenden Winks in Richtung Scholastik, einiger Venn-Diagramme, die den Modus Barabara oder Darii darstellen, und der mit Kopfschütteln vorgetragenen Behauptung, dass die alte Begrifflogik ja an Relationen scheitert. Sodann tritt auf als Deus ex Machina die Lichtgestalt Gottlob Frege, der uns vom logischen Obskurantismus erlöst habe, und das Thema Begriffslogik ist damit schon erledigt.
Ist sie es wirklich ? An der Hand von George Englebretsen durchschreiten wir die Jahrhunderte, und erblicken einige Abzweigungen, die angedeutet, aber nie beschritten wurden und vor allem mit dem Namen Gottfried Wilhelm Leibniz und George Boole verbunden sind. Wir lernen, wie durch Gottlob Frege und Bertrand Russell ein altes Paradigma durch ein neues ersetzt wurde, aber dass die alte Logik deswegen noch lange nicht vom Tisch ist. In zahlreichen Publikationen hat inbesondere Fred Sommers frischen Wind in die Debatte gebracht, indem er Leibnizens Ideen fortsetzend, nicht nur eine elegante algebraische Darstellung der Begriffslogik entwickelt, sondern auch die angeblichen Beschränkungen der Termlogik, speziell in Bezug auf Relationen, durch einfache Erweiterungen beseitigt hat.
Wir werden die neue Begriffslogik von Sommers, die Term Funktor Logik, kennenlernen sowie, falls die Zeit reicht, auch die logischen Diagramme von George Englebretsen, welche es erlauben, Beweise in der Begriffslogik anschaulich darzustellen.
Literatur:
Englebretsen, George: Something to Reckon With: The Logic of Terms,
University of Ottawa Press, 2nd. edition, 2016
Ders.: Figuring It Out: Logic Diagrams. De Gruyter, 2020. |
