Los Sistemas Lógicos son: a) las Lógicas clásicas: 1.- Lógica proposicional, 2.- Lógica de primer orden, 3.- Lógica de segundo orden; b) las Lógicas no clásicas: 1.- Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad. 2.- Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir que para que un argumento sea válido, las premisas y la conclusión deben compartir al menos una variable proposicional. 3.- Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica; su característica más notable es el rechazo de la propiedad distributiva. 4.- Lógica no monotónica: Una lógica no monotónica es una lógica donde, al agregar una fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría se reduzca. 5.- Lógica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones. 6.- Lógicas Modales (Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia. Lógica deóntica: Se ocupa de las nociones morales de obligación y permisibilidad. Lógica temporal: Abarca operadores temporales como «siempre», «nunca», «antes», «después», etc. Lógica epistémica: Es la lógica que formaliza los razonamientos relacionados con el conocimiento. Lógica doxástica: Es la lógica que trata con los razonamientos acerca de las creencias). Y deberíamos añadir: las metalógicas, las falacias y las paradojas.