Der aristotelische Syllogismus

Der aristotelische Syllogismus ist ein Schlußverfahren, durch das man aus zwei gegebenen Sätzen S1 und S2, die als Prämissen (Voraussetzungen) fungieren, einen Satz S3 ableitet, der die Konklusion (Schlußfolgerung) bildet. Die drei Sätze haben folgende Struktur:

Aristoteles' Beispiel ist das folgende:

S1.Alle Menschen sind sterblich.
S2.Sokrates ist ein Mensch.
S3.Sokrates ist sterblich.

In einer Variante davon tritt in S2 ein Klassenbegriff P3 an die Stelle der Individualbezeichnung I. S2 ist also ebenfalls eine Allaussage, die die Mitglieder von P3 unter P1 subsumiert. In diesem Falle ist auch S3 eine Allaussage über die Mitglieder von P3, z.B. so:

S1.Alle Menschen sind sterblich.
S2.Junggesellen sind Menschen.
S3.Junggesellen sind sterblich.

Der Schluß von S1 & S2 auf S3 ist logisch zwingend. Das bedeutet, daß wenn in einem Syllogismus ein falscher Satz abgeleitet wurde, dies nicht am Schlußverfahren liegt, sondern daran, daß die Prämissen fehlerhaft waren oder auf dem Wege die Begriffe oder die Sprachebenen durcheinandergegangen sind.

Deduktion basiert auf dem Syllogismus und Abwandlungen davon.