Die Lehre vom gültigen Schlußfolgern in der Form des folgenden antiken Satzes: Wenn alle Menschen sterblich sind, und wenn Sokrates ein Mensch war, dann war Sokrates ebenfalls sterblich. ~ ist damit die Schlußfolgerung vom Allgemeinen zum Besonderen und vor allem in den mathematischen Disziplinen verwendet, bzw. überall dort, wo »Empirie eine nur sehr geringe oder keine Rolle spielt.