La lógica silogística, aun siendo formal, no es formalista, porque el contenido significativo de sus términos se corresponde con la intuición esencial de lo real como άλήθεια; y sus relaciones corresponden a un orden dialéctico de esencias tal como lo concibió Platón; o un movimiento causado y ordenado de formas, el Mundo, movidas por un primer motor, como concibió su discípulo Aristóteles; y, finalmente, en el cristianismo e islamismo, es desvelamiento de Dios Creador, Ordenador y Providente, el Ser Verdadero, fundamento último de ese orden y verdad como Causa Primera, e IPSUM ESSE SUBSISTENS.