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. Als Haupttechnik der Logik abgelöst wurde der syllogistische Ansatz durch die Integration der Logik in die Mathematik, mit den Arbeiten von George Boole und Gottlob Frege im 19. und frühen 20. Jahrhundert.