Clasificación

Hay muchas ramas en la lógica, y muchos sistemas diseñados para hacer lógica. En [Blu02] encontramos una posible clasificación:

La diferencia principal se encuentra entre los sistemas formales (más teóricos) y los informales (más prácticos). Parece que históricamente, se ha ido evolucionando desde una lógica informal hasta métodos más formales y teóricos, para llegar a la lógica simbólica; quizás es debido a necesidades cada vez más complejas. [WP]

Las diferencias entre la formal y la informal son: