Wer legte die Grundlage für Syllogistik?

Die Syllogismen sind ein Katalog bestimmter Typen logischer Schlüsse. Sie bilden den Kern der im vierten Jahrhundert vor unserer Zeitrechnung entstandenen antiken Logik des Aristoteles und der traditionellen Logik bis ins 19. Jahrhundert.

Der syllogistische Ansatz als Haupttechnik der Logik wurde abgelöst durch ihre Integration in die Mathematik. Kennzeichnend dafür sind die Arbeiten von George Boole und Gottlob Frege im 19. und frühen 20. Jahrhundert.

Als Syllogistik wird allgemein die Lehre von den Syllogismen bezeichnet. Die klassische Logik untersuchte insbesondere, unter welchen Voraussetzungen Syllogismen gültig sind. Syllogismen sind immer nach dem gleichen Muster aufgebaut. Jeweils zwei Prämissen (Voraussetzungen), Obersatz und Untersatz genannt, führen zu einer Konklusion (Schlussfolgerung). Die Prämissen und die Konklusion sind Aussagen von einem bestimmten Typ, in denen jeweils einem Begriff, dem syllogistischen Subjekt, ein anderer Begriff, das syllogistische Prädikat (nicht gleichbedeutend mit Subjekt und Prädikat in der Grammatik), in bestimmter Weise zu- oder abgesprochen wird. In Abhängigkeit von der Stelle, an der sie im Syllogismus auftreten, werden die vorkommenden Begriffe Oberbegriff, Mittelbegriff und Unterbegriff genannt.