filo

Lógica formal y lógica material

Tradicionalmente se considera que las dos ramas principales de la lógica son la llamada lógica formal (o lógica menor) y la lógica material (o lógica mayor). Enrealidad la lógica formal y la material tratan sobre problemas bastante diferentes aunque relacionados.

Esta distinción entre lógica material y lógica formal es análoga a la distinción que se puedehacer entre los materiales con los que está construido un puente, por un lado, y la estructura o disposición de dichos materiales, por otro. Si esta estructura o disposición de los materiales esdefectuosa, el puente se vendrá abajo, por buenos que sean los materiales. Por otra parte, aunque la estructura diseñada por los ingenieros sea impecable, si los materiales empleados son de mala calidadtarde o temprano el puente también se vendrá abajo.

La lógica material se preocupa del contenido de la argumentación. Trata de dirimir la verdad de los términos y proposiciones de un argumento.

Porsu parte, la lógica formal está interesada en la forma o estructura de los razonamientos. La verdad de las premisas y de las conclusiones es una preocupación secundaria para esta rama de la lógica. Lalógica formal trata de encontrar el método correcto para derivar una verdad a partir de otra. Digamos que la verdad de los enunciados que componen los argumentos es algo que se da por supuesto, algode lo que se parte. Lo que le interesa a la lógica formal es asegurar que el paso de las premisas a la conclusión esté bien fundamentado.

Hay autores que hablan también de la lógica informal, comoopuesta a la formal. La diferencia estaría en que, mientras que la lógica formal estudia la estructura de los razonamientos prescindiendo de los contenidos a que hacen alusión, la lógica informal(también llamada pragmática lógica) estudiaría los modos correctos de razonar teniendo en cuenta los distintos contextos de diálogo y las diversas cuestiones tratadas en ellos.

Es importante recordar...