Lógica formal e informal: diferencias, conceptos y ejemplos de argumentos

Resumen

El texto explica qué estudia la lógica como rama de la filosofía y distingue entre la lógica formal, centrada en la validez deductiva de los argumentos según su forma, y la lógica informal, que evalúa la aceptabilidad de los argumentos concretos en contextos de diálogo. Para ilustrarlo, compara dos argumentos: uno deductivamente válido y otro cuya corrección depende del contenido, la verdad de las premisas y la intención comunicativa.

Puntos clave

La lógica estudia las reglas que hacen que un argumento sea válido, aceptable o correcto, no la verdad de sus enunciados.
Un argumento deductivamente válido es aquel en el que, si las premisas son verdaderas, la conclusión no puede ser falsa.
La validez de un argumento deductivo depende de su forma y no del contenido de los enunciados.
La lógica formal estudia los argumentos como estructuras formales abstractas de deducción.
Algunos argumentos requieren valorar la verdad de las premisas, el contexto y las intenciones del hablante, es decir, la dimensión pragmática del lenguaje.
La lógica informal se ocupa de la corrección o aceptabilidad de argumentos concretos surgidos en actos de habla que buscan intercambiar razones.

Resumen generado con IA a partir del documento. Ponte a prueba

Lógica formal y lógica informal

La lógica es la rama de la filosofía que tiene por objeto el estudio de las reglas que hacen que un argumento sea válido, aceptable o correcto. Esta disciplina no se ocupa de la verdad o de la falsedad de los distintos enunciados que componen un argumento —lo cual corresponde establecer a otro tipo de ciencias—, sino de la relación de implicación o de inferencia que se da entre las premisas y la conclusión de un argumento.

Argumento 1

a. Si el coche anda, entonces tiene gasolina.
b. El coche no tiene gasolina.
c. Por tanto, el coche no anda.

La conclusión (c) se sigue necesariamente de las premisas (a y b). Es un argumento deductivamente válido: la conclusión se deduce necesariamente de las premisas; es decir, si estas son verdaderas, entonces la conclusión no puede ser falsa o, lo que es lo mismo, necesariamente ha de ser verdadera. Esta relación se da exclusivamente en virtud de la forma del argumento y no del contenido de los enunciados que lo componen. La lógica formal es la disciplina que tradicionalmente se ha ocupado del estudio de los argumentos considerados como estructuras formales abstractas de deducción.

Argumento 2

a. Se están produciendo en esta clase muchas gamberradas.
b. Hay un clima de inseguridad que no permite que se pueda trabajar bien.
c. No sabemos quiénes son los culpables de esta situación y nadie los delata.
d. Por tanto, todo el grupo está castigado a venir por las tardes durante este mes.

Observemos el segundo argumento; en este caso, no podemos decir que la conclusión (d; en el ejemplo, la racionalidad del castigo) se deduce necesariamente de las premisas (a, b, c) o que es la forma del razonamiento la que determina la validez de este. Para valorar este argumento, es necesario juzgar si las razones que se presentan son buenas, y para ello hay que tener en cuenta la verdad o falsedad de las premisas, el contexto del habla y las intenciones comunicativas del hablante; en una palabra, la dimensión pragmática del lenguaje.

El papel de la lógica informal

Será la lógica informal la que se ocupe de determinar la corrección o aceptabilidad de los argumentos, entendidos estos como ejemplares lingüísticos concretos resultantes de unos actos de habla que pretenden el intercambio de razones con el fin de llegar a acuerdos logrados en contextos de diálogo razonado.

Preguntas frecuentes

¿Qué estudia la lógica?

La lógica es la rama de la filosofía que estudia las reglas que hacen que un argumento sea válido, aceptable o correcto. No se ocupa de la verdad o falsedad de los enunciados, sino de la relación de inferencia entre premisas y conclusión.

¿Qué es un argumento deductivamente válido?

Es un argumento en el que la conclusión se sigue necesariamente de las premisas. Si las premisas son verdaderas, la conclusión no puede ser falsa, y esta relación depende solo de la forma del argumento.

¿En qué se diferencia la lógica formal de la informal?

La lógica formal estudia la validez de argumentos como estructuras abstractas de deducción, atendiendo a su forma. La lógica informal evalúa la corrección o aceptabilidad de argumentos concretos, teniendo en cuenta la verdad de las premisas, el contexto y las intenciones comunicativas.