Clasificación de lógicas no clásicas[editar]

En Deviant Lógic (1974) Susan Haack dividió las lógicas no clásicas en lógica desviada, casi

desviada, y lógicas extendidas.2 La clasificación propuesta es no exclusiva; una lógica puede
ser una desviación y una extensión de lógica clásica.3 Algunos otros autores han adoptado la
distinción principal entre desviación y extensión en lógicas no clásicas.456 John P. Burgess
utiliza una clasificación similar pero llama las dos clases principales anti-clásicos y extras-
clásicos.7
En una extensión, se añaden constantes lógicas nuevas y diferentes, por ejemplo el "\Box"
en lógica modal, que significa "necesariamente"4 en extensiones de una lógica.

 El conjunto de fórmulas bien formadas generado es un subconjunto propio del conjunto

de bien-formó las fórmulas generadas por lógica clásica.
 El conjunto de teoremas generados es un Subconjunto del conjunto de teoremas hechos
por lógica clásica, pero solo en los nuevos teoremas realizados por la lógica extendida son
un resultado de las nuevas bien-formadas fórmulas.
En una desviación, se utilizan las constantes lógicas habituales, pero se les da
un significado diferente de lo habitual. Sólo un subconjunto de los teoremas del control de
lógica clásico. Un ejemplo típico es la lógica intuicionista, donde el principio del tercer
excluido no se cumple.67
Además, uno puede identificar variaciones (o variantes), donde el contenido del sistema sigue
igual, mientras que la notación puede cambiar sustancialmente. Por ejemplo, muchos órdenes
lógicos de predicado se consideran una variación justa de la lógica de predicados.4
Esta clasificación ignora equivalencias semánticas. Por ejemplo, Gödel demostró que todos
los teoremas de la lógica intuicionista tienen un teorema equivalente al S4 de la lógica modal
clásica. El resultado ha sido generalizado cómo lógica supraintuicionista y extensiones de S4.8
La teoría de la lógica algebraica abstracta también ha proporcionado medios para clasificar
lógicas, con más resultados obtenidos de la lógica proposicional. La jerarquía algebraica
actual de la lógica proposicional tiene cinco niveles, definidos en términos de propiedad por
el operador de Leibniz: protoalgebra, (finita) equivalencial, y (finita) algebraizable.9