El conocimiento humano posee dos fuentes: la sensorial y la intelectual. El conocimiento que se origina en los sentidos no es ni verdadero ni falso, por eso la ciencia pertenece al orden intelectual. Por su parte, el juicio intelectual afirma sin dar razón de su afirmación; por ende, sólo el razonamiento da lugar a la ciencia discursiva. En el razonamiento, el juicio se legitima en un conocimiento anterior. Por esto, para Aristóteles, la ciencia se funda en el razonamiento, y el silogismo es el tipo de razonamiento por excelencia. Razonar consiste en dar una razón de lo que se afirma o niega; ésta es la esencia del silogismo. La aparición de la Teoría de Conjuntos, a fines del siglo XIX, constituyó una importante revolución científica provocada por el genio de Georg Cantor. El resultado fue la unificación del lenguaje y del método para todas las disciplinas de la matemática y generó la aparición de fascinantes temas, como el de los números transfinitos y el de la topología general. De allí en más, la matemática ha sido escrita y formulada en términos cantorianos. Traduciendo las proposiciones apofánticas tradicionales que componen las estructuras silogísticas al lenguaje del álgebra de conjuntos, podemos hallar un nuevo procedimiento que permitirá demostrar la validez de los silogismos categóricos típicos.