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 abl sten, fehlt es nicht an Versuchen, die direkten, indirekten und ekthetischen Beweise des Syllogismus im Rahmen eines Kalk ls des nat rlichen Schlie ens darzustellen. Beide Ans tze werden im ersten Teil des Buches logisch auf Konsistenz und philologisch auf Textn he unter Einbezug antiker Kommentare untersucht. Ein hier entwickeltes Verfahren entscheidet ber G ltigkeit und Ung ltigkeit und gibt zugleich die m glichen Zeilenbeweise einer g ltigen Schlu form an. Der zweite Teil kommentiert ausf hrlich die nicht-modale Syllogistik der ersten 7 Kapitel der Analytica priora.