in der aristotelischen Logik ein deduktiver Wahrscheinlichkeitsschluss in der Form des Syllogismus, bei dem von einem gesicherten Obersatz und einem wahrscheinlichen Untersatz auf eine wahrscheinliche Konklusion geschlossen wird; bei C. S. Peirce eine Schlussform neben Deduktion und Induktion, die aus einer Annahme und einer gegebenen Tatsache in Art einer Hypothese auf die