Un silogismo es un conjunto de palabras o locuciones en el que, al hacerse determinadas asumpciones, se sigue necesariamente (έξ άνάγκης) del hecho de haberse verificado de tal manera determinada las asumpciones, una cosa distinta de la que se había tomado. Por la expresión «del hecho de haberse verificado de tal manera determinada las asumpciones», quiero decir que es por causa de ello que se sigue la conclusión, y con esto significo que no hay necesidad de ningún otro término para hacer que la conclusión sea necesaria.
| Analítica primera, l.1, cap. 1 (Obras, Aguilar, Madrid 1973, p. 276). |