Interpretationen der Beweismethoden in der Syllogistik des Aristoteles

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 abloesten, 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 und Ungultigkeit und gibt zugleich die moeglichen Zeilenbeweise einer gultigen Schlussform an. Der zweite Teil kommentiert ausfuhrlich die nicht-modale Syllogistik der ersten 7 Kapitel der Analytica priora.