## [Lógica No Clásica](/es/node/61353) Definición 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 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 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 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 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 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 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 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 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.