Mich quält seit ein paar Tagen, dass ich einen simplen Syllogismus nicht im aristotelischen System finde - was sicher nicht an Aristoteles, sondern an mir liegt. Also, liebe Freunde des gepflegten Syllogismus, wer kann mir weiterhelfen?
In seiner "Einführung in die formale Logik für Philosophen" gibt Thomas Zoglauer gleich auf der ersten Seite einen Syllogismus als Beispiel, den ich keiner der aristotelischen Modi und Figuren zuordnen kann, obwohl er zweifellos gültig ist. Er lautet:
Alle Philosophen sind Logiker. / Alle A sind B.
Alle Logiker sind scharfsinnige Denker. / Alle B sind C.
Daher sind alle Philosophen scharfsinnige Denker. / Alle A sind C.
Es handelt sich wegen der Begriffsstellung nicht um den Modus Barbara der 1. Figur. Allerdings kenne ich sonst keine Figur mit drei allgemein bejahenden Aussagen...
Also: Wie kann man aus Aristoteles' Syllogistik herleiten, dass dieser Syllogismus gültig ist?