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). En realidad 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 puede hacer 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 es defectuosa, 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 calidad tarde 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.

Por su 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. La ló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, algo de 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.