Ibn Sīnā erklärt, was einen wissenschaftlichen Syllogismus ausmacht, und unterscheidet zwischen gültigen und wahren Schlüssen
Und was den Syllogismus angeht, so ist er das Hauptsächliche. Und er ist eine aus Aussagen zusammengeführte Aussage, aus der, wenn die Aussagesätze, die in sie eingebracht werden, zutreffend sind, in sich selbst auf notwendige Weise eine andere Aussage folgt. […] Und das, was sich aus den Prämissen auf die Weise ergibt, die wir dargestellt haben, so dass sich aus ihr auf notwendige Weise dieses Resultat ergibt, das ist der Syllogismus. Und dass die Aussagesätze zutreffend sind, ist nicht dafür erforderlich, dass [formal] ein [gültiger] Syllogismus entsteht, sondern es ist dafür erforderlich, dass aus den Aussagesätzen, insoweit sie zutreffend sind, auf notwendige Weise eine andere Aussage folgt.