La historia de la lógica es muy larga, y se combina con ciencias tan complejas como la filosofía, aún más antigua y movida. En [Bri04] podemos encontrar muchas tendencias y filósofos que las han desarrollado, y en [WP, Logic] están clasificadas y explicadas, junto con visiones alternativas al qué es lógica, por ejemplo: lógica es hacer juicios (Immanuel Kant), lógica es el estado de las cosas (Adolf Reinach), o lógica es cualquier manipulación de símbolos.
Empezaré explicando en qué consiste un sistema lógico, daré una clasificación, y después hablaré un poco de algunos de ellos.