Hallo,
Aristoteles benutzte Syllogismen als Beweisprinzip.
Ist das nicht dasselbe wie eine Implikation, also ein „daraus folgt“ ?
MfG,
Tris
Hallo,
Syllogismen sind (deduktive,wahrheitserhaltende) Schlußregeln. In der heutigen üblichen klassischen Logik (die sich von der Aristoteles unterscheidet) lassen sich solche Regeln „objektsprachlich reifizieren“ (also in der Sprache der Logik wiedergeben). Im wesentlichen als Implikation der Konjunktion der Prämissen („Ober-/Unterbegriff“) und der Konklusion („Schlußsatz“).
Ein gutes Bsp. dafür sind die Hilbert Kalküle, die neben dem Modus Ponens an sich nur Axiome aufweisen.
Gruss
Enno