La lógica moderna, con sus diferentes lenguajes formales, tiene su fundamento en la lógica clásica o silogística; es decir, en la sistematización de la lógica aristotélica. De hecho, sin esta lógica clásica apenas se pueden entender las lógicas actuales, pues contiene los principios esenciales y comunes a toda lógica. Y esta lógica clásica o tradicional es la que nos va a servir como base. Al igual que la lógica de enunciados y de primer orden, dicha lógica permite el uso de conectores y la cuantificación sobre individuos, y tiene la ventaja de que no necesitamos conocer un lenguaje simbólico o formal propio, ya que es suficiente el lenguaje natural.
