Lógica informal y lógica formal

La “Lógica Informal”, por lo común, se dedica al análisis de los conceptos y procedimientos involucrados y usados para elaborar conclusiones a partir de información dada. Tradicionalmente, esta lógica parte de la base que el pensamiento humano es muchas veces falsa. Así, ésta ha tenido como finalidad una búsqueda de la verdad, por lo que se ha dedicado a clasificar entre razonamientos correctos y los falaces.

La “Lógica Formal”, a diferencia de la anterior, se refiere al estudio de argumentos racionales en forma estrictamente esquematizada y organizada. Parte de la base que uno razona bien e intenta mejorar a niveles superiores el razonamiento. Forma relaciones altamente abstractas entre las ideas. Esta lógica, la formal, no debe ser confundida con la lógica matemática o simbólica, la cual es sólo un tipo de lógica que se encuentra dentro del campo de la lógica formal.

La existencia de una gran cantidad de concepciones distintas de la lógica implica que ésta no es estudiada en el vacío, sino que es usada en un contexto. Es decir, que puede ser usada por las otras ciencias. Esto no es menor, ya que nos significó una modificación increíble de nuestra manera de mirar el universo y el mundo: Pasamos de creer en teoría de los cuatro elementos y en que el mundo era plano, a creer en las teorías de relatividad general y de mecánica cuántica.