Concepto De Logica Formal E Informal

La lógica es el estudio del razonamiento. Nos ayuda a distinguir entre argumentos buenos y malos. Pero no todos los argumentos son iguales. Por eso, hablamos de lógica formal e informal.

Lógica Formal: La Estructura Importa

La lógica formal se centra en la estructura del argumento. No le importa el contenido, solo la forma. Piensa en ella como las matemáticas del razonamiento. Usa símbolos y reglas para determinar si un argumento es válido. Un argumento es válido si, si las premisas son verdaderas, la conclusión debe ser verdadera.

Ejemplo:

Premisa 1: Todos los gatos son mamíferos.

Premisa 2: Pelusa es un gato.

Conclusión: Por lo tanto, Pelusa es un mamífero.

En lógica formal, analizamos la forma: "Todos los A son B. X es A. Por lo tanto, X es B." Esta forma es válida. No importa si hablamos de gatos, perros o planetas. Si las premisas son ciertas, la conclusión tiene que ser cierta.

En resumen:

• Se enfoca en la estructura.
• Usa símbolos y reglas.
• Determina la validez del argumento.

Lógica Informal: El Contexto es Clave

La lógica informal se preocupa por el contenido del argumento y el contexto en el que se presenta. Examina si el argumento es persuasivo y si las premisas son relevantes para la conclusión. A diferencia de la lógica formal, no busca la validez absoluta, sino la solidez del razonamiento.

Ejemplo:

"Mi vecino dice que el nuevo restaurante es horrible. Pero él nunca ha sido un buen crítico, así que no creo que debamos confiar en su opinión."

Aquí, la lógica informal analiza si el vecino es una fuente fiable. No se centra en la forma del argumento, sino en la credibilidad de la persona que lo emite y la relevancia de su experiencia.

Otro ejemplo:

"Debemos apoyar esta ley porque todos mis amigos lo hacen."

La lógica informal nos dice que este argumento es débil. El hecho de que los amigos lo apoyen no es una buena razón para apoyar la ley. Se considera una falacia (error de razonamiento) llamada "apelar a la popularidad".

En resumen:

• Se enfoca en el contenido y contexto.
• Analiza la persuasión y relevancia.
• Identifica falacias.

La Diferencia Clave

La principal diferencia es que la lógica formal se preocupa por la validez (si la estructura es correcta), mientras que la lógica informal se preocupa por la solidez (si el contenido es creíble y relevante).

Ambas son importantes. La lógica formal nos da una base para el razonamiento correcto, y la lógica informal nos ayuda a navegar el mundo real, donde los argumentos son a menudo ambiguos y llenos de contexto.