Aristóteles distingue dos tipos de silogismos: los que van de lo más general a lo particular o demostrativos, que amplían el conocimiento a través de la causa, y cuyos términos no tienen por qué ser coextensos; y los que van de lo más particular a lo más general o inductivos, donde al menos dos de sus términos han de ser necesariamente coextensos entre sí para que se derive una conclusión.