Syllogistische vs. moderne Logik
Wo liegt der Unterschied zwischen der syllogistischen und der modernen Logik?
Wie erkennt man, ob ein Syllogismus in beiden oder nur in einer gültig ist?
Wie führt man unterschiedliche Modi auf eine Figur zurück?
Weblog zur Einführung in die formale Logik [2. Jahrg.]
Wo liegt der Unterschied zwischen der syllogistischen und der modernen Logik?
Wie erkennt man, ob ein Syllogismus in beiden oder nur in einer gültig ist?
Wie führt man unterschiedliche Modi auf eine Figur zurück?
Wolfgang schrieb am 25 May 2008 um 2:59 pm ¶
1. Der Unterschied liegt in der unterschiedlichen Existenzvoraussetzung. In der Syllogistik existieren keine leeren Begriffe, in der modernen Logik kann der Begriffsbereich jedoch leer sein.
Wird in der Syllogistik behauptet “Alle Giraffen haben einen langen Hals”, dann bedeutet das, ganz genau genommen folgendes:
Es gibt Giraffen, und alle davon haben einen langen Hals.
Eine Allaussage in der modernen Logik würde nicht so weit gehen und behaupten, dass es Giraffen gebe. Die Allaussage ∀x(Px→Qx) würde mit den entsprechenden Satzkonstanten folgendes aussagen:
Wenn es Giraffen gibt, dann haben sie einen langen Hals.
2. Aufgrund dieser Überlegungen lässt sich leicht bestimmen, welche Syllogismen in der modernen Logik nicht stimmen können. Nämlich diejenigen, die Allaussagen (nego oder affirmo) in den Prämissen haben und in der Konklusion eine Partikulare aussage (nego oder affirmo) besitzen. Warum? Weil wir mit einer Allaussage in der modernen Logik noch lange nicht die Existenz von irgendetwas behaupten, mit &exists;xPx jedoch schon (“Es gibt mindestens ein…”).
Ein Beispiel (III. Form, Darapti):
Alle Giraffen sind lang.
Alle Giraffen sind Vierbeiner.
Einige Vierbeiner sind lang.
…wäre in der modernen Logik falsch. Wozu das gut ist, das zeigt Russels Chimärenbeispiel (Vorlesung 11, Folie
3. Die Modi aller Figuren lassen sich auf Modi der I. Figur zurückführen. Auf Wikipedia findet sich eine ziemlich vollständige Anleitung dafür, falls du das ganze wirklich lernen willst. Wichtig ist, meiner Einschätzung nach, dass man die conversio simplex und die conversio per accidens versteht.