Término paraguas para lógicas formales que modifican o abandonan uno o más principios clásicos —como la bivalencia, la ley del tercero excluido, la no contradicción o la monotonicidad— para modelar mejor la paradoja, la vaguedad, la creencia o el razonamiento sensible a recursos.

Principio

Modificar uno o varios principios estructurales o semánticos de la lógica clásica (por ejemplo permitir grados de verdad, tolerar contradicciones sin trivialidad, exigir la relevancia de las premisas para la conclusión, o gestionar modalidades y recursos) para capturar fenómenos que la lógica clásica representa mal.

Demostración

La lógica paraconsistente permite que una teoría contenga una contradicción sin que se deduzca cualquier fórmula; la lógica difusa asigna valores de verdad graduados para modelar la vaguedad; la lógica de relevancia restringe la inferencia para que las premisas sean relevantes respecto a la conclusión.

Aplicación incorrecta

Aplicar un cálculo no clásico sin ajustar las suposiciones semánticas (por ejemplo usar pruebas paraconsistentes con una interpretación semántica clásica), o asumir que todas las lógicas no clásicas son intercambiables o automáticamente más débiles que la lógica clásica.

Consecuencia

Facilita el tratamiento formal de teorías inconsistentes pero informativas, información graduada o incierta, e inferencias sensibles al contexto o a recursos; ofrece sistemas de prueba y semánticas especializadas adaptadas a necesidades de modelado concretas.

Inversión

La lógica clásica restaura los principios familiares (bivalencia, tercero excluido, explosión, monotonicidad) y trata la desviación como error; la inversión es imponer la consecuencia y condiciones de verdad clásicas como estándar.

Límite

Incluye muchos sistemas formales distintos —paraconsistente, de relevancia, intuicionista, modal, subestructural, difuso— pero excluye variantes meramente notacionales de la lógica clásica que conservan sus principios clave; la aplicabilidad depende de los objetivos de modelado pretendidos.

Tensión semántica

Tensión entre la flexibilidad expresiva (modelar contradicciones, vaguedad, incertidumbre) y la preservación de propiedades meta-deseables (completitud, compacidad, decidibilidad, propiedades estructurales de prueba); elegir una lógica no clásica supone intercambiar algunas garantías por otras.

Síntesis

La lógica no clásica es una familia de cálculos y semánticas formalmente especificados que alteran deliberadamente o relajan axiomas clásicos, proporcionando herramientas dirigidas para expresar y razonar sobre fenómenos que la lógica clásica trata mal o no puede expresar.