La lógica formal

Todo razonamiento consta de varias premisas y una conclusión que se deriva lógicamente de las premisas, por ejemplo:

Todo hombre es mortal.
Sócrates es hombre.
Por lo tanto, Sócrates es mortal.

Las premisas y la conclusión corresponden a proposiciones enunciativas que pueden ser verdaderas o falsas. La lógica formal se ocupa del encadenamiento correcto entre las premisas y la conclusión, y por eso un razonamiento puede ser lógico y falso al mismo tiempo. Usando el ejemplo anterior, y haciendo un pequeño cambio, observen que ocurre:

Todo hombre es francés.
Sócrates es hombre.
Por lo tanto, Sócrates es francés.

La lógica formal se constituye en ciencia con Aristóteles y los estoicos. En la Edad Media y Moderna sintetizaron la herencia clásica. A mediados del siglo XIX, esa lógica tradicional verá nacer la llamada la lógica moderna, caracterizada por la simbolización similar a la usada por las matemáticas.

Próxima entrega: La falacia en la lógica