Ya vimos que la lógica no se ocupa del acto o proceso del pensar, sino de su contenido mental; es decir, de los pensamientos. En concreto, la lógica se ocupa de los pensamientos enunciativos. Estos pensamientos enunciativos son los conceptos, las proposiciones (o juicios) y los razonamientos (deductivos e inductivos), que siguen un orden en cuanto a su complejidad. El concepto es el elemento más simple. Dos o más conceptos, unidos mediante una cópula, forman una proposición o juicio. A partir de dos o más proposiciones con un nexo o elemento común, podemos obtener un razonamiento. Y este mismo orden es el que vamos a seguir en nuestro viaje a través de la lógica.

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.

Relaciona los siguientes elementos: