La lógica moderna simbólica, meramente lógica formal, no tiene conexión con contenido de verdad alguno y supera con claridad estas dificultades; sobre todo con la ventaja de poder tratar proposiciones poliádicas, llamadas así porque tienen más de dos términos (por ejemplo: "Júpiter es mayor que la Tierra y menor que el Sol"), y facilitar enormemente el cálculo lógico, por lo que, de hecho, la lógica aristotélica, como tal, está en claro desuso.