Seitdem Lukasiewicz (1951) und Patzig (1969) den Syllogismus als formale Implikation in einem axiomatischen System rekonstruierten und damit die bis dato vorherrschenden nicht-formalen Interpretationen des 19. Jahrhunderts ablosten, fehlt es nicht an Versuchen, die direkten, indirekten und ekthetischen Beweise des Syllogismus im Rahmen eines Kalkuls des naturlichen Schliessens darzustellen. Beide Ansatze werden im ersten Teil des Buches logisch auf Konsistenz und philologisch auf Textnahe unter Einbezug antiker Kommentare untersucht. Ein hier entwickeltes Verfahren entscheidet uber Gultigkeit...