Fundamentos de la Lógica Formal e Informal: Diferencias y Aplicaciones

La lógica formal

La lógica formal se ocupa de la validez de los razonamientos, así como de las falacias; sin embargo, lo hace centrándose únicamente en ese aspecto formal. La lógica determina cuándo un razonamiento está bien construido, es decir, cuando la estructura del razonamiento nos permite inferir la necesidad de la conclusión.

Fue Aristóteles quien puso las bases de la lógica, tanto formal como informal; sus estudios fueron orientados fundamentalmente al desarrollo de esta disciplina. Hasta el siglo XIX, la lógica se limitó a desarrollar las aportaciones aristotélicas, lo que contribuyó a la formación de la lógica tradicional. El gran avance de esta disciplina comienza con la contribución de matemáticos y filósofos como Boole y Frege, con quienes se inicia la lógica moderna.

Diferencias con la lógica tradicional

• Simbolismo: En la lógica tradicional, solo las partes variables de los enunciados se sustituían por símbolos. Con la lógica simbólica, esto cambió: no solo se sustituían los términos y enunciados, sino también los elementos que señalan las relaciones entre símbolos.
• Formalización: Se trata de una lógica formalizada porque el lenguaje que utiliza no es el corriente, sino uno en el que solo aparecen símbolos bien definidos.
• Alcance: La lógica moderna es más amplia que la tradicional.

La lógica informal

La lógica informal se dedica a diferenciar las formas correctas e incorrectas en las que se desarrollan el lenguaje y el pensamiento cotidiano, así como al estudio de los procesos que se usan para obtener conclusiones a partir de una información dada. Esta rama parte del principio de que el pensamiento y el lenguaje humano pueden ser incorrectos o conducirnos a errar.

Se le atribuye a Aristóteles los primeros estudios de las falacias lógicas que se encuentran en la vida cotidiana. Las falacias son razonamientos no válidos, pero que pueden parecerlo. Existen dos tipos:

Tipos de falacias

• Falacias formales: Las estudia la lógica formal porque son consecuencia del incumplimiento de alguna ley de deducción.
  Ejemplo: "Si estoy dormido tengo los ojos cerrados, por lo que cuando tengo los ojos cerrados estoy dormido".
• Falacias informales: Las estudia la lógica informal porque no se deben a aspectos formales, sino a cuestiones relacionadas con la información recibida.
  Ejemplo: "El cáncer de pulmón se presenta en fumadores, por tanto, fumar causa cáncer de pulmón".